Loading...

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

Two-Stack Sliding-Window Aggregation

How Lean 4 uses CompSci to Verify Math Proofs

Coding Theory: A Playful Introduction

Let's build a compressor from scratch

The case against JPEG XL

Aho-Corasick Algorithm

bzip3

Researchers achieve fastest and most complex DNA computer to date

ZK-JPEG: Zero-Knowledge Image Editing and Compression

Fifty Years of Open Source Software Supply Chain Security (2025)

Consistent Hashing Proofs

Can a regex match valid card numbers?

Bitap: My favorite string matching algorithm

Lifestreams: a storage model for personal data (1996)

Running an Optimal Trace

There are only twelve 4x4 sudokus (and a cool trick for finding minimal subsets)

Compsci grads facing recession-like job prospects thanks to AI

Adversarial examples for fast hash functions

Compression in Full Quiet

To R/CompSci Mods

Flat vs. segmented memory – it's recursive

Parallel O(sqrt n) Overhead LSD Radix Sort

A preview of Roc 0.1.0

Does Computer Science Need Computers?

Computing graph dominators

The Sync Heap: Delete First, Ask Questions Later

Kale: A Transformation-Safe Spreadsheet System

Lively Merge | Collaborative programming kernels

A decades-old bug in Knuth's long division (TAOCP Vol II, Algorithm 4.3.1D)

Unicode's transliteration rules are Turing-complete

More →