Stories by adamnemecek

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

FemtoGPT: Minimal GPT Implementation in Rust

Hydroflow: Dataflow Runtime in Rust

Polynomial Functors: A General Theory of Interaction

Higher-Dimensional Type Theory (2020)

1
2
3
4
5
6
7
8
9
10