Computer Things

Subscribe
Archives
June 17, 2024

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:
Start the conversation:
This email brought to you by Buttondown, the easiest way to start and grow your newsletter.