First screen, captured .
Looks similar
FOSDEM 2024: PineTime Talk(blog.mlich.cz)
80 points by lupyuen | 28 comments
Greg (2017)(blog.samaltman.com)
247 points by admp | 112 comments
On cigarettes(funnelfiasco.com)
33 points by aendruk | 38 comments
AI (2014)(blog.samaltman.com)
48 points by bjornroberg | 34 comments
Related stories
AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)
343 points by saikatsg | 242 comments
Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.
The new skill in AI is not prompting, it's context engineering(philschmid.de)
832 points by robotswantdata | 467 comments
Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.
GPUs Go Brrr(hazyresearch.stanford.edu)
1056 points by nmstoker | 243 comments
Stanford Hazy Research blog post on what GPU hardware wants for efficient AI kernels, introducing the ThunderKittens CUDA kernel library.
What AI-Native Looks Like(fagnerbrack.com)
14 points by fagnerbrack | 7 comments
A blog post by Fagner Brack on Medium describing what an AI-native approach to software development with stable infrastructure looks like.
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 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.
AI coding has made CI a bottleneck, so we reworked ours to keep up(linear.app)
300 points by julian_digital | 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.