, 4 tweets, 1 min read Read on Twitter
For most people, the main benefit of formal methods isn't "saving lives". It's "not getting woken up at 3 AM because production's got a weird bug". A few hours of planning can save a week of debugging.
By having a specification, you can 'test' the global, high-level behavior of your system. Does it still work if you receive messages out of order? If someone three people make changes at the same time? If the union of two conceptually-linked relationship graphs has a cycle?
One of my favorite memories was getting a complaint from a vendor, saying our integration was broken, and showing them a formal spec of our end-to-end algorithm. "If we implemented this right, the bug will be in how your code handles our valid POST request in step 3."

It was.
If this stuff interests you, I wrote a post on using FM here (hillelwayne.com/post/using-for…). Or just DM me! I like talking about this stuff :D

I also consult in it! You can check my creds here: hillelwayne.com/consulting/
Missing some Tweet in this thread?
You can try to force a refresh.

Like this thread? Get email updates or save it to PDF!

Subscribe to Hillel @ strangeloop
Profile picture

Get real-time email alerts when new unrolls are available from this author!

This content may be removed anytime!

Twitter may remove this content at anytime, convert it as a PDF, save and print for later use!

Try unrolling a thread yourself!

how to unroll video

1) Follow Thread Reader App on Twitter so you can easily mention us!

2) Go to a Twitter thread (series of Tweets by the same owner) and mention us with a keyword "unroll" @threadreaderapp unroll

You can practice here first or read more on our help page!

Follow Us on Twitter!

Did Thread Reader help you today?

Support us! We are indie developers!

This site is made by just three indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3.00/month or $30.00/year) and get exclusive features!

Become Premium

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!