Stories by marvinborner

The way math should be taught [video]

The e-graph data structure

Fifth Transcendental Ruby Imbroglio Contest

Experience the Apollo 11 Lunar Landing

We end malaria–everywhere [video]

MNT Pocket Reform

Counterexamples in Type Systems

Crafting formulas: Lambdas all the way down

Göttingen was one of the most productive centers of mathematics

One second to compute the largest Fibonacci number I can [video]

Small World

Show HN: Programming with Bird Emojis

2222, a Programming Game

Grokking the Sequent Calculus (Functional Pearl)

Marie Curie died 90 years ago

Ladybird browser update (June 2024) [video]

Annus Mirabilis Papers

The Inconceivable Types of Rust: How to Make Self-Borrows Safe

Continuations by Example

1
2
3
4
5