CODING

Zerostack – A Unix-inspired coding agent written in pure Rust
570 points | 307 comments

Prolog Coding Horror
200 points | 83 comments

Coding on Paper
86 points | 25 comments

Show HN: InsForge – Open-source Heroku for coding agents
58 points | 7 comments

Show HN: Vibe Coding a $20k /Year Enterprise Logistics Platform
32 points | 7 comments

Testing MiniMax M2.7 via API on three real ML and coding workflows
28 points | 2 comments

Formal Verification Gates for AI Coding Loops
20 points | 1 comments