Stories by mindcrime

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]

What are neural-symbolic AI methods and why will they dominate 2020?

Yajilin (Japanese Arrow Puzzle)

AI Podcast – Interview with Bjarne Stroustrup

Bermuda Principles

Tissue Engineering

Hackers – Heroes of the Computer Revolution

Poll: Do you self-identify as a “Hacker”?

18
19
20
21
22
23
24
25
26
27