Hackernews posts about Lean4

1. Formally Verifying PBS Kids with Lean4 (www.shadaj.me)
   68 points by shadaj 19 days ago | 5 comments
2. Lithe – A Web Framework for Lean4 (github.com)
   4 points by JoshPurtell 21 days ago | 1 comments
3. Lean 4.27.0 (lean-lang.org)
   4 points by tzury 22 days ago | discuss
4. Lean 4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
   3 points by tesserato 4 days ago | 1 comments
5. PhysLean: Formalising Physics into Lean 4 (github.com)
   2 points by leanexplorer 11 days ago | discuss
6. Lean 4 formalization of Erdős Problem #848 – seeking review (github.com)
   1 points by vibecodermcswag 24 days ago | 1 comments
7. Opus 4.6 is great at formal proofs (Rocq/Lean4) (tristan.st)
   1 points by tsterin 4 days ago | discuss
8. Leaning Into the Coding Interview: Lean 4 vs. Dafny cage-match (ntaylor.ca)
   1 points by todsacerdoti 6 days ago | discuss
9. Lean4 Formalization of "A Simplified Round-by-Round Soundness Proof of Fri" (blog.zksecurity.xyz)
   1 points by baby 25 days ago | discuss
10. AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean (blog.lambdaclass.com)
    1 points by matt_d 3 days ago | discuss
11. Learning Lean: Part 1 (rkirov.github.io)
    130 points by vinhnx 6 days ago | 16 comments
12. Can Opus 4.6 Do Category Theory in Lean? (www.stephendiehl.com)
    8 points by ibobev 5 days ago | discuss
13. The Evolution of a Lean Programmer (unnamed.website)
    5 points by aebtebeten 12 days ago | 1 comments
14. Can Opus 4.6 Do Category Theory in Lean? (www.stephendiehl.com)
    4 points by macleginn 3 days ago | discuss
15. Making AI models leaner and faster without sacrificing accuracy (research.google)
    4 points by Anon84 15 days ago | discuss
16. CSLib: A Focused Effort on Formalizing Computer Science in Lean (www.cslib.io)
    3 points by md224 about 4 hours ago | discuss
17. Calling Lean Functions as Python Functions (www.philipzucker.com)
    3 points by todsacerdoti 15 days ago | discuss
18. Learn Lean (Lang for Math Proof) from a Programmer's Perspective (www.dataisland.org)
    3 points by dataisland99 21 days ago | discuss
19. Lean Startups in the Age of AI: Small R&D, Big Everything Else (mosheshaham.substack.com)
    3 points by puppion 26 days ago | discuss
20. Software Has Its Lean Manufacturing Moment (mediansofproduction.substack.com)
    2 points by arcsincosin 24 days ago | 1 comments
21. Computer Science as Infrastructure: The Spine of the Lean CSLib (arxiv.org)
    2 points by matt_d 1 day ago | discuss
22. Calling Lean Functions as Python Functions – Hey There Buddo (www.philipzucker.com)
    2 points by rbanffy 14 days ago | discuss
23. A plea for lean software [pdf] (cr.yp.to)
    2 points by andsoitis 16 days ago | discuss
24. Sequential Attention Making models leaner and fast without sacrificing accuracy (research.google)
    2 points by binsquare 16 days ago | discuss
25. Vim 9 Plugins for Lean (vim.castedo.com)
    2 points by dougb5 16 days ago | discuss
26. LeanStore: In-Memory Data Management Beyond Main Memory (Viktor Leis) [video] (www.youtube.com)
    2 points by lichtenberger 23 days ago | discuss
27. Lean, Mean, Solitaire Machine (ersei.net)
    2 points by bo0tzz 26 days ago | discuss
28. CSLib: A Focused Effort on Formalizing Computer Science in Lean (www.cslib.io)
    2 points by todsacerdoti 30 days ago | discuss
29. The N-2 Imperative: Why Lean Teams Must Chase the Edge (ashgaikwad.substack.com)
    1 points by ashgkwd 9 days ago | 1 comments
30. Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean (github.com)
    1 points by matt_d 2 days ago | discuss