Stories by mindcrime

More MathML patches upstreamed to Chromium in 2020

Why does cron silently fail to run sudo stuff in my script?

MiniConf – A Virtual Conference Framework

Realm: Integrating Retrieval into Language Representation Models

What makes the “natural” log natural? 3b1b Lockdown Math

The Simple Essence of Algebraic Subtyping: Principal Type Inference

Simulating Entanglement in Classical Computing (2013)

First Course in the Theory of Equations [pdf]

3b1b – Lockdown Math [video]

Mathematical Logic (lecture notes) [pdf]

Important Open Exposition Problems?

The Theorem Prover Museum

TTM Programming Language

Mizar Project

Flow Chemistry

Trusted Automated Exchange of Intelligence Information (Taxii) [pdf]

Oasis Topology and Orchestration Specification for Cloud Applications (Tosca)

Hex (Board Game)

Real Life

How Amazon Web Services Uses Formal Methods (2015) [pdf]

17
18
19
20
21
22
23
24
25
26