2022

• » The Death of Programming Languages 26 Aug
• » Ad-hoc Initialization Restrictions in Java/JVM 21 Jul
• » Make Statically Typed Languages More Friendly 09 Feb
• » A Critique of InvokeDynamic in JVM 18 Jan
• » Achilles and the Tortoise 13 Jan
• » Why Every Complex System is in Need of a DSL 10 Jan

2021

• » Mono-repo or multi-repo? A straw-man question 24 Nov
• » Where is the Domain in Domain-Specific Languages 03 Mar

2020

• » Eight-Queens Puzzle and Type System 03 Feb

2017

• » Programming as Theory Building 10 Feb

2016

• » Referential transparency, definiteness and unfoldability 05 Oct
• » Synchronous Dataflow Programming Languages 21 Jan

2015

• » Encoding Tuples and Variants in System F 23 Nov
• » Intuitionistic Logic 01 Oct
• » Types and Programming Languages 17 Jan
• » Flow Control and Congestion Control in TCP 14 Jan

2014

• » Distributed Algorithms 27 Dec
• » Wait-Free Concurrent Computing 17 Oct
• » 读《东坡传》 30 Jun
• » Different ways to calculate fibonacci numbers 15 Mar