Hacker News new | past | comments | ask | show | jobs | submit login

user: teh_matt created: May 14, 2020 karma: 17 about: https://programsareproofs.com submissions comments favorites