Hackernews posts about Theo
- A Theory of Deep Learning (elonlit.com)
- What Do Gödel's Incompleteness Theorems Mean? (www.quantamagazine.org)
- Building ML framework with Rust and Category Theory (hghalebi.github.io)
- Making AI chatbots friendly leads to mistakes and support of conspiracy theories (www.theguardian.com)
- A Good Lemma Is Worth a Thousand Theorems (2007) (sites.math.rutgers.edu)
- Read Programming as Theory Building (codeutopia.net)
- Fundamental Theorem of Calculus (david.alvarezrosa.com)
- Using group theory to explore the space of positional encodings for attention (blog.janestreet.com)
- Programming as Theory Building (1985) [pdf] (gwern.net)
- The extended predicative Mahlo universe in Martin-Löf type theory (2023) (academic.oup.com)
- Marx's Theory of Alienation of Labor (en.wikipedia.org)
- MIT 14.12 Economic Applications of Game Theory, Fall 2025 (www.youtube.com)
- An Overview of the Mathematical Theory of Communication for Philosophers [pdf] (theinformationalturn.net)
- Do People Sincerely Believe Conspiracy Theories That They Endorse? (online.ucpress.edu)
- The Biggest Conspiracy Theories in Open Source (nesbitt.io)
- What Do Gödel's Incompleteness Theorems Mean? (www.quantamagazine.org)
- The Fall of the Theorem Economy (davidbessis.substack.com)
- Using group theory to explore the space of positional encodings for attention (blog.janestreet.com)
- More on Newton's Diameter Theorem (www.johndcook.com)
- The Fall of the Theorem Economy (davidbessis.substack.com)
- The Mythology of Category Theory (www.johndcook.com)
- An Unreleased Lyme Disease Vaccine Is Sparking False Conspiracy Theories (www.motherjones.com)
- The Fall of the Theorem Economy (davidbessis.substack.com)
- Peter Naur – Programming as Theory Building (1985) [pdf] (pages.cs.wisc.edu)