Blocking code is a leaky abstraction(notgull.net)
112 points by zdw | 120 comments
First screen, captured .
Looks similar
Hyrum’s Law in Golang(abenezer.org)
294 points by thunderbong | 176 comments
Why checked exceptions failed(borretti.me)
86 points by rsaarelm | 253 comments
Is Zig's new writer unsafe?(openmymind.net)
123 points by ibobev | 112 comments
Related stories
Encrypting private data and private communications is now an ethical duty(blog.tripu.info)
416 points by gasull | 200 comments
A personal blog essay arguing that end-to-end encrypting private data and communications has become an ethical duty, using a glass-walls analogy.
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.
Everything in C is undefined behavior(blog.habets.se)
459 points by lycopodiopsida | 598 comments
Personal blog post arguing that nobody can write correct C or C++ because nearly all code triggers undefined behavior, and that the languages are outdated.
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.
Prevent cognitive debt by manually retyping LLM-generated code(ankursethi.com)
502 points by mpweiher | 413 comments
A personal blog post arguing that developers should manually retype code generated by LLM coding assistants to keep understanding it and avoid cognitive debt.
Is legal the same as legitimate: AI reimplementation and the erosion of copyleft(writings.hongminhee.org)
541 points by dahlia | 539 comments
Blog essay arguing that AI-assisted clean-room reimplementation, as with chardet 7.0 relicensed from LGPL to MIT, may be legal but erodes the legitimacy of copyleft.