aesop is my favorite lean tactic so far. it just powers through stuff
kind of want to write an atproto blog post but kind of scared too. don’t want to misrepresent anything or make it seem official (i’m not working at bsky now and haven’t been for some time)
this sounds cool, i need to read about it RE:
i tried “going to the gym” and i stubbed my toe against metal lounger at the pool and now it’s partially purple. i guess gym visits will have to wait
i complain about bsky a lot so it's worth saying i'm very glad it exists and i hope the team can sustain their investment in atproto for a while
i use claude because of the fonts
bsky should really fix their "can't migrate back from custom PDS" problem because it's hurting perception and is for some stupid reason (iirc some library they'd use for importing is blocking the thread so they'd have to rewrite it first to allow this)
“the way to decentralize social media is to have many social media websites that constantly ~email each other” imagine the world where mastodon ceo could admit that this doesn’t actually work. seems impossible because: how do you save face? and what do you do with the community? RE: View quoted note →
“the way to decentralize social media is to have many social media websites that constantly ~email each other” imagine the world where mastodon ceo could admit that this doesn’t actually work. seems impossible because: how do you save face? and what do you do with the community? RE: View quoted note →
lean year 3 roadmap [lean-lang.org/fro/roadmap/...](https://lean-lang.org/fro/roadmap/1900-1-1-the-lean-fro-year-3-roadmap/ ) [Lean Programming Language](https://lean-lang.org/fro/roadmap/1900-1-1-the-lean-fro-year-3-roadmap/ )