ah yes, that great feeling when you delete 3/4 of what you wrote so far

atproto is just a very big model view controller hahahahhahahah

ok i'm finally starting the atproto longread. i want a better sense of what's been happening on the network. what are most exciting projects in the ecosystem and why? i want to mention a few at the end. interested not just in "atproto apps" but things that showcase the atproto spirit

kind of weird chatgpt stuck as a name, who would've thought

[@prer.at](

Bluesky Social

prerat (@prer.at)

social media influencee

) i've just proven you're a setoid https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreiduqsf47u6z7gehnrwkzsafapalncoo6vtgcixn6sstnhtfbf5wym

this little guy is finally healing. i think i can bend it a bit RE:

Bluesky Social

dan (@danabra.mov)

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...

View quoted note →

have two articles brewing in my head: - “how to prove it in Lean” (a longread explaining general approach to proofs, different tactics and bits of syntax, common gotchas and practical tips) - “a lean cosmology” (a mental model for lean type system for when you really want to know what’s going on)

fucking farage man. depressing

i was planning to finish a few more proofs but now i'm reading about aliens. funny how human attention works

the thing i'm worried about is whether AI will decimate the "flow states" of knowledge work. i realize this is very selfish. i enjoy being in a flow state. i don't want to constantly be babysitting an unlearning intern who repeatedly violates instructions. even if they eventually produce good work