Stories by abathologist

"Letter to Alan Turing" – Giuseppe Longo (2018) [pdf]

Epstein Sought to Establish Behavioral Engineering Institute at Stanford

Functional Networking for Millions of Docker Desktops [video]

C1ick and C⊗LLec⊥: Interactive linear logic prover

OPAM repository for OCaml with Jane Street extensions

Notes on Nothing (2023)

Quint: A specification language based on the temporal logic of actions (TLA)

It's Lit: A GitHub template to automate greening your Git commit graph

Configuration Files in Terms of User Empowerment

Start with Worker Self-Directed Enterprises