HN Explorer

seafoamteal

↗ HN profile [ 82.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Testing Can Be Fun, Actually (giacomocavalieri.me)
    5 points 2
  2. Formally verifying Advent of Code using Dijkstra's program construction (haripm.com)
    57 points 3
  3. The Docker Container Only Works on My Computer (haripm.com)
    1 points 1
  4. The UChicago χ-Projects (chi.cs.uchicago.edu)
    1 points 0
  5. Now in College, Luddite Teens Still Don't Want Your Likes (nytimes.com)
    3 points 0
  6. Make AI Mediocre Again – A Cadbury Campaign (youtube.com)
    2 points 1