protocols design would have been a step up already, but I find sequence diagram ... | Hacker News

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

		agumonkey on April 29, 2021 \| parent \| context \| favorite \| on: On UML protocols design would have been a step up already, but I find sequence diagram barely adequate here, better than nothing but really a disgrace compared to a lot of tools we use (property based testing for instance, or state space like proofs, instead of ad-hoc manual drawing you know)

marcosdumay on April 29, 2021 [–]

I have never met anybody that can think around property based testing. Your tools are stuff people write after thinking, not while it.

agumonkey on April 29, 2021 | [–]

Why not having a middle ground, throw agents and signals. See how the protocol behave and what sequences led to absurd states through PBT

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