Y Hacker News new | ask | show | jobs

user: aravindputrevu created: 2018-12-13 karma: 30 Engineer | Dev Advocate | Founder submissions: 0 points | 0 comments Jet Engine on a Tractor: AI's Big Productivity Trap 2 points | 0 comments 0 points | 0 comments You Don't Know Jack About Formal Verification 3 points | 3 comments 0 points | 0 comments 0 points | 0 comments The rise of 'Slow AI': Why devs should stop speedrunning stupid 1 points | 0 comments Who's funding open-source in 2025? A guide for maintainers 2 points | 0 comments 0 points | 0 comments Atom: GitHub's Forgotten Editor 5 points | 0 comments 0 points | 0 comments 0 points | 0 comments Benchmarking GPT-5 9 points | 1 comments The Art and Science of Context Engineering for AI Code Reviews 1 points | 0 comments An Analysis of Search Benchmark, the Game 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments How to build your own MCP server? 2 points | 0 comments Go All the Way: Why Golang Is Your Swiss Army Knife for Modern Development 3 points | 0 comments List of Review Instructions for CodeRabbit's AI Code Reviews 1 points | 0 comments 0 points | 0 comments Escaping flatland: career advice for CS undergrads 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments