Slop is not necessarily the future(greptile.com)

287 points by dakshgupta 6 months ago | 463 comments

Every GitHub object has two IDs(greptile.com)

313 points by dakshgupta 9 months ago | 69 comments

Sandboxing AI agents at the kernel level(greptile.com)

75 points by dakshgupta 1 year ago | 21 comments

HackEurope 2026: A short rant on AI and hackathons(duti.dev)

48 points by mindracer 2 months ago | 39 comments

The unbearable slowness of AI coding(joshuavaldez.com)

91 points by aymandfire 1 year ago | 59 comments

TREX: An AI code reviewer that runs your code(greptile.com)

43 points by dakshgupta 4 months ago | 10 comments

Coding expertise is going to collapse from AI reliance(larsfaye.com)

490 points by larsfaye 2 months ago | 479 comments

Blog essay by Lars Faye arguing that reliance on AI coding tools removes the friction needed to develop long-term programming expertise.

AI coding has made CI a bottleneck, so we reworked ours to keep up(linear.app)

300 points by julian_digital 1 month ago | 367 comments

A Linear engineering blog post explaining how AI-assisted coding increased CI load and how the team reworked its CI pipeline to keep up.

There is more to code review than (automatable) detection(adaptivecapacitylabs.com)

142 points by utiiiD 1 month ago | 88 comments

Adaptive Capacity Labs blog post arguing that code review involves more than defect detection that can be automated.

AI should elevate your thinking, not replace it(koshyjohn.com)

785 points by koshyjohn 6 months ago | 556 comments

Blog post by Koshy John arguing engineers should use AI to augment their thinking rather than outsource it, distinguishing real leverage from self-inflicted irrelevance.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.

How the Claude Code team does code review(claude.dev)

407 points by pretext 9 days ago | 386 comments

An Anthropic engineering blog post by Addy Osmani describing how the Claude Code team reviews the high volume of code produced by AI agents while minimizing human review time.