Stories by adamnemecek

Tokio internals: Understanding Rust's asynchronous I/O framework

From bare metal to serverless

Videos and slides from NIPS 2017

Exploring Physics with Geometric Algebra, Book I [pdf] (2016)

Infinitely large Napkin: Light introduction to a number of higher math topics

Trophy Hunting May Drive Extinctions, Due to Climate Change

I am Trask: machine learning craftsmanship blog

Growing a software architecture with types

Calculating e by Hand

The information capacity of a single photon (2012)

Linear Logical Algorithms [pdf]

Correspondence of Linear Logic and Geometric Algebra (2000)

Comcast spends dollars backing Seattle mayoral candidate

Compile Idris to Vimscript, like you always wanted

Compile Idris to Vimscript, like you always wanted

Building Serverless Functions with Kotlin

Wedge – The Geometric Algebra game

Geometric Calculus (video series)

Low Hanging Fruit of Programming Language Design

Five Stages of Accepting Constructive Mathematics – Andrej Bauer [video]

40
41
42
43
44
45
46
47
48
49