Stories by adamnemecek

The Mathematics of Bitcoin [pdf]

Reverse engineering the rendering of The Witcher 3 (2018)

The Newton Application Architecture (1994) [pdf]

2010s: Our Decade of Deep Learning / Outlook on the 2020s

Sled: Embedded Database Written in Rust

Deadlock Empire: Slay dragons, master concurrency

GPU Resources

Andromeda: Proof assistant for general type theories

Rust Game Development – Ecosystem Survey

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

Building WebGPU with Rust [video]

Bliss: .gitignore file management tool written in Rust

Brewcode: Basic Code Editor in Rust with GPU Rendering

Espanso: Cross-Platform Text Expander Written in Rust

Self_update: In-place updates for Rust executables

Cartographer: Tool for String Diagrammatic Reasoning

VKI: Experimental WebGPU Implementation in Rust

Generating Verified LLVM from Isabelle/HOL [pdf]

Learn WGPU GPU API

GAME 2020: Geometric Algebra Mini Event Announed

13
14
15
16
17
18
19
20
21
22