I am a software guy currently living in the Bay Area. I like correct-by-construction code and good abstractions. I know enough math to be dangerous and enjoy learning more.

My go-to tool is F#, and in the past I have built WebSharper.