New blog post: Composing TLA+ Specifications
Post here! It's a really advanced TLA+ technique that I'm sure will alienate 90% of my readers. Patreon here.
Anyway, I'm off to get a bone graft. Proper newsletter will come later this week when I've got more time to write.
If you're reading this on the web, you can subscribe here. Updates are once a week. My main website is here.
My new book, Logic for Programmers, is now in early access! Get it here.
Don't miss what's next. Subscribe to Computer Things:
Comments: