3 ms·
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 a
by Cyphase 2y ago
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 https://www.youtube.com/watch?v=tsSDvflzJbc
> Coding isn't Programming - Closing Keynote with Leslie Lamport - SCaLE 22x
- jlcases 2y agoVery interesting video. Many thanks
- kuleshovsoup 2y agoThanks for sharing!