Hi! Helder here, author of provablysafe.ai.
It's been a long tradition of two consecutive weekly posts, but I'm breaking it this week due to reasons:
Big family health emergency, huge adventure (interstate flying ambulance! organ transplant!), all looking good and stable now, will keep helping them out for the next few weeks at least
Insufficient conscientiousness to have had a shippable buffer of posts ahead of said emergency (hard to predict the when what how of emergencies, but easy to predict they'll happen)
Great excuse to take a break where people aren't allowed to get mad at me (I mean you are, but who would be the villain here? https://x.com/agentofuser/status/1728016877396353138?s=20)
So in the meantime, if you have ideas or people/links to point me to in the direction of “how to 10x formal methods UX” or improve incentives in other ways, please let me know.
In the end machine-checkable proofs are all about the friends we make (or at least fight less with) along the way https://x.com/agentofuser/status/1726207408090108265?s=20
Also, if you have feedback on the previous posts or what you would like to see more of or less of in the future I'd love to hear it, just hit Reply.
Cheers and happy next few weeks!
—Helder