Stories by mindcrime

The Texas Method and the Small Group Discovery Method

Warp Field Mechanics 101 [pdf]

Solutions to Mathematics Textbooks

Mizar System

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]

17
18
19
20
21
22
23
24
25
26