Loading...

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

50 years of proof assistants

PtrHash: Minimal Perfect Hashing at RAM Throughput

Picking Optimal Token IDs

Deconstructing the `CAP theorem' for CM and DevOps

SWIM: Outsourced Heartbeats

Trees - J Wiki

A gift, for a long lost daughter (a compsci major) after them being taken away through divorce many years ago.

Solving the Partridge square packing problem using MiniZinc

Smoothsort Demystified (2011)

Dijkstra’s Algorithm in JS

Rank-balanced trees (2014)

Modern Perfect Hashing

Why Busy Beaver hunters fear the Antihydra

Solving the NYTimes Pips puzzle with a constraint solver

Rotating Workforce Scheduling in MiniZinc

The Vindication of Bubble Sort

SATisfying Solutions to Difficult Problems

Cuckoo hashing improves SIMD hash tables (and other hash table tradeoffs)

Index 1,600,000,000 Keys with Automata and Rust (2015)

Learning Regular Languages with RPNI Algorithm

Incremental Construction of Minimal Acyclic Finite-State Automata (2000)

Oavif: Faster target quality image compression

Fast SSIMULACRA2 Implementation in Zig

Space-Efficient Data Structures for Top-k Completion (2013)

Adding Stride Scheduling to Xv6

Entropy in Compression (2013)

The Case for Learned Index Structures

The World's Fastest Scrabble Program (1988)

Threads without Locks (2007)

Determination of the fifth Busy Beaver value

More →