Stories by adamnemecek

Scalable and serverless media processing using BuckleScript/OCaml and AWS Lambda

CMU 15-819 Homotopy Type Theory

Great Microprocessors of the Past and Present (2003)

Optical Effects in User Interfaces (for True Nerds)

Footage shows young elephants being captured for Chinese zoos

Type Theory: A Modern Computable Paradigm for Math

The type systems of mathematics (2013)

Will Computers Redefine the Roots of Math? (2015)

Philosophy of Mathematics

Darwin-xnu: The Darwin Kernel

Monoids deployed

Lisp, Smalltalk, and the Power of Symmetry

CppCon 2017: Bjarne Stroustrup "Learning and Teaching Modern C++" [video]

Marketing for Engineers: Curated list of resources to grow your product

Retrofitting Linear Types [pdf]

Getting started with OpenBSD device driver development [pdf]

Algebraic Geometry [pdf]

Harri Valpola dreams of an internet of beautiful AI minds

How the Rust Language Server Works

How I Fixed a 10-Year-Old Guitar Hero Bug Without the Source Code [video]

44 45 46 47 48 49 50 51 52 53