Y Hacker News new | ask | show | jobs

user: seafoamteal created: 2024-02-04 karma: 261 https://haripm.com submissions: Testing Can Be Fun, Actually 5 points | 2 comments 0 points | 0 comments 0 points | 0 comments Formally verifying Advent of Code using Dijkstra's program construction 57 points | 8 comments 0 points | 0 comments The Docker Container Only Works on My Computer 1 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments The UChicago χ-Projects 1 points | 0 comments