An introduction to temporal logic and how it can be used to analyze concurrency (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: An introduction to temporal logic and how it can be used to analyze concurrency

First screen, captured 2 years ago.

Looks similar

Screenshot of github.com: Hermann Grassmann and the nature of abstractions

Hermann Grassmann and the nature of abstractions (github.com)

84 points by eigenvalue 2 years ago | 32 comments

Screenshot of github.com: Attacks on Anonymity Systems: The Theory (2003)

Attacks on Anonymity Systems: The Theory (2003)(github.com)

37 points by eigenvalue 2 years ago | 7 comments

Screenshot of github.com: Elements of System Design

Elements of System Design (github.com)

138 points by qianli_cs 1 year ago | 36 comments

Screenshot of github.com: Show HN: An AI zettelkasten that extracts ideas from articles, videos, and PDFs

Show HN: An AI zettelkasten that extracts ideas from articles, videos, and PDFs (github.com)

17 points by schoblaska 10 months ago | 1 comments

Screenshot of github.com: My Favorite Statistical Measure: Hoeffding's D

My Favorite Statistical Measure: Hoeffding's D (github.com)

100 points by eigenvalue 2 years ago | 25 comments

Screenshot of github.com: QModem 4.51 Source Code

QModem 4.51 Source Code (github.com)

202 points by AaronFriel 1 year ago | 73 comments