A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net) | HN Screenshots

YHacker Newsscreenshots

Screenshot of lamport.azurewebsites.net: A Science of Concurrent Programs (final draft)

First screen, captured 1 year ago.

Looks similar

Screenshot of www-cs-faculty.stanford.edu: The Art of Computer Programming by Donald E. Knuth

The Art of Computer Programming by Donald E. Knuth (www-cs-faculty.stanford.edu)

180 points by archargelod 3 months ago | 47 comments

Screenshot of lua.org: Programming in Lua (first edition) (2003)

Programming in Lua (first edition) (2003)(lua.org)

68 points by rednafi 1 year ago | 60 comments

Screenshot of cs3110.github.io: OCaml Programming: Correct and Efficient and Beautiful

OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io)

106 points by smartmic 1 year ago | 34 comments

Screenshot of compcert.org: The CompCert C Compiler

The CompCert C Compiler (compcert.org)

183 points by nequo 2 years ago | 186 comments

Screenshot of helderman.github.io: How to program a text adventure in C

How to program a text adventure in C (helderman.github.io)

224 points by nivethan 1 year ago | 42 comments

Screenshot of imperialviolet.org: A Tour of WebAuthn

A Tour of WebAuthn (imperialviolet.org)

276 points by caust1c 1 year ago | 125 comments