Hackernews posts about Lean4

1. From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)
   145 points by rwosync 19 days ago | 21 comments
2. Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4 (abhamra.com)
   63 points by todsacerdoti 13 days ago | 3 comments
3. My experience with Lean 4 for general programming (quamserena.com)
   6 points by quamserena 22 days ago | discuss
4. Show HN: Collaborative Cloud-Based IDE for Lean 4 (prove.reaslab.io)
   1 points by alissa-tung 8 days ago | discuss
5. Formal Axiomatization of Advaita Vedanta in Lean 4 (github.com)
   1 points by hamiecod 20 days ago | discuss
6. Some Junk Theorems in Lean (github.com)
   91 points by saithound 10 days ago | 61 comments
7. Lean theorem prover mathlib (github.com)
   83 points by downboots 19 days ago | 4 comments
8. Litex: Formal math for everyone – set theory examples with Lean comparison (litexlang.com)
   30 points by litexlang 14 days ago | 11 comments
9. Formally Verifying Peephole Optimisations in Lean (l-m.dev)
   25 points by l-mdev 10 days ago | 9 comments
10. David Budden claims end-to-end Lean proof of Navier-Stokes (twitter.com)
    12 points by delichon 12 days ago | discuss
11. What does a lean proof prove? (supaiku.com)
    5 points by elcomet 17 days ago | 1 comments
12. LLMs Are Left-Leaning Liberals: The Hidden Political Bias of LLMs (www.scl.org)
    4 points by maxloh 17 days ago | discuss
13. Understanding Mathematics Through Lean (bytesauna.com)
    3 points by mapehe 18 days ago | 1 comments
14. Lean: Open source algorithmic trading engine (github.com)
    3 points by nateb2022 about 3 hours ago | discuss
15. Ask HN: Alternative to lean domain search without .blog (2worddomain.com)
    2 points by aleks5678 15 days ago | 1 comments
16. Alleged Navier Stokes Existence and Smoothness Proof in Lean (twitter.com)
    2 points by ladberg 12 days ago | discuss
17. What does a lean proof prove? (supaiku.com)
    2 points by EvgeniyZh 21 days ago | discuss
18. Greener – lean and mean test result explorer (github.com)
    1 points by cephei8 4 days ago | discuss
19. Open Sourcing Pbcc: A Faster, Leaner Protobuf Compiler for Python (harmonic.fun)
    1 points by ushakov 10 days ago | discuss
20. How to Reclaim Aesthetic Vision from the Lean Startup? (medium.com)
    1 points by light_triad 16 days ago | discuss
21. Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN (xenaproject.wordpress.com)
    1 points by unprovable 26 days ago | discuss
22. Ask HN: How are you LLM-coding in an established code base?
    70 points by adam_gyroscope 16 days ago | 66 comments
23. Ask HN: Go all-in on AI Boom vs. enjoy parenthood?
    13 points by pratchett 20 days ago | 25 comments
24. Show HN: The Epstein Library (epsteinlibrary.com)
    4 points by mikeortman 6 days ago | 2 comments
25. How do you keep up with AI/crypto/markets without drowning in noise?
    3 points by alex-vasper 28 days ago | 15 comments
26. Cloudflare Stream + Backblaze vs. GCP for Short Form Video?
    3 points by slroger 9 days ago | 9 comments
27. Ask HN: How do you pronounce the name of Anthropic's series of LLMs?
    3 points by alexjplant about 5 hours ago | 3 comments
28. Ask HN: LLC or Sole Proprietorship
    3 points by dandeto 10 days ago | 2 comments
29. Ask HN: What is the Mt. Rushmore of desktop applications?
    3 points by exogeny 9 days ago | 1 comments
30. Show HN: I bootstrapped a podcast search engine in Rust (1 yr update)
    3 points by lukaesch 1 day ago | discuss