Stories by adamnemecek

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

Crafting types with Scala 3 macros – Part 1: Introduction to macros

Rust for Malware Development

List of CLI tools written in Rust

Google Director of Engineering: Rust teams are 2x as productive as C++ teams

Boost.Parser Has Been Accepted

Analytic Combinatorics in Several Variables

Haskell Compiler Written in Rust

RZK: Experimental proof assistant for synthetic ∞-categories

RZK: Experimental proof assistant for synthetic ∞-categories

Go game formal revealing by Ising model (2017)

1
2
3
4
5
6
7
8
9
10