Breaking the sorting barrier for directed single-source shortest paths

Fun with Finite State Transducers

Treetable: a case-study in q

Building a Regex Engine

L2AW theorem

p-fast trie: lexically ordered hash map

Destructive in-order tree traversal

Software Eng vs CompSci

Show HN: The Montana MiniComputer

Words about Arrays and Tables

Improving AVIF in Open Source

Super Mario Bros is (Computationally) Hard

Iris-WebP: Fast, efficient WebP encoder

How do you compute the midpoint of an interval? (2014)

Studying CompSci in 2025

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

More →