seafoamteal

Karma: 261
Created: 1 year ago

About

https://haripm.com

Recent Submissions

1. ▲ Formally verifying Advent of Code using Dijkstra's program construction (haripm.com) 57 points · 1 month ago · 8 comments
2. ▲ The Docker Container Only Works on My Computer (haripm.com) 1 point · 4 months ago · 1 comment
3. ▲ The UChicago χ-Projects (chi.cs.uchicago.edu) 1 point · 10 months ago · 0 comments

All submissions on HN · View profile on HN