timoxa.tngl.sh

0 followers 10 following

Primarily interested in compilers, denotational semantics, formal methods, and reverse engineering.

0 followers 10 following

Reykjavík, Iceland

https://xmm0.mov/~timoxa/

Punchcard 0 commits

All following

co-founder/ceo of this thing

69 followers 5 following

14 followers 10 following

37 followers 6 following

5 followers 3 following

at the intersection of Elixir and atproto

40 followers 24 following

331 followers 17 following

5 followers 5 following

🏢 Senior researcher at Ink & Switch 🎟️ Core spec editor at the UCAN working group 🔰Wants to learn all the things!

20 followers 13 following

2 followers 0 following

51 followers 4 following