[email protected]

I'm thrilled to announce that I will be joining @WisconsinCS as an Assistant Professor starting Fall 2023! I am tremendously excited to expand and connect the already-fantastic @madison_sp and madPL groups.

This is amazing newrepublic.com/article/168572…

Hello I am a human. I pay money to leave my empty car outside. I have a “coffee table” that needs a second thing to put my coffee down on

Daylight Saving Time is increasingly hard to notice when my digital are devices are like, "What? Nothing happened. We know what time it is." And my stove is left blinking and screaming, "IT HAPPENED! TIME SHIFTED UNNATURALLY! THEY'RE ALL LYING! ONLY I KNOW! ONLY I REMEMBER!"

@wcrichton For short-distance things locally, I try to learn the map when I move there (with middling success). Then, every time I need to get somewhere, I try to guess a good route before checking Google Maps. I make better guesses over time, and eventually don't need Google.

Does anyone have a particular strategy for using Google Maps in a way that scaffolds spatial memorization? Feels bad to never get a feel for the layout of a city, but I also don't want to accidentally 2x a drive's duration.

@TaliaRinger And much like Nethack, if you mess up badly even once, you have to start over from the beginning.

Basically it's nethack but open world

Interactive theorem proving is an open world puzzle dungeon crawler

@niemasd @joepolitz @rampure_suraj @ucsd_cse @UCSDJacobs @UCSanDiego @HDSIUCSD Will this be streamed for us non-UCSD folk who are definitely interested in watching?

Every Massachusetts news story

Okay everybody it's Zero Hour for this website, post your favorite tweets and give them a little kiss goodbye.

@vj_chidambaram I assumed Allman, K&R, and GNU were real and the rest were jokes. Does anyone actually use any of the other ones?! (Specifically in a curly-brace language. Different things make sense with other syntax structures.)

@alpha_convert That depends on what hobby you want. Buying books and reading books are two totally different hobbies.

@alpha_convert If your sequent calculus + Cut was consistent, then you'd get a strictly more expressive (but still consistent) logic since you just added actual reasoning power. If your sequent calculus + Cut was *inconsistent*, I'd expect you to get an inconsistent logic.

TFW, after "finishing" the hard part of the proof, you go to fill in the proof for the obviously-correct-but-annoying-to-prove critical lemma you left for later...and it turns out to be false. Time to fix my definitions!

@LeoLambro @alpha_convert To be fair, DC did the same thing around 5pm today.

@alpha_convert That's what you get for leaving the DC area

@koronkebitch: Thoughts?

While this seems like a solid plan, if we use Indiana instead, it also addresses safety concerns of nearby states (c.f. twitter.com/TerribleMaps/s…).

@hgoldstein95 @alpha_convert WHAT ARE WIBBLES??!?!?!

@pl_pierce @completelysound @justinesherry @natefoster @roopshasamanta @samth @lindsey I tried to cheat with people people who died a long time ago, since you need more people to get across generations, but it didn't work. The website doesn't have people like Euler Fermat, Leibniz, or Gauss. ☹️

@completelysound @justinesherry @natefoster @roopshasamanta @samth @lindsey this is the longest I can find so far that's an actual number:

Ellen Zegura proposed a new game -- Erdos number is out, Estrin number is in. My Deborah Estrin number is 2! What is yours??

@koronkebitch My wrists are in pain just looking at that.

@lorisdanto The more "novelty," the more interesting the reviews end up!

Reviewer drinking game: Take a sip of beer every time you encounter the word "novel"

The rare transportation/mental health mashup sign.