-
Wrote TLA+ Jupyter backend https://github.com/kelvich/tlaplus_jupyter … * No need for TLA Toolbox * Instant evaluation of constant expressions * Runnable online via Binder
#tlaplus#jupyter -
I just published: "Reproducing a Memory-Tracking Bug with TLA+" https://link.medium.com/erqYlkIEoU
#TLAplus#ModelChecking -
Stephan Merz's chapter on
#tlaplus is freely available at: https://hal.inria.fr/hal-02387780v1Prikaži ovu nit -
"Fixing a MongoDB Replication Protocol Bug with TLA+"
#tlaplus Conf 2019 https://youtu.be/x9zSynTfLDE Takeaways: - hard to eyeball correctness of the protocol - very simple and abstract models can find bugs - formally modeling upfront could save 100s hours engineering timePrikaži ovu nit -
"Better Ways of Thinking About Software" consists of a series of talks given
@osoco. These are the Intro: https://osoco.github.io/better-ways-of-thinking-about-software … and Part 1 about TLA+: https://osoco.github.io/better-ways-of-thinking-about-software/Part-01-Introduction-TLA+/slides/formal-specifications.html …#tlaplus -
TLA+ for Visual Studio Code v1.3 released with easier exploration of stack trace items, workspace-level configurations, bugfixes and various UI improvements.
#tlaplus,#pluscal,#vscode https://marketplace.visualstudio.com/items?itemName=alygin.vscode-tlaplus … -
Video course on
#tlaplus by... Leslie Lamport?! cc@hillelogram https://lamport.azurewebsites.net/video/videos.html … -
Here goes a thread about how AWS uses formal methods for software development, namely TLA+, PlusCal, and TLC model checker. I've read "Use of Formal Methods at Amazon Web Services" paper (2014) https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf … and want to share a summary.
#tlaplus#pluscal@tlaplusPrikaži ovu nit -
Stephan Merz's chapter in
@dahlia_malkhi's "Concurrency - The works of Leslie Lamport" (https://dl.acm.org/doi/book/10.1145/3335772 …) brings it to the point what#tlaplus is all about. A formal yet approachable summary of the ideas behind the language. The other chapters create a perfect framing.Prikaži ovu nit -
#tlaplus conf 2019: "Alloy for TLA+ Users" by@parlar https://www.youtube.com/watch?v=tZywZc04lJg&list=PLWLcqZLzY8u_Osnz-YPOVrptG1ys73OkR … http://conf.tlapl.us/program/jayparlar/ … /cc@strangeloop_stlpic.twitter.com/Y4QcvM8GJG
Prikaži ovu nit -
Use
#Clojure to generate#tlaplus specs https://github.com/Viasat/salt -
Today I've started to write my first TLA+ specification. On a real use case. At work !
#tlaplus -
#tlaplus conf 2019 preview: "Building Hyperscale IoT Services With TLA+" by https://www.linkedin.com/in/vaibhav-sharma-6404459/ … http://conf.tlapl.us/program/vaibhavsharma/ …#pluscal /cc@strangeloop_stl -
If you are in distributed systems or system modelling plus :) you are close to Brno area come to learn about TLA+ at https://www.meetup.com/Brno-Distributed-Systems-Meetup-Group/events/266230197/ …
#tlaplus#distributedsystems#brno#softwareengineering -
A hypothetical scenario. I start a Line of Business (web) application for a new client. It'll be a reactive system (as described, I can elaborate if necessary). The problems I face are not concensus protocols or rockets. Can
#tlaplus help me, or is it not for me? -
Had a blast visiting
@muratdemirbas and his colleagues at SUNY today to talk about#tlaplus. -
One-liner to install the
#eclipse#git integration (https://www.eclipse.org/egit/ ) into the#tlaplus Toolbox: './toolbox -nosplash -application org.eclipse.equinox.p2.director -repository https://download.eclipse.org/releases/2019-09/201909181001/ … -installIU http://org.eclipse.egit.feature.group -roaming'pic.twitter.com/kMizFgV5Zi
-
The nightly build of the
#tlaplus toolbox has a "filter out variable from error trace" feature. It's incredibly cool.@lemmster https://nightly.tlapl.us/products/Prikaži ovu nit -
Instructions where to find
#tlaplus nightly builds: https://github.com/tlaplus/tlaplus/blob/master/CONTRIBUTING.md#nightly-builds …
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.