reverse engineer and formal methods

15 y.o. software developer, passionate in compilers and type checkers | Rustacean, Gleamlin & Pythonista | Chess player | LLM hater | @ankddev on GitHub

cofounder authzed

I like goats.

hi :3

Developer experience @ https://antithesis.com, NixOS maintainer

Community leader for @jj-vcs, working on Rust infrastructure and dev tooling projects

I like coding and I'm learning to like agents.

building https://rocksky.app and https://atradio.fm

javascript/elixir programmer, open source advocate, 24

https://tymek.me

yo

co-founder/ceo of this thing

@teal.fm guy