What Is Reasoning
A few weeks ago a paper was shared that showed how to extract reasoning traces from closed-weight models. Together with online discussions about tricking models into leaking them, it made me investig
Drew DeVault draws a provocative parallel between Test-Driven Development cults and GenAI adoption, arguing both exploit developers' psychological need to feel competent while potentially undermining actual code quality.
A few weeks ago a paper was shared that showed how to extract reasoning traces from closed-weight models. Together with online discussions about tricking models into leaking them, it made me investig
TL;DR: if admins turn off browser features, those features won't work in confusing ways that are annoying to debug
Part of the reason why I’m at Thoughtworks is because I’d like to see a software development organization founded on technical excellence as an example for the rest of the industry. The trouble is tha
I needed to implement my ChaCha20-BLAKE3 encryption algorithm in Go, but unfortunately ChaCha20 from Go's stdlib is lacking SIMD acceleration on amd64, probably because ChaCha20-Poly1305 (used in TLS)
Now that software is ru(i)nning the world, there are very few things that are more frustrating and productivity-killing than being limited by a piece of software, either because the maker
Some internet standards only support ASCII characters, but the world uses much more than the Latin alphabet. Thus, a mapping from Unicode to ASCII for use in domain names is required. NamePrep was par
No summary available.
Fools have said that the Prairies are boring. This cannot be true, because in the absence of hills and trees there’s more distance in each direction you might look. Also, Prairie landscapes includ
There's been a lot of talk about the vulnpocalypse, to which I don't have much to add because I'm not a security person, but I haven't seen much discussion on the closely related (and to be fair, less
This is part 7 in a series of posts on writing concurrent network servers. In this part, we discuss how the challenges described in earlier parts are tackled in the Rust programming language. All post
I was reading about the AV1 video codec and the derived AVIF image format and decided to experiment with it. The results are impressive: PNG file size can be divided