Looks similar
scrapscript.py(bernsteinbear.com)
285 points by surprisetalk | 74 comments
Into CPS, Never to Return(bernsteinbear.com)
121 points by g0xA52A2A | 41 comments
How to Use Snprintf(bernsteinbear.com)
41 points by surprisetalk | 17 comments
The GDB JIT Interface(bernsteinbear.com)
60 points by surprisetalk | 8 comments
Related stories
Claude Code can debug low-level cryptography(words.filippo.io)
446 points by Bogdanp | 199 comments
Filippo Valsorda's blog post on using Claude Code to debug his new Go implementation of the ML-DSA post-quantum signature algorithm.
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.
DuckDB Doesn't Need Data to Be a Database(nikolasgoebel.com)
353 points by tosh | 115 comments
A blog post by Nikolas Göbel discussing how DuckDB can act as a database without storing data itself, querying external data sources directly.
Writing a C compiler in 500 lines of Python(vgel.me)
454 points by vgel | 142 comments
Blog post by vgel describing the design and architecture of a small C compiler written in about 500 lines of Python.
AI agent bankrupted their operator while trying to scan DN42(lantian.pub)
1348 points by xiaoyu2006 | 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.
Coding expertise is going to collapse from AI reliance(larsfaye.com)
490 points by larsfaye | 479 comments
Blog essay by Lars Faye arguing that reliance on AI coding tools removes the friction needed to develop long-term programming expertise.












