Skip to content

Top New Best Ask Show Jobs

seafoamteal

261 karmaJoined February 4, 202473 submissions

https://haripm.com

seafoamteal | Better HN

Recent submissions

1

Testing Can Be Fun, Actually (opens in new tab)

(giacomocavalieri.me)

5seafoamteal1mo ago2

2

Formally verifying Advent of Code using Dijkstra's program construction (opens in new tab)

(haripm.com)

57seafoamteal3mo ago8

3

The Docker Container Only Works on My Computer (opens in new tab)

(haripm.com)

1seafoamteal6mo ago1

4

The UChicago χ-Projects (opens in new tab)

(chi.cs.uchicago.edu)

1seafoamteal1y ago0