Hackernews posts about Lean

Lean is a proof assistant software that helps mathematicians and computer scientists formalize and verify mathematical proofs using a rigorous and automated process.

1. Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
   186 points by matt_d 28 days ago | 39 comments
2. OpenAI’s Navier-Stokes release included a Lean 4 formal proof (www.johndcook.com)
   179 points by ibobev 5 days ago | 178 comments
3. Fermat's Last Theorem in Lean 4 (github.com)
   146 points by aaraujo002 11 days ago | 31 comments
4. LeanDB a strongly Typed SQL front end (theoric.com)
   18 points by hargup 19 days ago | 6 comments
5. Lean Explained with TypeScript (gruhn.me)
   11 points by ngruhn 16 days ago | discuss
6. OpenAI changed Navier-Stokes press release and Lean4 code on GH
   9 points by rawland 4 days ago | 2 comments
7. Does History Lean to the Left (caffeineandlasers.com)
   7 points by jyhrow 1 day ago | 8 comments
8. Like Terraform, but in Lean 4 (ngrislain.github.io)
   7 points by ngrislain 8 days ago | 2 comments
9. Musk says Grok's political lean is 'a function of SF Bay Area political views' (tokenstead.ai)
   5 points by cdnsteve 17 days ago | 2 comments
10. Nielsen is leaning more on wearables to hear what people are watching (www.theverge.com)
    5 points by mikelgan 27 days ago | 2 comments
11. Guardrail Your Agents with Lean (github.com)
    5 points by barthelomew 5 days ago | discuss
12. High-Throughput Lean 4 Autoformalization Model for Local Inference (meshapplied.com)
    4 points by matteohorvath 24 days ago | 1 comments
13. A kernel run on the Navier-Stokes blowup Lean project (github.com)
    4 points by ravanova 5 days ago | discuss
14. AI giants lean into health care to stall public backlash (www.axios.com)
    4 points by brandonb 15 days ago | discuss
15. Walgit leans on S3 primitives but has classic distsys bugs (twitter.com)
    4 points by porridgeraisin 21 days ago | discuss
16. Why Lean is faster than Rust (kim-em.github.io)
    4 points by hectormalot 24 days ago | discuss
17. Natural Number Game (Lean4 Tutorial) (adam.math.hhu.de)
    3 points by abetusk 6 days ago | 1 comments
18. LeanDB: A strongly typed SQL Front end (theoric.com)
    3 points by matt_d about 23 hours ago | discuss
19. Lance Fortnow: Navier-Stokes and Lean (blog.computationalcomplexity.org)
    3 points by digital55 4 days ago | discuss
20. Show HN: News observability site tracks coverage by party lean/distraction/etc. (pressaudit.org)
    3 points by SLHamlet 5 days ago | discuss
21. Lean Game Server (adam.math.hhu.de)
    3 points by abetusk 6 days ago | discuss
22. South Korea leans toward military conscription for women (www.dw.com)
    3 points by Teever 18 days ago | discuss
23. Lean: Postmortem for the Kernel Soundness Bug Hunt (leodemoura.github.io)
    3 points by matt_d 22 days ago | discuss
24. Why Rocq is better than Lean for program verification (joomy.korkutblech.com)
    2 points by birdculture 4 days ago | discuss
25. A computer-assisted Lean 4 proof of the Berge–Fulkerson C(24) theorem (github.com)
    2 points by frjnn 6 days ago | discuss
26. A Proof of Conway's Refinement Conjecture in Lean (github.com)
    2 points by danabramov 11 days ago | discuss
27. Lean-verified refinement of the zeta simple-zero bound (67.251%) (zenodo.org)
    2 points by TakayukiKomada 13 days ago | discuss
28. Lean Explained with TypeScript (gruhn.me)
    2 points by ngruhn 18 days ago | discuss
29. FinOps for LLM – Leanroute Team wrote a blog
    1 points by leanroute_ai 5 days ago | 2 comments
30. Carmichael numbers are quickly findable (Lean-verified) [pdf] (jdb19937.github.io)
    1 points by jdb1729 6 days ago | 1 comments