Hi, I'm Simon. I live in Washington DC, and I'm a long time OCaml programmer, also interested in Odin and Rust. I currently work at https://ahrefs.com as a backend developer. Besides automatic theorem proving (my academic specialty up to my PhD, postdoc, and former industry job at https://imandra.ai), I've also worked on observability/tracing, HTTP server implementations, web crawlers, distributed systems, RPC systems, and type checkers. I have been contributing open source libraries such as containers to the OCaml ecosystem since 2012. I enjoy strongly, statically typed programming languages; binary serialization formats1; well designed network protocols; content-addressing2; RFCs. I've been using git daily since 2010; archlinux since 2012; and (n)vim since 2008. My beard is literally greying 🧙🏻.
Most of my information can be found at the following places:
Footnotes
-
I like https://cbor.io/ and the general design of thrift; I also made my own format. ↩
-
not blockchain though, I'm not into rugpulls. ↩