Stories by adamnemecek

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]

Basic Category Theory for Scala Programmers

Why undefined behavior may call a never-called function

Serpent.ai: game agent framework

Introduction to WebRender

43
44
45
46
47
48
49
50
51
52