Skip to content

Bookmarks

Articles, videos, and other things worth sharing.

Video youtube.com Shared Sep 27, 2026

Compiler Optimizations

Premature Abstraction

Open link Opens in a new tab

Video youtube.com Shared Sep 27, 2026

Handling Infinite Variables in a Compiler

Premature Abstraction

Open link Opens in a new tab

Resource arxiv.org Shared Sep 26, 2026

Pack Iteration in Swift: Ordinary Control Flow for Variadic Generics

Serafima Nerush, Eitan Frachtenberg

Open link Opens in a new tab

Resource arxiv.org Shared Sep 26, 2026

DueList: A Theory of Lists with Combinators for SMT Solvers

Pierre Goutagny, Aymeric Fromherz, Raphaël Monat

Open link Opens in a new tab

Resource arxiv.org Shared Sep 26, 2026

RPyForth: Exposing a Call-Shared Data Stack to a Meta-Tracing JIT Compiler

Yusuke Izawa, Kota Hakamada

Open link Opens in a new tab

Article verdagon.dev Shared Sep 23, 2026

The Golden Spike, and Resurrecting the Vale(n) Programming Language

Evan Ovadia

Open link Opens in a new tab

Video youtube.com Shared Sep 22, 2026

Precision in Type System Design

José Valim

Open link Opens in a new tab

Video youtube.com Shared Sep 22, 2026

A story about vibe coding

sphaerophoria

Open link Opens in a new tab

Article kojobailey.me Shared Sep 21, 2026

Unifying Tuples and Records

Kojo Bailey

Open link Opens in a new tab