Hackernews posts about Theo
- Square Theory (aaronson.org)
- The Blowtorch Theory: A new model for structure formation in the universe (theeggandtherock.com)
- Theory of Stupidity [pdf] (www.onthewing.org)
- In POSIX, you can theoretically use inode zero (utcc.utoronto.ca)
- Domain Theory Lecture Notes (liamoc.net)
- Programming in Martin-Lof's Type Theory: An Introduction (1990) (www.cse.chalmers.se)
- Science cuts may close WA LIGO observatory that confirmed theory of relativity (www.tri-cityherald.com)
- Big Bang theory is wrong, claim scientists (www.telegraph.co.uk)
- The Core of Fermat's Last Theorem Just Got Superpowered (www.quantamagazine.org)
- How Often Do LLMs Snitch? Recreating Theo's SnitchBench with LLM (simonwillison.net)
- 100 theorems in Lean (leanprover-community.github.io)
- My Theory for Lua 6 (sdegutis.github.io)
- Another Outlandish Conspiracy Theory Amplified: Biden Is a Robotic Clone (www.nytimes.com)
- Horseshoe Theory of Politics (en.wikipedia.org)
- NASA Scientists Theory: What If We Aren't First Advanced Civilization on Earth? (www.zmescience.com)
- The Prompt Theory (twitter.com)
- Visualizing Bayes Theorem (2009) (oscarbonilla.com)
- Implementing Löb's Theorem in Emacs Lisp (newartisans.com)
- The Abundance Agenda Has Its Own Theory of Power (www.nytimes.com)
- Functional Programming and Theorem Proving in Lean 4 (web.stanford.edu)
- Experimental Support for Quantum Microtubule Theory of Consciousness (academic.oup.com)
- The Core of Fermat's Last Theorem Just Got Superpowered (www.quantamagazine.org)
- Stephen Hawking's Final Theory About Our Universe (2018) (www.sciencealert.com)
- A Python Frozenset Interpretation of Dependent Type Theory (www.philipzucker.com)
- What Game Theory Reveals About AI (www.psychologytoday.com)