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. Clean, a formal verification DSL for ZK circuits in Lean4 (blog.zksecurity.xyz)
   77 points by vons 15 days ago | 5 comments
2. Show HN: Formal Verification for Machine Learning Models Using Lean 4 (github.com)
   52 points by MADEinPARIS 19 days ago | 14 comments
3. Russia leans on cryptocurrencies for oil trade with China, sources say (www.reuters.com)
   9 points by suraci 28 days ago | discuss
4. Show HN: Leantime – Open-Source Project Management for people with ADHD (github.com)
   4 points by leantime-io 3 days ago | discuss
5. Show HN: Atono – A clean, lean, and unstressed alternative to Jira (atono.io)
   2 points by MHenzi 16 days ago | 2 comments
6. Ex150honey review: gained 5.4lbs lean mass, no fat loss (www.exfatloss.com)
   2 points by paulpauper 28 days ago | discuss
7. Leaner Development: How to Account for the Container Tax (thenewstack.io)
   1 points by gpi 7 days ago | discuss
8. Does Big Tech's suckiness open the door for leaner startups? – The Hustle (thehustle.co)
   1 points by rbanffy 22 days ago | discuss
9. Marines to lean on Anduril tech to protect bases from drones (defensescoop.com)
   1 points by protik49 28 days ago | discuss
10. Show HN: Zxc – Rust TLS proxy with tmux and Vim as UI, BurpSuite alternative (github.com)
    106 points by darkseid_is 8 days ago | 15 comments
11. Launch HN: ASim (YC S21) – Mobile app that generates mobile apps
    90 points by dli123 10 days ago | 61 comments
12. Show HN: Building better base images (github.com)
    17 points by akrylov about 3 hours ago | 11 comments
13. Solo-built SaaS for automating Meta/Google ads
    5 points by efeberkec 5 days ago | 5 comments
14. Show HN: Plandex v2 – OSS AI coding agent w/ diff sandbox, full auto, 2M context (plandex.ai)
    4 points by danenania 8 days ago | discuss
15. Ask HN: Simplest way to productize my graph layout algo?
    2 points by ch3coohlink 14 days ago | 6 comments
16. Show HN: Ask the Software Architect (www.exploravention.com)
    2 points by gengstrand 18 days ago | discuss
17. Ask HN: Elegant three-state 'Dark mode' toggle, how best to implement?
    1 points by evolve2k 27 days ago | 6 comments
18. Cofounder Explosion
    1 points by treehouse83 5 days ago | 3 comments
19. Show HN: LLmHub.dev – A Unified API for Multi-LLM Automatic Routing (llmhub.dev)
    1 points by Prateek17 18 days ago | 1 comments
20. Show HN: EduVibz – Turning School Curricula into Music (Beta) (www.eduvibz.com)
    1 points by JasonViviers 4 days ago | discuss
21. Show HN: Chrome Extension to generate YT subtitles using Gemini 2.5 Pro Exp (github.com)
    1 points by lmrl 8 days ago | discuss
22. First 100 users free: Unified API auto-selects GPT,DeepSeek,Llama for all prompt
    1 points by Prateek17 16 days ago | discuss
23. Ask HN: Lightweight Alternatives to Parsec for a Centralized Workstation Setup?
    1 points by Linkd 29 days ago | discuss
24. Minimal CSS-only blurry image placeholders (leanrada.com)
    469 points by ChiptuneIsCool 12 days ago | 75 comments
25. Fuckarounditis (2011) (leangains.com)
    25 points by fzliu 18 days ago | 28 comments
26. Rewriting my site in vanilla web (leanrada.com)
    15 points by todsacerdoti 8 days ago | 1 comments
27. 'Vibe Coding' Is Super-Charging Startups, Y Combinator CEO Says (www.businessinsider.com)
    4 points by speckx 24 days ago | 3 comments
28. Are Small Teams the Future? (shahardagan.substack.com)
    3 points by shadag 5 days ago | 2 comments
29. Simple Phone Bending (leancrew.com)
    3 points by tosh 21 days ago | 1 comments
30. The Age of Vibe:Finding Ease and Agency in an AI World (leanpub.com)
    2 points by haebom 9 days ago | discuss