Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Programming with Less Than Nothing

When if is just a function

Is Odin just a more boring C?

The biggest semantic mess in Futhark

Why formalize mathematics - more than catching errors

From Linearity to Borrowing

Dijkstra on the foolishness of natural language programming (1978)

The Unix Executable as a Smalltalk Method [pdf]

Flowistry: An IDE plugin for Rust that focuses on relevant code

Let's Take Esoteric Programming Languages Seriously

Delimited continuations in lone Lisp

The Mondrian introduction to functional optics

Primitive overloading

Delimited continuations in lone lisp

New Control Structures In APL? (1982)

N3694: Functions with Data - Closures in C (A Comprehensive Proposal Overviewing Blocks, Nested Functions, and Lambdas)

A Conversation Between Richard Feldman (Roc Creator) and Andrew Kelley (Zig Creator)

lolremez: Polynomial Approximations using the Remez Algorithm

The jank community has stepped up

A Tutorial for the Sam Command Language

Imagining a language without booleans

Deml: Directed Acyclic Graph Elevation Markup Language

Algebraic Types are not Scary

A dumb introduction to z3

Hashed sorting is typically faster than hash tables

Subtext Retrospective

C++26: Erroneous behaviour

Type checking is a symptom, not a solution

The Expression Problem and its solution

Faking ADTs and GADTs in Languages That Shouldn't Have Them

More →