Technology brother. Dad. Actual IRL purple cyclops.
Opinions expressed are the official opinions of my employer, my country, and the entire human race.
festering in fantasy feigned of fiends // wields arcane symbols // ex @o1_labs, @rustlang, seL4 // they/he // ๐ง๐ผโ๐ป๐ง๐ผโ๐ฌ๐ง๐ผ๐ถ๐ณ๏ธโ๐
voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? @joseph_garvin@hachyderm.io @josephhgarvin.bsky.social
Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang.
JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Thinks AI risk is somewhat likely, and AI benefits huge if we can align AIs to someone that is willing to promote human thriving even when humans are useless.
In the never-ending, all-encompassing, and self-transforming pursuit of truth.
๐ฎ๐๐ท ๐ฎ๐ ๐๐ธ๐พ๐ ๐๐๐๐๐๐๐พ๐๐ถ๐๐พ๐
๐ซ๐๐ ๐ถ๐๐ ๐๐๐ถ ๐ถ๐น ๐ถ๐๐๐๐ถ
engineeress โจ mom mode // currently in nyc! // Member of Technical Staff @openai // serious play // notice your curiosity // prev @pilothq, @sendwaveapp