Designing type-safe sync/async mode support in TypeScript

Context: Odin’s Most Misunderstood Feature

Parsing Advances

Formally speaking, "Transpiler" is a useless word

The Second Great Error Model Convergence

Odin's Most Misunderstood Feature: `context`

1ML for non-specialists: introduction

Inverse Parentheses

Datafun - functional language that generalizes Datalog

Simple Bidirectional Type Inference

Granule, a statically-typed linear functional language with graded modal types

The Cost of a Closure in C: The Rest

Understanding Dart Class Modifiers by Using Lattices

Memory Safety Is …

Nova Programming Language

Structural inheritance doesn't work where you expect it to

The Path to Mojo 1.0

LispMe: An Implementation of Scheme for the Palm Pilot

Adding unpack syntax to RCL

Zig's new plan for asynchronous programs

Nature Programming Language

Galois Slicing as Automatic Differentiation

Lazier Binary Decision Diagrams for set-theoretic types

The Wrong Question About Type Systems

Thirteen years of Rust and the birth of Rue

An expression language for Vixen

Typeslayer - a TypeScript types performance tool

Desugaring the Relationship Between Concrete and Abstract Syntax

Adding Iongraph support to ZJIT

Concrete syntax matters, actually

More →