Stories by 082349872349872

Xkcd Game Theory Question

Barbell: Template System in BQN (2023)

The Unparalleled Genius of John von Neumann (2021)

The Tenor Commodordion

Towards a Notional Machine for Runtime Stacks and Scope (2022) [pdf]

The Oldest Voices We Can Still Hear (2023) [video]

Multitasking is a bad thought (2023)

Review – Ford's First Engine

Adding malleability to any LÖVE app (2023)

Star Wars: Galactic Starcruiser (2023)

A formalization of μμ͂ and classical realizability (2023)

Compiling with Classical Connectives (2020) [pdf]

The pro-PER meaning of "proper" (2022)

The Incompatible Food Triad

Androgynous Peripheral Attach System

Abstract Nonsense (2023)

Where does the name "algebraic data type" come from?

Turing's topological proof that every written alphabet is finite (2010)

When 1+1 Equals 1

Comparing the syntax of Quenya and real-world languages

1
2
3
4
5
6
7
8
9
10