Leslie Lamport gave the closing keynote at SCaLE 22x this year, talking about fo... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Cyphase 11 months ago \| parent \| context \| favorite \| on: Systems Correctness Practices at AWS: Leveraging F... 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

kuleshovsoup 11 months ago | [–]

Thanks for sharing!

jlcases 11 months ago | [–]

Very interesting video. Many thanks

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact