Search: lamport.azurewebsites.net | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ask HN: Do you use TLA+?

4 years ago

49 points

2.

Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?

2 years ago

3 points

3.

Ask HN: How you understand TLA+ and how you use TLA+ in your projects?

3 years ago

1 points

4.

The Paxos Algorithm, or How to Win a Turing Award

lamport.azurewebsites.net

7 years ago

328 points

5.

Leslie Lamport: Video course on TLA+

lamport.azurewebsites.net

9 years ago

328 points

6.

The TLA+ Video Course by Leslie Lamport

lamport.azurewebsites.net

8 years ago

219 points

7.

The Future of TLA+ [pdf]

lamport.azurewebsites.net

2 years ago

195 points

8.

A Science of Concurrent Programs [pdf]

lamport.azurewebsites.net

2 years ago

187 points

9.

The Byzantine Generals Problem (1982) [pdf]

lamport.azurewebsites.net

6 years ago

163 points

10.

The Writings of Leslie Lamport

lamport.azurewebsites.net

6 years ago

157 points

11.

TLA+: design, model, document, and verify concurrent systems

lamport.azurewebsites.net

7 years ago

148 points

12.

The Byzantine Generals Problem (1982) [pdf]

lamport.azurewebsites.net

8 years ago

127 points

13.

The Future of Computing: Logic or Biology (2003) [pdf]

lamport.azurewebsites.net

8 years ago

126 points

14.

A High-Level View of TLA+

lamport.azurewebsites.net

a year ago

92 points

15.

Computation and State Machines (2008) [pdf]

lamport.azurewebsites.net

8 years ago

83 points

16.

Computation and State Machines (2008) [pdf]

lamport.azurewebsites.net

3 years ago

80 points

17.

A Science of Concurrent Programs (final draft)

lamport.azurewebsites.net

2 years ago

77 points

18.

Bronx High School Math Bulletin (1957) [pdf]

lamport.azurewebsites.net

7 years ago

65 points

19.

Why Don't Computer Scientists Learn Math? (2016)

lamport.azurewebsites.net

9 years ago

64 points

20.

The TLA+ Video Course

lamport.azurewebsites.net

6 years ago

62 points

21.

On-The-Fly Garbage Collection: An Exercise in Cooperation (1978) [pdf]

lamport.azurewebsites.net

9 years ago

51 points

22.

Leslie Lamport: State the Problem Before Describing the Solution [pdf]

lamport.azurewebsites.net

4 years ago

32 points

23.

TLA+ Video Course (2021)

lamport.azurewebsites.net

a year ago

32 points

24.

TLA+ Video Course

lamport.azurewebsites.net

4 years ago

30 points

25.

Distributed system definition at DEC SRC bulletin board (1987)

lamport.azurewebsites.net

6 years ago

27 points

26.

How to Write a 21st Century Proof (2011) [pdf]

lamport.azurewebsites.net

6 months ago

24 points

27.

Time, Clocks, and the Ordering of Events in a Distributed System [pdf]

lamport.azurewebsites.net

7 years ago

20 points

28.

Multiple Byte Processing with Full-Word Instructions (1975) [pdf]

lamport.azurewebsites.net

9 years ago

14 points

29.

A Science of Concurrent Programs – draft (2024) [pdf]

lamport.azurewebsites.net

2 years ago

11 points

30.

Document Production: Visual or Logical? (1987) [pdf]

lamport.azurewebsites.net

3 years ago

10 points