Stories by adamnemecek

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

Hamiltonian Monte Carlo explained

Bsf: Modern C++14 library for real-time graphical applications

John Baez: “Duality in logic and physics” (2010) [video]

Why is “2 * (i * i)” faster than “2 * i * i” in Java?

3D machine learning: resource repository for 3D machine learning

Adamant: high performance language with lifetimes and generics

Microsoft surpasses Apple to become most valuable US company

30
31
32
33
34
35
36
37
38
39