Keyboard shortcuts

?
Show / hide shortcuts
J / K
Next / previous story
P
Toggle pro mode (selection snapshots)
Tab / Shift Tab
Next / previous link or control
Enter
Open link or submit form
Space
Toggle focused snapshot details
Esc
Close this dialog

Shortcuts pause while typing. Tab navigation always works.
dailydiff

Search

Top 10Top 20Above median
Searching all collected daily editions.
4 MATCHES

Welcome. On your next visit, NEW badges highlight picks added since you last read.

  1. 01
    30pts9comments
    An Introduction to TLA+ and Its Use in Parties
    LBinnoq.comformalmethodsPicked 2023-05-12
    Picked · selection snapshot

    Recovered after a gap. Counts at the original selection checkpoint are estimates: 30 points and 9 comments. The source actually reported 30 points and 9 comments at the observation time below. Counts between measurements are estimated. Rankings can be rebuilt as settings or evidence change.

    Source batch observed: .

    Last refreshed: 30 points · 9 comments → ·

  2. 02
    30pts9comments
    An Introduction to TLA+ and Its Use in Parties
    LBinnoq.comformalmethodsPicked 2023-05-11
    Picked · selection snapshot

    Recovered after a gap. Counts at the original selection checkpoint are estimates: 30 points and 9 comments. The source actually reported 30 points and 9 comments at the observation time below. Counts between measurements are estimated. Rankings can be rebuilt as settings or evidence change.

    Source batch observed: .

    Last refreshed: 30 points · 9 comments → ·

  3. 03
    20pts6comments
    An Introduction to TLA+ and Its Use in Parties
    LBinnoq.comformalmethodsPicked 2023-05-10
    Picked · selection snapshot

    Recovered after a gap. Counts at the original selection checkpoint are estimates: 20 points and 6 comments. The source actually reported 30 points and 9 comments at the observation time below. Counts between measurements are estimated. Rankings can be rebuilt as settings or evidence change.

    Source batch observed: .

    Last refreshed: 30 points · 9 comments → ·

  4. 04
    5pts1comments
    An Introduction to TLA+ and Its Use in Parties
    LBinnoq.comformalmethodsPicked 2023-05-09
    Picked · selection snapshot

    Recovered after a gap. Counts at the original selection checkpoint are estimates: 5 points and 1 comments. The source actually reported 30 points and 9 comments at the observation time below. Counts between measurements are estimated. Rankings can be rebuilt as settings or evidence change.

    Source batch observed: .

    Last refreshed: 30 points · 9 comments → ·