Hi

I'm Frederic.

I'm a software engineer interested in programming languages, Wittgenstein's philosophy, hypertext systems, and how smaller and simpler approaches to programming can turn computers into creative tools for thought.

I think that all of these topics are deeply connected.

Lab Notes

I'm experimenting with various ideas related to programming languages and writing weekly lab notes about the results.

March 2025

• Custom Binding Constructs Without Macros, Part 3: Generalizable Sugar
• Custom Binding Constructs Without Macros, Part 2: Desugaring Bindings
• Custom Binding Constructs Without Macros, Part 1: Explicit Bindings
• A Static Site Generator in Lambda Calculus With Effect Handlers
• Turning Lambda Calculus Into a Minimal Programming Language

Things I've Worked On

• A statically-typed language, Garble, that compiles to boolean circuits.
• A PostScript quine that draws itself in a random maze whenever it's printed.
• A hypertext system that is both a document and graph DB, written in Rust.
• A md/pdf/epub pipeline for the non-profit Ludwig Wittgenstein Project.
• A visualization of connections in Wittgenstein's philosophical Nachlass.
• A thesis on Wittgenstein and diagonalization in Cantor, Gödel and Turing.