Search

2 results for “ahelwer”

1. 

   Andrew Helwer @ahelwer · 2023-11-30 · 00:52 UTC

   Banging my head against a model checker error message, going as far as thinking there's a bug in TLC before realizing actually I had just assigned the same variable twice within the same action and the second assignment was being treated as a logical operation exposing a bug/type mismatch in the first

   #longday #tlaplus

   #longday #tlaplus
2. 

   Mediathekperlen.de @[email protected] · 2025-11-30 · 07:13 UTC

   Mariejosephin Schneider – „Notes of Berlin“ (2020)

   Wenn ich heute von der Grenze des nördlichen Ruhrgebiets, bzw. des südlichen Münsterlandes auf Berlin schaue, dann verstehe ich wirklich nicht mehr viel von dem was ich sehe. Früher war das anders. Also bis 1989. Da war es zwar auch ein Mikrokosmos völlig jenseits meiner Realität, aber den hab‘ ich damals kapiert. (ARD, Wh.)

   Zum Blog: https://nexxtpress.de/mediathekperlen/mariejosephin-schneider-notes-of-berlin-2020/

   #alexandermartschewski #andreasawatzki #andreaslouis #annemueller #ard #axelwerner