Experiences using @tlaplus to understand Xen's vchan protocol: https://t.co/ueNzjIX2gu @OpenMirage @QubesOS — Thomas Leonard (@talex5) January 1, 2019
Author Archives: olleolleolle
Malmö.rb November meetup report
An after-action report of the November meetup of the Malmö.rb Ruby group.
The bridge
A strong expression of Malmö Spirit: a passionate article about the Øresund Bridge.
Malmö.rb October meetup: Ruby and Linux Signals explained, modular synthesizers explored
This is an after-action report about the October 2018 meetup with the Malmö Ruby Brigade.
Schoolhouse Rock, with a tune you know
The video is from Schoolhouse Rock. Scandinavian listeners may have heard the first part before.
A link
AI researcher Julian Togelius in 2017 wrote a nice blog post about how to write better about AI. Read the whole thing. I just clipped a few lines below to make you do it. Hugs. Some advice for journalists writing about artificial intelligence … First off, I understand. You’re writing about an extremely fast-moving field …
Majgreve
The Swedish Wikipedia is large. Outsized. Most things are well in hand. Today I met with something which needs an article! The concept of “majgreve”, which means “the Count of May”; a ceremonial feast title given someone worthy. The tiny preview of the NE (“the national encyclopedia”) notes that the term was used in the …
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 …
Continue reading “Allow Leslie Lamport to explain to you what TLA+ is”
Portmanteau of the day
Cthulhu + FOMO = CthFOMO