Strange Loop Conference·30 min
Hillel Wayne
Engineers explore architecture and security mechanisms for "Tackling Concurrency Bugs with TLA+" by Hillel Wayne.
tacklingconcurrencybug+3
hillel
2 talks tagged with this topic.
Filters+
Loading filters…
1–2 of 2 talks · loading…
Strange Loop Conference·18 min
Industry experts analyze emerging threats surrounding Strange Loop Chat with Hillel Wayne about TLA+.
strangeloopchat+2