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:
a1d25f9b644abb723636405904c2ed7ffdd473d3Projects
Splined
Iterative image reconstruction using random cubic bézier strokes, accelerated on metal.
The image used here is under open access by The Met.
Links
Links to my faved stuff.
(Modern) Researcher
Papers
PhD Dissertations
Algebraic Subtyping | Fexprs as the basis of Lisp function application or $vau: the ultimate abstraction
Textbooks
An Introduction to Tensors and Group Theory for Physicists | Beautiful Racket | Homotopy Type Theory | Programming Language Foundations in Agda | The Dao of Functional Programming
Music
Musician
Aleksandra Słyż | Helena Gough
Label
Blume | Hayes | KUYIN | Recital | Shukai | Superpang | XKatedral
Nightclub
Producer/DJ
Kameliia | Nørbak | Temudo | Quelza
Videogame/Studio
Jump Over the Age | Remedy Entertainment | Tunic | 斜陽過客
Other Arts
Graphics
Director
Andrzej Żuławski | Brandon Cronenberg | Christian Petzold | Danièle Huillet & Jean-Marie Straub | David Cronenberg | Frederick Wiseman | Gaspar Noé | Michael Haneke
Anime/Manga/TV Show
Ghost in the Shell | Sonny Boy | The OA | Tsutomu Nihei | Pantheon