Toggle navigation
TYCON
Home
Links
Archive
About
RSS
module type of TyCon
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
2019
Nov 25 - Vagaries of Git Merge
2017
Sep 25 - First-Class Modules and Modular Implicits in OCaml
2016
Nov 6 - Effective Serializability for Eventual Consistency
Sep 20 - Dynamo and DynamoDB
Aug 19 - Disciplined Inconsistency
May 31 - Extraction in Coq
2015
Dec 5 - Notes - Terry's Session Guarantees
Oct 5 - Effing Package Management (FPM)
Sep 30 - Understanding Transactions in Rails
Sep 28 - Understanding Transactions in Quelea
Sep 24 - Notes - Feral Concurrency Control
Jul 31 - Atomicity vs Isolation
Jul 25 - ML Type Inference
May 10 - SAT solving puzzles
May 4 - Notes - Static Contract Checking for Haskell
Jan 15 - Notes - A Data-Driven Approach for Algebraic Loop Invariants
2014
Nov 30 - Sequential Consistency and Datarace freedom in Weak Memory Models
Sep 23 - SC vs Linearizability
Sep 15 - Notes - McCarthy's Lisp and Reynolds's Definitional Interpreters
Sep 9 - CAP Theorem and Related
Apr 9 - Coq Basics