Joe

The Next 700 "The Next 700" Papers

@reidatcheson Electric Lemon?

Wtf is this

İt's just not fair that the sun sets on New Jersey

Went to the Mercer Labs slop museum. Extremely funny

Success at all costs avoided successfully

So. I would highly recommend going to Hong Kong. I would not recommend getting food poisoning while there.

Hong Kong is unbelievably cool

@TylerAlterman @walkietakis I think the thing that’s special about the NYC version of this is that it’s socially unacceptable to talk to others most of the time! Until something interesting/unexpected/weird happens, and everybody decides it’s ok to interact

@walkietakis I’ve lived in many cities and really the latter does happen a lot more in NYC bc of the density and culture

This is a very NYC moment. This city is full of delightful & strange little interactions, but you have to be open to them!

Why don’t they make the whole database out of indexes

@alpha_convert Coffee: Halfway Coffee is v cute (they serve coffee in vintage HK porcelain cups), Elephant Grounds Food: Tim Ho Wan (dim sum), Zagin (expensive but v good ramen) Running: there’s a (newly opened) 6-mile long path along the harbor! (I’ve not tried it but have heard good things)

Going to Hong Kong today

@moarbugs @AntithesisHQ Congrats!

Effective today, I've been promoted to Associate Professor at CMU. Thanks to my amazing students, colleagues, and peers for the support! Now time for a sabbatical :-) I'm incredibly excited to have joined @AntithesisHQ at the absolute forefront of autonomous software testing!!

@ngernest2 I’m excited to jog along the harbor! But if my experience trying to run at ICFP in Singapore is anything to go by, it might be slightly unpleasant lol

@ngernest2 Pls send recs!! I’m staying near Central

@alpha_convert Have fun in HK! (my hometown!)

Our route is so weird why don’t we just go straight

Having a good time at JFK terminal 8

Goose value 0?

Caught myself briefly thinking that the goose had no value (0?) hah

This is a pretty good take! I like this take

@technoHimbo @charliermarsh You beat me to this!

@charliermarsh @alpha_convert Almost always should’ve been existentialtype.wordpress.com/2011/03/15/boo…

This bool could've been an enum

@yminsky Wow, local type definitions is fun! No more `let open struct type`!

The latest OCaml release (5.5) has some great stuff. Module dependent functions are a big step, and we've been waiting for it to land foreeever. Polymorphic parameters is great too. discuss.ocaml.org/t/ocaml-5-5-0-…