3B1B: Recruiting, both for myself and for other companies (potentially yours)

How to Count N-Ary Trees

A deep dive into Rust and C memory interoperability

Rust Running on Every GPU

Graphical Linear Algebra

Lens: Lenses, Folds and Traversals

All color is best effort

The Hashtable Packing Problem (2020)

A Rust Documentation Ecosystem Review

Why GADTs matter for performance (2015)

Custom Logging in Rust Using tracing and tracing-subscriber

I started an open source project in 2004. This week, it hit 30000 GitHub stars

Ask HN: Memory-safe low level languages?

Curry: A functional logic programming language

The Busy Beaver Frontier [pdf]

Monsky's Theorem

JSON Hijacking (2009)

My Book's Pre-Sale Just Barely Succeeded

Tail Call Recursion in Java with ASM (2023)

Gmail's upgraded search results help you find the emails you want, faster

Teleo-Reactive Programs