Joined March 2009
- Tweets 289
- Following 0
- Followers 789
- Likes 10
30 Photos and videos
15 Jun 2023
3
908
TLA & PlusCal retweeted
4 Jun 2023
"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-…
1
7
51
8,334
TLA & PlusCal retweeted
25 Apr 2023
2
9
1,061
TLA & PlusCal retweeted
21 Apr 2023
We are proud to support the launch of the TLA Foundation, under the umbrella of the @linuxfoundation. 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
21 Apr 2023
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
6
42
18,849
TLA & PlusCal retweeted
21 Apr 2023
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
45
111
50,431
TLA & PlusCal retweeted
7 Dec 2022
7 Dec 2022
Our Teaching Committee's next tutorial is happening this Friday!
Title: "Stories from the trenches: Teaching the TLA specification language in Industry"
Date/Time: 9th of Dec 2022/3pm CET
Speaker: Markus Kuppe (RiSE group at Microsoft Research, US)
fme-teaching.github.io/2021/…
5
4
TLA & PlusCal retweeted
24 Oct 2022
"Obtaining Statistical Properties by Simulating #tlaplus Specs with TLC" by @vanlightly and myself.
youtube.com/watch?v=cYenTPD7…
12
27
TLA & PlusCal retweeted
21 Oct 2022
Another weekend, another weekend read, this time all about sleeping soundly with the help of @tlaplus
@Calvin_L discusses the use of TLA by the Oracle Cloud Infrastructure Verification Team.
getrevue.co/profile/dtornow/…
3
11
TLA & PlusCal retweeted
18 Oct 2022
"Formal Methods at Microsoft" by @BjornerNikolaj (Keynote at #tlaplus conf 2022)
youtu.be/GEsvGGp0jyQ
/cc @strangeloop_stl
2
16
83
TLA & PlusCal retweeted
12 Oct 2022
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
1
4
7
TLA & PlusCal retweeted
27 Sep 2022
[new blog post] TLA Conference and StrangeLoop 2022
muratbuffalo.blogspot.com/20…
#tlaplus
2
6
20
TLA & PlusCal retweeted
22 Sep 2022
TLA Conference keynote is happening
1
1
21
TLA & PlusCal retweeted
21 Sep 2022
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
1
5
79
TLA & PlusCal retweeted
15 Sep 2022
Oracle Cloud Infrastructure Blog: Behind the Scenes: Sleeping soundly with the help of #tlaplus
blogs.oracle.com/cloud-infra…
1
14
35
TLA & PlusCal retweeted
30 Aug 2022
We are stoked to have Nikolaj Bjørner deliver the keynote at #tlaplus conf 2022 (co-located with @@strangeloop_stl). With #z3 underpinning many formal methods, @BjornerNikolaj knows the ins and outs of cloud reliability at #Microsoft.
conf.tlapl.us/2022/
1
7
23
TLA & PlusCal retweeted
19 Aug 2022
Working at #microsoft, #linkedin, or #github? Curious to learn about #tlaplus? Register for one of my internal TLA workshops at aka.ms/tlaclass
5
22
TLA & PlusCal retweeted
20 Aug 2022
I look forward to Strange Loop (Sept 22-24)
@hillelogram 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
1
4
30
TLA & PlusCal retweeted
9 Aug 2022
1
1
TLA & PlusCal retweeted
2 Aug 2022
We have a location! Thanks to @thoughtworks Bengaluru
meetup.com/distributed-syste…
@lemmster @vaibhaw_vipul @unmeshjoshi @ShripadAgashe
5
8