Collateralized proof obligations

An octopus is a type of distributed system

Tiny Octopus 🥺

If any of this sounds like someone you'd want to have as a student, despite the cons, and getting around the lack of an undergrad degree is even the slightest bit feasible, please reach out (here or by email: me AT amelia DOT how). Thanks for reading; have a great weekend, y'all

h/t @[email protected]: “Compiler engineers can have one (1) semantic, as a treat”

Someone should make “Throughput Numbers Every Programmer Should Know” (by analogy to colin-scott.github.io/personal_websi…)

Ostensibly<T>

feeling grateful this week to work for an organization that genuinely lives its values 🫡