#ltl — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ltl, aggregated by home.social.
-
Check out my presentations on #games, #bisimulation, and #ltl at #FLoC26 next week!
-
Feel the magic of #logic! 🧙♂️
In “Tempus Fugit” you play a mage fighting monsters. 🧟 Which spells you can cast depends on past and future events and is expressed in a variant of linear temporal logic (LTL). #LTL is one of the most important temporal logics in computer science.
Definitely one of my all-time-favorites among the #games that my #tuberlin students have developed!
Play it on: https://games.equiv.io/2019wise-tempus-fugit
(Happy #WorldLogicDay, AoE! 🥳)
-
今日気づいたこと
新しめの #Mastodon （4.2 以降っぽい）でフォローしてるアカウントをミュートしたいが #LTL（ #リアルタイムフィード ）では見えるようにしておきたい場合、
リストを作成してそのアカウントを入れたうえで（この際相手には通知されない）、
「メンバーをホームに表示しない」（バージョンにより「ホームタイムラインからこれらの投稿を非表示にする」）を有効にすることで実現できる。 -
Find ich das nur nicht, oder steht auf der Landestheater Linz Seite tatsächlich kein Ensemble/Team? #landestheaterLinz #ltl https://www.landestheater-linz.at/
-
(Ep. 72) Yellow Freight CLOSES! How Did We Get Here and Who is to BLAME?
#YellowFreight, the 3rd largest #LTL freight company, has closed its doors & declared #bankruptcy.
Let's explore how this once venerable, near 100 year old company got to this point. Who is truly to blame?
It's def not the #Teamsters #union or any other employees.
William Zollars is the single most guilty person here, but those who followed share guilt as well.
#labor #unionstrong #solidarity
https://youtu.be/x7kWrF3gqSE