seafoamteal | Dark Hacker News

1.	Testing Can Be Fun, Actually(giacomocavalieri.me) 5 points by seafoamteal 100 days ago \| 2 comments
2.	Formally verifying Advent of Code using Dijkstra's program construction(haripm.com) 57 points by seafoamteal 165 days ago \| 8 comments
3.	The Docker Container Only Works on My Computer(haripm.com) 1 points by seafoamteal 240 days ago \| 1 comment
4.	The UChicago χ-Projects(chi.cs.uchicago.edu) 1 points by seafoamteal 1 year ago \| 0 comments