Loved your blog post! We had an intern this summer working on his PhD that included experimenting with AI to write formal verification. You might be already in touch with people that are working on this sort of thing, but let me know if you’d like his LinkedIn so you can push him to write on this :)

my favorite thing I’ve learned about sleep is that “sleeping on it” is not just taking time away — your brain actively processes problems, and works through the backlog of compute while you sleep

indeed the bambino plus is now bambino minus

supermeow

they’re basically an investment in your comfort. treat them the same as an ETF

old dogs are the best ever beings

big big fan of being from minneapolis

great to meet you Antoine! 😊

hi i’m here! where are you hanging out by?

running a little bit late! sorry went to the wrong park. be there in 15

sure, works for me!

yeah this sounds great! lmk if I can do anything to help organize