@dryeeseeks Mon dieu!

RT @yminsky: Want to help build the future of functional programming? The OCaml Language team at Jane Street is doing groundbreaking work o…

@basus American exceptionalism blah, blah, but India's constitution is fascinating!

@thegautamkamath Post this as plain text, you coward :-P

Overfull \hbox (2.64831pt too wide)

@HerrDreyer Smokey, this is not ‘Nam.

@giuliaguidi @CornellCIS @hicrestlab @UniTrento_DISI 🍿🎉

Looking for Mark Hopkins at @WilliamsCollege

@alpha_convert And about 50% slower than PLClub's fastest runner 😉

RT @steffensmallcar: Come work with the #P4 Team! We apply #formalmethods to make @Google 's network #infrastructure more reliable, predict…

Operating Systems papers should be 140 characters, not 12 pages. Oh wait, we just invented @TinyToCS

@ArjunGuha @lorisdanto I’m with Loris. 10 pages of A0 should be enough for everyone.

@StefanSzeider Cool! It’d be nice to pick the variable ordering according to expected time that each state will be called (e.g. having PA close to the root may not work well given how tonight may play out.)

RT @P4lang: View a video on-demand, “P4-SpecTec - Mechanized Language Definition for P4”, presented by KAIST at the P4 Workshop. The propos…

Team 545: band of brothers 🥶

@ArjunGuha @moyix The Claude advertising campaign has yet to hit ITH.

what_a_time_to_be_alive.gif

@mayhewsw Well, people who don't tip their baristas belong there... (I do but Gimme!'s POS system is #$@!'d and doesn't print it on the receipt :-/)