I'm a biochemist and self-taught programmer with a severe yet undiagnosed sleep disorder, and an interest in mathematics, programming and formal verification (≈ the intersection of the first two).
This is a place where I can put all my wacky ideas on type systems, tracking aliasing, and concurrency where others can see them
I like dependent types and functional programming, though I am not opposed to imperative or object-oriented programming either – I strongly value having many perspectives.