Sometimes I wonder why we get those “do not disturb”-thingys. Here, apparently, they mean “Feel free to hammer on the door. If there’s no response, just let yourself into the room. If somebody’s in there, hammer the door some more.” […]
Tag: Status Updates
Calling all static analysis/semantics nerds out there: is there a simple way to check if a propositional expression induces a lattice with atomic propositions as elements and implication as order. Yes, I can easily do it using brute force, but I’m lazy and looking for a simpler way. You may assume that the formula is […]
Just received evaluation for a course I did not teach. Apparently my knowledge transfer was graded above average as was my feedback to students. Yes, that’s true. Around 50% of the students did not even recognize that two of the people listed on their evaluation form did not participate in the course. […]
Decisions, decisions… Go for a one hour commute to the empty office, or just cross the street and work at TGI Fridays, the restaurant named after a Katy Perry song… […]
I’m making Facebook confused. It’s suggesting I join a plethora of “Expat in Denmark” groups. […]
https://www.facebook.com/events/569709133064156/ […]