aravindputrevu

Recent Submissions

1. 1. ▲ Jet Engine on a Tractor: AI's Big Productivity Trap (uptimelabs.io) 2 points · 2 months ago · 0 comments
2. 2. ▲ You Don't Know Jack About Formal Verification (queue.acm.org) 3 points · 2 months ago · 3 comments
3. 3. ▲ The rise of 'Slow AI': Why devs should stop speedrunning stupid (coderabbit.ai) 1 point · 10 months ago · 0 comments
4. 4. ▲ Who's funding open-source in 2025? A guide for maintainers (eliostruyf.com) 2 points · 1 year ago · 0 comments
5. 5. ▲ Atom: GitHub's Forgotten Editor (youtube.com) 5 points · 1 year ago · 0 comments
6. 6. ▲ Benchmarking GPT-5 (coderabbit.ai) 9 points · 1 year ago · 1 comment
7. 7. ▲ The Art and Science of Context Engineering for AI Code Reviews (coderabbit.ai) 1 point · 1 year ago · 0 comments
8. 8. ▲ An Analysis of Search Benchmark, the Game (jpountz.github.io) 2 points · 1 year ago · 0 comments
9. 9. ▲ How to build your own MCP server? (devshorts.in) 2 points · 1 year ago · 0 comments
10. 10. ▲ Go All the Way: Why Golang Is Your Swiss Army Knife for Modern Development (blog.oodle.ai) 3 points · 1 year ago · 0 comments