academia win! they say the next bombs they drop on a country you've never heard of will be formally verified to hit with coq

no this is not a thing that is actually happening

@hazel It has always amused me that the UK Research Councils are based in a building called "Polaris House". Back in the day, Polaris was the name of the UK nuclear deterrent system (before Trident). It seemed to say something about what we were all for. I used to pretend to be working on a project called "Strong Normalisation For Nuclear Missiles". Things have been this way for ever. Spooks and nukes.

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.