sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Server stats:

612
active users

#logic

9 posts8 participants0 posts today
Nick Byrd, Ph.D.<p>🧵This week I'm posting about presentations from two cool events (over on Twitter): <a href="https://x.com/byrd_nick/status/1943219893291164057" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">x.com/byrd_nick/status/1943219</span><span class="invisible">893291164057</span></a></p><p>What are the events?<br>(1) The 1st Experimental Argument Analysis workshop<br>(2) The 5th European <a href="https://nerdculture.de/tags/ExperimentalPhilosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExperimentalPhilosophy</span></a> <a href="https://nerdculture.de/tags/Conference" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Conference</span></a></p><p><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/xPhi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>xPhi</span></a> <a href="https://nerdculture.de/tags/Linguistics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Linguistics</span></a> <a href="https://nerdculture.de/tags/Psychology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Psychology</span></a> <a href="https://nerdculture.de/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://nerdculture.de/tags/edu" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>edu</span></a> <a href="https://nerdculture.de/tags/teaching" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>teaching</span></a></p>
José A. Alonso<p>Readings shared July 9, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/10-readings_shared_07-09-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/07/10-readings_shared_07-09-25</span></a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ACL2</span></a> <a href="https://mathstodon.xyz/tags/CAS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CAS</span></a> <a href="https://mathstodon.xyz/tags/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoqProver</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/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</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/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> <a href="https://mathstodon.xyz/tags/SAT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SAT</span></a></p>
Michael T Babcock<p><span class="h-card" translate="no"><a href="https://mograph.social/@dilmandila" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>dilmandila</span></a></span> <span class="h-card" translate="no"><a href="https://cosocial.ca/@evan" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>evan</span></a></span> there's no evidence either way. Its almost exactly the same as the ontological argument for the existence of God.<br><a href="https://floss.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://floss.social/tags/fallacy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fallacy</span></a></p>
José A. Alonso<p>Readings shared July 7, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/08-readings_shared_07-07-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/07/08-readings_shared_07-07-25</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</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/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</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/Maxima" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Maxima</span></a></p>
vy<p>Von Neumann points out that automata are essentially an alternative formalization of constructive logic. (Probabilistic Logics, in Shannon/McCarthy Automata.).<br><a href="https://mastodon.social/tags/automata" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>automata</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/computing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computing</span></a></p>
RoundSparrow 🐦<p><a href="https://mastodon.social/tags/SocialMediaSociety" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SocialMediaSociety</span></a> <a href="https://mastodon.social/tags/Block" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Block</span></a> society, block people <a href="https://mastodon.social/tags/Ideology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Ideology</span></a> <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> of <a href="https://mastodon.social/tags/UsVsThem" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UsVsThem</span></a> behavior. <a href="https://mastodon.social/tags/FWakeCommentC" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FWakeCommentC</span></a> </p><p>State government in Iowa is adopting the Bluesky social media values of not all people are welcome. Blockhappy <a href="https://mastodon.social/tags/TwitterThinkMania" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TwitterThinkMania</span></a> behaviors. Anti-human pro-system lovers. System worshipers.</p>
Allen Tien, MD, MHS mdlogix.com 94,698<p><a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23Science" target="_blank">#Science</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23Scientist" target="_blank">#Scientist</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23Semantics" target="_blank">#Semantics</a> <a href="https://www.linkedin.com/posts/michaelgmagri_before-1834-they-were-natural-philosophers-activity-7347713561453883392-i_EO" rel="nofollow noopener" target="_blank">www.linkedin.com/posts/michae...</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23TimeBinding" target="_blank">#TimeBinding</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23%23HumanReasoning" target="_blank">##HumanReasoning</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23GeneralSemantics" target="_blank">#GeneralSemantics</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23Philosophy" target="_blank">#Philosophy</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23Logic" target="_blank">#Logic</a> <a class="hashtag" rel="nofollow noopener" href="https://bsky.app/search?q=%23BrainFunction" target="_blank">#BrainFunction</a><br><br><a href="https://www.linkedin.com/posts/michaelgmagri_before-1834-they-were-natural-philosophers-activity-7347713561453883392-i_EO?utm_source=share&amp;utm_medium=member_android&amp;rcm=ACoAAAAFfUcBZmAM1yGPKqMAbkYNhX5h59BtEqU" rel="nofollow noopener" target="_blank">Before 1834, they were &amp;#39;na...</a></p>
Leonardo Pacheco<p>I've put a post on my blog about separating the modal logics CK and IK, but using model theoretic methods. </p><p><a href="https://leonardopacheco.xyz/blog/posts/separating-ck-and-ik.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">leonardopacheco.xyz/blog/posts</span><span class="invisible">/separating-ck-and-ik.html</span></a></p><p>It's a cute argument.</p><p><a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a></p>
Leonardo Pacheco<p>I'll be presenting at the Logic Colloquium 2025 in Vienna tomorrow.</p><p>I'll be talking about an ω-rule for the intuitionistic modal logic IGL I've been thinking about recently.</p><p>Slides: <a href="https://leonardopacheco.xyz/slides/lc2025.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">leonardopacheco.xyz/slides/lc2</span><span class="invisible">025.pdf</span></a><br>Abstract: <a href="https://leonardopacheco.xyz/slides/lc2025-abstract.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">leonardopacheco.xyz/slides/lc2</span><span class="invisible">025-abstract.pdf</span></a></p><p><a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a></p>
José A. Alonso<p>Readings shared July 4, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/05-readings_shared_07-04-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/07/05-readings_shared_07-04-25</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</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/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</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/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TypeTheory</span></a></p>
CubeRootOfTrue<p><span class="h-card" translate="no"><a href="https://infosec.exchange/@lcamtuf" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>lcamtuf</span></a></span> Did you know that Kurt created a 3-valued logic in response to his own demonstration that binary logic fails? 🚦 Everybody knows it's better, we use it every day without realizing <a href="https://mathstodon.xyz/tags/nonbinary" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>nonbinary</span></a> <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a></p>
Bytes Europe<p>Strong gas smell near Janesville, Beloit after Alliant Energy leak <a href="https://www.byteseu.com/1165342/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">byteseu.com/1165342/</span><span class="invisible"></span></a> <a href="https://pubeurope.com/tags/Accidents" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Accidents</span></a> <a href="https://pubeurope.com/tags/AccidentsU0026Disasters" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AccidentsU0026Disasters</span></a> <a href="https://pubeurope.com/tags/Alliant" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Alliant</span></a> <a href="https://pubeurope.com/tags/AlliantEnergy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AlliantEnergy</span></a> <a href="https://pubeurope.com/tags/disasters" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>disasters</span></a> <a href="https://pubeurope.com/tags/Energy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Energy</span></a> <a href="https://pubeurope.com/tags/exclude" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>exclude</span></a> <a href="https://pubeurope.com/tags/ExcludeFromPaywallLogicTesting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ExcludeFromPaywallLogicTesting</span></a> <a href="https://pubeurope.com/tags/from" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>from</span></a> <a href="https://pubeurope.com/tags/Gas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Gas</span></a> <a href="https://pubeurope.com/tags/local" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>local</span></a> <a href="https://pubeurope.com/tags/LocalNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LocalNews</span></a> <a href="https://pubeurope.com/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://pubeurope.com/tags/natural" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>natural</span></a> <a href="https://pubeurope.com/tags/NaturalGas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NaturalGas</span></a> <a href="https://pubeurope.com/tags/News" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>News</span></a> <a href="https://pubeurope.com/tags/oil" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>oil</span></a> <a href="https://pubeurope.com/tags/OilU0026Gas" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>OilU0026Gas</span></a> <a href="https://pubeurope.com/tags/paywall" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>paywall</span></a> <a href="https://pubeurope.com/tags/testing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>testing</span></a> <a href="https://pubeurope.com/tags/u0026" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>u0026</span></a></p>
SuperSnufkinHice un Grabador multipista en Python! :3 Teniendo en mente proyectos como GarageBand, Logic o Ardour decidí crear mi propia interfaz para grabar audio de mi computadora. <br> <br> Lo veo más como un "block de notas" musical, para ideas sencillas.<br> <br> Es una primera versión ya que mostrar audio en Python me pareció super copmplejo e interesante. :pika: <br> <br> <a href="https://pixelfed.social/discover/tags/garageband?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#garageband</a> <a href="https://pixelfed.social/discover/tags/music?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#music</a> <a href="https://pixelfed.social/discover/tags/python?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#python</a> <a href="https://pixelfed.social/discover/tags/developer?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#developer</a> <a href="https://pixelfed.social/discover/tags/logic?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#logic</a> <a href="https://pixelfed.social/discover/tags/ardour?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#ardour</a> <a href="https://pixelfed.social/discover/tags/sounds?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#sounds</a> <a href="https://pixelfed.social/discover/tags/musica?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#musica</a> <a href="https://pixelfed.social/discover/tags/music?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#music</a>
SuperSnufkin<p>Hice un Grabador multipista en Python! :3 Teniendo en mente proyectos como GarageBand, Logic o Ardour decidí crear mi propia interfaz para grabar audio de mi computadora. </p><p>Lo veo más como un "block de notas" musical, para ideas sencillas.</p><p>Es una primera versión ya que mostrar audio en Python me pareció super copmplejo e interesante. :pika: </p><p><a href="https://mastodon.social/tags/garageband" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>garageband</span></a> <a href="https://mastodon.social/tags/music" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>music</span></a> <a href="https://mastodon.social/tags/python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>python</span></a> <a href="https://mastodon.social/tags/developer" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>developer</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/ardour" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ardour</span></a> <a href="https://mastodon.social/tags/sounds" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sounds</span></a> <a href="https://mastodon.social/tags/musica" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>musica</span></a> <a href="https://mastodon.social/tags/music" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>music</span></a></p>
RoundSparrow 🐦<p><span class="h-card" translate="no"><a href="https://mastodon.social/@Robo105" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>Robo105</span></a></span> "I think it is perfectly logical that when democracy is being destroyed that people are upset"</p><p>Exactly, Mastodon machine logic. Binary polarity logic. Out-group hate, "us vs. them". The same emotions over and over: negative. People have faith in anger and hate.</p><p>That's the problem, <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> behavior. <a href="https://mastodon.social/tags/FWakeOneBitLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FWakeOneBitLogic</span></a> </p><p>Love and compassion are not <a href="https://mastodon.social/tags/logical" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logical</span></a> <a href="https://mastodon.social/tags/RehumanizeOpera" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RehumanizeOpera</span></a> /\</p><p><a href="https://www.youtube.com/watch?v=pP8iUyb9Gn8" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=pP8iUyb9Gn8</span><span class="invisible"></span></a></p>
D C Fitzgerald<p><a href="https://ohai.social/tags/reading" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>reading</span></a> <a href="https://ohai.social/tags/meme" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>meme</span></a> <a href="https://ohai.social/tags/books" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>books</span></a> <a href="https://ohai.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>philosophy</span></a> <a href="https://ohai.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://ohai.social/tags/censorship" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>censorship</span></a> <a href="https://ohai.social/tags/humor" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>humor</span></a> <a href="https://ohai.social/tags/education" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>education</span></a></p>
José A. Alonso<p>Readings shared June 30, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/01-readings_shared_07-01-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/07/01-readings_shared_07-01-25</span></a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CompSci</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/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</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/Maxima" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Maxima</span></a> <a href="https://mathstodon.xyz/tags/Teaching" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Teaching</span></a></p>
Andrew Woods<p>“Cite your source”. This is something that Grissom says on multiple occasions on CSI, when people make a questionable statement. </p><p>This is something that people should say more. Truth and facts are important. When people use sources that are if-fy, their arguments need to be treated accordingly.</p><p><a href="https://phpc.social/tags/truth" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>truth</span></a> <a href="https://phpc.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a></p>
Multi Purr Puss :verified:<p><span class="h-card" translate="no"><a href="https://mastodon.online/@macberg" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>macberg</span></a></span> (just read your profile) another fellow child-free-by-choice person! 🖖</p><p>I don't want responsibility of raising a child/human - role-models are all over the place, and my upbringing was quite uncomfy.</p><p>It's even more complicated than "GDR; when the wall fell" - so, i did the reasonsable thing, and decided.</p><p>I won't be directly responsible for the future well-being of a person-raised-by-me.</p><p>As far as i'm concerned, that's what <a href="https://layer8.space/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> dictates; do no harm, take no shit - Bhuddist-like. 🖖</p>
Martin Gausby<p>You haven't been DESTROYED before you have been DESTROYED with FACTS and LOGIC.</p><p>Have you been DESTROYED with FACTS and LOGIC?</p><p>No?</p><p>Then keep on going. <a href="https://mastodon.xyz/tags/motivationaltoot" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>motivationaltoot</span></a> <a href="https://mastodon.xyz/tags/destroyed" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>destroyed</span></a> <a href="https://mastodon.xyz/tags/facts" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>facts</span></a> <a href="https://mastodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mastodon.xyz/tags/fedoras" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fedoras</span></a> <a href="https://mastodon.xyz/tags/atheism" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>atheism</span></a> <a href="https://mastodon.xyz/tags/rationality" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rationality</span></a> <a href="https://mastodon.xyz/tags/crushed" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>crushed</span></a></p>