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（ #リアルタイムフィード ）では見えるようにしておきたい場合、
リストを作成してそのアカウントを入れたうえで（この際相手には通知されない）、
「メンバーをホームに表示しない」（バージョンにより「ホームタイムラインからこれらの投稿を非表示にする」）を有効にすることで実現できる。