Stories by adamnemecek

Dual Quaternion Shader Explained Line by Line

Money creation in the modern economy (2014) [pdf]

Vectors and Beyond: Geometric Algebra and Its Philosophical Meaning [pdf](2010)

Wandering through linear types, capabilities, and regions [pdf](2007)

Ask HN: How to start hacking photonics?

Geometric Algebra Methods in Quantum Information Processing [pdf]

Linear Logic, Linear Lisp, Linear Types and Concatenative Languages

Designing for Understandability: The Raft Consensus Algorithm

An Intro to X86_64 Reverse Engineering

How generics were added to .NET

Synthetic Topology of Data Types and Classical Spaces [2004][pdf]

A Very Rough Introduction to Linear Logic [pdf]

What I Wish I Knew When Learning Homotopy Type Theory

iOS app written in Assembly

Porting software is fun and rewarding

What I Wish I Knew When Learning Homotopy Type Theory

Kotlin/Native v0.6 is Here

It’s hard to reason about system

Making a Heart in ShaderToy [video]

Algebraic Dynamic Programming (2002) [pdf]

37
38
39
40
41
42
43
44
45
46