About me

Science is what we understand well enough to explain to a computer. Art is everything else we do. - Donald Knuth

Science is what we understand well enough to explain to a computer. Art is everything else we do. - Donald Knuth

Why I do this

I’ve been in the IT field for a decade, and a full-time software engineer for around half that time. I write music, and am an avid consumer of all kinds of art. To me computer science is one part rigor, one part human expression. And that’s awesome.

My work

My niche is systems programming, specifically large-scale, distributed and concurrent systems built for machine learning. I spend most of my time in the Go and Rust communities, with some frontend and mobile work here and there.

Theoretical inklings

The most succinct and powerful way of expressing algorithms (such that you can still Get Stuff Done™️) has got to be Haskell. I’m trying to get better at this specifically, as I am certain it will make me a better programmer overall.

The Curry-Howard-Lambek isomorphism is the most profound theoretical work I’ve come across yet in CS. I believe it has deep roots in how we express and organize informational patterns about the universe in our brains, and it is something I come back to each year and try to learn a bit more about. Flowing from this, other topics that interest me are category theory and homotopy type theory.

Intelligence is key

Deep learning, general artifcial intelligence, artificial cogntition and computer vision are going to be the drivers of all future technology. I have experimented with converting my personal car to be semi-autonomous, and currently tinker with VR/AR and robotics in my spare time.

Home

I am a native of the Washington, D.C. Metro Area