Viewing profile — chipxsd

chipxsd

HN member

No profile information was provided.

comment
Comment #41196191
While outputting DVI! I wouldn't be surprised.

Thu, Aug 08, 2024, 8:59 PM UTC
comment
Comment #41116344
Looks like there's more information in their readme: https://github.com/informalsystems/quint > Quint is a modern specification language that is a particularly good fit for distrib…

Wed, Jul 31, 2024, 4:09 AM UTC
comment
Comment #39005362
JOSN

Mon, Jan 15, 2024, 8:01 PM UTC
comment
Comment #5511736
Thank you for posting this here 🍺

Mon, Apr 08, 2013, 2:09 PM UTC