Camil Muscalu, Christoph Thiele and I have just uploaded to the arXiv ou…

If I had to guess, I’d say I probably work around hundreds of bugs in an…

I’m continuing my series of articles for the Princeton Companion to Math…

In the classic 1986 essay, No Silver Bullet , Fred Brooks argued that th…

I’m continuing my series of articles for the Princeton Companion to Math…

There are some pretty strong statements about types floating around out …

Einstein’s equation describing the equivalence of mass and energy is arg…

Editing binaries is a trick that comes in handy a few times a year. You …

I’m continuing my series of articles for the Princeton Companion to Math…

It’s really common to see claims that some meme is backed by “studies” o…