mastodontech.de ist einer von vielen unabhängigen Mastodon-Servern, mit dem du dich im Fediverse beteiligen kannst.
Offen für alle (über 16) und bereitgestellt von Markus'Blog

Serverstatistik:

1,4 Tsd.
aktive Profile

#logic

14 Beiträge12 Beteiligte0 Beiträge heute
Nick Byrd, Ph.D.<p>How can we scale up the translation of ordinary sentences into formal <a href="https://nerdculture.de/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a>?</p><p>Bui et al. “introduce Text-JEPA (Text-based Joint-Embedding Predictive Architecture), …for converting natural language into first-order logic (NL2FOL).”</p><p><a href="https://doi.org/10.48550/arXiv.2507.20491" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">doi.org/10.48550/arXiv.2507.20</span><span class="invisible">491</span></a></p><p><a href="https://nerdculture.de/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://nerdculture.de/tags/cogSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cogSci</span></a> <a href="https://nerdculture.de/tags/NLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NLP</span></a> <a href="https://nerdculture.de/tags/edu" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>edu</span></a></p>
Steven Carneiro<p>Bringing the rigor of mathematics to physics:<br><a href="https://social.vivaldi.net/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://social.vivaldi.net/tags/physics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>physics</span></a> <a href="https://social.vivaldi.net/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://social.vivaldi.net/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a> <a href="https://social.vivaldi.net/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>science</span></a><br>🟰</p><p><a href="https://www.wired.com/story/efforts-to-ground-physics-in-math-are-opening-the-secrets-of-time/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">wired.com/story/efforts-to-gro</span><span class="invisible">und-physics-in-math-are-opening-the-secrets-of-time/</span></a></p>
NBA News<p>Indiana basketball vs Mega Superbet live score today: Stats, highlights <a href="https://www.rawchili.com/nba/222218/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">rawchili.com/nba/222218/</span><span class="invisible"></span></a> #10 <a href="https://channels.im/tags/Basketball" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Basketball</span></a> <a href="https://channels.im/tags/big" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>big</span></a> <a href="https://channels.im/tags/Big10Hub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Big10Hub</span></a> <a href="https://channels.im/tags/College" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>College</span></a> <a href="https://channels.im/tags/CollegeSports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CollegeSports</span></a> <a href="https://channels.im/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exclude</span></a> <a href="https://channels.im/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://channels.im/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://channels.im/tags/Harris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Harris</span></a> <a href="https://channels.im/tags/Hoosiers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Hoosiers</span></a> <a href="https://channels.im/tags/Hub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Hub</span></a> <a href="https://channels.im/tags/Indiana" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Indiana</span></a> <a href="https://channels.im/tags/IndianaHoosiersMen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IndianaHoosiersMen</span></a>'sBasketball <a href="https://channels.im/tags/Josh" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Josh</span></a> <a href="https://channels.im/tags/JoshHarris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JoshHarris</span></a> <a href="https://channels.im/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://channels.im/tags/Men" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Men</span></a>'s <a href="https://channels.im/tags/Neutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Neutral</span></a> <a href="https://channels.im/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://channels.im/tags/Overall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Overall</span></a> <a href="https://channels.im/tags/OverallNeutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OverallNeutral</span></a> <a href="https://channels.im/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paywall</span></a> <a href="https://channels.im/tags/Point" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Point</span></a> <a href="https://channels.im/tags/Puerto" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Puerto</span></a> <a href="https://channels.im/tags/PuertoRico" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PuertoRico</span></a> <a href="https://channels.im/tags/Rico" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rico</span></a> <a href="https://channels.im/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sports</span></a> <a href="https://channels.im/tags/SportsNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SportsNews</span></a> <a href="https://channels.im/tags/Testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Testing</span></a> <a href="https://channels.im/tags/the" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>the</span></a> <a href="https://channels.im/tags/To" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>To</span></a> <a href="https://channels.im/tags/ToThePoint" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ToThePoint</span></a></p>
NBA News<p>Is Caitlin Clark playing today? How to watch Indiana Fever vs Sky <a href="https://www.rawchili.com/nba/221567/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">rawchili.com/nba/221567/</span><span class="invisible"></span></a> <a href="https://channels.im/tags/Affiliate" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Affiliate</span></a> <a href="https://channels.im/tags/Basketball" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Basketball</span></a> <a href="https://channels.im/tags/Caitlin" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Caitlin</span></a> <a href="https://channels.im/tags/CaitlinClark" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CaitlinClark</span></a> <a href="https://channels.im/tags/clark" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>clark</span></a> <a href="https://channels.im/tags/College" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>College</span></a> <a href="https://channels.im/tags/CollegeSports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CollegeSports</span></a> <a href="https://channels.im/tags/Commerce" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Commerce</span></a> <a href="https://channels.im/tags/Contains" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Contains</span></a> <a href="https://channels.im/tags/ContainsCommerceOrAffiliateContent" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ContainsCommerceOrAffiliateContent</span></a> <a href="https://channels.im/tags/Content" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Content</span></a> <a href="https://channels.im/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exclude</span></a> <a href="https://channels.im/tags/ExcludeFromNewsletters" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromNewsletters</span></a> <a href="https://channels.im/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://channels.im/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://channels.im/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://channels.im/tags/Modular" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Modular</span></a> <a href="https://channels.im/tags/ModularStory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ModularStory</span></a> <a href="https://channels.im/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://channels.im/tags/newsletters" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>newsletters</span></a> <a href="https://channels.im/tags/or" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>or</span></a> <a href="https://channels.im/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paywall</span></a> <a href="https://channels.im/tags/Point" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Point</span></a> <a href="https://channels.im/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sports</span></a> <a href="https://channels.im/tags/SportsNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SportsNews</span></a> <a href="https://channels.im/tags/Story" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Story</span></a> <a href="https://channels.im/tags/Testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Testing</span></a> <a href="https://channels.im/tags/the" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>the</span></a> <a href="https://channels.im/tags/To" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>To</span></a> <a href="https://channels.im/tags/ToThePoint" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ToThePoint</span></a> <a href="https://channels.im/tags/WNBA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WNBA</span></a></p>
José A. Alonso<p>Readings shared August 8, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/08/09-readings_shared_08-08-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/08/09-readings_shared_08-08-25</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reasoning</span></a></p>
Tom de Jong<p>It was both a pleasure and a privilege to deliver 5 90-min blackboard (!) lectures on Categorical Realizability to 20–30 students and fellow lecturers at the European Summer School in <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a>, Language and Information (<a href="https://mathstodon.xyz/tags/ESSLLI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ESSLLI</span></a>). <br>I really enjoyed the interaction with all attendees and appreciated their excellent questions and comments: thank you!</p><p>Also, a huge thanks to <span class="h-card" translate="no"><a href="https://fediscience.org/@tschfflr" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>tschfflr</span></a></span> and the other organizers for running <a href="https://mathstodon.xyz/tags/ESSLLI2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ESSLLI2025</span></a> so smoothly!!</p>
Tatjana Scheffler<p>ESSLLI 2025 is officially closed! Thank you all so much for being here 🥰 <a href="https://fediscience.org/tags/esslli2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>esslli2025</span></a> <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://fediscience.org/tags/language" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>language</span></a> <a href="https://fediscience.org/tags/information" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>information</span></a> <a href="https://fediscience.org/tags/rub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rub</span></a></p>
SunWukong<p><a href="https://mstdn.business/tags/Spiritual" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Spiritual</span></a> <a href="https://mstdn.business/tags/Business" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Business</span></a> - <a href="https://mstdn.business/tags/monkey" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>monkey</span></a> <a href="https://mstdn.business/tags/Style" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Style</span></a> <br><a href="https://mstdn.business/tags/China" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>China</span></a> <a href="https://mstdn.business/tags/Japan" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Japan</span></a> <a href="https://mstdn.business/tags/Tokyo" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Tokyo</span></a> <a href="https://mstdn.business/tags/HongKong" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HongKong</span></a> <a href="https://mstdn.business/tags/Singapore" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Singapore</span></a> <a href="https://mstdn.business/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mstdn.business/tags/imagination" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>imagination</span></a> <a href="https://mstdn.business/tags/application" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>application</span></a> <a href="https://mstdn.business/tags/Information" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Information</span></a> <a href="https://mstdn.business/tags/message" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>message</span></a> <br>---<br><a href="https://art.odicforcesounds.com/pages/Love/index.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">art.odicforcesounds.com/pages/</span><span class="invisible">Love/index.html</span></a></p>
José A. Alonso<p>Gödel's incompleteness theorem. ~ Thorsten Altenkirch. <a href="https://youtu.be/IuX8QMgy4qE" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/IuX8QMgy4qE</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
Tatjana Scheffler<p>🤩Last day of <a href="https://fediscience.org/tags/esslli2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>esslli2025</span></a> ! 😅<br><a href="https://2025.esslli.eu" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">2025.esslli.eu</span><span class="invisible"></span></a> <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://fediscience.org/tags/language" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>language</span></a> <a href="https://fediscience.org/tags/information" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>information</span></a> <a href="https://fediscience.org/tags/rub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rub</span></a></p>
NBA News<p>IU opens Puerto Rico trip with emphatic win <a href="https://www.rawchili.com/nba/217617/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">rawchili.com/nba/217617/</span><span class="invisible"></span></a> #10 <a href="https://channels.im/tags/Basketball" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Basketball</span></a> <a href="https://channels.im/tags/big" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>big</span></a> <a href="https://channels.im/tags/Big10Hub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Big10Hub</span></a> <a href="https://channels.im/tags/College" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>College</span></a> <a href="https://channels.im/tags/CollegeSports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CollegeSports</span></a> <a href="https://channels.im/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exclude</span></a> <a href="https://channels.im/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://channels.im/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://channels.im/tags/Harris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Harris</span></a> <a href="https://channels.im/tags/Hoosiers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Hoosiers</span></a> <a href="https://channels.im/tags/Hub" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Hub</span></a> <a href="https://channels.im/tags/Indiana" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Indiana</span></a> <a href="https://channels.im/tags/IndianaHoosiersMen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IndianaHoosiersMen</span></a>'sBasketball <a href="https://channels.im/tags/Josh" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Josh</span></a> <a href="https://channels.im/tags/JoshHarris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JoshHarris</span></a> <a href="https://channels.im/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://channels.im/tags/Men" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Men</span></a>'s <a href="https://channels.im/tags/Neutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Neutral</span></a> <a href="https://channels.im/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://channels.im/tags/Overall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Overall</span></a> <a href="https://channels.im/tags/OverallNeutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OverallNeutral</span></a> <a href="https://channels.im/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paywall</span></a> <a href="https://channels.im/tags/Point" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Point</span></a> <a href="https://channels.im/tags/Puerto" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Puerto</span></a> <a href="https://channels.im/tags/PuertoRico" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PuertoRico</span></a> <a href="https://channels.im/tags/Rico" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rico</span></a> <a href="https://channels.im/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Sports</span></a> <a href="https://channels.im/tags/SportsNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SportsNews</span></a> <a href="https://channels.im/tags/Testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Testing</span></a> <a href="https://channels.im/tags/the" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>the</span></a> <a href="https://channels.im/tags/To" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>To</span></a> <a href="https://channels.im/tags/ToThePoint" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ToThePoint</span></a></p>
Preston MacDougall<p><span class="h-card" translate="no"><a href="https://masto.ai/@meduza_en" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>meduza_en</span></a></span> Were they sent to a gulag as ‘incentive’ to work faster! 😂 </p><p>Pro tip: <a href="https://mstdn.science/tags/TimeTravel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TimeTravel</span></a> (aside from going forward slowly as we are right now) is impossible - and ALWAYS will be. Otherwise, everybody would’ve encountered time-travelers wanting to see if the <a href="https://mstdn.science/tags/Trump" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Trump</span></a> <a href="https://mstdn.science/tags/kakistocracy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>kakistocracy</span></a> was really as stupid as <a href="https://mstdn.science/tags/history" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>history</span></a> books portray it in the future! 😂 </p><p><a href="https://mstdn.science/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>science</span></a> <a href="https://mstdn.science/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a></p>
RanaldClouston<p>I have finished up with teaching my big introductory <a href="https://fediscience.org/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> course at <a href="https://fediscience.org/tags/ANU" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ANU</span></a>, leading 300+ students through propositional, first order, and temporal logic, through natural deduction and tableaux, and through formal semantics and translation to natural language. I did a huge overhaul of the existing course and made some mistakes en route for sure, but overall student feedback was very positive. Although I am not obliged to expose anything behind my LMS paywall, I feel strongly about disseminating teaching as a genuine intellectual output and have a public website up with most of my materials: <a href="https://comp.anu.edu.au/courses/comp2620/news/2025/02/17/welcome/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">comp.anu.edu.au/courses/comp26</span><span class="invisible">20/news/2025/02/17/welcome/</span></a></p>
MoreWrong Reverend Rhizic<p>Logical Fallacy PSA: </p><p>"The Fallacists Fallacy" says that just because an argument is fallacious doesn't mean the conclusion is wrong ... this is a fun one to bring up because lots of people cry "Fallacy" as a silver-bullet argument when it's merely a side-quest into a meta-argument - like, if you could argue the point you would but you're just naming a fallacy? It's like just saying "liar" or "nuh-uh" - it's not a refutation, but the death rattles of a defeated point.</p><p><a href="https://discordian.social/tags/philbro" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>philbro</span></a> <a href="https://discordian.social/tags/debate" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>debate</span></a> <a href="https://discordian.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://discordian.social/tags/religion" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>religion</span></a> <a href="https://discordian.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>philosophy</span></a> <a href="https://discordian.social/tags/life" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>life</span></a></p>
Lupposofi<p>Vincenzo Crupi has revised his SEP-entry on Confirmation, <a href="https://plato.stanford.edu/entries/confirmation/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">plato.stanford.edu/entries/con</span><span class="invisible">firmation/</span></a></p><p><a href="https://mementomori.social/tags/confirmation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>confirmation</span></a> <a href="https://mementomori.social/tags/reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reasoning</span></a> <a href="https://mementomori.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mementomori.social/tags/epistemology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>epistemology</span></a> <a href="https://mementomori.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>philosophy</span></a> <a href="https://mementomori.social/tags/sep" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sep</span></a> <a href="https://mementomori.social/tags/revised" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>revised</span></a> <a href="https://mementomori.social/tags/hypotheses" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>hypotheses</span></a> <a href="https://mementomori.social/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>science</span></a> <a href="https://mementomori.social/tags/concepts" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>concepts</span></a> <a href="https://mementomori.social/tags/filosofia" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>filosofia</span></a> <a href="https://mementomori.social/tags/tiede" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tiede</span></a> <a href="https://mementomori.social/tags/evidence" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>evidence</span></a> <a href="https://mementomori.social/tags/induction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>induction</span></a> <a href="https://mementomori.social/tags/probability" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>probability</span></a> <a href="https://mementomori.social/tags/bayesianism" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bayesianism</span></a> <a href="https://mementomori.social/tags/statistics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>statistics</span></a></p>
DaLetra<p>Guarda il testo della canzone “5AM” di Logic<br><a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mastodon.social/tags/5Am" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>5Am</span></a><br><a href="https://daletra.online/logic/testi/5am.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">daletra.online/logic/testi/5am</span><span class="invisible">.html</span></a></p>
Martinic<p>Get authentic Synthwave sounds instantly! Skip the masterclass; Luca Leonardi's free "Age of Sounds" Collection for the AX73 (by eLxAr) has you covered. 🔥</p><p><a href="https://www.martinic.com/products/presets" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">martinic.com/products/presets</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/Synthwave" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Synthwave</span></a> <a href="https://mastodon.social/tags/Martinic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Martinic</span></a> <a href="https://mastodon.social/tags/AX73" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AX73</span></a> <a href="https://mastodon.social/tags/Synth" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Synth</span></a> <a href="https://mastodon.social/tags/Synthesizer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Synthesizer</span></a> <a href="https://mastodon.social/tags/80s" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>80s</span></a> <a href="https://mastodon.social/tags/MusicProducer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MusicProducer</span></a> <a href="https://mastodon.social/tags/ElectronicMusic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ElectronicMusic</span></a> <a href="https://mastodon.social/tags/Retrowave" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Retrowave</span></a> <a href="https://mastodon.social/tags/Synthpop" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Synthpop</span></a> <a href="https://mastodon.social/tags/VST" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VST</span></a> <a href="https://mastodon.social/tags/ProTools" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProTools</span></a> <a href="https://mastodon.social/tags/Reason" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reason</span></a> <a href="https://mastodon.social/tags/Cubase" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Cubase</span></a> <a href="https://mastodon.social/tags/FLstudio" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FLstudio</span></a> <a href="https://mastodon.social/tags/Steinberg" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Steinberg</span></a> <a href="https://mastodon.social/tags/LogicPro" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicPro</span></a> <a href="https://mastodon.social/tags/Reaper" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reaper</span></a> <a href="https://mastodon.social/tags/BitWig" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BitWig</span></a> <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mastodon.social/tags/LogicProX" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProX</span></a> <a href="https://mastodon.social/tags/Ableton" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ableton</span></a> <a href="https://mastodon.social/tags/StudioOne" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>StudioOne</span></a> <a href="https://mastodon.social/tags/Plugin" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Plugin</span></a></p>
Calishat<p><a href="https://researchbuzz.masto.host/tags/politics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>politics</span></a> <a href="https://researchbuzz.masto.host/tags/speech" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>speech</span></a> <a href="https://researchbuzz.masto.host/tags/rhetoric" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rhetoric</span></a> <a href="https://researchbuzz.masto.host/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> </p><p>'A new study... has found that speeches in the U.S. Congress have increasingly relied on emotional and subjective language over the past several decades, drifting away from language grounded in facts and evidence'</p><p><a href="https://www.psypost.org/congressional-speeches-have-shifted-away-from-evidence-based-rhetoric/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">psypost.org/congressional-spee</span><span class="invisible">ches-have-shifted-away-from-evidence-based-rhetoric/</span></a></p>
Dining & Cooking<p>New Hendersonville restaurant Hearth and Herron opens for dinner <a href="https://www.diningandcooking.com/2215098/new-hendersonville-restaurant-hearth-and-herron-opens-for-dinner/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">diningandcooking.com/2215098/n</span><span class="invisible">ew-hendersonville-restaurant-hearth-and-herron-opens-for-dinner/</span></a> <a href="https://vive.im/tags/Affiliate" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Affiliate</span></a> <a href="https://vive.im/tags/cuisines" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cuisines</span></a> <a href="https://vive.im/tags/dining" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dining</span></a> <a href="https://vive.im/tags/dinner" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dinner</span></a> <a href="https://vive.im/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Exclude</span></a> <a href="https://vive.im/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://vive.im/tags/food" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>food</span></a> <a href="https://vive.im/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://vive.im/tags/Hendersonville" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Hendersonville</span></a> <a href="https://vive.im/tags/Italia" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Italia</span></a> <a href="https://vive.im/tags/Italian" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Italian</span></a> <a href="https://vive.im/tags/ItalianDinner" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ItalianDinner</span></a> <a href="https://vive.im/tags/italiano" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>italiano</span></a> <a href="https://vive.im/tags/italy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>italy</span></a> <a href="https://vive.im/tags/local" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>local</span></a> <a href="https://vive.im/tags/LocalAffiliateFood" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LocalAffiliateFood</span></a> <a href="https://vive.im/tags/LocalNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LocalNews</span></a> <a href="https://vive.im/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://vive.im/tags/NC" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NC</span></a> <a href="https://vive.im/tags/news" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>news</span></a> <a href="https://vive.im/tags/Overall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Overall</span></a> <a href="https://vive.im/tags/OverallPositive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OverallPositive</span></a> <a href="https://vive.im/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Paywall</span></a> <a href="https://vive.im/tags/positive" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>positive</span></a> <a href="https://vive.im/tags/reservations" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reservations</span></a> <a href="https://vive.im/tags/restaurant" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>restaurant</span></a> <a href="https://vive.im/tags/RestaurantReviewsU0026Reservations" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RestaurantReviewsU0026Reservations</span></a> <a href="https://vive.im/tags/Restaurants" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Restaurants</span></a> <a href="https://vive.im/tags/reviews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reviews</span></a> <a href="https://vive.im/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>testing</span></a> <a href="https://vive.im/tags/u0026" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>u0026</span></a> <a href="https://vive.im/tags/Vegetarian" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Vegetarian</span></a></p>
GBRRRL<p><a href="https://mas.to/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> WHERE?... <a href="https://mas.to/tags/physics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>physics</span></a> <a href="https://mas.to/tags/defygravity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>defygravity</span></a></p>