Stories by 082349872349872

The Tetrahedral Days of Christmas

Fleng 22 (concurrent logic programming)

Compiling with Classical Connectives (2020) [pdf]

Futel

Forbearance Negotiation Violence

Any similarity to actual persons living or dead is purely coincidental

Soft Sequence Heaps (2021) [pdf]

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

1
2
3
4
5
6
7
8
9
10