danebalia

Recent Submissions

1. 1. ▲ Show HN: AI coding agents that prove their work (daneb.github.io) 2 points · 22 hours ago · 2 comments
2. 2. ▲ Ask HN: AI Architecture Systems Design 1 point · 25 days ago · 0 comments
3. 3. ▲ Show HN: Keel - A conductor, not an agent loop (daneb.github.io) 6 points · 26 days ago · 0 comments
4. 4. ▲ Structured Prompt Driven Delivery (martinfowler.com) 2 points · 1 month ago · 0 comments
5. 5. ▲ Viability of Local Models for Coding (martinfowler.com) 1 point · 2 months ago · 0 comments
6. 6. ▲ CI/CD Is Dead (youtube.com) 9 points · 4 months ago · 2 comments
7. 7. ▲ Anthropic's Boris Cherny: Coding is solved what's next (youtube.com) 3 points · 4 months ago · 0 comments
8. 8. ▲ My $600 Mac Mini Runs a 35B AI Model (thoughts.jock.pl) 4 points · 5 months ago · 3 comments
9. 9. ▲ Starving Genies (tidyfirst.substack.com) 2 points · 5 months ago · 0 comments
10. 10. ▲ Claude Mythos: A Cyber Threat (youtube.com) 9 points · 6 months ago · 0 comments