Aaron Steven White

Aaron Steven White

computational semanticist. into modular synths and tiki. https://aaronstevenwhite.io

Andrew Blinn

I use programming language theory as a lens on UI design, trying to make engagement with abstractions more fluid, tangible, and fun

Motif-Technologies/Motif-3-Beta at 32b030593c716a9bb860731baeef2925aaaaaf3a

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

Computation and its Connotations

A Review of Language Machines by Leif Weatherby

README.md · Motif-Technologies/Motif-3-Beta at 32b030593c716a9bb860731baeef2925aaaaaf3a

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

jedisct1/Qwen3.6-35B-rust.mlx · Hugging Face

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

The Next 7000 Programming Languages

Landin’s seminal paper “The next 700 programming languages” considered programming languages prior to 1966 and speculated on the next 700. Half-a-century on, we cast programming languages in a Darwinian ‘tree of life’ and explore languages, their features (genes) and language evolution from the viewpoint of ‘survival of the fittest’.

Motif-Technologies/Motif-3-Beta · Hugging Face

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

modeling_motif.py · Motif-Technologies/Motif-3-Beta at 32b030593c716a9bb860731baeef2925aaaaaf3a

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

(iterate think thoughts): Painting with Gaussians

Dmitri's blog about programming, Clojure, and software development

Modular: The Claude C Compiler: What It Reveals About the Future of Software

Compilers occupy a special place in computer science. They're a canonical course in computer science education. Building one is a rite of passage. It forces you to confront how software actually works, by examining languages, abstractions, hardware, and the boundary between human intent and machine execution.

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. It aims to give a tour: a gentle, quick introduction to guide later exploration. The tour takes place over seven sketches, each pairing an evocative application, such as databases, electric circuits, or dynamical systems, with the exploration of a categorical structure, such as adjoint functors, enriched categories, or toposes. No prior knowledge of category theory is assumed. A feedback form for typos, comments, questions, and suggestions is available here: https://docs.google.com/document/d/160G9OFcP5DWT8Stn7TxdVx83DJnnf7d5GML0_FOD5Wg/edit

François Chollet on Twitter / X

Eventually, much of AI will converge towards intuition-guided symbolic world modeling, i.e. deep learning-guided program synthesis. It is inevitable. Symbolic modeling lets a system construct a compact, reusable, highly generalizable mental model of a problem space using minimal…— François Chollet (@fchollet) July 2, 2026