\(\Im\in\int\int\) \(:\) math \(\to\) metal
An exocortex (and in the near future, nenex) that externalizes my understanding of math, compilers, and chips. This second brain avoids the classic presentation of plain words wrapping static figures, and instead uses Nota: a document programming language prototype based on a Core Calculus for Documents.
Projects