home.social

#ltl — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #ltl, aggregated by home.social.

  1. 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: games.equiv.io/2019wise-tempus

    (Happy #WorldLogicDay, AoE! 🥳)

  2. 今日気づいたこと

    新しめの #Mastodon (4.2 以降っぽい)でフォローしてるアカウントをミュートしたいが #LTL#リアルタイムフィード )では見えるようにしておきたい場合、
    リストを作成してそのアカウントを入れたうえで(この際相手には通知されない)、
    「メンバーをホームに表示しない」(バージョンにより「ホームタイムラインからこれらの投稿を非表示にする」)を有効にすることで実現できる。

  3. Find ich das nur nicht, oder steht auf der Landestheater Linz Seite tatsächlich kein Ensemble/Team? #landestheaterLinz #ltl landestheater-linz.at/

  4. (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
    youtu.be/x7kWrF3gqSE