(queue.acm.org)

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

1. 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 #

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

>>43552863 (TP) #

Very interesting video. Many thanks

3. kuleshovsoup ◴[02 Apr 25 19:38 UTC] No.43560657[source]▶

>>43552863 (TP) #

Thanks for sharing!

↑

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