4 ms·
Hillel gave a pretty interesting talk on TLA+ at last year's StrangeLoop: https://youtu.be/_9B__0S21y8 https://youtu.be/_9B__0S21y8 If you are new to TLA+ and
by ajmurmann 9y ago
Hillel gave a pretty interesting talk on TLA+ at last year's StrangeLoop: https://youtu.be/_9B__0S21y8 https://youtu.be/_9B__0S21y8
If you are new to TLA+ and just want to get the basic idea and use cases, I recommend the talk.
Edit: I think he also brought home made granola or something. So attending his talks in person has benefits.
- mpiedrav 9y agoIt was 7 lb (3.18 kg) of sesame brittle. Indeed, an entertaining and practical talk on TLA+.
- hwayne 9y ago_That said_, I've been making a lot of homemade granola recently. Maybe I should try bringing that next time! Here's a recipe I really like: https://www.epicurious.com/expert-advice/how-to-make-granola-without-a-recipe-article https://www.epicurious.com/expert-advice/how-to-make-granola...