bolha.us

Metin Seven 🎨“𝙳𝚎𝚎𝚙 𝚒𝚗 𝚝𝚑𝚎 𝚑𝚞𝚖𝚊𝚗 𝚞𝚗𝚌𝚘𝚗𝚜𝚌𝚒𝚘𝚞𝚜 𝚒𝚜 𝚊 𝚙𝚎𝚛𝚟𝚊𝚜𝚒𝚟𝚎 𝚗𝚎𝚎𝚍 𝚏𝚘𝚛 𝚊 𝚕𝚘𝚐𝚒𝚌𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚝𝚑𝚊𝚝 𝚖𝚊𝚔𝚎𝚜 𝚜𝚎𝚗𝚜𝚎. 𝙱𝚞𝚝 𝚝𝚑𝚎 𝚛𝚎𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚒𝚜 𝚊𝚕𝚠𝚊𝚢𝚜 𝚘𝚗𝚎 𝚜𝚝𝚎𝚙 𝚋𝚎𝚢𝚘𝚗𝚍 𝚕𝚘𝚐𝚒𝚌.”― 𝘍𝘳𝘢𝘯𝘬 𝘏𝘦𝘳𝘣𝘦𝘳𝘵, 𝘋𝘶𝘯𝘦<a href="https://graphics.social/tags/quote" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#quote</a> <a href="https://graphics.social/tags/quotes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#quotes</a> <a href="https://graphics.social/tags/thoughts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#thoughts</a> <a href="https://graphics.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a> <a href="https://graphics.social/tags/wisdom" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wisdom</a> <a href="https://graphics.social/tags/dune" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dune</a> <a href="https://graphics.social/tags/universe" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#universe</a> <a href="https://graphics.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://graphics.social/tags/human" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#human</a> <a href="https://graphics.social/tags/humans" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#humans</a> <a href="https://graphics.social/tags/humanity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#humanity</a>

José A. AlonsoReadings shared April 5, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/05-readings_shared_04-05-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/04/05-readings_shared_04-05-25</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

Michael HansenAre there any other <a href="https://social.vivaldi.net/tags/accessible" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#accessible</a> audio and <a href="https://social.vivaldi.net/tags/music" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#music</a> apps for IPhone and IPad besides ableton, garageband, logic and tape it? <a href="https://social.vivaldi.net/tags/accessible" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#accessible</a> <a href="https://social.vivaldi.net/tags/accessibility" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#accessibility</a> <a href="https://social.vivaldi.net/tags/ableton" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ableton</a> <a href="https://social.vivaldi.net/tags/audio" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#audio</a> <a href="https://social.vivaldi.net/tags/blind" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#blind</a> <a href="https://social.vivaldi.net/tags/garageband" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#garageband</a> <a href="https://social.vivaldi.net/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://social.vivaldi.net/tags/music" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#music</a> <a href="https://social.vivaldi.net/tags/recording" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#recording</a>

José A. AlonsoBuilding AI for mathematical reasoning. ~ Chris Garcia. <a href="https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

José A. AlonsoReadings shared April 2, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/02-readings_shared_04-02-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/04/02-readings_shared_04-02-25</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/HOL4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HOL4</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Mathlib" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mathlib</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoLogica (Tools for thought). <a href="http://logic.stanford.edu/logica" rel="nofollow noopener noreferrer" translate="no" target="_blank">http://logic.stanford.edu/logica</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a>

José A. AlonsoTAUT2 (Here you will find various types of randomly-generated, self-correcting logic excercises). <a href="https://www.taut-logic.com" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.taut-logic.com</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a>

José A. AlonsoReadings shared April 1, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/01-readings_shared_04-01-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/04/01-readings_shared_04-01-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SMT</a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Z3</a>

Greg RestallI’m just about to be on the road again, to talk about proof theory, modal logic, a hint of medieval logic, and even a tiny smidgen of metaphysics. On this little European jaunt, the first stop is Prague, then Vienna, and at the end, Amsterdam. I’m looking forward to meeting old friends and making new ones. If you’re in that part of the world, and you’re into that sort of thing, I’d love to see you.<a href="https://consequently.org/presentation/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://consequently.org/presentation/</a><a href="https://hcommons.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a> <a href="https://hcommons.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://hcommons.social/tags/metaphysics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#metaphysics</a>

José A. AlonsoCurso "Razonamiento automático (2010-11)". <a href="https://jaalonso.github.io/cursos/m-ra-10" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/m-ra-10</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

José A. AlonsoReadings shared March 31, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/31-readings_shared_03-31-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/03/31-readings_shared_03-31-25</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

Corey S PowellWhy do "extraordinary claims require extraordinary evidence"? In my new Invisible Universe column, I decode how the phrase that Carl Sagan made famous is routinely misunderstood & abused -- and how to use it as the BS detector it's meant to be.<a href="https://invisibleuniverse.substack.com/p/why-do-extraordinary-claims-require" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://invisibleuniverse.substack.com/p/why-do-extraordinary-claims-require</a> <a href="https://mastodon.social/tags/science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#science</a> <a href="https://mastodon.social/tags/history" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#history</a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://mastodon.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a>

Hacker NewsAutomating Interactive Fiction Logic Generation with LLMs in Emacs<a href="https://blog.tendollaradventure.com/automating-story-logic-with-llms/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://blog.tendollaradventure.com/automating-story-logic-with-llms/</a><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HackerNews</a> <a href="https://mastodon.social/tags/Automating" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Automating</a> <a href="https://mastodon.social/tags/Interactive" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Interactive</a> <a href="https://mastodon.social/tags/Fiction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Fiction</a> <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mastodon.social/tags/Generation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Generation</a> <a href="https://mastodon.social/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mastodon.social/tags/Emacs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Emacs</a> <a href="https://mastodon.social/tags/Storytelling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Storytelling</a>

José A. AlonsoEjercicios de deducción natural en lógica de primer orden. <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/ej-ded-natural-LPO.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/ej-ded-natural-LPO.pdf</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

José A. AlonsoEjercicios de deducción natural proposicional. <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/ej-ded-natural-proposicional.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/ej-ded-natural-proposicional.pdf</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

José A. AlonsoEjercicios de "Lógica informática" (2010-11). <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/ejercicios-LI-2010-11.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/ejercicios-LI-2010-11.pdf</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. AlonsoTemas de "Lógica informática" (2010-11). <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/temas-LI-2010-11.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/temas-LI-2010-11.pdf</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. AlonsoCurso "Lógica informática (2010-11)". <a href="https://jaalonso.github.io/cursos/li-10" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/li-10</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. AlonsoReadings shared March 28, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calculemus</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Philosophy</a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

Teodor Sandu<a href="https://mastodon.online/tags/funny" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#funny</a> <a href="https://mastodon.online/tags/meme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#meme</a> <a href="https://mastodon.online/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.online/tags/it" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#it</a> <a href="https://mastodon.online/tags/loop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#loop</a> <a href="https://mastodon.online/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://mastodon.online/tags/it" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#it</a> <a href="https://mastodon.online/tags/development" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#development</a> <a href="https://mastodon.online/tags/fun" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fun</a> <a href="https://mastodon.online/tags/memes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#memes</a>

Recent searches

Search options

Administered by:

Server stats:

#logic