Category Archives: Technology
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. […]
IndieWeb clubbery
Tonight, I made it to Homebrew Website Club hosted at inUse in Malmö. I was greeted by three kind souls, among them a proprietor of a Lego fan website with a 176 contributors – and Pelle and Emil. The club format is the same every time: first an hour of social or at-your-computer time. Then […]
Git Pre-commit hooks!
Not even once! Run relevant code-checking tools on your code, before it is even checked in locally. Using the Ruby project Overcommit, you can set this up on your own machine in a jiffy. Or, read more about git hooks. I took these steps: Install the overcommit gem in your active Ruby. gem i overcommit […]