An example from ThreadLocalVar documentation, illuminating what it can do.
Category Archives: Technology
A note on using parallel RSpec in CircleCI
YAML example for RSpec in parallel on CircleCI with explicit –seed and reproducible CLI invocation
Link: on TLA+ command-line support
Link: FPGA paper, wild
Link: TLA+ experience report
Experiences using @tlaplus to understand Xen's vchan protocol: https://t.co/ueNzjIX2gu @OpenMirage @QubesOS — Thomas Leonard (@talex5) January 1, 2019
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 […]
Malmö Coders’ Book Club
Quick report on Malmö coders’ book club: This was the initial sitting, and we were 7 people around the table. One academic, two leads, and four software engineers. We spoke English, since we were an international crowd. At least three physical notebooks full of written notes were out, and the conversation was started based on […]
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. […]