Sam Merrell

Linkdump 2024-09-26


A while back I dropped Feedly in favor of Feedbin, but one thing that I lost in the process was my Feed Favorites automation. Feedly had a place where I could add comments and then retrieve them with the API so I had written a small automation to pull my favorite links and post them each month. I still haven’t automated this again but I wanted to share articles I’ve read recently so here’s a random assortment of links, hand curated by me.

  • What’s the big deal about Deterministic Simulation Testing? - Phil Eaton
    • Deterministic Simulation Testing seems to be quite related to various Formal Methods using tools like TLA+. More advanced deterministic simulation testing like what Antithesis does, also seems to be pretty closely related to fuzzing or property based testing.
  • So you think you want to write a deterministic hypervisor? - Antithesis Blog
    • Taking Deterministic Simulation Further than what Phil describes above, you could go all the way down to the hypervisor to try and eliminate as much non-determinism as you can. Antithesis seems like some really cool software and I love learning a little more about how they’ve implemented pieces of it.
  • Changelogs and Release Notes - Sumana Harihareswara
    • A really cool post about the differences between Change Logs and Release Notes. Release notes play a valuable role and shouldn’t be replaced by a verbose Change Log that’s just a list of commits. While the post itself is focused on Open Source software, I can see a lot of value for internal/commercial software especially if you’re on a “Platform Team” providing software to other developers within your company.

That’s it for this go around. We’ll see when I’ve gathered up enough links to share some more!