Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 579 posts.

Security & Privacy
2019
477

Modeling Adversaries with TLA+

A common question I get about specs is how to model bad actors. Usually this is one of two contexts: The spec involves several interacting agents sharing a protocol, but some of the nodes are faulty or malicious: they will intentionally try to subvert the system. The spec involves an agent subject to outside forces…