LLMs
3 posts
Article
Claude rediscovered CVE-2026-56132 proving 123 libraries crash-free
Anthropic and Theorem used Claude to write formal proofs for 239 OSS-Fuzz entry points across 123 libraries, finding bugs trillions of fuzzing runs missed.
Article
LLMs turned fluency into a forged credential
Bryan Cantrill argues that visibly LLM-written posts don't just read badly, they make readers doubt whether anything under your name is really yours.
Article
Stanford teaches LLMs by making you build one
Stanford CS336 teaches language models by having students build the training stack end to end, from tokenizers to data and alignment.