Hackernews posts about Txeo

1. Great ideas in theoretical computer science (www.cs251.com)
   203 points by sebg 14 days ago | 46 comments
2. String theory inspires a brilliant, baffling new math proof (www.quantamagazine.org)
   185 points by ArmageddonIt 20 days ago | 169 comments
3. Lie groups are crucial to some of the most fundamental theories in physics (www.quantamagazine.org)
   174 points by ibobev 29 days ago | 59 comments
4. Approaching 50 Years of String Theory (www.math.columbia.edu)
   91 points by jjgreen 12 days ago | 131 comments
5. Some Junk Theorems in Lean (github.com)
   91 points by saithound 9 days ago | 61 comments
6. Lean theorem prover mathlib (github.com)
   83 points by downboots 19 days ago | 4 comments
7. A Century of Noether's Theorem (arxiv.org)
   61 points by fanf2 5 days ago | 10 comments
8. Tc – Theodore Calvin's language-agnostic testing framework (github.com)
   43 points by mooreds 10 days ago | 6 comments
9. Sequoia partner spreads debunked Brown shooting theory, testing new leadership (techcrunch.com)
   35 points by SilverElfin 12 days ago | 7 comments
10. The Z3 Theorem Prover (github.com)
    35 points by benoitg 22 days ago | 2 comments
11. Litex: Formal math for everyone – set theory examples with Lean comparison (litexlang.com)
    30 points by litexlang 13 days ago | 11 comments
12. Statistical Learning Theory and ChatGPT (kamalikachaudhuri.substack.com)
    22 points by jxmorris12 17 days ago | discuss
13. Las Vegas is in trouble. Everyone has a theory about why. (slate.com)
    16 points by walterbell 24 days ago | 11 comments
14. Toward a Grand Unified Theory of Snowflakes (www.quantamagazine.org)
    16 points by tzury 8 days ago | 1 comments
15. What conspiracy theorists get right (2023) (tomstafford.substack.com)
    13 points by bobbiechen 10 days ago | 1 comments
16. American Heart Association Revives Theory Light Drinking May Be Good for You (www.nytimes.com)
    12 points by bookofjoe about 23 hours ago | 13 comments
17. 'Chemtrails' Conspiracy Theory Dogging the Battle Against Drought (www.wsj.com)
    10 points by perihelions 28 days ago | 2 comments
18. Theoretical Physics Slop (www.math.columbia.edu)
    6 points by mathgenius 23 days ago | 3 comments
19. A Course in Ring Theory (arxiv.org)
    6 points by StatsAreFun 1 day ago | discuss
20. Marx's Theory of the "Commons" Explains the AI Crisis (gpt3experiments.substack.com)
    5 points by nutanc 10 days ago | 3 comments
21. Warner Bros Bidding War: Lessons on Aggregator Theory and Hostile Deal Mechanics (philippdubach.com)
    5 points by 7777777phil 22 days ago | 1 comments
22. Show HN: Operon – Reliable Agents Using Biological Motifs and Category Theory (github.com)
    5 points by coredipper 3 days ago | discuss
23. The Married Scientists Torn Apart by a Covid Bioweapon Theory (www.nytimes.com)
    4 points by vinni2 25 days ago | 4 comments
24. Anesthesia Experiments Are Reviving Quantum Consciousness Theories (www.popularmechanics.com)
    4 points by bookofjoe 18 days ago | 3 comments
25. Rust and the Price of Ignoring Theory [video] (www.youtube.com)
    4 points by ok123456 13 days ago | 2 comments
26. Explaining Britain's Industrial Revolution: The Major Theories (frompovertytoprogress.substack.com)
    4 points by paulpauper 7 days ago | 1 comments
27. Rust and the price of ignoring theory [video] (www.youtube.com)
    4 points by pjmlp 11 days ago | 1 comments
28. New Theory Suggests We've Been Wrong About Black Holes for 60 Years (scitechdaily.com)
    3 points by nsoonhui 4 days ago | 3 comments
29. Game Theory and Your Lawn (domofutu.substack.com)
    3 points by wjb3 18 days ago | 2 comments
30. Real-life experiment shows Bohr was right in theoretical debate with Einstein (phys.org)
    3 points by pseudolus about 3 hours ago | 1 comments