Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on AsyncAPI – OpenAPI-like specification for event-driven architectures. Parent comment
What would be really cool is if this could serve as a front-end to e.g. SPIN model checker ( https://en.wikipedia.org/wiki/SPIN_model_checker https://en.wikipedia.org/wiki/Promela )
There are no comments on this comment yet.
What would be really cool is if this could serve as a front-end to e.g. SPIN model checker ( https://en.wikipedia.org/wiki/SPIN_model_checker https://en.wikipedia.org/wiki/Promela )