Submissions by marvinborner

Lambda Screen: Fractals in Pure Lambda Calculus

Timeline of the Far Future

3D DOM Viewer

No Maintenance Intended

Live rendering and error reporting for LaTeX

Elsevier paper with obvious AI-written text

Show HN: Infinite Craft, but for Lambda Calculus

Sandspiel

The World Wide Web project (1991)

The 1,200 Year Maths Mistake [video]

Joke Papers on ArXiv

Wiki Speedrun Game

GitHub Stars Nominations

Show HN: Programming with Pure Lambda Calculus

Web Design in 4 Minutes

Obfuscated 99 Bottles of Beer in C

From Lambda Calculus to the Four Color Theorem [pdf]

Categories Are Monads in Spans

Linux Hardening Guide

Why Monad Transformers Matter

From 1M to Graham's Number (2014)

The GHC typechecker is Turing-complete (2006)