Stories by adamnemecek

How Quantum Teleportation Works

Just evaluating a polynomial: how hard could it be?

Siggraph2019 Geometric Algebra by Charles Gunn and Steven De Keninck (

Siggraph2019 Geometric Algebra by Charles Gunn & Steven De Keninck

Tensor product vs. direct product vs. Cartesian product (2016)

Proving Perfectoid Spaces in Lean Theorem Prover

Word2vec Implemented in Rust

Reinforcement Learning Library from Scratch – Deep Dive into Reinforce.jl

MGS: Programming language for topological modeling and analysis

Qpga: Simulations of photonic quantum programmable gate arrays

Rustcmb: Library for Statistical Testing of Cosmic Microwave Radiation in Rust

Intro to Database Systems (Fall 2019) [video]

F# RISC-V Instruction Set Formal Specification

F# RISC-V Instruction Set Formal Specification

Algebra, Topology, Differential Calculus, and Optimization Theory for CS and ML [pdf]

Objc_msgSend's New Prototype

Inferno: Rust Port of FlameGraph

Applied Complex Analysis

CMU 15-445/645 Intro to Database Systems (Fall 2019) [video]

Applied Category Theory

15
16
17
18
19
20
21
22
23
24