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 I …

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 business …

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.com …

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 time to read …

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 topic.

India's medical system is …

more ...