Distributed Tracing with Zipkin

  Cassandra, Docker, Zipkin, design, distributed, programming, tracing

Generation of MSC Diagrams from Network Traffic

  design, network, programming, research, tcp, tracing

Fresh New Look

Data centers are microkernels done accidentally: lessons for building a million-core distributed OS

  cloud, microkernels

Design and Benchmark Tests of a Multi-Channel Hydrophone Array System for Dolphin Echolocation Recordings

  dolphins, hydrophone, underwater

Underwater Laser sensor network: A New Approach for Broadband Communication in the Underwater

  laser, network, sensors, underwater

Self Reproducing Automata - John von Neumann

  nanotechnology, space colonization

A Model for Compound Type Changes Encountered in Schema Evolution

  databases, schema migration

Breakthrough silicon scanning discovers backdoor in military chip

  crypto

In the blink of an eye: There goes your AES key

  aes, crypto

Speculations Concerning The First Ultraintelligent Machine by Irving John Good

  agi, ai

TCP/IP Illustrated Vol 1-3

Is it Still Possible to Extend TCP?

  tcp

Symbolics XL1200 Repairs

The Byzantine Generals Problem

Dynamo: Amazon’s Highly Available Key-value Store

The Declarative Imperative: Experiences and Conjectures in Distributed Logic

Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control by Mark S. Miller

  capabilities

Consistency Analysis in Bloom: a CALM and Collected Approach

  calm, disorderlyprogramming, distributed, dsl

Qubes OS - One Virtual Machine per App

A simple chaotic oscillator for the Rössler attractor

Thinking Forth - A Language and Philosophy for Solving Problems

  forth, philosophy, programming

Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control

Bitcoin: A Peer-to-Peer Electronic Cash System

Your Infrastructure Will Kill You

Chip and PIN is Broken

  attack, chipandpin, embedded, paymentsystems, security

ACL2: A Program Verifier for Applicative Common Lisp

Semi-literate programming

“Naming and Synchronization in a Decentralized Computer System” by David P. Reed

Cloud Computing on the Metal

  cloud, mirage, ocaml, research, xenlinux