Stories by espeed

Numenta: Jeff Hawkins – Human Brain Project Keynote (2018) [video]

Sparse Distributed Memory

Slurm: Highly Scalable Linux Job Scheduler Used by 60% of TOP500 Supercomputers

Analysis in Higher Gauge Theory

The Universe: How to Break the Game [video]

I See What You Mean (2015) [video]

Quaternions and 3d rotation, explained interactively (3Blue1Brown) [video]

John Hughes – Why Functional Programming Matters [video]

The Next 700 Programming Languages – Peter Landin (1966) [pdf]

The Geometry of Reflection Groups (2015) [pdf]

Compiling to Categories (2017) [video]

Representation theory and geometry – Geordie Williamson (ICM2018) [video]

Matrix Groups [pdf]

Simple λΠ-interpreter for matrix computation [pdf]

Network Information Flow (2000) [pdf]

Google’s Secret and Linear Algebra (2004) [pdf]

Implementing Push-Pull Efficiently in GraphBLAS

Algebra and the Lambda Calculus (1993)

Cartesian Cubical Computational Type Theory: Constr. Reasoning with Paths and Eq [pdf]

The Geometry of Classical and Quantum Fields [pdf]

9 10 11 12 13 14 15 16 17 18