Submissions by pcfwik

Social Processes and Proofs of Theorems and Programs [pdf]

Rejoining Academia

Mail Avenger: The Spam Extermination Project

Insertion Sort is O(n log n) [pdf] (2004)

People Don't Write Programs

Auto-Brewery Syndrome

Past Tense, Part I (episode)

Fun with Ld_preload [pdf]

[PDF] 21 compilers and 3 orders of magnitude in 60 minutes

Structured Programming with Go to Statements

The British Aren't Coming. They're Here

Guano Islands Act

Constraint satisfaction problem (CSP) vs. satisfiability modulo theory (SMT)

Problems with the Halting Problem [pdf]

Compute Governance

Linkage Mechanism Designer and Simulator

Visualizing the ARM64 Instruction Set

Do you see the "Bimodal Distribution" too?

Linear Probing Revisited: Tombstones Mark the Death of Primary Clustering

Message from the Oopsla 2001 Conference Chair

Free Software that you can't customise is not Free Software

Graphite Bomb

A conversation about complexity lower bounds

Correct horse battery staple: Exploring usability of system-assigned passphrases [pdf]

Programmers: Let's Study Source Code Classics

Print Debugging Should Go Away

Literate: A Flexible Literate Programming System