Wednesday, May 12
Programming in Z3 by learning to think like a compiler
A nice intro to Z3 and SMT solvers in general.
~bellmar
bellmar’s posts on Joy of Computing
Wednesday, Mar 17
Programming Paradigms as Language Destiny
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.
Friday, Jun 26
Old Code Gets Younger Every Year
A great blog post that explores and debunks common truisms about legacy systems and technical debt.
Sunday, Apr 28
Using TLA+ to model cascading failures
made by bellmar, submitted by porterjamesj
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.
