Strange Loop Conference | Strange Loop Chat with Hillel Wayne about TLA+ @StrangeLoopConf | Uploaded September 2021 | Updated October 2024, 1 week ago.
In this episode, Mario Aquino chats with Hillel Wayne about TLA+, focus of the TLA+ Conference on Sept 30, 2021 before Strange Loop. Both in-person and virtual attendee tickets are still available (access to the TLA+ Conference is included).
Find out more about TLA+ Conference and Strange Loop:
* TLA+ Conference - Sept 30 - conf.tlapl.us
* Strange Loop - Sept 29-Oct 2 - thestrangeloop.com/schedule.html
* Registration - ti.to/strange-loop/2021
* Virtual attendee access - thestrangeloop.com/virtual.html
Find out more about TLA+:
* Practical TLA+ by Hillel Wayne - apress.com/us/book/9781484238288
* Specifying Systems by Leslie Lamport
* learntla.com
* "Tackling Concurrency Bugs with TLA+" by Hillel Wayne from Strange Loop 2017 - youtube.com/watch?v=_9B__0S21y8
In this episode, Mario Aquino chats with Hillel Wayne about TLA+, focus of the TLA+ Conference on Sept 30, 2021 before Strange Loop. Both in-person and virtual attendee tickets are still available (access to the TLA+ Conference is included).
Find out more about TLA+ Conference and Strange Loop:
* TLA+ Conference - Sept 30 - conf.tlapl.us
* Strange Loop - Sept 29-Oct 2 - thestrangeloop.com/schedule.html
* Registration - ti.to/strange-loop/2021
* Virtual attendee access - thestrangeloop.com/virtual.html
Find out more about TLA+:
* Practical TLA+ by Hillel Wayne - apress.com/us/book/9781484238288
* Specifying Systems by Leslie Lamport
* learntla.com
* "Tackling Concurrency Bugs with TLA+" by Hillel Wayne from Strange Loop 2017 - youtube.com/watch?v=_9B__0S21y8