@davetest

A formal proof is a mathematical proof that has been exhaustively checked at the level of the foundations of math and the fundamental rules of logic.

Before the term “vibecoding” was coined and the industry shifted to valuing programmers primarily for designing architecture, I proudly called myself a coder as opposed to an engineer.

Not waiting for the CPSC to catch up, the cycling industry got to work.

I have been using it to find, reproduce and solve numerous race conditions in Nix builds, but it’s been making me feel a little crazy.

But behind the scenes, at least three of the Big Five US book publishers—HarperCollins, Simon & Schuster, and Hachette—have been quietly incorporating AI tools into their publishing processes without public disclosures or author consent.

Previous images of the explosion’s remnants had also captured a sphere of long, filament-like strands of matter that collectively resemble fireworks or a dandelion.

He's running a series of conversations on the topic for his newsletter, and I was first up.