bnuuy

bnuuy@mathstodon.xyz

<p>I&#39;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).<br />This is a place where I can put all my wacky ideas on type systems, tracking aliasing, and concurrency where others can see them<br />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.</p>