Stories by adamnemecek

Human diet causing 'catastrophic' damage to planet – Lancet report

Linear Logical Voting Protocols (2011) [pdf]

CMU 18-645: How to Write Fast Code

Ktcc: C compiler in Kotlin

Some Platforms Thrive and Others Don’t

ACL: Animation Compression Library

Self-driving car object tracking: Intuition and the math behind Kalman Filter

Wrongful convictions

Magnum: Lightweight C++14 graphics engine for games and data visualization

Quaternion modeling of the helical path for analysis of the DNA molecule [pdf]

Photos China Doens't Want You to See by Photojournalist Who Vanished in China

Prague: The city watching out for Russian and Chinese spies

T * sin (t) ≈ Christmas tree

Implementations from Benjamin Pierce's “Types and Programming Languages” Book

Zygote.jl: 21st Century Automatic Differentiation

How to implement type theory in an hour

Xcode build settings reference

How to implement type theory in an hour

MakeMe: Modern replacement of autoconf/make

Marching neural network: Visualizing level surfaces of a neural network

29
30
31
32
33
34
35
36
37
38