A High-Level View of TLA+ (lamport.azurewebsites.net) | HN Screenshots

YHacker Newsscreenshots

Screenshot of lamport.azurewebsites.net: A High-Level View of TLA+

First screen, captured 1 year ago.

Looks similar

Screenshot of adoptingerlang.org: OTP at a High Level (2019)

OTP at a High Level (2019)(adoptingerlang.org)

187 points by todsacerdoti 2 years ago | 54 comments

Screenshot of tcl.tk: History of Tcl

History of Tcl (tcl.tk)

121 points by uticus 3 years ago | 54 comments

Screenshot of lem12.uksw.edu.pl: Loglan'82: programming language for object-oriented and distributed programming

Loglan'82: programming language for object-oriented and distributed programming (lem12.uksw.edu.pl)

48 points by danielam 1 year ago | 6 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 cell-lang.net: The Cell Programming Language

The Cell Programming Language (cell-lang.net)

120 points by manx 2 years ago | 28 comments

Screenshot of aleksagordic.com: Inside vLLM: Anatomy of a High-Throughput LLM Inference System (2025)

Inside vLLM: Anatomy of a High-Throughput LLM Inference System (2025)(aleksagordic.com)

127 points by sebg 2 months ago | 8 comments