[email protected]

Post-doc, Security+PL Researcher, and Bitcoin Unenthusiast at @CollegeParkMC2/@plumlab | PhD @CornellCIS | Future Asst Prof @WisconsinCS |

[[email protected] @EthanCecchetti]

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.

[Molly Jong-Fast @MollyJongFast]

This is amazing https://t.co/h61Jwj0itU

[Jorts (and Jean) @JortsTheCat]

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

[Joseph Scrimshaw @JosephScrimshaw]

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!"

[[email protected] @EthanCecchetti]

@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.

[[email protected] @EthanCecchetti]

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

[[email protected] @EthanCecchetti]

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

[Dan Toomey @dhtoomey]

Every Massachusetts news story

[follow @bencollins on bluesky @oneunderscore__]

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

[[email protected] @EthanCecchetti]

@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.)

[[email protected] @EthanCecchetti]

@alpha_convert That depends on what hobby you want.

Buying books and reading books are two totally different hobbies.

[[email protected] @EthanCecchetti]

@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.

[[email protected] @EthanCecchetti]

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!

[[email protected] @EthanCecchetti]

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

[[email protected] @EthanCecchetti]

@koronkebitch: Thoughts?

[[email protected] @EthanCecchetti]

While this seems like a solid plan, if we use Indiana instead, it also addresses safety concerns of nearby states (c.f. https://t.co/TV8PqZlcVW).

[[email protected] @EthanCecchetti]

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

[[email protected] @EthanCecchetti]

@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. ☹️

[[email protected] @EthanCecchetti]

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

[[email protected] @EthanCecchetti]

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

[Jesse Mermell @jessemermell]

The rare transportation/mental health mashup sign.