Hacker News (@newsycombinator): "Applying TLA+ in cloud systems [video] https://www.youtube.com/watch?v=UVHnuxWZkvk" | nitter

Hacker News @newsycombinator

15 Dec 2020

Applying TLA+ in cloud systems [video] invidious.snopyta.org/watch?v=UVHnuxWZ…

Dharma Shukla: TLA+ at Microsoft to build planetary-scale systems -...

http://conf.tlapl.us/2020/

1:02 PM · Dec 15, 2020

0

5

0

15