digitalcourage.social

Jencel Panic<a href="https://logicallycoherent.github.io/blog/introduction-to-linear-logic/" rel="nofollow noopener" translate="no" target="_blank">https://logicallycoherent.github.io/blog/introduction-to-linear-logic/</a> Linear <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> (and not only)<a href="https://mathstodon.xyz/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://mathstodon.xyz/tags/cs" class="mention hashtag" rel="nofollow noopener" target="_blank">#cs</a>

Sunflower Björnskalle 🌻Alright, I knew I wasn't crazy. I've seen both of the first pairs and it's always confused the fuck out of me. I think that several times I had thought that I had forgotten how it works, but no, they probably just switched it up on me.The quote is from SEP by the way, so you know this is for real.<a href="https://mastodon.online/tags/math" class="mention hashtag" rel="nofollow noopener" target="_blank">#math</a> <a href="https://mastodon.online/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://mastodon.online/tags/computerscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#computerscience</a> <a href="https://mastodon.online/tags/lambdacalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#lambdacalculus</a> <a href="https://mastodon.online/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#functionalprogramming</a>

Follow GOLF<a href="https://www.fogolf.com/1033290/trump-would-never-see-humanity-in-phoenixs-mr-lucky/" rel="nofollow noopener" translate="no" target="_blank">https://www.fogolf.com/1033290/trump-would-never-see-humanity-in-phoenixs-mr-lucky/</a> Trump would never see humanity in Phoenix’s ‘Mr. Lucky’ #@exclude #<a href="https://vive.im/tags/subscribers" class="mention hashtag" rel="nofollow noopener" target="_blank">#subscribers</a> <a href="https://vive.im/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://vive.im/tags/ARMY" class="mention hashtag" rel="nofollow noopener" target="_blank">#ARMY</a> <a href="https://vive.im/tags/ArmyNationalGuard" class="mention hashtag" rel="nofollow noopener" target="_blank">#ArmyNationalGuard</a> <a href="https://vive.im/tags/az" class="mention hashtag" rel="nofollow noopener" target="_blank">#az</a> <a href="https://vive.im/tags/CRIME" class="mention hashtag" rel="nofollow noopener" target="_blank">#CRIME</a> <a href="https://vive.im/tags/d" class="mention hashtag" rel="nofollow noopener" target="_blank">#d</a>.c <a href="https://vive.im/tags/Donald" class="mention hashtag" rel="nofollow noopener" target="_blank">#Donald</a> <a href="https://vive.im/tags/DonaldTrump" class="mention hashtag" rel="nofollow noopener" target="_blank">#DonaldTrump</a> <a href="https://vive.im/tags/DonaldTrumpGolf" class="mention hashtag" rel="nofollow noopener" target="_blank">#DonaldTrumpGolf</a> <a href="https://vive.im/tags/DonaldTrumpGolfing" class="mention hashtag" rel="nofollow noopener" target="_blank">#DonaldTrumpGolfing</a> <a href="https://vive.im/tags/Enabled" class="mention hashtag" rel="nofollow noopener" target="_blank">#Enabled</a> <a href="https://vive.im/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#ExcludeFromPaywallLogicTesting</a> <a href="https://vive.im/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#from</a> <a href="https://vive.im/tags/Guard" class="mention hashtag" rel="nofollow noopener" target="_blank">#Guard</a> <a href="https://vive.im/tags/highlights" class="mention hashtag" rel="nofollow noopener" target="_blank">#highlights</a> <a href="https://vive.im/tags/Homelessness" class="mention hashtag" rel="nofollow noopener" target="_blank">#Homelessness</a> <a href="https://vive.im/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://vive.im/tags/National" class="mention hashtag" rel="nofollow noopener" target="_blank">#National</a> <a href="https://vive.im/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#Paywall</a> <a href="https://vive.im/tags/Story" class="mention hashtag" rel="nofollow noopener" target="_blank">#Story</a> <a href="https://vive.im/tags/StoryHighlightsAIEnabled" class="mention hashtag" rel="nofollow noopener" target="_blank">#StoryHighlightsAIEnabled</a> <a href="https://vive.im/tags/SubscribersAZ" class="mention hashtag" rel="nofollow noopener" target="_blank">#SubscribersAZ</a> <a href="https://vive.im/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#testing</a> <a href="https://vive.im/tags/trump" class="mention hashtag" rel="nofollow noopener" target="_blank">#trump</a> <a href="https://vive.im/tags/TrumpGolf" class="mention hashtag" rel="nofollow noopener" target="_blank">#TrumpGolf</a> <a href="https://vive.im/tags/TrumpGolfing" class="mention hashtag" rel="nofollow noopener" target="_blank">#TrumpGolfing</a> <a href="https://vive.im/tags/Washington" class="mention hashtag" rel="nofollow noopener" target="_blank">#Washington</a>

