Type-safe vector addition with Dependent Types

The two sides of my programming world have long suffered a disconnect. When I build a robust low latency system, I typically write it in a language like Scala. I make great use of type safety to reduce the number of errors I've made. On the other hand, when ...

more ...


Deploying Julia Servers with Docker

As a result of a new work project, I've now gotten the opportunity to use Julia in anger. The first part of the project was a standard Julia task - a purely scientific R&D project, culminating in a command line script. The problem involves deriving algebraic constraints on a ...

more ...

This blog is now https

I've switched this blog over to https. Some time back a talk was given by some folks at google arguing that we should use https everywhere, and I believe they are correct. Cloudflare (my CDN) made it very easy - I simply created a page rule for http://www.chrisstucchio ...

more ...


Book reviews - stuck in the hospital edition

into hospital

The last month or so of my life hasn't been awesome. That's me prepped for surgery. But life is improving - I'm now out of the hospital, with both the upper and lower half of my body pain free! While I was inside, I had a lot of ...

more ...



They said my MRI would cost 7500 only. Then I got the bill...

computerized eye testing

(For my American readers, that's about $125.)

I'm currently located in Pune, India, enjoying India's excellent medical system. I just had an MRI in preparation for more serious treatments. Once I've gone through the full experience, I'll be writing a detailed blog post on the ...

more ...

Computers are made of metal, not category theory

Computers are made of metal. It's an important fact to remember. It's wonderful to treat the world as being made of category theory and lambda calculus. The world of math is wonderful and I enjoy it too much. But hidden underneath all that lovely abstraction lies a much ...

more ...