Hackernews posts about Lean4

1. Clean, a formal verification DSL for ZK circuits in Lean4 (blog.zksecurity.xyz)
   77 points by vons 8 days ago | 5 comments
2. Show HN: Formal Verification for Machine Learning Models Using Lean 4 (github.com)
   52 points by MADEinPARIS 12 days ago | 14 comments
3. Russia leans on cryptocurrencies for oil trade with China, sources say (www.reuters.com)
   9 points by suraci 21 days ago | discuss
4. Show HN: Atono – A clean, lean, and unstressed alternative to Jira (atono.io)
   2 points by MHenzi 9 days ago | 2 comments
5. Ex150honey review: gained 5.4lbs lean mass, no fat loss (www.exfatloss.com)
   2 points by paulpauper 20 days ago | discuss
6. Lean AI Native Companies Leaderboard (github.com)
   2 points by simonpure 28 days ago | discuss
7. Does Big Tech's suckiness open the door for leaner startups? – The Hustle (thehustle.co)
   1 points by rbanffy 15 days ago | discuss
8. Marines to lean on Anduril tech to protect bases from drones (defensescoop.com)
   1 points by protik49 21 days ago | discuss
9. Extrinsic termination proofs for well-founded recursion in Lean (www.joachim-breitner.de)
   1 points by JNRowe 24 days ago | discuss
10. Lean AI Native Companies Leaderboard (leanaileaderboard.com)
    1 points by mellosouls 27 days ago | discuss
11. A hostile $7B chip deal leans on electric faith (www.reuters.com)
    1 points by c420 29 days ago | discuss
12. Lean into Your Agentic Coder's Mistakes (benhouston3d.com)
    1 points by bhouston 29 days ago | discuss
13. Show HN: Zxc – Rust TLS proxy with tmux and Vim as UI, BurpSuite alternative (github.com)
    97 points by darkseid_is 1 day ago | 13 comments
14. Launch HN: ASim (YC S21) – Mobile app that generates mobile apps
    84 points by dli123 3 days ago | 61 comments
15. Show HN: C++ AWS MSK IAM Auth Implementation – Goodbye Kafka Passwords (github.com)
    50 points by jovezhong 29 days ago | 13 comments
16. Show HN: Chatleh – AI Customer Support for Professional Services (chatleh.com)
    3 points by chatleh 25 days ago | 1 comments
17. Ask HN: Simplest way to productize my graph layout algo?
    2 points by ch3coohlink 7 days ago | 6 comments
18. Show HN: Ask the Software Architect (www.exploravention.com)
    2 points by gengstrand 11 days ago | discuss
19. Ask HN: Elegant three-state 'Dark mode' toggle, how best to implement?
    1 points by evolve2k 20 days ago | 6 comments
20. Show HN: LLmHub.dev – A Unified API for Multi-LLM Automatic Routing (llmhub.dev)
    1 points by Prateek17 11 days ago | 1 comments
21. Show HN: Chrome Extension to generate YT subtitles using Gemini 2.5 Pro Exp (github.com)
    1 points by lmrl about 13 hours ago | discuss
22. First 100 users free: Unified API auto-selects GPT,DeepSeek,Llama for all prompt
    1 points by Prateek17 9 days ago | discuss
23. Ask HN: Lightweight Alternatives to Parsec for a Centralized Workstation Setup?
    1 points by Linkd 22 days ago | discuss
24. Building a one-stop cybersecurity product for Startups/SMBs – Now in beta
    1 points by osto 24 days ago | discuss
25. Show HN: DeployHQ Is Going Unlimited (www.deployhq.com)
    1 points by deployhq 29 days ago | discuss
26. The Most Underrated Data Cleaning Solution and Why It Deserves Your Attention
    1 points by ogora 30 days ago | discuss
27. Minimal CSS-only blurry image placeholders (leanrada.com)
    457 points by ChiptuneIsCool 5 days ago | 72 comments
28. Exploring Polymorphism in C: Lessons from Linux and FFmpeg's Code Design (2019) (leandromoreira.com)
    233 points by dreampeppers99 29 days ago | 126 comments
29. Fuckarounditis (2011) (leangains.com)
    25 points by fzliu 11 days ago | 28 comments
30. Rewriting my site in vanilla web (leanrada.com)
    14 points by todsacerdoti about 18 hours ago | 1 comments