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. I'm Eric Ries, author of "The Lean Startup" and new book "Incorruptible" – AMA
   805 points by eries 7 days ago | 577 comments
2. All Lean Books and Where to Find Them (lakesare.brick.do)
   33 points by atomicnature 24 days ago | 2 comments
3. Lean, Not Backpressure (entropicthoughts.com)
   21 points by kqr 16 days ago | 1 comments
4. Why do anxious people lean left?" (www.psypost.org)
   8 points by bilsbie 23 days ago | 8 comments
5. Mathematicians use Lean to verify proofs, whats the equivalent for patent claims (fearn.ai)
   7 points by marclave 2 days ago | 1 comments
6. Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model (github.com)
   7 points by adyashakti 15 days ago | discuss
7. Google has seriously leaned into AI enshittification lately (www.theregister.com)
   5 points by Bender 22 days ago | 3 comments
8. Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers (digitalcommons.chapman.edu)
   5 points by dolia 2 days ago | discuss
9. Muscle growth drug 'could reduce loss of lean tissue' when using slimming jabs (www.theguardian.com)
   5 points by victortalkstech 9 days ago | discuss
10. Lean Inference: Lean Manufacturing Principles Applied to AI (neurometric.substack.com)
    5 points by robmay 14 days ago | discuss
11. Using algebra and LLMs to verify a flight-plan bug fix in Lean (jameshaydon.github.io)
    5 points by jameshh 30 days ago | discuss
12. Classrooms lean into analog learning in the AI era (www.axios.com)
    4 points by 1vuio0pswjnm7 18 days ago | discuss
13. Google has seriously leaned into AI enshittification lately (www.theregister.com)
    4 points by sbulaev 23 days ago | discuss
14. Grokipedia selectively drawing on more right-leaning news sources, new study (www.tcd.ie)
    3 points by giuliomagnifico 28 days ago | 1 comments
15. Quaternion Rotations, Claude, and Lean (www.johndcook.com)
    3 points by ibobev about 23 hours ago | discuss
16. Qed: A verified web front end written in Lean4 (github.com)
    3 points by JacobAsmuth 3 days ago | discuss
17. A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe (github.com)
    3 points by AndrewHakmi 5 days ago | discuss
18. Formally proving a calculation with Claude and Lean (www.johndcook.com)
    3 points by ibobev 6 days ago | discuss
19. Lean – Two Claude Code skills that stop the AI from over-engineering (github.com)
    2 points by mamba99 9 days ago | 1 comments
20. LeanBox: Open-source inbox management agent (github.com)
    2 points by tonikami 16 days ago | 1 comments
21. AI revives lean-forward UX (jakobnielsenphd.substack.com)
    2 points by andsoitis 9 days ago | discuss
22. Functional Programming in Lean (leanprover.github.io)
    2 points by tosh 22 days ago | discuss
23. Get Started with Lean Proof Assistant (lean-lang.org)
    2 points by digital55 23 days ago | discuss
24. Formalizing a ring theorem with Lean 4 and Claude (www.johndcook.com)
    1 points by ibobev about 1 hour ago | discuss
25. Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed (github.com)
    93 points by permute 13 days ago | 21 comments
26. Show HN: Twixt – transform one word into another in four moves (twixt.games)
    20 points by unseen_forms 27 days ago | 24 comments
27. Ask HN: How do you cope when your startup contracts?
    14 points by jasonephraim 9 days ago | 13 comments
28. Show HN: Map drawing tool where the map lives in the URL (drawonamap.com)
    8 points by singiamtel 21 days ago | 1 comments
29. Ask HN: Are you using Spec Driven Development?
    7 points by xpn 5 days ago | 6 comments
30. Show HN: My independent search engine focused on user control (slicksearchhq.com)
    5 points by nox21125 27 days ago | 9 comments