Submissions by marvinborner

Metaprogramming and self-interpretation of lambda calculus

Nature retracts controversial superconductivity paper by embattled physicist

Category Theory for Programming

An Approach to Computing and Sustainability Inspired from Permaculture

Penguins in LaTeX with TikZ

Number guessing game with a p-adic twist

Finding X: A Mathematical Short Film [video]

Jottary: Unary Jot

How Computers Use Numbers

How does a computer/calculator compute logarithms?

Weird things you can buy online

Diminished Fifth: Procedural music generation

DreamBerd 2: Sequel to the perfect programming language

Numbat: Programming Language for Scientific Computations

Compression Overview [video]

Birb: Programming with bird emojis

Discussion about GitHub's new home feed

A Gentle Introduction to Liquid Types

Screens in Screens in Screens