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. Lean proved this program correct; then I found a bug (kirancodes.me)
   395 points by bumbledraven 20 days ago | 178 comments
2. “Why not just use Lean?” (lawrencecpaulson.github.io)
   302 points by ibobev 6 days ago | 209 comments
3. Formal Verification in Any Language for Everybody (lean 4) (www.dev-log.me)
   14 points by wazHFsRy 24 days ago | 4 comments
4. Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean (github.com)
   14 points by mmaaz 15 days ago | 1 comments
5. Thales – TypeScript compiler and JavaScript engine in Lean (github.com)
   9 points by michaelkrem 3 days ago | discuss
6. Snap is laying off 16 percent of its staff as it leans into AI (www.theverge.com)
   8 points by Brajeshwar 18 days ago | 1 comments
7. Why Not Use Lean? (lawrencecpaulson.github.io)
   7 points by sebg 10 days ago | discuss
8. Lean proved this program was correct; then I found a bug (kirancodes.me)
   7 points by gopiandcode 20 days ago | discuss
9. Why Not Use Lean? (lawrencecpaulson.github.io)
   6 points by baruchel 10 days ago | discuss
10. Show HN: Verified Deep Learning with Lean 4 (brettkoonce.github.io)
    6 points by asparagui 12 days ago | discuss
11. Signal Shot: verify the Signal protocol and its Rust implementation using Lean (leodemoura.github.io)
    6 points by u1hcw9nx 13 days ago | discuss
12. Signal Shot: Verifying the Signal Protocol and Rust Implementation with Lean (leodemoura.github.io)
    5 points by birdculture 12 days ago | discuss
13. Image Recognition with Lean 4 (github.com)
    5 points by asparagui 23 days ago | discuss
14. Show HN: Formal – Formal verification for AI-generated code using Lean 4 (github.com)
    4 points by yamafaktory 21 days ago | 4 comments
15. New technique makes AI models leaner and faster while they're still learning (news.mit.edu)
    3 points by pmastela 19 days ago | 1 comments
16. We're excited to announce that AXLE is switching from Lean to Rocq (axle.axiommath.ai)
    3 points by practal 30 days ago | 1 comments
17. Functional Programming in Lean (leanprover.github.io)
    3 points by gurjeet 6 days ago | discuss
18. Hash-Array Mapped Tries for Fast, Lean Immutable JVM Collections (2015) (blog.acolyer.org)
    3 points by tosh 22 days ago | discuss
19. Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs
    3 points by spaccy05 22 days ago | discuss
20. Buffer Overflow in Lean_io_prim_handle_read (github.com)
    2 points by gopiandcode 20 days ago | 1 comments
21. Ask HN: How do small startups, solo/lean HR agencies manage hiring pipeline?
    2 points by kathir05 15 days ago | discuss
22. The Lean Programming Language and Theorem Prover (leodemoura.github.io)
    2 points by azhenley 22 days ago | discuss
23. Why Lean? (leodemoura.github.io)
    2 points by kachnuv_ocasek 28 days ago | discuss
24. Domain-Driven Design: Lean Aggregates (deniskyashif.com)
    2 points by deniskyashif 28 days ago | discuss
25. Show HN: Stay Lean – Calorie Navigation (apps.apple.com)
    1 points by janpmz about 7 hours ago | 1 comments
26. Lean Game Server (adam.math.hhu.de)
    1 points by alabhyajindal 6 days ago | discuss
27. Learning to Repair Lean Proofs from Compiler Feedback (arxiv.org)
    1 points by matt_d 6 days ago | discuss
28. Lean Squad: Exploring Automated Software Verification W Near-Zero Human Labour (dsyme.net)
    1 points by spooneybarger 13 days ago | discuss
29. Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib (github.com)
    1 points by yamafaktory 17 days ago | discuss
30. Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com)
    1 points by yamafaktory 20 days ago | discuss