seafoamteal

Recent Submissions

1. 1. ▲ Testing Can Be Fun, Actually (giacomocavalieri.me) 5 points · 7 months ago · 2 comments
2. 2. ▲ Formally verifying Advent of Code using Dijkstra's program construction (haripm.com) 57 points · 9 months ago · 8 comments
3. 3. ▲ The Docker Container Only Works on My Computer (haripm.com) 1 point · 1 year ago · 1 comment
4. 4. ▲ The UChicago χ-Projects (chi.cs.uchicago.edu) 1 point · 1 year ago · 0 comments