Accounting for Computer Scientists (2011)(martin.kleppmann.com)

167 points by tosh 9 months ago | 64 comments

How to do distributed locking (2016)(martin.kleppmann.com)

230 points by yusufaytas 2 years ago | 94 comments

Test, don't just verify(alperenkeles.com)

180 points by alpaylan 10 months ago | 127 comments

When AI writes the software, who verifies it?(leodemoura.github.io)

271 points by todsacerdoti 7 months ago | 273 comments

How to do distributed locking (2016)(martin.kleppmann.com)

92 points by thealig 3 years ago | 7 comments

The Case Against Formal Verification, 50 Years Later(ivan-gavran.github.io)

78 points by ghuntley 2 months ago | 71 comments

AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)

343 points by saikatsg 7 months ago | 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.

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.

The new skill in AI is not prompting, it's context engineering(philschmid.de)

832 points by robotswantdata 1 year ago | 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.

Artificial intelligence is losing hype(economist.com)

453 points by bx376 2 years ago | 663 comments

An Economist Free exchange column arguing that artificial intelligence is losing hype and asking whether that signals the technology will eventually succeed.

AI agent bankrupted their operator while trying to scan DN42(lantian.pub)

1348 points by xiaoyu2006 4 months ago | 488 comments

Blog post recounting how an AI agent trying to join the DN42 hobbyist network to scan it ran up a $6531.30 AWS bill for its operator.

What AI-Native Looks Like(fagnerbrack.com)

14 points by fagnerbrack 1 month ago | 7 comments

A blog post by Fagner Brack on Medium describing what an AI-native approach to software development with stable infrastructure looks like.