#tlaplus — Public Fediverse posts

I was on Func Prog Podcast talking about formal methods, model checking, TLA+ and Quint! Here are the links in case you want to check it out:

YouTube: https://youtu.be/zKERmkonANM?si=--G5E0HSjyOKvgFQ
Spotify: https://open.spotify.com/episode/4yaIyGbRcG5dBSGSaD3gCa?si=i2m-c89jQ8ON25HmIUjhSw
RSS: https://anchor.fm/s/10395bc40/podcast/rss

#quint #tlaplus #formalmethods

Understandable & predictable performance has its benefits!

#FormalMethods #TLAPlus #ModelChecking

Gems from TLA+ Community Day:

"Formal mathematics is nature's way of letting you know how sloppy your mathematics is." — Leslie Lamport

"Animation and visualization is nature's way of letting you know how sloppy your formal mathematics is." — Michael Leuschel

#FM2024 #TLAPlus

Banging my head against a model checker error message, going as far as thinking there's a bug in TLC before realizing actually I had just assigned the same variable twice within the same action and the second assignment was being treated as a logical operation exposing a bug/type mismatch in the first

#longday #tlaplus

#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.