Recent Posts
-
WSL -- File System, Networking, ConfigurationMy story with Linux subsystem.
-
Simply Typed Lambda-CalculusA small yet powerful language
-
Small-Step Operational SemanticsFinding the meaning of a program
-
Distributed TransactionsDeal with the complexity in distributed systems.
-
Transaction ManagementWhat is under the hood of DB magic
-
Note of Alloy AnalyzerLight Weighted Formal Methods