The BBC micro:bit is a popular development kit often used to teach kids how fun programming can be. Lets see how we can hook it up to the cloud... (more…)

Consensus is one of the most important challenges in designing and building distributed systems–how to make sure multiple nodes (or agents, processes, threads, tasks, participants, etc.) in a group agree on a specific value proposed by at least one of the... (more…)

I practice Barbarian Leadership. Standing on the back lines with hand in pocket giving orders is missing the fun. More importantly… (more…)

A while ago I was considering an idea, so I wrote a tweet to ask what folks thought about it.

Like a number of other folks, I have recently been exploring some slightly less well-worn corners of the Rust type system. In my particular case, this involv... (more…)