New blog post: Composing TLA+ Specifications

If you're reading this on the web, you can subscribe here. Updates are once a week. My main website is here.


            
        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:
                            
                        
          Add a comment:
          
            
            Share this email:
            
                
                            Share on Facebook
                        
                    
                            Share on LinkedIn
                        
                    
                            Share on Hacker News
                        
                    
                            Share on Bluesky