Allow Leslie Lamport to explain to you what TLA+ is

Sat down with a good friend who’s in math + economic history. He’d taken me to school at the gym, introducing the Thai boxing exercise “kick the heavy bag” 45-seconds-per-leg. Brutal. Loud. I can perhaps recommend it. Afterwards at Nobes, enjoying a traditional meal of potatoes, gravy and vegan kålpudding, he asked me whether math […]

An Amsterdam Sunday

Stendhal syndrome, Stendhal’s syndrome, hyperkulturemia, or Florence syndrome is a psychosomatic disorder that causes rapid heartbeat, dizziness, fainting, confusion and even hallucinations when an individual is exposed to an experience of great personal significance, particularly viewing art. We did three museums in one day. That’s really pushing it. But we stayed ahead of the above […]

An Amsterdam Saturday, a sketch

Amsterdam in harsh, punishing sunlight. A pre-cold is threatening my weekend, reminding me of bodily frailty, as I and my companion trudge through cobbled streets fraught with traffic peril from onrushing bikes, their bike bells a-clanging. The street scenes in the city center were the ones I’d been told to expect: tourists toting tourist gear, […]

Ruby feature: Regular Expression replace once

About a year ago, programmer Tony Arcieri posed a question on the Ruby language bug tracker:  Why was Thread.exclusive deprecated? Among the answers to this question, Shyouhei Urabe’s one of the tersest feature descriptions yet: “we already have such thing, to some extent at least”: /#{@mutex=Mutex.new}/o The pair of slashes are Regular Expression delimiters. A Regular […]

Automate finding misspellings in source code

Typos and misspellings in code can be difficult. Finding them and keeping them out takes vigilance. Lots of mental energy wasted. The misspellings tool written in Python can be installed using pip install misspellings. This tool looks for commonly misspelled words in source code. It has a built-in list of common spelling mistakes. Example: List […]