Hackernews posts about Lean4

1. Why Lean 4 replaced OCaml as my primary language (kirancodes.me)
   4 points by fanf2 28 days ago | discuss
2. The grind tactic in Lean 4 [video] (www.youtube.com)
   3 points by matt_d 14 days ago | discuss
3. Show HN: Containers for Lean 4 (polynomial functors, with M-types) (github.com)
   1 points by MADEinPARIS 17 days ago | discuss
4. Apollo Client 4.0: A Leaner and Cleaner GraphQL Client with No Compromises (www.apollographql.com)
   7 points by jerelmiller 29 days ago | 1 comments
5. Evidence for Energy Conservation Compared to Normal and Lean Adolescents (deepblue.lib.umich.edu)
   4 points by paulpauper 24 days ago | discuss
6. Lean Windows 11 image for dev and embedded use (github.com)
   3 points by amazonhut 19 days ago | 1 comments
7. You Like Too Many Things. Now What?: Leaning into my scattered thinking style (chillphysicsenjoyer.substack.com)
   3 points by crescit_eundo 13 days ago | discuss
8. Apollo Client 4.0: A Leaner and Cleaner GraphQL Client with No Compromises (www.apollographql.com)
   3 points by hackandthink 24 days ago | discuss
9. Beyond Booleans in Lean (overreacted.io)
   3 points by fanf2 26 days ago | discuss
10. A $5k Lean Startup Experiment Became Michigan's Innovation Hub (www.jointhequarter.com)
    2 points by rmason 15 days ago | 2 comments
11. Running Lean at Scale (harmonic.fun)
    2 points by eab- 21 days ago | discuss
12. A collection of formalized statements of conjectures in Lean (github.com)
    2 points by EvgeniyZh 25 days ago | discuss
13. A Lean Formalisation of Fermat's Last Theorem (github.com)
    2 points by bcye 29 days ago | discuss
14. Lean marketing stack for B2B SaaS (www.customeracquisitionengine.com)
    2 points by superamped 29 days ago | discuss
15. Show HN: Contradiction, Contraposition and Lean (ouss122.github.io)
    1 points by ou122 26 days ago | 2 comments
16. Ask HN: How do developers learn design intuition?
    4 points by mercat 24 days ago | 3 comments
17. Show HN: Sockudo – Pusher-compatible WebSocket server in Rust
    4 points by radooku 7 days ago | discuss
18. Show HN: Cachey, a Read-Through Cache for S3 (github.com)
    3 points by shikhar 19 days ago | 2 comments
19. From frustration to open source adoption: my journey building SnapDOM
    3 points by tinchox5 6 days ago | discuss
20. Show HN: WaFlow – Local sandbox to prototype WhatsApp-style bots
    3 points by leandrobon 12 days ago | discuss
21. A New Type of Computing
    3 points by amazedsaint 21 days ago | discuss
22. Ask HN: What's solution to periodic Deep Research using LLM?
    2 points by j1000 14 days ago | 1 comments
23. Show HN: Resist – Nutrition Labels for Digital Content (github.com)
    2 points by bipsandbytes 27 days ago | 1 comments
24. Show HN: TNX API – Natural Language Interaction with Databases, Now Open Source (github.com)
    2 points by Marten42 18 days ago | discuss
25. What IAM / Authentication for B2C to pick if hosted solutions is not an option?
    2 points by marknefedov 19 days ago | discuss
26. Show HN: Internet Plays Chess – one global game, moves by consensus (internetplayschess.com)
    2 points by wessie 23 days ago | discuss
27. Show HN: Visualize Your Redis DB in Roblox (medium.com)
    2 points by k9jd883jb 23 days ago | discuss
28. Show HN: Rkik – A light, efficient NTP diagnosis tool written in Rust (v1.10) (github.com)
    2 points by aguacero7 23 days ago | discuss
29. We can generate 15-hour training courses in under 20 minutes
    1 points by ESibio about 9 hours ago | 5 comments
30. Show HN: Surchee – check how AI search engines view and search your site
    1 points by surchee 10 days ago | 1 comments