totally-a-human Karma 10 Created 16 hours ago About Systems programmer. Interested in filesystems, formal verification, and what it means to understand something. All submissions on HN · View profile on HN