Been in NYC for two weeks and already been hit on twice. I have no idea how to deal with that. I just freeze like an opossum. We don’t have that in SF

There’s no doubt that math needs to be formally specified from now on. It allows the verification of proof to be removed as a burden for the reader, but also makes paper more readable and allows collaborations around the composing and simplification of proofs and ideas

Are we becoming nicer people overall because AIs are always so nice and hyper when they respond to our questions?

Congrats to all my previous coworkers for the successful launch of zkapps on Mina!

There’s a thing that really sucks about planning things with people, the same applies for meetings (even though they’re virtual plans). It’s much healthier I find to just randomly run into people and hang out. But that mostly happens in tightly closed communities