Simon Forman<a href="https://mastodon.social/tags/Thue" class="mention hashtag" rel="nofollow noopener" target="_blank">#Thue</a> program for Laws of Form arithmetic.()()::=() (())::= ::=Thue: <a href="https://wiki.xxiivv.com/site/thue.html" rel="nofollow noopener" translate="no" target="_blank">https://wiki.xxiivv.com/site/thue.html</a> LoF: <a href="http://www.markability.net/" rel="nofollow noopener" translate="no" target="_blank">http://www.markability.net/</a> LoF: <a href="https://en.wikipedia.org/wiki/Laws_of_Form" rel="nofollow noopener" translate="no" target="_blank">https://en.wikipedia.org/wiki/Laws_of_Form</a><a href="https://mastodon.social/tags/esolang" class="mention hashtag" rel="nofollow noopener" target="_blank">#esolang</a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a>

Nick Byrd, Ph.D.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">#logic</a>?Bui et al. “introduce Text-JEPA (Text-based Joint-Embedding Predictive Architecture), …for converting natural language into first-order logic (NL2FOL).”<a href="https://doi.org/10.48550/arXiv.2507.20491" rel="nofollow noopener" translate="no" target="_blank">https://doi.org/10.48550/arXiv.2507.20491</a><a href="https://nerdculture.de/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#AI</a> <a href="https://nerdculture.de/tags/cogSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#cogSci</a> <a href="https://nerdculture.de/tags/NLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#NLP</a> <a href="https://nerdculture.de/tags/edu" class="mention hashtag" rel="nofollow noopener" target="_blank">#edu</a>

Steven CarneiroBringing the rigor of mathematics to physics: <a href="https://social.vivaldi.net/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#mathematics</a> <a href="https://social.vivaldi.net/tags/physics" class="mention hashtag" rel="nofollow noopener" target="_blank">#physics</a> <a href="https://social.vivaldi.net/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://social.vivaldi.net/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#research</a> <a href="https://social.vivaldi.net/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a> 🟰<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">https://www.wired.com/story/efforts-to-ground-physics-in-math-are-opening-the-secrets-of-time/</a>

NBA NewsIndiana basketball vs Mega Superbet live score today: Stats, highlights <a href="https://www.rawchili.com/nba/222218/" rel="nofollow noopener" translate="no" target="_blank">https://www.rawchili.com/nba/222218/</a> #10 <a href="https://channels.im/tags/Basketball" class="mention hashtag" rel="nofollow noopener" target="_blank">#Basketball</a> <a href="https://channels.im/tags/big" class="mention hashtag" rel="nofollow noopener" target="_blank">#big</a> <a href="https://channels.im/tags/Big10Hub" class="mention hashtag" rel="nofollow noopener" target="_blank">#Big10Hub</a> <a href="https://channels.im/tags/College" class="mention hashtag" rel="nofollow noopener" target="_blank">#College</a> <a href="https://channels.im/tags/CollegeSports" class="mention hashtag" rel="nofollow noopener" target="_blank">#CollegeSports</a> <a href="https://channels.im/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exclude</a> <a href="https://channels.im/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#ExcludeFromPaywallLogicTesting</a> <a href="https://channels.im/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#from</a> <a href="https://channels.im/tags/Harris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Harris</a> <a href="https://channels.im/tags/Hoosiers" class="mention hashtag" rel="nofollow noopener" target="_blank">#Hoosiers</a> <a href="https://channels.im/tags/Hub" class="mention hashtag" rel="nofollow noopener" target="_blank">#Hub</a> <a href="https://channels.im/tags/Indiana" class="mention hashtag" rel="nofollow noopener" target="_blank">#Indiana</a> <a href="https://channels.im/tags/IndianaHoosiersMen" class="mention hashtag" rel="nofollow noopener" target="_blank">#IndianaHoosiersMen</a>'sBasketball <a href="https://channels.im/tags/Josh" class="mention hashtag" rel="nofollow noopener" target="_blank">#Josh</a> <a href="https://channels.im/tags/JoshHarris" class="mention hashtag" rel="nofollow noopener" target="_blank">#JoshHarris</a> <a href="https://channels.im/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> <a href="https://channels.im/tags/Men" class="mention hashtag" rel="nofollow noopener" target="_blank">#Men</a>'s <a href="https://channels.im/tags/Neutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#Neutral</a> <a href="https://channels.im/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#News</a> <a href="https://channels.im/tags/Overall" class="mention hashtag" rel="nofollow noopener" target="_blank">#Overall</a> <a href="https://channels.im/tags/OverallNeutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#OverallNeutral</a> <a href="https://channels.im/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#Paywall</a> <a href="https://channels.im/tags/Point" class="mention hashtag" rel="nofollow noopener" target="_blank">#Point</a> <a href="https://channels.im/tags/Puerto" class="mention hashtag" rel="nofollow noopener" target="_blank">#Puerto</a> <a href="https://channels.im/tags/PuertoRico" class="mention hashtag" rel="nofollow noopener" target="_blank">#PuertoRico</a> <a href="https://channels.im/tags/Rico" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rico</a> <a href="https://channels.im/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#Sports</a> <a href="https://channels.im/tags/SportsNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#SportsNews</a> <a href="https://channels.im/tags/Testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#Testing</a> <a href="https://channels.im/tags/the" class="mention hashtag" rel="nofollow noopener" target="_blank">#the</a> <a href="https://channels.im/tags/To" class="mention hashtag" rel="nofollow noopener" target="_blank">#To</a> <a href="https://channels.im/tags/ToThePoint" class="mention hashtag" rel="nofollow noopener" target="_blank">#ToThePoint</a>

