Stories by azhenley

No, typing can be the bottleneck

Incomplete List of Mistakes in the Design of CSS

PhD Thesis: Understanding and Evolving the Rust Programming Language

Incomplete List of Mistakes in the Design of CSS

Incremental Type Migration Using Type Algebra

The Half Type in C#

No, typing can be the bottleneck

Motivation – Keli Language

Taming Complexity: From Contract to Compact

Adding a List data type to Lox

How to read a 240-page book in 2 hours

Collatz Conjecture (unsolved math problem)

How to read a 240-page book in 24 hours

Mixfix Operators

Whiley: A Programming Language with Extended Static Checking

The Cube Rule of Food Identification

Hazel: A live functional programming environment featuring typed holes

Abstracting Abstract Machines (2010) [pdf]

Interview with Zig language creator Andrew Kelley [video]

Program Sketching with Live Bidirectional Evaluation

63
64
65
66
67
68
69
70
71
72