All articles

Dual Spanning Trees in a Planar Graph Jan 1, 2024
Don't Connect the Data Points on your Scatterplots Dec 29, 2023
Strong and Weak NP-Hardness Dec 28, 2023
Electronic Computing is Janky AF Dec 27, 2023
How to Describe a Dynamic Program in a Paper Dec 26, 2023
Courcelle's Theorem and Monadic Second Order Logic (MSO) Dec 22, 2023
Software for Making Plots Dec 21, 2023
Python's http.server Dec 20, 2023
What is Computer Science About? (1) Dec 7, 2023
Covariant, Contravariant and Invariant Types Dec 6, 2023
Linear Time Order Statistics Dec 5, 2023
Expected Value Pathology Dec 4, 2023
Big-Oh Pendantry Dec 2, 2023
Currying – or: There Are Only Functions with One Argument Dec 1, 2023
Integer Flow Nov 30, 2023
Visualizing Geophylogenies – Internal and External Labeling with Phylogenetic Tree Constraints Nov 21, 2023
Decision, Optimisation & Construction Nov 18, 2023
Sorting in Practice 3: Introsort Nov 17, 2023
Existential Theory of the Reals Nov 16, 2023
Some Handy Expressions in Cartesian Coordinates Nov 15, 2023
Rigor and Reality Nov 14, 2023
Sorting in Practice 2: The Sorting Lower Bound Nov 13, 2023
Sorting in Practice 1: Trying the standard library Nov 12, 2023
Sum of Radicals Nov 11, 2023
Algorithms in Practice 1: Theory & Practice Nov 10, 2023
Binary Encoding for Arbitrarily Large Integers Nov 9, 2023
Total Unimodularity Nov 8, 2023
Intermediate Value Theorem Nov 7, 2023
NP-hardness and "reasonable encodings" Nov 6, 2023
Homogeneous Coordinates Nov 5, 2023
"NP-hard" Doesn't Mean That You Can't Solve It Nov 4, 2023
SQL can do more than you remember Nov 3, 2023
PP is overpowered Nov 2, 2023
Can't Look It Up If You've Never Heard Of It Nov 1, 2023