Projects

• Operating system: Melvix2019
• Programming language: Bruijn2022, Birb2023
• Window manager: FreedoWM2019
• Term compressor/compiler: BLoC2023, BLoCade2024, BLC2BLC2024
• TCP/IP network stack: net.c2020
• Graphics: libgui2020, lambda-screen2024 (3D2025)
• Bruijn standard library: std2022
• Blog engine: panblog2023
• Experiments: sharing-equality2023, mili2024, lisc2025
• Nonsense: redireculus2022, Jottary2023, picomonad2024, lars2024
• Game: BinaryFunSFOS2020, SailChess2020, seq2022, infinite-apply2024
• P2P encrypted messenger: Texx2018

Text

• Squeezing π from 122 Bits2025
• Tiny, Untyped Monads2024
• Crafting Formulas2024
• Lambda Screen2024
• Metaprogramming and Self-Interpretation2023
• Variadic Fixed-Point Combinators2023
• Data Structures in Pure Lambda Calculus2023
• The bruijn Programming Language2023

Educational

• School projects: Karnaugh map2019, AESvisualizer2019, seminar paper2020, KochFractal2020, pass-by-ref2021, bootloader2021
• University projects: CTC-LSTM2023, SWR2-ASR2023, diagnosis system2023, linear machine2024, ACM seminar2024
• Lecture notes: mathe12021, mathe22022, mathe32022, theo12022, theo22023

Talks

• 2024-06-01, GPN22: Programming with Pure Lambda Calculus (Slides, Repo, Video)
• 2024-11-06, Tü.λ: Really Functional Data Structures (Slides, Repo)
• 2025-06-19, GPN23: Hidden Patterns of Computation (Slides, Repo, Video)
• 2025-07-26, TDF4: Permacomputing and Programming Languages (TBD)
• 2025-08-27, Tü.λ: Ana, Cata, Para, What? (TBD)

Interests

• Minimal Languages
• Optimal Reduction
• Distributed Computing
• Operating Systems
• Information Theory
• Language Design
• Open Source & Open Data
• Permacomputing & Sustainability
• Maths & Creative Coding

Socials

• github
• mastodon

Subdomains

• infinite-apply: Incredibly fun lambda calculus game
• lambda-screen: Frontend for lambda-screen
• bruijn: bruijn programming language
• text: Text about my projects and ideas
• git: My Git Hub