Jonas Schäfer
horazont
If you like what I do and want to give back a little, get in touch. I always appreciate some awesome music, and I usually have a list of artists to choose from.
@CloudAndHeat Germany
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC