For my @strangeloop_stl talk I easily have enough material to keep talking for 3 hours. Squeezing it into 40 minutes is proving to be a challenge…
https://thestrangeloop.com/2019/correctness-proofs-of-distributed-systems-with-isabelle.html …
Replying to @martinkl @strangeloop_stl
Envious of your timing skillz. I can do 40mins in 5 or 5mins in 40 and have little awareness of either until I get the 5 and 1 minute wrap-up signal. Tip of the hat, that's worth another book!
You'll be fine 
3:06 PM - 11 Sep 2019
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.