I formalized Peterson's mutual exclusion algorithm in Lean, with proofs in 6 result families github.com/erik-megarad...

Bluesky should go back to invites, continue aggressive bot bans, create a Craigslist-style marketplace (since you’re more likely to buy/get services from a educated or good person on here than any other social network), and market this place like a walled garden protected from enshittification.

they shouldn’t have released chatgpt until it was exactly as good as codex is now. woulda saved everyone a lot of headaches.

this site becomes awesome once you block one hundred people

what i'd like to contribute to the ongoing masculinity discourse is that the truest sign of a fella's manfulness isn't his strength or his height or his successes with women. it's not about his job or how he dresses. it's about whether he has a cell-level desire to dig a big hole at the beach

i wonder what happened to all those data lakes we filled up in the mid 2010s

i can’t wait to remember Ozzie Albies in about 20 years

why don’t we drink beer with straws