actions > words, and i want to see the ongoing projects that turn this into action for Next completed. but planting a flag is good. i’m glad Vercel leadership is starting to listen and put someone who values open systems in charge RE: View quoted note β†’
i once tried β€œstrong opinions, weekly held” as a joke but half the readers didn’t notice the spelling and the other half must’ve thought i can’t spell
this chapter's proofs are making me miserable. like wtf am i writing. what is this monstrosity https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreihkmxh7yer56pm2hxhrfvehr42skt6lx4jiq7hwd3sivk5tvutmlm
woot RE:
not with a bang but with a β€œnot _ but _”
learn some lean in twenty minutes this part is mostly about functions. next part will be about writing proofs RE: View quoted note β†’
this function will give you anything in exchange for a lie https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreihveiksgaoixbhzqa2j5csysc7xmh53wdrhfojdhj7d6ukx6z7jg4
the funny thing about my Lean posting is i remember some people were like Haskell posting or PureScript posting or whatever in 2013 and i was like ahhh i don't have patience to learn a pure functional thing, what's the point. and here i am
might have fumbled the title on this one cause no one's clicking on aggregators. sounds too narrow RE: View quoted note β†’
ok but. now do "mute reposts from ..." RE: View quoted note β†’