Hackernews posts about Lean4

1. Vibe Under Constraint - Claude Code writing Lean 4 (ngrislain.github.io)
   3 points by ngrislain 13 days ago | 1 comments
2. Mathematical finance, formally verified in Lean 4 (github.com)
   3 points by raphaelrrcoelho 7 days ago | discuss
3. Dependently typed Clojure DSL with a Lean4 compatible kernel (github.com)
   3 points by yogthos 8 days ago | discuss
4. Formalizing a ring theorem with Lean 4 and Claude (www.johndcook.com)
   3 points by ibobev 19 days ago | discuss
5. Qed: A verified web front end written in Lean4 (github.com)
   3 points by JacobAsmuth 22 days ago | discuss
6. A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe (github.com)
   3 points by AndrewHakmi 24 days ago | discuss
7. Lean4Physics: Reasoning Framework for College Physics in Lean4 (arxiv.org)
   2 points by soupspaces 4 days ago | discuss
8. Lean 4 software scaling laws (gwern.net)
   2 points by yuppiemephisto 4 days ago | discuss
9. Metamorphic testing with Lean4-verified mutations finds compiler miscompilations (nowarp.io)
   2 points by jubnzv_ 8 days ago | discuss
10. I'm Eric Ries, author of "The Lean Startup" and new book "Incorruptible" – AMA
    809 points by eries 26 days ago | 579 comments
11. Leanstral 1.5: Proof abundance for all (mistral.ai)
    372 points by programLyrique 3 days ago | 106 comments
12. Leanstral 1.5 (docs.mistral.ai)
    310 points by vetronauta 6 days ago | 149 comments
13. OpenAI leans toward waiting until next year for IPO (www.nytimes.com)
    179 points by mfiguiere 11 days ago | 154 comments
14. Show HN: Talos – Open-source WASM interpreter for Lean (github.com)
    106 points by mfornet 18 days ago | 28 comments
15. Show HN: Lean bulk, cut, body recomp. Calculate maintenance calories (macrocodex.app)
    28 points by faangguyindia 16 days ago | 12 comments
16. Lean Software Scaling Laws (gwern.net)
    25 points by gmays 1 day ago | discuss
17. Leanstral 1.5: Proof Abundance for All (mistral.ai)
    10 points by meetpateltech 3 days ago | 1 comments
18. Mistralai/Leanstral-1.5-119B-A6B (huggingface.co)
    8 points by satvikpendem 3 days ago | 1 comments
19. Ask HN: Is HN crowd a left-leaning?
    7 points by eimrine 1 day ago | 17 comments
20. Open Letter to Compassionate, Left-Leaning, AI-Hating, Animal-Loving Meat Eaters (brennan.day)
    7 points by speckx 10 days ago | 2 comments
21. Mathematicians use Lean to verify proofs, whats the equivalent for patent claims (fearn.ai)
    7 points by marclave 21 days ago | 1 comments
22. Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers (digitalcommons.chapman.edu)
    5 points by dolia 21 days ago | discuss
23. Muscle growth drug 'could reduce loss of lean tissue' when using slimming jabs (www.theguardian.com)
    5 points by victortalkstech 28 days ago | discuss
24. OpenAI leans toward waiting until 2027 for IPO: Report (www.msn.com)
    3 points by ms7892 10 days ago | 1 comments
25. Software Foundations being translated to Lean (leanprover.zulipchat.com)
    3 points by navidhg 17 days ago | 1 comments
26. Show HN: OpenATP: A platform for automated theorem proving in Lean (github.com)
    3 points by henryrobbins00 6 days ago | discuss
27. Erdős problem #870 solved with ChatGPT-5.5-Pro and Lean (twitter.com)
    3 points by asparagui 10 days ago | discuss
28. Quaternion Rotations, Claude, and Lean (www.johndcook.com)
    3 points by ibobev 20 days ago | discuss
29. Formally proving a calculation with Claude and Lean (www.johndcook.com)
    3 points by ibobev 25 days ago | discuss
30. OpenAI leans toward waiting until next year for IPO, NYT reports (www.reuters.com)
    2 points by theanonymousone 11 days ago | 1 comments