(queue.acm.org)

167 points yarapavan | 1 comments | 01 Apr 25 14:59 UTC | HN request time: 0.001s | source

Show context

Cyphase ◴[02 Apr 25 01:15 UTC] No.43552863[source]▶

Leslie Lamport gave the closing keynote at SCaLE 22x this year, talking about formal methods and TLA+. He mentioned some previous work Amazon has done in that area.

https://www.youtube.com/watch?v=tsSDvflzJbc

> Coding isn't Programming - Closing Keynote with Leslie Lamport - SCaLE 22x

replies(2): >>43553822 #>>43560657 #

1. jlcases ◴[02 Apr 25 05:09 UTC] No.43553822[source]▶

>>43552863 #

Very interesting video. Many thanks

↑

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods