We've spent several years understanding what makes linear temporal logic (which is used in verification, planning, and much more) tricky for humans. Now expanded to finite-trace LTL (LTLf) as well. Lots of material usable off-the-shelf for educators! See:
https://blog.brownplt.org/2024/07/07/little-tricky-logics-2.html

1/ Over the weekend there was a block party a short distance from my place for a lady who turned 90. That's notable enough, but in her case it's special because she's a Holocaust survivor. I chatted with her today and looked up some things. Remarkable story! Buckle in: ↵

A little-known fact about Mastodon is that when you move your account, it gets put on a truck and then shipped to the new server. Here, for instance, are users employing I-195 to move between servers.