CF Bolz-Tereick's Web Page

The technology of "How to carry a locust" at Manifesta 16 Ruhr

KnownBits in Lean

How fast can the RPython GC allocate?

How slow is the tracing interpreter of PyPy's meta-tracing JIT?

A Hint for Language-Specific Runtime Function Optimization in RPython's Meta-JIT

New Personal Blog

PyPy Binary Sizes over Time

Porting the "Worst Datalog" to Python

DFA Minimization using Rational Trees in Prolog

Optimizing Collatz in PyPy

A JIT for Deterministic Automata using PeachPy

Understanding William Forsythe's "City of Abstracts"

Porting Jürgen LIT Fischer's "sinus" from Fortran to Javascript