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. Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com)
   127 points by anonyonoor 20 days ago | 79 comments
2. Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
   27 points by gopiandcode 6 days ago | 5 comments
3. Why Lean 4 replaced OCaml as my Primary Language (kirancodes.me)
   7 points by pabs3 5 days ago | 1 comments
4. LEANN is an innovative vector database that democratizes personal AI (github.com)
   6 points by car 7 days ago | discuss
5. As AI agents go mainstream, companies lean into confidential computing (www.computerworld.com)
   6 points by Bluestein 30 days ago | discuss
6. Leann – Claude Code–compatible semantic search with 97% smaller vector index (github.com)
   5 points by yichuan 12 days ago | discuss
7. Leaner, faster and AI-powered – a new breed of unicorn has arrived (qz.com)
   4 points by amirkabbara 28 days ago | 1 comments
8. Doctors Were Worse at Spotting Cancer After Leaning on AI, Study Finds (gizmodo.com)
   4 points by mikece 7 days ago | discuss
9. Lean Claude Code for Production (nizar.se)
   3 points by Nizoss 5 days ago | 1 comments
10. Leaning Tower of Suurhusen (en.wikipedia.org)
    3 points by cainxinth 3 days ago | discuss
11. Group Technology, the Forgotten Cousin of Lean Manufacturing (www.construction-physics.com)
    3 points by rbanffy 10 days ago | discuss
12. How the Lean language brings math to coding and coding to math (www.amazon.science)
    3 points by nabla9 15 days ago | discuss
13. Types of types in Lean: common → exotic (www.stephendiehl.com)
    2 points by fanf2 22 days ago | discuss
14. Yalep – Micro language based on Lean for teaching mathematical high-school proo (gricad-gitlab.univ-grenoble-alpes.fr)
    2 points by todsacerdoti 23 days ago | discuss
15. The Lean Startup: Zen, the Art of Failing Fast and Reclaiming Aesthetic Vision (medium.com)
    1 points by light_triad 11 days ago | discuss
16. Proving theorems using Julia's types (or, a mini-Lean in Julia) (lmao.bearblog.dev)
    1 points by LolWolf 22 days ago | discuss
17. Show HN: Aha Domain Search (www.ahadomainsearch.com)
    48 points by slig 16 days ago | 33 comments
18. Ask HN: Are leetcode interviews going away?
    8 points by ryandvm 8 days ago | 8 comments
19. Ask HN: Good Starting OS for Children?
    7 points by kqr 26 days ago | 12 comments
20. Ask HN: Anyone else using open-source platforms to avoid SaaS lock-in?
    7 points by sharan_gohar_ 12 days ago | 10 comments
21. Show HN: Pluely – open-source alternative to Cluely (~10MB, Always On Display) (github.com)
    6 points by truly_sn 1 day ago | 4 comments
22. Show HN: Full Stack Starter Repo Optimized (www.abeahmed.com)
    6 points by atbeme 3 days ago | discuss
23. How to Choose Between an Electric and Hybrid Car
    5 points by Random4456 23 days ago | 3 comments
24. ChatGPT Unlocking the Ghost in the Machine
    4 points by morpheos137 1 day ago | 3 comments
25. Show HN: Should – Expressive Assertions for Go (github.com)
    4 points by andrey-1201 14 days ago | 2 comments
26. Ask HN: Any interest in a HashiCorp Consul fork?
    4 points by slackpad about 17 hours ago | 1 comments
27. Redis Open Source 8.2 Now Supports SVS-Savama Vector Index
    4 points by rdlts 15 days ago | discuss
28. Mineral exploration startups are the tech startups of the physical world
    4 points by unicorn_chaser 27 days ago | discuss
29. Ask HN: What's your secret weapon for keeping code/docs/tests from rotting?
    3 points by bochoh 22 days ago | 4 comments
30. Show HN: Built a spaceship endless runner in 7 days using AI tools (thrustissues.netlify.app)
    3 points by dhruvania 28 days ago | 4 comments