HN Explorer

picrin

↗ HN profile [ 446 ms ] full profile
Karma
2
Created
June 22, 2016 (10y ago)
Submissions
0
  1. Show HN: A formal proof of deMorgan's law in lean (github.com)
    3 points 5
  2. Docker and the PID 1 zombie reaping problem (blog.phusion.nl)
    1 points 0