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. Automated Lean Proofs for Every Type (www.galois.com)
   40 points by surprisetalk 24 days ago | 4 comments
2. We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT (borisalexeev.com)
   17 points by mathfan 9 days ago | 4 comments
3. Trump Team Plans IRS Overhaul to Enable Pursuit of Left-Leaning Groups (www.wsj.com)
   14 points by JumpCrisscross 14 days ago | 1 comments
4. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz)
   5 points by mathfan 8 days ago | 1 comments
5. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (arxiv.org)
   5 points by mathfan 7 days ago | discuss
6. Smarter MCP Clients: A Leaner, Faster Approach to LLM Tooling (www.godaddy.com)
   3 points by tmuhlestein 8 days ago | 1 comments
7. Making the Clang AST Leaner and Faster (cppalliance.org)
   3 points by matt_d 3 days ago | discuss
8. Making the Clang AST Leaner and Faster (cppalliance.org)
   2 points by javierhonduco 9 days ago | discuss
9. The Best to Way to Learn Might Be Starting at the End: Writing a Proof in Lean (interjectedfuture.com)
   2 points by iamwil 11 days ago | discuss
10. Strategic Management Society Now Believes the Lean Startup Is a Strategy (steveblank.com)
    1 points by speckx 25 minutes ago | discuss
11. Way to Learn Might Be Starting at the End: Writing a Proof in Lean (interjectedfuture.com)
    1 points by ibobev 3 days ago | discuss
12. Learning by starting at the end: Writing a Proof in Lean (interjectedfuture.com)
    1 points by birdculture 5 days ago | discuss
13. Way to Learn Might Be Starting at the End: Writing a Proof in Lean (interjectedfuture.com)
    1 points by iamwil 10 days ago | discuss
14. 5-min Leanpub interview: programming language cults, digitalization AI adoption [video] (www.youtube.com)
    1 points by muthuishere 19 days ago | discuss
15. Automated Lean Proofs for Every Type (www.galois.com)
    1 points by Bogdanp 20 days ago | discuss
16. Show HN: Inkeep (YC W23) – Agent Builder to create agents in code or visually (github.com)
    79 points by engomez 14 days ago | 49 comments
17. Show HN: HUD-like live annotation and sketching app for macOS (draw.wrobele.com)
    52 points by tomaszsobota 1 day ago | 19 comments
18. Show HN: TrueState – AI chatbot to analyse data with natural language (www.truestate.io)
    12 points by emobill 15 days ago | discuss
19. Show HN: PyTogether, open-source lightweight real-time Python IDE for learners (pytogether.org)
    4 points by JawadR 14 days ago | discuss
20. All-in-One Church Management System for Smaller Churches
    3 points by rcullins 19 days ago | 4 comments
21. Aks HN: Large scale refactorings with LLM. Any experience to share?
    3 points by iot_devs 18 days ago | 1 comments
22. Show HN: Open-source, lightweight collaborative Python IDE for educators (pytogether.org)
    3 points by JawadR 13 days ago | discuss
23. Show HN: How Software Fails-A book about complex system failures(sample chapter)
    2 points by enginyoyen 7 days ago | discuss
24. Show HN: BrowserPod – In-browser Node.js, Vite, and Svelte with full networking (vitedemo.browserpod.io)
    2 points by yuri91 15 days ago | discuss
25. Show HN: Runnable Flowcharts for the Web (flowrun.io)
    2 points by sake92 16 days ago | discuss
26. We can generate 15-hour training courses in under 20 minutes
    1 points by ESibio 28 days ago | 12 comments
27. UAE vs. Delaware HoldCo (US Citizen Living in Lebanon)
    1 points by kbadran7 3 days ago | 1 comments
28. Show HN: Weaklegacy2.com – Weak Legacy 2 (Tier Lists and Active Codes) (weaklegacy2.com)
    1 points by linkshu 4 days ago | discuss
29. Show HN: Nexus – an open-source code agent that's 3× cheaper than Claude Code (github.com)
    1 points by NabilChiheb 24 days ago | discuss
30. Why formalize mathematics – more than catching errors (rkirov.github.io)
    221 points by birdculture 11 days ago | 75 comments