Hackernews posts about Lean4

1. Ask HN: Looking for a good course to learn proof assistant Lean 4
   5 points by rabarbers 4 days ago | 3 comments
2. Lean4 Macros for Implementing Custom Quantifiers (jamesoswald.dev)
   2 points by ibobev 8 days ago | discuss
3. Making the Clang AST Leaner and Faster (cppalliance.org)
   50 points by vitaut 5 days ago | 9 comments
4. We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT (borisalexeev.com)
   17 points by mathfan 27 days ago | 4 comments
5. New Version of Siri to 'Lean' on Google Gemini (www.macrumors.com)
   6 points by thm 15 days ago | 2 comments
6. Porting Lean to the ESP32-C3 RISC-V Microcontroller (kuruczgy.com)
   6 points by panic 13 days ago | discuss
7. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz)
   5 points by mathfan 27 days ago | 1 comments
8. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (arxiv.org)
   5 points by mathfan 26 days ago | discuss
9. Show HN: Weak Incentives – lean, minimalistic toolkit for background agents (github.com)
   3 points by andreisavu 14 days ago | 1 comments
10. Smarter MCP Clients: A Leaner, Faster Approach to LLM Tooling (www.godaddy.com)
    3 points by tmuhlestein 26 days ago | 1 comments
11. New Version of Siri to 'Lean' on Google Gemini (www.macrumors.com)
    3 points by sdhillon 14 days ago | discuss
12. New Version of Siri to 'Lean' on Google Gemini (www.macrumors.com)
    3 points by eyk19 15 days ago | discuss
13. Is This the End of Handwritten Math? Introducing Lean [video] (www.youtube.com)
    3 points by AbstractPlay 16 days ago | discuss
14. Making the Clang AST Leaner and Faster (cppalliance.org)
    3 points by matt_d 21 days ago | discuss
15. Show HN: Internet Object – a lean, schema-first JSON alternative (internetobject.org)
    2 points by aamironline about 15 hours ago | 2 comments
16. Abac-engine: Lean zero-dep ABAC PDP at 9.37 µs with minimal PAP UI
    2 points by astralstriker 6 days ago | discuss
17. Show HN: LeanSpec - Built in 10 days using the specs it defines (github.com)
    2 points by tikazyq 7 days ago | discuss
18. Making the Clang AST Leaner and Faster (cppalliance.org)
    2 points by mariuz 11 days ago | discuss
19. Making the Clang AST Leaner and Faster (cppalliance.org)
    2 points by javierhonduco 27 days ago | discuss
20. The Best to Way to Learn Might Be Starting at the End: Writing a Proof in Lean (interjectedfuture.com)
    2 points by iamwil 29 days ago | discuss
21. 20 Years, Strategic Management Society Now Believes Lean Startup Is a Strategy (steveblank.com)
    1 points by Brajeshwar 17 days ago | discuss
22. Strategic Management Society Now Believes the Lean Startup Is a Strategy (steveblank.com)
    1 points by speckx 18 days ago | discuss
23. Way to Learn Might Be Starting at the End: Writing a Proof in Lean (interjectedfuture.com)
    1 points by ibobev 22 days ago | discuss
24. Learning by starting at the end: Writing a Proof in Lean (interjectedfuture.com)
    1 points by birdculture 24 days ago | discuss
25. Way to Learn Might Be Starting at the End: Writing a Proof in Lean (interjectedfuture.com)
    1 points by iamwil 28 days ago | discuss
26. Show HN: HUD-like live annotation and sketching app for macOS (draw.wrobele.com)
    56 points by tomaszsobota 19 days ago | 19 comments
27. Show HN: Loopletter: Open-source email marketing platform (github.com)
    7 points by loopletter-max 17 days ago | discuss
28. Show HN: I built a search engine for all domains on the internet (domainexplorer.io)
    5 points by iryndin 11 days ago | 9 comments
29. Show HN: PyTogether, open-source lightweight real-time Python IDE for teachers (pytogether.org)
    5 points by JawadR 15 days ago | discuss
30. Show HN: Why Current Agentic Frameworks Don't Work Well in Production (github.com)
    4 points by Radeen1 3 days ago | discuss