News for hackers. Stuff that matters.

A comment on Modeling Redux with TLA+.

Re:Modeling Redux with TLA+ by ajmurmann on Tuesday March 13, 2018 @12:36AM (#16573891)
Hillel gave a pretty interesting talk on TLA+ at last year's StrangeLoop: 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.

[ Parent | on HN ]
Re:Modeling Redux with TLA+ by mpiedrav on Tuesday March 13, 2018 @12:48AM (#16573923)
It was 7 lb (3.18 kg) of sesame brittle.

Indeed, an entertaining and practical talk on TLA+.

[ Parent | on HN ]
Re:Modeling Redux with TLA+ by hwayne on Tuesday March 13, 2018 @10:51AM (#16576560)
_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...

[ Parent | on HN ]