Stories by espeed

It's Just Matrix Multiplication: Notation for Weaving [video]

Models of Computation: Exploring the Power of Computing (Full Book)

The Periodic Table of Data Structures [pdf]

Generalized Data Structure Synthesis (SIGSOFT Distinguished Paper) [pdf]

Winners Take All: The Elite Charade of Changing the World [video]

File Signatures Table

AI for Imperfect-Information Games: Beating Top Humans in No-Limit Poker

John Baez: From the Icosahedron to E8

DeepSpec

Vellvm – Verifying the LLVM [video]

A Programming Model and Foundation for Lineage-Based Distributed Computation [pdf]

Strange Loop 2018 Talks Online (80 videos)

Church-Turing Thesis Cannot Possibly Be True [video]

High-Dimensional Probability: An Introduction with Applications in Data Science [pdf]

Type-Driven Program Synthesis [video]

MIT Comcom: Synquid program synthesizer, and more command-line tools for the web

Mill vs. Spectre: Performance and Security [video]

StrangeLoop: You Are a Program Synthesizer – By James Koppel, MIT [video]

Hey Google: 7 days – 7 years ago is the day the + operator went away

Math and Art: Strikingly Beautiful Images from the SuiteSparse Matrix Collection

10 11 12 13 14 15 16 17 18 19