@davetest
What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI
[This is a guest post by Thomas Hales. This blog post was initially written in a different file format and converted using AI. — T.] Mathematicians have been weighing in on what they value ab…
Article Oct 10, 2026Grieving the loss of details
I’ve been thinking about where I stand in respect to the current state of the industry. This is more of a journal note than a post, apologies for that. I usually leave this stuff private, but I thought I’d post this as a trial in case someone relates to this experience and feels less alone. All opin
Article Oct 9, 2026Can you use autoregressive diffusion to generate market data?
The following is part of a series of posts about 2026 summer intern projects – for more, see “What the interns have wrought, special jumbo 2026 edition”
Article Oct 8, 2026How This Tiny Startup Built the World’s Safest Bike Helmet
Inspired by head-banging woodpeckers, Vancouver-based Pikio Labs has discovered a new approach to skull protection.
Article Oct 7, 2026Nix wrote half of my debugger
A few days ago I wrote about Rewind VM, a deterministic VM where every run of a Nix build is a pure function of its inputs, thread schedule included! 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. What is this su
Article Oct 6, 2026AI Is Getting Really Good at Messing With Cybercriminals
Anti-cybercrime initiatives are increasingly using AI to scam the scammers by tricking them into talking to lifelike bots that they think are real victims.
Article Oct 5, 2026Book Publishers Are Quietly Using More AI. Staff Are Revolting
Workers at three major publishing houses tell WIRED that LLMs are being used for publicity, cover art, back cover copy, and emails, as some execs push junior staff to champion the tech.
Article Oct 4, 2026Humans Watched This Supernova Explode Nearly a Millennium Ago. Now You Can See It in High Definition
The new image isn’t just stunning—it may also provide clues about how this star survived its own explosion.
Article Oct 2, 2026Noto means "no tofu": fixing dotted circles in Myanmar text
A Firefox bug in S'gaw Karen sent us down a rabbit hole of the world's writing systems.
Article Sep 30, 2026Unikernels were hard. Key word: were.
Justin Cormack, who worked on MirageOS back in the day, called me at the pub to talk about why unikernels are coming back. The friction that made them hard is gone, the operating system is design debt, and if you care about security you should seriously consider them.
Article Sep 27, 2026