niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

A Liveness Example in TLA+

Article URL: https://surfingcomplexity.blog/2024/10/16/a-liveness-example-in-tla/

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

Points: 10

# Comments: 0

https://surfingcomplexity.blog/2024/10/16/a-liveness-example-in-tla/

Created 6mo | Oct 17, 2024, 10:40:09 AM


Login to add comment

Other posts in this group

Where did the false "equal transit-time" explanation of lift originate from?
Where did the false "equal transit-time" explanation of lift originate from?

Article URL: https://hsm.stackexchange.com/questions/9931/where-did

Apr 23, 2025, 8:20:26 AM | Hacker news
The Ghosts of Gaelic
The Ghosts of Gaelic

Article URL: https://www.historytoday.com/archive/behind-times/ghosts-gaelic

Comments URL:

Apr 23, 2025, 8:20:25 AM | Hacker news
Hyperscaling Have I Been Pwned with Cloudflare Workers and Caching
Hyperscaling Have I Been Pwned with Cloudflare Workers and Caching

Article URL: https://www.troyhunt.com/closer-to-the-edge-hyperscaling-have

Apr 23, 2025, 8:20:25 AM | Hacker news
Pixel is a unit of length and area
Pixel is a unit of length and area

Article URL: https://www.nayuki.io/page/pixel-is-a-unit-of-length-and-area

Comments URL:

Apr 23, 2025, 8:20:24 AM | Hacker news
Open Source Projects Receive Funding to Reclaim the Public Internet
Open Source Projects Receive Funding to Reclaim the Public Internet

Article URL: https://nlnet.nl/news/2025/20250422-announcement-grants-CommonsFund.html

Comments URL:

Apr 23, 2025, 8:20:23 AM | Hacker news
Advanced Python Features
Advanced Python Features

Article URL: https://blog.edward-li.com/tech/advanced-python-features/

Comments URL:

Apr 23, 2025, 8:20:22 AM | Hacker news
The Outlook for Programmers
The Outlook for Programmers

Article URL: https://cacm.acm.org/news/the-outlook-for-programmers/

Comments URL:

Apr 23, 2025, 5:50:10 AM | Hacker news
Techie
Techie