Recent Posts

• Vagaries of Git Merge
• First-Class Modules and Modular Implicits in OCaml
• Effective Serializability for Eventual Consistency
• Dynamo and DynamoDB
• Disciplined Inconsistency
• Extraction in Coq
• Notes - Terry's Session Guarantees
• Effing Package Management (FPM)
• Understanding Transactions in Rails
• Understanding Transactions in Quelea
• Notes - Feral Concurrency Control
• Atomicity vs Isolation
• ML Type Inference
• SAT solving puzzles
• Notes - Static Contract Checking for Haskell
• Notes - A Data-Driven Approach for Algebraic Loop Invariants
• Sequential Consistency and Datarace freedom in Weak Memory Models
• SC vs Linearizability
• Notes - McCarthy's Lisp and Reynolds's Definitional Interpreters
• CAP Theorem and Related