19
Formally verifying Advent of Code using Dijkstra's program construction (haripm.com)
11 hours ago | seafoamteal | haripm.com | best
2
The Docker Container Only Works on My Computer (haripm.com)
3 months ago | seafoamteal | haripm.com | newest
1
The UChicago χ-Projects (uchicago.edu)
9 months ago | seafoamteal | uchicago.edu | newest
2
Now in College, Luddite Teens Still Don't Want Your Likes (nytimes.com)
10 months ago | seafoamteal | nytimes.com | newest
3
Make AI Mediocre Again – A Cadbury Campaign (youtube.com)
12 months ago | seafoamteal | youtube.com | newest