This is Part in a series of posts describing the Raft distributed consensus algorithm and its complete implementation in Go. Here is a list of posts in the series: Part : Introduction Part : Elections Part : Commands and log replication Part : Persistence and optimizations Part : Key ...

   Linearizability is a strong consistency model in concurrent and distributed systems. From the paper introducing it : Linearizability provides the illusion that each operation applied by concurrent processes takes effect instantaneously at some point between its invocation and its response. On...

   quot;A City on Mars quot; By Kelly and Zach Weinersmith actual discussion of building settlements on Mars occupies maybe of this book. The authors have an uncanny talent of focusing on all the least interesting aspects of space exploration; whatever little is dedicated to science and...

   Recently I’ve had to compile Go to WebAssembly to run in the browser in a couple of small projects , , and in general spent some time looking at WebAssembly. I find WebAssembly to be an exciting technology, both for the web and for other uses e.g. with WASI ...