Search: lamport.azurewebsites.net | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ask HN: Do you use TLA+?

49 points

4 years ago

2.

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

3 points

2 years ago

3.

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

1 point

3 years ago

4.

The Paxos Algorithm, or How to Win a Turing Award (lamport.azurewebsites.net)

328 points

7 years ago

5.

Leslie Lamport: Video course on TLA+ (lamport.azurewebsites.net)

328 points

9 years ago

6.

The TLA+ Video Course by Leslie Lamport (lamport.azurewebsites.net)

219 points

8 years ago

7.

The Future of TLA+ [pdf] (lamport.azurewebsites.net)

195 points

2 years ago

8.

A Science of Concurrent Programs [pdf] (lamport.azurewebsites.net)

187 points

2 years ago

9.

The Byzantine Generals Problem (1982) [pdf] (lamport.azurewebsites.net)

163 points

6 years ago

10.

The Writings of Leslie Lamport (lamport.azurewebsites.net)

157 points

6 years ago

11.

TLA+: design, model, document, and verify concurrent systems (lamport.azurewebsites.net)

148 points

7 years ago

12.

The Byzantine Generals Problem (1982) [pdf] (lamport.azurewebsites.net)

127 points

8 years ago

13.

The Future of Computing: Logic or Biology (2003) [pdf] (lamport.azurewebsites.net)

126 points

8 years ago

14.

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

92 points

a year ago

15.

Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)

83 points

8 years ago

16.

Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)

80 points

3 years ago

17.

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

77 points

2 years ago

18.

Bronx High School Math Bulletin (1957) [pdf] (lamport.azurewebsites.net)

65 points

7 years ago

19.

Why Don't Computer Scientists Learn Math? (2016) (lamport.azurewebsites.net)

64 points

9 years ago

20.

The TLA+ Video Course (lamport.azurewebsites.net)

62 points

5 years ago

21.

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

51 points

9 years ago

22.

Leslie Lamport: State the Problem Before Describing the Solution [pdf] (lamport.azurewebsites.net)

32 points

4 years ago

23.

TLA+ Video Course (2021) (lamport.azurewebsites.net)

32 points

a year ago

24.

TLA+ Video Course (lamport.azurewebsites.net)

30 points

4 years ago

25.

Distributed system definition at DEC SRC bulletin board (1987) (lamport.azurewebsites.net)

27 points

6 years ago

26.

How to Write a 21st Century Proof (2011) [pdf] (lamport.azurewebsites.net)

24 points

6 months ago

27.

Time, Clocks, and the Ordering of Events in a Distributed System [pdf] (lamport.azurewebsites.net)

20 points

7 years ago

28.

Multiple Byte Processing with Full-Word Instructions (1975) [pdf] (lamport.azurewebsites.net)

14 points

9 years ago

29.

A Science of Concurrent Programs – draft (2024) [pdf] (lamport.azurewebsites.net)

11 points

2 years ago

30.

Document Production: Visual or Logical? (1987) [pdf] (lamport.azurewebsites.net)

10 points

3 years ago