Tom de JongIt 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">#Logic</a>, Language and Information (<a href="https://mathstodon.xyz/tags/ESSLLI" class="mention hashtag" rel="nofollow noopener" target="_blank">#ESSLLI</a>). I really enjoyed the interaction with all attendees and appreciated their excellent questions and comments: thank you!Also, a huge thanks to <a href="https://fediscience.org/@tschfflr" class="u-url mention" rel="nofollow noopener" target="_blank">@tschfflr</a> and the other organizers for running <a href="https://mathstodon.xyz/tags/ESSLLI2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#ESSLLI2025</a> so smoothly!!

Tatjana SchefflerESSLLI 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">#esslli2025</a> <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://fediscience.org/tags/language" class="mention hashtag" rel="nofollow noopener" target="_blank">#language</a> <a href="https://fediscience.org/tags/information" class="mention hashtag" rel="nofollow noopener" target="_blank">#information</a> <a href="https://fediscience.org/tags/rub" class="mention hashtag" rel="nofollow noopener" target="_blank">#rub</a>

RanaldCloustonI am going to make an attempt to <a href="https://fediscience.org/tags/blog" class="mention hashtag" rel="nofollow noopener" target="_blank">#blog</a> a bit again, reading and writing about papers and books, old and new, that are cited by recent work in my area. This week, we look at a <a href="https://fediscience.org/tags/proofTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#proofTheory</a> <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> textbook. <a href="https://blogs.fediscience.org/the-updated-scholar/2025/08/08/discussing-basic-proof-theory/" rel="nofollow noopener" translate="no" target="_blank">https://blogs.fediscience.org/the-updated-scholar/2025/08/08/discussing-basic-proof-theory/</a>

Tatjana Scheffler🤩Last day of <a href="https://fediscience.org/tags/esslli2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#esslli2025</a> ! 😅 <a href="https://2025.esslli.eu" rel="nofollow noopener" translate="no" target="_blank">https://2025.esslli.eu</a> <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://fediscience.org/tags/language" class="mention hashtag" rel="nofollow noopener" target="_blank">#language</a> <a href="https://fediscience.org/tags/information" class="mention hashtag" rel="nofollow noopener" target="_blank">#information</a> <a href="https://fediscience.org/tags/rub" class="mention hashtag" rel="nofollow noopener" target="_blank">#rub</a>

leastaction<a href="https://mastodon.social/@kottke" class="u-url mention" rel="nofollow noopener" target="_blank">@kottke</a> That would explain why their names are so similar. <a href="https://indieweb.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a>

