Recent improvements to the Swift type checker

Implementing a Custom Query Language with Python and Apache Spark

Diagramming Program Values by Spatial Refinement

Ergonomic overrides for Nixpkgs

Bab: a family of hashing functions for p2p networks

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

How TypeScript infers type variables

How TypeScript distributes unions

Making your own programming language is easier than you think (but also harder)

Unsigned sizes: A five year mistake