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 […]

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 […]

How to use very latest Bundler in Travis

TL;DR: When Bundler has fixes in master that you need, use the specific_install Rubygems plugin to install and use Bundler directly from a git branch. Example Travis YAML configuration excerpt: before_install: – gem update –system – gem install specific_install – gem specific_install https://github.com/bundler/bundler.git I will spend the rest of this post unpacking what the above means. […]