Luthenwald

Luthenwald/Luth, He/Him

Studying at the confluence/propagation of plt, ct, hott & hpc. Algebraist in substance. Future computing science master student at Utrecht University (2026/09). Currently based in Shanghai, China.

Contact

Reachable by email.

Fingerprint:

a1d25f9b644abb723636405904c2ed7ffdd473d3

Projects

Splined

Iterative image reconstruction using random cubic bézier strokes, accelerated on metal.

src | bad apple

The image used here is under open access by The Met.

Links

Links to my faved stuff.

Researcher/Software Engineer

Alexis King | Wen Kokke

Papers

PhD Dissertations

Algebraic Subtyping | Fexprs as the basis of Lisp function application or $vau: the ultimate abstraction

Textbooks

Beautiful Racket | Programming Language Foundations in Agda

Art

Musician/Label

Aleksandra Słyż | Blume | Hayes | Helena Gough | Recital | Shukai | Superpang | XKatedral

Nightclub

Abyss | KHIDI | 宀 Club | RASA

DJ

Mari Sakurai | Nørbak | Temudo | The Muffin Man | Quelza

Videogame/Studio

Jump Over the Age | Remedy Entertainment | Tunic | 斜陽過客

Graphics

theories

Movie/Director

Alice in the Cities | Andrzej Żuławski | Angst | Brandon Cronenberg | Christian Petzold | Danièle Huillet, Jean-Marie Straub | David Cronenberg | Fabian: Going to the Dogs | Gaspar Noé | High Life | La Cérémonie | MadS | Michael Haneke | Reprise | Ritual | Ryusuke Hamaguchi | Victoria

Anime/Manga/TV Show

Ghost in the Shell | Matsumoto Jiro | Sonny Boy | The OA | Tsutomu Nihei | Pantheon