What does LaTeX have to do with TLA+? Also I think "most of distributed systems ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ofrzeta 28 days ago \| parent \| context \| favorite \| on: The Coming Need for Formal Specification What does LaTeX have to do with TLA+? Also I think "most of distributed systems such as AWS" might be an exaggeration. At least the public known examples of formal verification in AWS are scarce.

MangoToupe 28 days ago | [–]

I think the implication is that Lamport is a proof nerd, not that LaTeX has a direct relationship to proof software.

justincormack 27 days ago | [–]

AWS talk about it a fair amount, although rarely in a lot of detail.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact