Stories by seafoamteal

Formally verifying Advent of Code using Dijkstra's program construction

The Docker Container Only Works on My Computer

The UChicago χ-Projects

Now in College, Luddite Teens Still Don't Want Your Likes

Make AI Mediocre Again – A Cadbury Campaign