Projects

• Operating system: Melvix2019
• Programming language: Bruijn2022, Birb2023, Mili2024
• Window manager: FreedoWM2019
• Term compressor/compiler: BLoC2023, BLoCade2024, BLC2BLC2024
• TCP/IP network stack: net.c2020
• GUI library: libgui2020
• Bruijn standard library: std2022
• Blog engine: panblog2023
• Nonsense: redireculus2022, Jottary2023, picomonad2024, lars2024
• Game: BinaryFunSFOS2020, SailChess2020, seq2022, infinite-apply2024
• P2P encrypted messenger: Texx2018

Text

• 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)

Interests

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

Socials

• github
• pubkey
• coffee
• linked
• typing
• marvin

Links

• bruijn: Introduction to the bruijn programming language
• bruijn wiki: Wiki for the bruijn programming language
• text: Some articles about my projects and ideas
• LARS: Our CTF team (warning: potentially flashing)