News for hackers. Stuff that matters.

A comment on Modeling Redux with TLA+. Parent comment

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 ]