Stories by Tomte

What's cooking on Sourcehut? October 2022

Kodak Film Factory Revealed

Passive Cooking

Rethinking the High School Transcript: An Exercise in Data Visualization (2013)

A Primer on Separation Logic (Automatic Program Verification and Analysis)(2011) [pdf]

GUPU – Teaching Prolog and Constraints

Cheating in sports vs. cheating in journalism vs. cheating in science

Koch method to learn Morse

WikiPatterns: Patterns for Successful Wiki Use

Why are scientists filing lawsuits against their critics? (2017)

1956 Philips 353A Bakelite Vacuum Tube Radio Repair and Restoration

The US will finally allow adaptive beam headlights on new cars

Causal foundations of bias, disparity and fairness

Automatic Flag Waver Lets You Show Your Loyalty Without Getting Tired

Coq: The world’s best macro assembler? (2013)

The Death of Beautiful Rendition and 3D Pop on Modern Lenses (2017)

Effective Activist (2018) [pdf]

Practical Tips for Cheating at Design (2018)

Regression, Fire, and Dangerous Things (2021)

Is the Library Card Dying? (2016)