Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Adding linear-time lookbehinds to RE2

Bitsets match regular expressions, compactly (2013)

Malleable software: Restoring user agency in a world of locked-down apps

The Hashtable Packing Problem (2020)

Solving LinkedIn Queens using MiniZinc

Astonishing discovery by computer scientist: how to squeeze space into time

Sharing everything I could understand about gradient noise

Quantum Computing without the Linear Algebra

The Hat, the Spectre and SAT Solvers (2024)

Interactive Handbook on Data Structures and Algorithms

StarMalloc: verified memory allocator

Simulating Time With Square-Root Space

Looking to get into Compsci with 0 knowledge of coding or computers: what are some great tips, youtubers, or strategies for beginners

Using SAT to Get the World Record on LinkedIn's Queens

The GradBench Benchmark Suite for Automatic Differentiation

Bloom Filters

Closures And Objects Are Equivalent (2013)

Adaptive Hashing

STEPS 2012 Progress and Final NSF Report

What makes a good engineer also makes a good engineering organization (2024)

Effekt Language: Home

Please tell me your favorite Compsci related books of all time.

Business to Compsci

How CompSci Helped Me Grow As a Person

Reversing the fossilization of computer science conferences

Nouveau: The Rule Based Language Family

A paean to programming

On the cruelty of really teaching computing science (1988)

Notes on Literate Programming

Turing-Drawings

More →