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. TI-99/4A: Leaning more on the firmware (bumbershootsoft.wordpress.com)
   77 points by ibobev 14 days ago | 49 comments
2. Running Lean at Scale (harmonic.fun)
   67 points by eab- 19 days ago | 6 comments
3. Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection (zenodo.org)
   10 points by trissim 25 days ago | 20 comments
4. Iran leans into anti-Western bluster as it tries to quell deadly protests (www.cbsnews.com)
   5 points by mhb 24 days ago | discuss
5. Lithe – A Web Framework for Lean4 (github.com)
   4 points by JoshPurtell 2 days ago | 1 comments
6. Gravity from Information Geometry: A Lean 4 Formalization of Emergent Spacetime (www.academia.edu)
   3 points by kristintynski 13 days ago | 5 comments
7. Lean Startups in the Age of AI: Small R&D, Big Everything Else (mosheshaham.substack.com)
   3 points by puppion 7 days ago | discuss
8. Show HN: Proof that any fixed-axis type system fails for some domain (Lean4) (zenodo.org)
   3 points by trissim 26 days ago | discuss
9. Software Has Its Lean Manufacturing Moment (mediansofproduction.substack.com)
   2 points by arcsincosin 4 days ago | 1 comments
10. Lean Dine – Scan restaurant menus for calories, macros, and allergens (leandine.app)
    2 points by albertnahas 22 days ago | 1 comments
11. Proof that any fixed-axis type system fails for some domain (formalized in Lean) (zenodo.org)
    2 points by trissim 27 days ago | 1 comments
12. Learn Lean (Lang for Math Proof) from a Programmer's Perspective (www.dataisland.org)
    2 points by dataisland99 2 days ago | discuss
13. Lean 4.27.0 (lean-lang.org)
    2 points by tzury 3 days ago | discuss
14. LeanStore: In-Memory Data Management Beyond Main Memory (Viktor Leis) [video] (www.youtube.com)
    2 points by lichtenberger 4 days ago | discuss
15. Lean, Mean, Solitaire Machine (ersei.net)
    2 points by bo0tzz 6 days ago | discuss
16. CSLib: A Focused Effort on Formalizing Computer Science in Lean (www.cslib.io)
    2 points by todsacerdoti 11 days ago | discuss
17. Lean Game Server (adam.math.hhu.de)
    2 points by Tachyooon 13 days ago | discuss
18. Fill in a lean canvas nicely in the browser and download it (cluelessuk.github.io)
    2 points by h0h0h0h0111 19 days ago | discuss
19. Show HN: Knowing What Matters is coNP-complete (Lean 4 formalized) (zenodo.org)
    2 points by trissim 25 days ago | discuss
20. Show HN: AI compliance automation for startups and lean teams (regulance.io)
    2 points by felixche 29 days ago | discuss
21. Lean 4 formalization of Erdős Problem #848 – seeking review (github.com)
    1 points by vibecodermcswag 4 days ago | 1 comments
22. Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri" (blog.zksecurity.xyz)
    1 points by baby 6 days ago | discuss
23. Either micromanage your people or lean on them (betterthanrandom.substack.com)
    1 points by weltview 28 days ago | discuss
24. Launch HN: Indy (YC S21) – A support app designed for ADHD brains (www.shimmer.care)
    85 points by christalwang 16 days ago | 93 comments
25. Discuss: Linux has been solid for a long time, come on in – the water is fine
    8 points by ottoflux 4 days ago | 5 comments
26. Show HN: ToolKuai – Privacy-first, 100% client-side media tools (toolkuai.com)
    8 points by indie_max 1 day ago | 1 comments
27. Show HN: A private FIRE calculator suite that runs in the browser (firenum.com)
    5 points by Mikulas_Tomanka about 12 hours ago | discuss
28. Tell HN: Ask your AI, "What can you tell me that you know about me?" to see ...
    4 points by marcuswestin 6 days ago | 3 comments
29. Show HN: cubic 2.0 – improving our AI code reviewer (3x more accurate,2x faster) (www.cubic.dev)
    4 points by pomarie 19 days ago | 3 comments
30. Show HN: Why single agents suck at math proofs (ensue.dev)
    4 points by austinbaggio 11 days ago | 1 comments