i've been trying to think of the most meaningful parts of the trip for me. one part that i keep coming back to was the feeling of waking up and being excited that i was still hanging out with people. it is a good sign when you can be nonstop around people without exhaustion and immediately miss them

Show Post

thanks to AI I can now ask questions which would otherwise have a high social cost

Show Post

on one hand, frontier labs should be educating their customers on how to effectively and safely use their stuff. oh the other hand,

Show Post

I've been meaning to go through this book by an old pal of mine. definitely more of a programming focus than theorem-proving, but that's the angle I personally find most useful when first grappling with a dependent type system. plus, he's funny lean-lang.org/functional_p...

Show Post

The more I am learning about the AI cult and SV/Bay area tech culture, the more I understand why the industry’s outputs suck so much. It’s all burrito taxis and wire mothers because that is what youngish people who make six figures but live with 5+ others in drafty victorian houses want.

Show Post