Hacker News Reader

chipxsdon I got almost all of my wishes granted with RP2350

While outputting DVI! I wouldn't be surprised.

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 distributed systems, such as blockchain protocols, distributed databases, and p2p protocols. Quint combines the robust theoretical basis of the Temporal Logic of Actions (TLA) with state-of-the-art type checking and development tooling.

chipxsdon JSON Resume

JOSN

chipxsdon Macbook prank - troll your coworkers with random alert sounds

Thank you for posting this here 🍺