niftycent.com
NiftyCent
US
Login
Marketplace
Discounts

A Science of Concurrent Programs (final draft)

Article URL: https://lamport.azurewebsites.net/tla/science-book.html

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

Points: 64

# Comments: 0

https://lamport.azurewebsites.net/tla/science-book.html

Created 6mo | Dec 1, 2024, 6:20:12 PM


Login to add comment

Other posts in this group

Highly efficient matrix transpose in Mojo
Highly efficient matrix transpose in Mojo

Article URL: https://veitner.bearblog.dev/highly-efficient-matrix-transpose-in-mojo/

Comments URL:

Jun 7, 2025, 1:40:07 AM | Hacker news
Supreme Court allows DOGE to access social security data
Supreme Court allows DOGE to access social security data

Article URL: https://www.nbcnews.com/politics/supreme-court/supre

Jun 7, 2025, 1:40:06 AM | Hacker news
Falsehoods Programmers Believe About Aviation
Falsehoods Programmers Believe About Aviation

Article URL: https://flightaware.engineering/falsehoods-programmers-believe-about-aviation/

Comm

Jun 7, 2025, 1:40:05 AM | Hacker news
I Read All of Cloudflare's Claude-Generated Commits
I Read All of Cloudflare's Claude-Generated Commits

Article URL: https://www.maxemitchell.com/writings/i-read-all-of-cloudflares-claude-generated-co

Jun 7, 2025, 1:40:05 AM | Hacker news
What "Working" Means in the Era of AI Apps
What "Working" Means in the Era of AI Apps

Article URL: https://a16z.com/revenue-benchmarks-ai-apps/

Comments URL: ht

Jun 7, 2025, 1:40:04 AM | Hacker news
Dear High Schoolers, Time Is Precious
Dear High Schoolers, Time Is Precious

Article URL: https://byronsharman.com/blog/dear-high-schoolers

Comments URL:

Jun 7, 2025, 1:40:03 AM | Hacker news
A leaderless NASA faces its biggest-ever cuts
A leaderless NASA faces its biggest-ever cuts

Article URL: https://www.economist.com/science-and-technology/2025/06/04/a-leade

Jun 6, 2025, 11:20:20 PM | Hacker news
Techie
Techie