Formal methods, Scala, productivity. Expect a similar wide range in the future as well. You can check all my weekly readings by checking the [tag here](https://www.mostlymaths.net/search/label/ReadingsOfTheWeek, Readings) . You can also get these as a weekly newsletter by subscribing here.
Once you start your journey down the formal methods rabbit hole (which I started with TLA+) you can never stop. This is a very good introduction to Alloy, a modelling language which seems well suited for data structure descriptions (not procedural/step-time models)
As much as I don’t like Stephen Wolfram, his obsessive take on being productive echoes mine. And that worries me.
Next after the intro above, this is a short post about how you would set up a reasonable hierarchy of keys in an organisation. Something like “Infrastructure team owns infrastructure keys, developers own GitHub” but with more layers. Then you can automatically check somebody has access to stuff, etc. Neat.
The guys at SoftwareMill (excellent technical blog and people) stumbled upon this. The kind of bug that could defeat you, but they succeeded, and documented it for the rest of us.
And the final instalment in this week’s formal method extravaganza, how to prove a randomised game (say, Zelda) can be winnable using Alloy.
Yep, can totally agree, I’ve hit some of the roadblocks and fun moments the author shares. As usual, some HackerNews comments can be enlightening.
There are many definitions of what being senior is, but you can’t go wrong trying to follow these suggestions
I’m pretty sure you didn’t know there are collectors of endpaper.
A synopsis of a data structure paper, about ART radix tries. They are kind-of-like tries, but try to use less memory.
In case you didn’t know how pattern matching works (hint: unapply), this post will tell you.
A package released late last week, it helps you navigate your open buffers in a visual way. Pretty neat, and even with my usual 20+ buffers seems to work seamlessly.
These weekly posts are also available as a newsletter. These days (since RSS went into limbo) most of my regular information comes from several newsletters I’m subscribed to, instead of me going directly to a blog. If this is also your case, subscribe by clicking here.