I’m not usually a big puzzler, but I love August’s Jane Street puzzle. It’s secretly about constructive analysis and the continuity of functionals. I think there’s a cute way of doing this in Haskell if you’ve read your Martín Escardó. janestreet.com/puzzles/tree-e…

You will live in the garlic storage pod. You will eat the garlic.

I have discovered the most marvelous cookbook

Attended a wedding.

Philly Twitter admission: I have absolutely no idea what’s going on with the arena. I find it utterly dizzying to try to follow who’s on what side and what their arguments even are.

not to be a hater but why would you waste your youth on pickleball when you’re perfectly capable of enjoying the noble sport of tennis

obsessed with the idea that you might be compelled to buy an eagles shirt in the international arrivals hall the second you arrive in philadelphia

Why does "preserves least upper bounds" intuitively mean "finite bits of output depend on finite bits of input"?

Why is everyone wearing enormous rowing-esque sunglasses now

Just bought an Eagles jersey. Never before owned a jersey of any kind. This town sucks you into its orbit and doesn’t let go.

Ended up getting a messenger bag from Bellroy (I like it so far!) Two weeks later I learn they use Haskell. Go figure.