Erik

This was going around Twitter today, if you ask Claude “is X lat Y long land or water?” and plot the results, it has clearly embedded a map of the globe in its weights over time

calling a shot here: in 10 years yud and his crew will be Manson-type famous

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.

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