digitalcourage.social

Steve Dustcircle 🌹<a href="https://masto.ai/tags/Christianity" class="mention hashtag" rel="nofollow noopener" target="_blank">#Christianity</a> vs <a href="https://masto.ai/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#Logic</a>: The Battle for <a href="https://masto.ai/tags/Humanity" class="mention hashtag" rel="nofollow noopener" target="_blank">#Humanity</a>'s Mind <a href="https://www.youtube.com/watch?v=n7NcwdVPxFQ" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=n7NcwdVPxFQ</a> <a href="https://masto.ai/tags/atheist" class="mention hashtag" rel="nofollow noopener" target="_blank">#atheist</a> <a href="https://masto.ai/tags/deconstruction" class="mention hashtag" rel="nofollow noopener" target="_blank">#deconstruction</a> <a href="https://masto.ai/tags/exvangelical" class="mention hashtag" rel="nofollow noopener" target="_blank">#exvangelical</a> <a href="https://masto.ai/tags/god" class="mention hashtag" rel="nofollow noopener" target="_blank">#god</a>

Scott PfitzingerWhat a fascinating analysis of the logic behind a debate! This video focuses on rhetorical strategies and logical argumentation. The video is a little long, but very interesting!"The exchange demonstrates the difference between performative debate tactics designed for social media clips versus substantive philosophical discourse."They analyze each logical failure, fact-check statistical claims, and examine how Middlehurst maintains argumentative discipline despite constant attempts at derailment."<a href="https://www.youtube.com/watch?v=GRLV5Is-Pc4" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=GRLV5Is-Pc4</a><a href="https://hcommons.social/tags/debate" class="mention hashtag" rel="nofollow noopener" target="_blank">#debate</a> <a href="https://hcommons.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://hcommons.social/tags/rhetoric" class="mention hashtag" rel="nofollow noopener" target="_blank">#rhetoric</a> <a href="https://hcommons.social/tags/women" class="mention hashtag" rel="nofollow noopener" target="_blank">#women</a> <a href="https://hcommons.social/tags/feminism" class="mention hashtag" rel="nofollow noopener" target="_blank">#feminism</a> <a href="https://hcommons.social/tags/Cambridge" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cambridge</a>

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>

Recent searches

Search options

Administered by:

Server stats:

#logic