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 full of jargon and enthusiastic people with grand visions. Given all this excitement, there must be plenty to write about, but you don’t know much (or even anything) about the field. You probably know as little about AI as I know about, say, tannery. But where tannery evolves only very slowly and involves very concrete materials and mechanics, AI moves at breakneck speed and few of those words that get thrown around seem to refer to anything you can touch or see. There’s a feeling that you need to write about the latest developments NOW before they are superseded, but it’s hard to see where to even begin to decipher the strange things those AI researchers say. And of course you want to write something readable, and clickable, and you don’t have much time. It can’t be easy.

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 Danish cultural sphere. Tantalizing. 

Given to whom? Why? What did the ceremony or feast entail? 

All questions. 

So, now I call on folkloric experts and medievalists to right this wrong: we must have a majgreve article. 

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 is any use to career programmers.

I hemmed, I hawed. Most programmer activity is not about math. Statistics? Algorithms? Graph theory?

And then I tried to explain TLA+. I failed hard at that, so this short note is a link to better material than I was able to mumble up during eating.

TLA+ is:

a formal specification language developed by Leslie Lamport. It is used to design, model, document, and verify concurrent systems.

the TLA+ wikipedia article

The wikipedia article is good. Turns out, Lamport did us one better, he put together a full video course:

“This is the first lecture of the TLA+ video course”, a sun-kissed Lamport intones in the first few seconds. Excellent!

Then, he warns the viewer, that they should consume this course together with the multimedia he has created, at his website. TLA+ Course Lecture 1.

He’s right.

Having watched a few of these caring, teaching, and (mildly) funny videos, I’m becoming a fan. Well-made timed multimedia cues are great. Being told when to stop watching, and downloading a paper, or learning something else – it works well.

(The material is darn interesting.)

Resources made by Lamport on TLA+ abound, and I’m not doing you a service by trying recommend anything less than the real video thing. Any other code repository or tooling he’ll tell you about. He’ll tell you about it while dressed in clown clothes and corny outfits.

For the very interested, and text-oriented, there’s also the hyperbook. A series of interlinked PDF resources, which one can peruse to learn about TLA+. I read a bit of that first, and then switched over to the video presentation. Both are good.

Now, I hope this small note has alerted you to the existence of tons of TLA+ material online, and that you enjoy a whiff of that at some point.

The Stones of Venice

My friend J was at a large fika at my house, holding forth about the perennial mystery of Venice. I whispered the only thing I knew about the mystique of that place: some Englishman’s text about it. J winked and nodded, and knew it, of course.  I have not read this work, except as an escape. I’m a cheat, like that.

The Stones of Venice is a three-volume treatise on Venetian art and architecture by English art historian John Ruskin, first published from 1851 to 1853.

Wikipedia

Now, you can read this massive thing, scanned at Archive.org. If, for some reason, you’re hiding behind your laptop somewhere boring, you could shield yourself with this. Sip long sentences, taking in the stretches of prose.

Or, if you’re not in a place with a laptop, perhaps with only a tiny screen at your disposal: fear not. You may be in for something better.

Read the same work in the Victorian Web’s translation/proof-reading effort. Great collaborative HTML project! They’ve put lots of reference notes in the side-bar, explaining things in the text, and taking us the extra mile in understanding this work’s impact.

Well, one day I hope to have a printed copy of this thing.

Until then, here’s some excellent – unrelated electronic music.

Reading The Morning Paper

You may already know, but there’s a person out there on the Internet making a lot of reading for you. They put out this publication (nearly) daily, which is called The Morning Paper. The eponymous “paper” is a computer science paper, and each report is a walk-through of its contents.

Brilliant stuff, and most of it pushes my mind in some direction. Learning and such is a lot about filling the mind with associations. For me.

Things I learned about during the last fortnight: guiding machine learning using assisted labelling techniques that parse natural language; a really fast JSON filter called Sparser; something about memory management & local reasoning in an upcoming OCaml memory management implementation. Tons of stuff, mostly-digested, for your scanning pleasure.

I enjoy scanning this. Some of it makes me dig out explanations and other thing are possible to scan along, for the thrill of it.

Revamping, again

Ha, the blogging. 

WordPress happens much quicker than I can follow it, which is completely wonderful. Quite a few innovations arrived today: a new editing interface, called Gutenberg.

a Malmö.rb logo
for no special reason
other than ease of uploads

The original critical hit table from the ancient roleplaying game Arduin

This is easy. And way more accessible. I might use it, even.

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 effects. Here’s what we saw:

After this journey into aesthetics, we relocated to a new  had very good pizzas at Mediamatic ETEN. Elderflower lemonade! Someone speaking Danish tended the bar. “Take a look around!” Aquaponics gardening in a greenhouse with colored LEDs. “Oh, all food here’s vegan.”

Next door was the open-to-the-sky bar Hannekes Boom. The sky was golden and the moon was a thin sliver. Patrons were joyous, the barman was cheerful.

Before heading home to the ironing board and the blogging, we couldn’t resist peeping into the KLIMMUUR CENTRAAL-marked warehouse. My friend C had identified the name to be “Climbing Wall Central”. It was a huge building, very, very tall, covered in handholds and climbing lines. In the middle of the room, there was a group of tables where people could enjoy themselves, or eat something. A non-ascetic place! We bought ice-cream and lounged in a huge couch outside in the evening light.

Boats of all types rushed by. Suddenly, it was time to get back. We discovered a shorter path to walk home – a boon.