Hackernews posts about Txeo
- Great ideas in theoretical computer science (www.cs251.com)
- String theory inspires a brilliant, baffling new math proof (www.quantamagazine.org)
- Lie groups are crucial to some of the most fundamental theories in physics (www.quantamagazine.org)
- Approaching 50 Years of String Theory (www.math.columbia.edu)
- Some Junk Theorems in Lean (github.com)
- Lean theorem prover mathlib (github.com)
- A Century of Noether's Theorem (arxiv.org)
- The Z3 Theorem Prover (github.com)
- Statistical Learning Theory and ChatGPT (kamalikachaudhuri.substack.com)
- Toward a Grand Unified Theory of Snowflakes (www.quantamagazine.org)
- What conspiracy theorists get right (2023) (tomstafford.substack.com)
- Theoretical Physics Slop (www.math.columbia.edu)
- A Course in Ring Theory (arxiv.org)
- Marx's Theory of the "Commons" Explains the AI Crisis (gpt3experiments.substack.com)
- Warner Bros Bidding War: Lessons on Aggregator Theory and Hostile Deal Mechanics (philippdubach.com)
- The Married Scientists Torn Apart by a Covid Bioweapon Theory (www.nytimes.com)
- Anesthesia Experiments Are Reviving Quantum Consciousness Theories (www.popularmechanics.com)
- Rust and the Price of Ignoring Theory [video] (www.youtube.com)
- Explaining Britain's Industrial Revolution: The Major Theories (frompovertytoprogress.substack.com)
- Rust and the price of ignoring theory [video] (www.youtube.com)
- New Theory Suggests We've Been Wrong About Black Holes for 60 Years (scitechdaily.com)
- Game Theory and Your Lawn (domofutu.substack.com)