Hybrid physicist and weirdo programming language aficionado: a man after my own heart! Great summary! Keep up the good blogging!
I've been meaning to get to your Z3 tutorials soon, they rock too! See ya around!
Also, I think you can totally tell that this is part of my brain-dump that's been pouring out to the #formal-methods channel on the Julia Zulip.