Tlsd: Generate (message) sequence diagrams from TLA+ state traces

Article URL: https://github.com/eras/tlsd

Comments URL: https://news.ycombinator.com/item?id=40969312

Points: 17

# Comments: 1

https://github.com/eras/tlsd

Vytvořeno 1mo | 15. 7. 2024 23:20:18

Chcete-li přidat komentář, přihlaste se

Ostatní příspěvky v této skupině

Euphemisms are best changed frequently (2016)

Euphemisms are best changed frequently (2016)

Article URL: https://aeon.co/essays/euphemisms-are-like-underwear-best-changed-frequently

Comments

22. 8. 2024 5:40:08 | Hacker news

Jobalytics – ATS Resume Checker – Job Search Tools

Jobalytics – ATS Resume Checker – Job Search Tools

Article URL: https://jobalytics.app/

Comments URL: https://news.ycombinator.com/item?id=4131580

22. 8. 2024 5:40:07 | Hacker news

In a leaked recording, AWS CEO tells most developers could stop coding soon

In a leaked recording, AWS CEO tells most developers could stop coding soon

Article URL: https://www.businessinsider.com/aws-ceo-developers-stop-coding-ai-takes-over-2024-8

22. 8. 2024 5:40:07 | Hacker news

Designing My Own Watch (2020)

Designing My Own Watch (2020)

Article URL: https://willem.com/blog/2020-11-30_designing-my-own-watch/

Comments URL:

22. 8. 2024 5:40:07 | Hacker news

Webtoon Targets 170 Pirate Domains Through DMCA Subpoena

Webtoon Targets 170 Pirate Domains Through DMCA Subpoena

Article URL: https://torrentfreak.com/webtoon-targets-170-pirate-domains-through-dmca-subpoena-2

22. 8. 2024 5:40:06 | Hacker news

Make Firefox Private Again

Make Firefox Private Again

Article URL: https://make-firefox-private-again.com/

Comments URL: https://news

22. 8. 2024 3:30:08 | Hacker news

Wardriving for a place to Live

Wardriving for a place to Live

Article URL: https://jampauchoa.substack.com/p/wardriving-for-place-to-live

Comments URL:

22. 8. 2024 3:30:08 | Hacker news

Techie