Software/data engineering, history, formal systems. Expect a similar wide range in the future as well. You can check all 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.
I’m not a fan of fermented food, but my girlfriend is. The article is interesting even for me.
The “grind and hustle” gets old pretty quick.
The book for learning TLA+ (and, free to download from the link above). I’m reading it right now, step by step. You can also get a paperback version from Amazon (affiliate link) but it’s kind of expensive.
It kind of makes sense.
As you may have realized, I’m interested in formal methods and verification. I’m not the only one, and since I now pay more attention to articles on the subject, I find more articles to share. Hillel is the author of Practical TLA+ (affiliate link), the book that finally got me to write specs.
The idea of this happening “now” is actually scary.
You may pick up one or two tricks that can be useful.
Here, take this sugar pill. You’ll be cured.
Slides from Slideshare. The scale is astounding. Note that the engineering blog at Criteo is top notch, but your adblocker is probably going to give you a hard time reading it.
I’m closer to doing useful stuff in Rust than in Haskell, so it’s always good to know Rust has some nice tricks up its sleeve.
More TLA+ goodness, from Lorin Hochstein.
This Thursday I’m speaking about how PySpark got faster by using Arrow internally. If you are around Barcelona please join us! Note that the slides for this talk are not up yet!
(note there are affiliate links in here) This is the follow-up to 10% Happier. MfFS is good, offering a more practical take than the previous one. As books to stand on its own, 10% Happier is better though.
This is a very fun talk about what you should do if you want to prevent (in an ironic way) your company from moving to a microservices-based architecture. You may get flashbacks to the Simple Sabotage Field Manual from the CIA.
I’m considering converting this into a weekly newsletter in addition to a blog post. 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 and if enough people join I’ll send these every Sunday night or so.