Stories by adamnemecek

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)

MIT 18.06 Spring 2023 Linear Algebra Source Code

An introduction to optimization on smooth manifolds

Malachite: Arbitrary-precision arithmetic library for Rust (like GMP and FLINT)

Verso: Modern Binary Program Analysis in Rust

Pgvecto.rs: Vector database plugin for Postgres in Rust

1 2 3 4 5 6 7 8 9 10