NBA NewsIU opens Puerto Rico trip with emphatic win <a href="https://www.rawchili.com/nba/217617/" rel="nofollow noopener" translate="no" target="_blank">https://www.rawchili.com/nba/217617/</a> #10 <a href="https://channels.im/tags/Basketball" class="mention hashtag" rel="nofollow noopener" target="_blank">#Basketball</a> <a href="https://channels.im/tags/big" class="mention hashtag" rel="nofollow noopener" target="_blank">#big</a> <a href="https://channels.im/tags/Big10Hub" class="mention hashtag" rel="nofollow noopener" target="_blank">#Big10Hub</a> <a href="https://channels.im/tags/College" class="mention hashtag" rel="nofollow noopener" target="_blank">#College</a> <a href="https://channels.im/tags/CollegeSports" class="mention hashtag" rel="nofollow noopener" target="_blank">#CollegeSports</a> <a href="https://channels.im/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exclude</a> <a href="https://channels.im/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#ExcludeFromPaywallLogicTesting</a> <a href="https://channels.im/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#from</a> <a href="https://channels.im/tags/Harris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Harris</a> <a href="https://channels.im/tags/Hoosiers" class="mention hashtag" rel="nofollow noopener" target="_blank">#Hoosiers</a> <a href="https://channels.im/tags/Hub" class="mention hashtag" rel="nofollow noopener" target="_blank">#Hub</a> <a href="https://channels.im/tags/Indiana" class="mention hashtag" rel="nofollow noopener" target="_blank">#Indiana</a> <a href="https://channels.im/tags/IndianaHoosiersMen" class="mention hashtag" rel="nofollow noopener" target="_blank">#IndianaHoosiersMen</a>'sBasketball <a href="https://channels.im/tags/Josh" class="mention hashtag" rel="nofollow noopener" target="_blank">#Josh</a> <a href="https://channels.im/tags/JoshHarris" class="mention hashtag" rel="nofollow noopener" target="_blank">#JoshHarris</a> <a href="https://channels.im/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> <a href="https://channels.im/tags/Men" class="mention hashtag" rel="nofollow noopener" target="_blank">#Men</a>'s <a href="https://channels.im/tags/Neutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#Neutral</a> <a href="https://channels.im/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#News</a> <a href="https://channels.im/tags/Overall" class="mention hashtag" rel="nofollow noopener" target="_blank">#Overall</a> <a href="https://channels.im/tags/OverallNeutral" class="mention hashtag" rel="nofollow noopener" target="_blank">#OverallNeutral</a> <a href="https://channels.im/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#Paywall</a> <a href="https://channels.im/tags/Point" class="mention hashtag" rel="nofollow noopener" target="_blank">#Point</a> <a href="https://channels.im/tags/Puerto" class="mention hashtag" rel="nofollow noopener" target="_blank">#Puerto</a> <a href="https://channels.im/tags/PuertoRico" class="mention hashtag" rel="nofollow noopener" target="_blank">#PuertoRico</a> <a href="https://channels.im/tags/Rico" class="mention hashtag" rel="nofollow noopener" target="_blank">#Rico</a> <a href="https://channels.im/tags/Sports" class="mention hashtag" rel="nofollow noopener" target="_blank">#Sports</a> <a href="https://channels.im/tags/SportsNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#SportsNews</a> <a href="https://channels.im/tags/Testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#Testing</a> <a href="https://channels.im/tags/the" class="mention hashtag" rel="nofollow noopener" target="_blank">#the</a> <a href="https://channels.im/tags/To" class="mention hashtag" rel="nofollow noopener" target="_blank">#To</a> <a href="https://channels.im/tags/ToThePoint" class="mention hashtag" rel="nofollow noopener" target="_blank">#ToThePoint</a>

Preston MacDougall<a href="https://masto.ai/@meduza_en" class="u-url mention" rel="nofollow noopener" target="_blank">@meduza_en</a> Were they sent to a gulag as ‘incentive’ to work faster! 😂 Pro tip: <a href="https://mstdn.science/tags/TimeTravel" class="mention hashtag" rel="nofollow noopener" target="_blank">#TimeTravel</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">#Trump</a> <a href="https://mstdn.science/tags/kakistocracy" class="mention hashtag" rel="nofollow noopener" target="_blank">#kakistocracy</a> was really as stupid as <a href="https://mstdn.science/tags/history" class="mention hashtag" rel="nofollow noopener" target="_blank">#history</a> books portray it in the future! 😂 <a href="https://mstdn.science/tags/science" class="mention hashtag" rel="nofollow noopener" target="_blank">#science</a> <a href="https://mstdn.science/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a>

