Today from my blog this month's "Something to Think About" ...

"We pass the anniversary of our death every year without knowing."

https://zenmischief.com/2026/06/something-to-think-about-this-month-18/

#logic #thoughts #blog #zenmischief

Something to Think About this Month | Zen Mischief

Something to Think About this Month

Each month I offer you something to think about to get the brain working. This month …

We pass the anniversary of our death every year without knowing.

#blog #logic #thoughts #zenmischief
Formalization of template formulas in the modal μ-calculus in Isabelle/HOL. ~ Lise Arendsen. https://pure.tue.nl/ws/portalfiles/portal/390531427/Arendsen_L.pdf #IsabelleHOL #ITP #Logic
**Pigeonhole Principle:** If `n` items are put into `m` containers with `n > m`, at least one container has >1 item.
Ex: 3 socks in 2 drawers -> one drawer has at least 2 socks.
Pro-Tip: Count items (pigeons) & categories (holes) to prove existence!
#DiscreteMath #Logic #STEM #StudyNotes
Pssst 🤫, the pre-proceedings for our conference *Advances in Modal Logic 2026* are now available. https://events.illc.uva.nl/aiml2026/Proceedings/ #aiml #logic #amsterdam
Proceedings | AiML 2026

Full paper proceedings. The full paper Proceedings of the Sixteenth International Conference on Advances in Modal Logic will appear in EPTCS. Via this link you can already access preliminary ...

Readings shared June 21, 2026

The readings shared in Bluesky on 21 June 2026 are: A Lean 4 formalization of euclidean domain algorithms from a 1986 icon experimentation package. ~ Lars Warren Ericson. #LeanProver #ITP #Math A Lea

Vestigium

One more thing: 20% of the information often drives 80% of the decision. And it helps to quickly think through best- and worst-case outcomes before you commit.

#DecisionMaking #CriticalThinking #Logic #LeadershipStrategy #ProfessionalDevelopment #StayFocused #Clarity #Influence #Psychology #Mindset (3/3)

Drug Traffic Shouldn't be a Crime

Guns, Bombs Should