Posts

2026

Jan 09 — A Note on the Hardness of Verifying and Generating Reductions
Jan 05 — The Karp Dataset of NP-hardness reductions

2025

Jan 07 — Nearest Neighbor Complexity and Boolean Circuits

2023

Jun 23 — The Learning Complexity of Subsequence Detection