Article URL: https://harmonic.fun/news#blog-post-lean
Comments URL: https://news.ycombinator.com/item?id=46608731
Points: 42
# Comments: 2
Running Lean at Scale
Published 2 hours ago
Source: hnrss.org
Related Articles from hnrss.org
35 minutes ago
ADHD. How do you manage the constant stream of thoughts and ideas?
1 hour ago
A 40-Line Fix Eliminated a 400x Performance Gap
1 hour ago
The insecure evangelism of LLM maximalists
1 hour ago
EOL hardware should mean open-source software
1 hour ago
Show HN: AsciiSketch a free browser-based ASCII art and diagram editor
1 hour ago