🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

We have a location! Thanks to Thoughtworks Bengaluru meetup.com/distributed-sy… @[email protected] Vipul Vaibhaw Unmesh Joshi RandomSpark

Warmup #tlaplus Conf 2022 : conf.tlapl.us/2022/ youtu.be/CVWiykx1NoA?li…

Working at #microsoft, #linkedin, or #github? Curious to learn about #tlaplus? Register for one of my internal TLA+ workshops at aka.ms/tlaclass

I look forward to Strange Loop (Sept 22-24) Inactive; Bluesky is @hillelwayne(dot)com teaches a full-day workshop on TLA+ on Sept 21 (if you've been procrastinating on learning TLA+, problem solved!) We then have an awesome TLA+ conference on Sept 22 conf.tlapl.us/2022/ #tlaplus

We are stoked to have Nikolaj Bjørner deliver the keynote at #tlaplus conf 2022 (co-located with @Strange Loop Conf). With #z3 underpinning many formal methods, Nikolaj Bjorner knows the ins and outs of cloud reliability at #Microsoft. conf.tlapl.us/2022/

Oracle Cloud Infrastructure Blog: Behind the Scenes: Sleeping soundly with the help of #tlaplus blogs.oracle.com/cloud-infrastr…

Excited to present a keynote on formal methods at Microsoft at the TLA+conferenve, tomorrow, Thursday. Come to learn about a many of the FM tools used at Microsoft and beyond. #tlaplus

TLA+ Conference keynote is happening

[new blog post] TLA+ Conference and StrangeLoop 2022 muratbuffalo.blogspot.com/2022/09/tla-co… #tlaplus

Save the date: The #tlaplus Community Event 2023 will be organized as a satellite event of ETAPS. etaps.org

@[email protected] Microsoft Research Microsoft Azure Yes, it does! The specification has proved invaluable when it comes to finding bugs in our consensus algorithm and prototyping new variants. The #tlaplus specification, like the whole codebase behind CCF is open source and available on GitHub:github.com/microsoft/CCF

"Formal Methods at Microsoft" by Nikolaj Bjorner (Keynote at #tlaplus conf 2022) youtu.be/GEsvGGp0jyQ /cc Strange Loop Conf

Another weekend, another weekend read, this time all about sleeping soundly with the help of TLA+ & PlusCal Calvin Loncaric discusses the use of TLA+ by the Oracle Cloud Infrastructure Verification Team. getrevue.co/profile/dtorno…

"Obtaining Statistical Properties by Simulating #tlaplus Specs with TLC" by Jack Vanlightly and myself. youtube.com/watch?v=cYenTP…

#tlaplus

We are excited to announce the launch of the TLA+ Foundation, under the umbrella of the Linux Foundation. The TLA+ Foundation will promote the adoption and development of the TLA+ programming language and its community of TLA+ practitioners. Learn more: hubs.la/Q01MjLDM0

We are proud to support the launch of the TLA+ Foundation, under the umbrella of the The Linux Foundation. The TLA+ Foundation will promote the adoption and development of the TLA+ programming language and its community of TLA+ practitioners. Learn more: msft.it/6012g3ybM

"Verifying Hyperproperties with TLA" by Lamport & Schneider #tlaplus #Security youtu.be/K4PcSNOs9ok

"This project took me about 7 months in total. The first 5 months I was trying to figure it out mostly on my own, just looking at the Raft paper. The biggest breakthrough came from discovering the [...] #tlaplus spec for Raft." notes.eatonphil.com/2023-05-25-raf…

#tlaplus