RanaldCloustonI have finished up with teaching my big introductory <a href="https://fediscience.org/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> course at <a href="https://fediscience.org/tags/ANU" class="mention hashtag" rel="nofollow noopener" target="_blank">#ANU</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">https://comp.anu.edu.au/courses/comp2620/news/2025/02/17/welcome/</a>

DaLetraGuarda il testo della canzone “5AM” di Logic <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> <a href="https://mastodon.social/tags/5Am" class="mention hashtag" rel="nofollow noopener" target="_blank">#5Am</a> <a href="https://daletra.online/logic/testi/5am.html" rel="nofollow noopener" translate="no" target="_blank">https://daletra.online/logic/testi/5am.html</a>

MartinicGet authentic Synthwave sounds instantly! Skip the masterclass; Luca Leonardi's free "Age of Sounds" Collection for the AX73 (by eLxAr) has you covered. 🔥<a href="https://www.martinic.com/products/presets" rel="nofollow noopener" translate="no" target="_blank">https://www.martinic.com/products/presets</a><a href="https://mastodon.social/tags/Synthwave" class="mention hashtag" rel="nofollow noopener" target="_blank">#Synthwave</a> <a href="https://mastodon.social/tags/Martinic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Martinic</a> <a href="https://mastodon.social/tags/AX73" class="mention hashtag" rel="nofollow noopener" target="_blank">#AX73</a> <a href="https://mastodon.social/tags/Synth" class="mention hashtag" rel="nofollow noopener" target="_blank">#Synth</a> <a href="https://mastodon.social/tags/Synthesizer" class="mention hashtag" rel="nofollow noopener" target="_blank">#Synthesizer</a> <a href="https://mastodon.social/tags/80s" class="mention hashtag" rel="nofollow noopener" target="_blank">#80s</a> <a href="https://mastodon.social/tags/MusicProducer" class="mention hashtag" rel="nofollow noopener" target="_blank">#MusicProducer</a> <a href="https://mastodon.social/tags/ElectronicMusic" class="mention hashtag" rel="nofollow noopener" target="_blank">#ElectronicMusic</a> <a href="https://mastodon.social/tags/Retrowave" class="mention hashtag" rel="nofollow noopener" target="_blank">#Retrowave</a> <a href="https://mastodon.social/tags/Synthpop" class="mention hashtag" rel="nofollow noopener" target="_blank">#Synthpop</a> <a href="https://mastodon.social/tags/VST" class="mention hashtag" rel="nofollow noopener" target="_blank">#VST</a> <a href="https://mastodon.social/tags/ProTools" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProTools</a> <a href="https://mastodon.social/tags/Reason" class="mention hashtag" rel="nofollow noopener" target="_blank">#Reason</a> <a href="https://mastodon.social/tags/Cubase" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cubase</a> <a href="https://mastodon.social/tags/FLstudio" class="mention hashtag" rel="nofollow noopener" target="_blank">#FLstudio</a> <a href="https://mastodon.social/tags/Steinberg" class="mention hashtag" rel="nofollow noopener" target="_blank">#Steinberg</a> <a href="https://mastodon.social/tags/LogicPro" class="mention hashtag" rel="nofollow noopener" target="_blank">#LogicPro</a> <a href="https://mastodon.social/tags/Reaper" class="mention hashtag" rel="nofollow noopener" target="_blank">#Reaper</a> <a href="https://mastodon.social/tags/BitWig" class="mention hashtag" rel="nofollow noopener" target="_blank">#BitWig</a> <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a> <a href="https://mastodon.social/tags/LogicProX" class="mention hashtag" rel="nofollow noopener" target="_blank">#LogicProX</a> <a href="https://mastodon.social/tags/Ableton" class="mention hashtag" rel="nofollow noopener" target="_blank">#Ableton</a> <a href="https://mastodon.social/tags/StudioOne" class="mention hashtag" rel="nofollow noopener" target="_blank">#StudioOne</a> <a href="https://mastodon.social/tags/Plugin" class="mention hashtag" rel="nofollow noopener" target="_blank">#Plugin</a>

