Stories by 082349872349872

Ghosts of Departed Proofs [pdf]

POPL Paper–Formalising Graphs with Coinduction

Can Math Save Your Soul?

Guest Post: Final Encoding in RPython Interpreters

Näbelhüüler Äbike – Monstercorso [video]

Notes on Richard Dedekind's Was sind und was sollen die Zahlen? (2005) [pdf]

Problem Solving with Answer Set Programming

The Logic of Quantum Mechanics (1936) [pdf]

Survey of Geometry

Languages ... by finite semigroups [generalised to] trees and graphs (2020)[pdf]

Koch Method to Learn Morse

Polyglot Maxxie and Minnie

Euclid, in which coloured diagrams and symbols are used instead of letters

The social interpretation of history; a refutation of the Marxian... (1920)

Microkernel Goes General: The HongMeng Production Microkernel [pdf]

The Political Doctrines of Sun Yat-Sen: The Sun Min Chu I (1937)

On Working with Your Passion

Sign of the Times (APL)

Probabalistic Spin Glass (2022)

The Mathematics of Sentence Structure (1958) [pdf]

1
2
3
4
5
6
7
8
9
10