Nicolas Kosinski · @nicokosi
36 followers · 99 posts · Server fosstodon.orgAn awesome introduction to #tlaplus model checker by @ScottWlaschin: "TLA+ for programmers" (or "Building confidence in concurrent code with a model checker"). 🤓
https://fsharpforfunandprofit.com/tlaplus/
(I only browsed the slides, I did not watch the video) 😎
Daniel Axtens · @daxtens
204 followers · 331 posts · Server ozlabs.house
Daniel Axtens · @daxtens
204 followers · 331 posts · Server ozlabs.houseLooks like I will get to use #TLAplus/#pluscal for something real at work. Excitement!
Julia REPL stan :julia_lang: · @miguelraz_t
404 followers · 949 posts · Server hachyderm.io
RT @linuxfoundation
New from TechCrunch: Linux Foundation Launches New TLA+ Foundation to Maintain TLA+ Language.
Read the article: https://hubs.la/Q01MmsGz0
#TLAplus #TLA #opensource
Manish Gill · @manish
329 followers · 138 posts · Server fosstodon.orgWhat are you using TLA+ for in the industry?
Jakub Kozłowski 🐀 · @kubukoz
235 followers · 154 posts · Server mstdn.party@lmstr none that I know of, but that's not my point. I guess I focused on "#tlaplus being untyped is no longer an issue regarding IDE tooling" too much - IME it's still an issue when there's change, because you have a free-form comment instead of a type annotation / inferred type.
Pascal Poizat (pro) · @pascalpoizat
90 followers · 86 posts · Server mastodon.xyz
Daniel · @semperos
72 followers · 26 posts · Server fosstodon.org#introduction time!
I enjoy #programming #languages esp. #clojure & #FunctionalProgramming in #lisp. I follow #zig and cyclically use #FactorLang #JLang #dart #ruby #TLAPlus. Also #LaTeX and am a wannabe #typography nerd.
I love #linguistics speak #russian & have studied #french #latin #greek #arabic and many more.
I spend hours a week singing in #byzantine #chant and making #piano & #woodwind #music
I'm a #husband #father & #orthodox #christian #priest but here focus on the above topics.
#introduction #programming #languages #clojure #functionalprogramming #lisp #zig #FactorLang #jlang #dart #ruby #tlaplus #latex #typography #linguistics #russian #french #latin #greek #arabic #byzantine #chant #piano #woodwind #music #husband #father #orthodox #christian #priest
Andrew Jeffery · @arj
43 followers · 46 posts · Server social.tchncs.dechosted a thing on plantuml in your markdown in github, with bonus material for C4 in your plantuml in your markdown, and markdown in your TLA+ spec in your toolbox https://cohost.org/arj/post/208456-lightweight-software #systemsengineering #plantuml #c4 #tlaplus
#tlaplus #c4 #plantuml #systemsengineering
Jepsen · @jepsen
723 followers · 139 posts · Server mastodon.jepsen.ioRT @asatarin
Great talk by @vanlightly @hydraconference
He compares modeling and verification of a simple distributed log with #tlaplus and @jepsen_io Maelstrom
- overview of both
- pros and cons of those approaches
- how to move from model to implementation
Jack covers a lot in the talk https://twitter.com/lemmster/status/1471241135959859204
Gapry · @gapry
38 followers · 186 posts · Server fosstodon.orgTLA+ Conference 2021
#tlaplus #tla #GapryRedditReadingList