A nice intro to Z3 and SMT solvers in general.
A fun blog post about programming paradigms and language design. You can also check out Marianne's podcast about writing a programming language here: https://anchor.fm/mwapl.
A great blog post that explores and debunks common truisms about legacy systems and technical debt.
This post shows that TLA+ can be used for things you might not expect, like modeling autoscaling and load balancing with off-the-shelf tools.