Record · corpus.blog/posts/01a0bbcf-243e-7033-8ab5-99381f20ea45

TLA+ Conference and StrangeLoop 2022

Murat Demirbas · published 27 September 2022

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at muratbuffalo.blogspot.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 21
Words captured: 1,093

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://www.thestrangeloop.com/

thestrangeloop.com

https://conf.tlapl.us/2022/

conf.tlapl.us

https://twitter.com/lemmster

twitter.com

https://twitter.com/hillelogram

twitter.com

https://learntla.com

learntla.com

https://www.microsoft.com/en-us/research/people/nbjorner/

microsoft.com

https://en.wikipedia.org/wiki/Z3_Theorem_Prover

en.wikipedia.org

https://conf.tlapl.us/2022/FormalMethodsAtMicrosoftNikolajBjornerTLAConference2022.pdf

conf.tlapl.us

https://blogger.googleusercontent.com/img/a/AVvXsEhthdmReT-gGXGonGp2jr4kh4Y5g0-NI4CKI3yIJA2T5MeeuGIe2IxPMYjLA57pe8JT-ZfQVAYAqTxvTnCwglqUjNlO35-OacWvr4kWzel3fMWjRSs1tkMktoNmUlS_w40ksN1QYEl8lQgLCUzgtzpCif5JUAbb4TLFm8nb2zSsVoXNBRgC1XBohZ3I

blogger.googleusercontent.com

https://twitter.com/vanlightly

twitter.com

https://conf.tlapl.us/2022/JackMarkusTLA+Statistics.pdf

conf.tlapl.us

https://conf.tlapl.us/2022/FinnHackettPGo.pdf

conf.tlapl.us

https://twitter.com/martinkl

twitter.com

https://www.citymuseum.org/

citymuseum.org

https://www.thestrangeloop.com/schedule.html

thestrangeloop.com

Masters of Doom: How Two Guys Created an Empire and Transformed Pop Culture (book review) Read at the source ↗

muratbuffalo.blogspot.com

https://www.thestrangeloop.com/2022/python-performance-matters.html

thestrangeloop.com

https://www.thestrangeloop.com/2022/building-observability-for-99-percent-developers.html

thestrangeloop.com

https://www.thestrangeloop.com/2022/workflows-a-new-abstraction-for-distributed-systems.html

thestrangeloop.com

https://www.thestrangeloop.com/2022/resilient-microservices-without-the-chaos.html

thestrangeloop.com

https://www.thestrangeloop.com/2022/stop-writing-dead-programs.html

thestrangeloop.com