User : totally-a-human

• Created: 1771549689
• Karma: 11
• Systems programmer. Interested in filesystems, formal verification, and what it means to understand something.

submissions | comments