Projects

• Operating system: Melvix2019, TotalOS2023, EffektOS2025
• Programming language: Bruijn2022, Birb2023
• Window manager: FreedoWM2019
• Term compressor/compiler: BLoC2023, BLoCade2024, BLC2BLC2024
• TCP/IP network stack: net.c2020
• Graphics: libgui2020, lambda-screen2024 (3D2025, zoom2026 )
• Bruijn standard library: std2022
• Experiments: sharing-equality2023, mili2024, lisc2025, supersat2026
• Infrastructure: panblog2023, interaction-net-resources2025, strong-reduction-tests2025
• Nonsense: redireculus2022, Jottary2023, dyadic2024, picomonad2024, lars2024
• Game: BinaryFunSFOS2020, SailChess2020, seq2022, infinite-apply2024

Text

• Extraordinary Ordinals2026
• Effectful Recursion Schemes2026
• de Bruijn Numerals2025
• 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

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-08-27, Tü.λ: Ana, Cata, Para, What? (slides, repo)
• 2025-10-13, ICFP25: Optimal Effects via Token-Passing (poster, slides, video)

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, x86 compiler2025, opteff2025, nette-effekte2025
• Lecture notes: mathe12021, mathe22022, mathe32022, theo12022, theo22023
• Research: ICFP SRC2025, B.Sc. Thesis2025, ACM SRC2026

Academic

• 2026-06-12: Submitted "Graph Rewriting with Lexical Effect Handlers" talk proposal to HOPE 2026 (FPW, accepted)
• 2026-04-27: Submitted "Optimal Effects, Safe and Sane" to ACM SRC 2026 Grand Finals (shortlisted, pdf)
• 2026-02-19: Co-submitted "Optimal Execution" to ICFP 2026 (rejected)
• 2025-10-14: Won 1st place in the ICFP 2025 SRC with "Optimal Effects" (undergraduate, info)
• 2025-10-12: ICFP/SPLASH Volunteering in Singapore (info)
• 2025-09-10: Finished my B.Sc. in Computer Science (pdf)

Interests

• Minimal Languages
• Optimal Reduction
• Distributed Computing
• Operating Systems
• Metaprogramming
• Duality, Polarity
• Language Design
• Effects & Handlers
• 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

webring