Speculations Concerning the First Ultraintelligent Machine by Irving John Good
TCP/IP Illustrated Vol 1-3
We are currently building a very large Akka system. It will have a gazillion connections to various external systems, lots of queues and internal services. Time to browse through Stevens for some inspiration on protocol design.
Is It Still Possible to Extend TCP?
Via @msimoni
Symbolics XL1200 Repairs
The console for my Symbolics XL1200 survived but beam adjustment is a bit off. The special cable connecting the console to the workstation got lost too. I asked David Schmidt for a replacement. Meanwhile I’ll tinker with the console using the field manual for the Symbolics 3600.
The Byzantine Generals Problem
I’m designing a new distributed system for a customer which unlike the legacy system will have to scale horizontally. And of course we run into a lot of classic design problems when building a distributed system. The Lamport, Shostak, Pease paper is a classic and worth reading again.
Dynamo: Amazon’s Highly Available Key-value Store
The Dynamo paper explains some of the concepts used in the Riak distributed KV store.
The Declarative Imperative: Experiences and Conjectures in Distributed Logic
Paper recommended by Coda Hale and Ryan Kennedy of Yammer.
I can also recommend their Riak and Scala at Yammer presentation.
Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control by Mark S. Miller
Consistency Analysis in Bloom: A CALM and Collected Approach
Qubes OS - One Virtual Machine Per App
Joanna Rutkowska made some progress with her Qubes OS. She released the Beta 1 of Qubes in April.