Stories by adamnemecek

Annotated History of Modern AI and Deep Learning (2022)

Diagrammatic algebra: On the road to category theory

Open source PDF reader built with Rust, Dioxus and PDFium

TurnFormal: Theorem Prover Written in Rust

Quantum Computing without the Linear Algebra [pdf]

Rewriting SymCrypt in Rust to modernize Microsoft's cryptographic library

Injectorpp for Rust: Rust crate for streamlining unit testing by Microsoft

Does Using Rust Make Our Software Safer?

Does Using Rust Make Our Software Safer?

Proxyman: HTTP network debugging tool written in Rust

Sapphire: Rust based package manager for macOS

Control Theory for Distributed Systems: A New View of Operations at Scale

Hyperspeedcube: 3D and 4D Rubik's Cube simulator in Rust

RFC 9669: BPF Instruction Set

Fast Rust expression evaluation with custom assembly

List of OSINT Exercises

Changes to `impl Trait` in Rust 2024

Differential Geometry: An Autistic Introduction

Algorithms through the lens of symbolic pattern matching

Visualizing Convex Conjugates

1
2
3
4
5
6
7
8
9
10