3 ms·
Hybrid physicist and weirdo programming language aficionado: a man after my own heart! Great summary! Keep up the good blogging!
by philzook 5y ago
Hybrid physicist and weirdo programming language aficionado: a man after my own heart! Great summary! Keep up the good blogging!
- miguelraz 5y agoThanks Phil! 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.