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