Dining & CookingNew 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">https://www.diningandcooking.com/2215098/new-hendersonville-restaurant-hearth-and-herron-opens-for-dinner/</a> <a href="https://vive.im/tags/Affiliate" class="mention hashtag" rel="nofollow noopener" target="_blank">#Affiliate</a> <a href="https://vive.im/tags/cuisines" class="mention hashtag" rel="nofollow noopener" target="_blank">#cuisines</a> <a href="https://vive.im/tags/dining" class="mention hashtag" rel="nofollow noopener" target="_blank">#dining</a> <a href="https://vive.im/tags/dinner" class="mention hashtag" rel="nofollow noopener" target="_blank">#dinner</a> <a href="https://vive.im/tags/Exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#Exclude</a> <a href="https://vive.im/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#ExcludeFromPaywallLogicTesting</a> <a href="https://vive.im/tags/food" class="mention hashtag" rel="nofollow noopener" target="_blank">#food</a> <a href="https://vive.im/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#from</a> <a href="https://vive.im/tags/Hendersonville" class="mention hashtag" rel="nofollow noopener" target="_blank">#Hendersonville</a> <a href="https://vive.im/tags/Italia" class="mention hashtag" rel="nofollow noopener" target="_blank">#Italia</a> <a href="https://vive.im/tags/Italian" class="mention hashtag" rel="nofollow noopener" target="_blank">#Italian</a> <a href="https://vive.im/tags/ItalianDinner" class="mention hashtag" rel="nofollow noopener" target="_blank">#ItalianDinner</a> <a href="https://vive.im/tags/italiano" class="mention hashtag" rel="nofollow noopener" target="_blank">#italiano</a> <a href="https://vive.im/tags/italy" class="mention hashtag" rel="nofollow noopener" target="_blank">#italy</a> <a href="https://vive.im/tags/local" class="mention hashtag" rel="nofollow noopener" target="_blank">#local</a> <a href="https://vive.im/tags/LocalAffiliateFood" class="mention hashtag" rel="nofollow noopener" target="_blank">#LocalAffiliateFood</a> <a href="https://vive.im/tags/LocalNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#LocalNews</a> <a href="https://vive.im/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://vive.im/tags/NC" class="mention hashtag" rel="nofollow noopener" target="_blank">#NC</a> <a href="https://vive.im/tags/news" class="mention hashtag" rel="nofollow noopener" target="_blank">#news</a> <a href="https://vive.im/tags/Overall" class="mention hashtag" rel="nofollow noopener" target="_blank">#Overall</a> <a href="https://vive.im/tags/OverallPositive" class="mention hashtag" rel="nofollow noopener" target="_blank">#OverallPositive</a> <a href="https://vive.im/tags/Paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#Paywall</a> <a href="https://vive.im/tags/positive" class="mention hashtag" rel="nofollow noopener" target="_blank">#positive</a> <a href="https://vive.im/tags/reservations" class="mention hashtag" rel="nofollow noopener" target="_blank">#reservations</a> <a href="https://vive.im/tags/restaurant" class="mention hashtag" rel="nofollow noopener" target="_blank">#restaurant</a> <a href="https://vive.im/tags/RestaurantReviewsU0026Reservations" class="mention hashtag" rel="nofollow noopener" target="_blank">#RestaurantReviewsU0026Reservations</a> <a href="https://vive.im/tags/Restaurants" class="mention hashtag" rel="nofollow noopener" target="_blank">#Restaurants</a> <a href="https://vive.im/tags/reviews" class="mention hashtag" rel="nofollow noopener" target="_blank">#reviews</a> <a href="https://vive.im/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#testing</a> <a href="https://vive.im/tags/u0026" class="mention hashtag" rel="nofollow noopener" target="_blank">#u0026</a> <a href="https://vive.im/tags/Vegetarian" class="mention hashtag" rel="nofollow noopener" target="_blank">#Vegetarian</a>

Tom de JongOn my way to Bochum to teach a course on Categorical Realizability at the European Summer School in <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a>, Language and Information 😄 <a href="https://mathstodon.xyz/tags/esslli2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#esslli2025</a> <a href="https://mathstodon.xyz/tags/esslli" class="mention hashtag" rel="nofollow noopener" target="_blank">#esslli</a>

Vincarsi<a href="https://mastodon.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#philosophy</a> and <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> question: Is there already a word for the fallacy that I call in my head the <a href="https://mastodon.social/tags/SinnersFallacy" class="mention hashtag" rel="nofollow noopener" target="_blank">#SinnersFallacy</a>? Which is the fallacy that someone being a morally bad person excludes them from ever being correct about something. I'm of the opinion that you shouldn't trust bad people to be honest, but that means extra scrutiny of their claims is warranted if you do engage, not that we should assume they speak in bizzaro-talk and always say the opposite of what's true so dismiss everything

Recent searches

Search options

Administered by:

Server stats:

#logic