News for hackers. Stuff that matters.

A comment on Using TLA+ to Model Cascading Failures. Parent comment

Re:Using TLA+ to Model Cascading Failures by detaro on Thursday April 11, 2019 @01:55PM (#19637309)
> a book on Cryptography in middle-age Venice (how cool is that?), but with publication still many months off.

Sounds interesting, link?

[ Parent | on HN ]
Re:Using TLA+ to Model Cascading Failures by Tomte on Thursday April 11, 2019 @02:21PM (#19637562)
Erm, not Middle Ages, Rennaissance, of course!

https://www.amazon.de/Venices-Secret-Service-Intelligence-Re...

[ Parent | on HN ]