Stories by espeed

MetaLift: Leveraging DSLs (Almost) for Free [video]

Deep Generative Models for Imitation Learning and Fairness [video]

MIT Probabilistic Computing Project

Anglican: A Probabilistic Programming System

But why is a sphere's surface area four times its shadow? [video]

A Linear Algebraic Approach to Datalog Evaluation (2017) [pdf]

SnailTrail: Critical Paths for Online Analysis of Distributed Dataflows [video]

Synthesis and Verification for All [video]

NIST Digital Library of Mathematical Functions

A Linear Algebraic Approach to Logic Programming [pdf]

Rethinking Topology (or a Personal Topologodicy) – Chris Olah (2014)

The Principles Behind Differentiable Programming – Erik Meijer [video]

Richard Feynman Computer Heuristics Lecture (1985) [video]

Active inference and artificial curiosity (2017) [video]

Formalizing 100 Theorems

The Concept of Holonomy [video]

RedisGraph Launch and Demo at Redis Day London [video]

Eric Weinstein Explains Gauge Symmetry [video]

Benchmarking RedisGraph 1.0

SPIRAL: Extreme Performance Portability [pdf]

7 8 9 10 11 12 13 14 15 16