unrelated but i love the way imessage displays these like the many-eyed seraphim glyph RE:
Bluesky Social
cait (and adonis) (@cait.bsky.social)
lmao i got added to a scam group text and this lady was NOT having it
is atproto leaking into the vibe coding world at all? it seems like it could be a good match to bootstrap a rudimentary social layer. what's getting in the way, if anything? recognition? oauth too hard? etc
harsh but yes this is exactly what i mean RE:
Bluesky Social
roland (@roooooland.bsky.social)
It’s a bad sign for the ecosystem if the most trivial imaginable useful third party app (CRUD for Markdown docs in a user’s PDS) only exists as...
seeing wires from my window and feeling an urge to spam grind them like tony hawk pro skater
i hate to be the one complaining about a free horse but i really wish whitewind and smokesignal got some design love. it’s hard to treat something with clumsy/ugly aesthetics seriously. (unlike say craigslist which leans into that and transcends it). also whitewind is slow to load and feels janky
RE:
Bluesky Social
Bluesky (@bsky.app)
drop your best book recs πŸ“šπŸ’™
 https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreifa5mzbf6ojia676q2pozpgapta4ssalc6wgm5yk6o3oi25h2l46q View quoted note β†’
haha this is why you need to portal your tooltips https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreig2dw2eerizarn2rgftu4janz7dh3snivc3exb6rnwcyh2sdgy26y
tfw you're a commutative monoid but also a cancellative magma https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreihzweovbx73mfc7bjiqpuz4zaplfzdpayzecemewf6s3i436a5kta
speaking of which, maybe this helps me formulate why i like Lean. unlike many programming languages out there, Lean is one of the few languages that let us express deep truths about the universe and the connections between them in a way that is rigorous, explorable, and collaborative RE:
Bluesky Social
dan (@danabra.mov)
i love that you can cmd+click into some Lean builtin thing and it'll have that vibe... idk. like, casually fundamental. here's one of the most impo...
 View quoted note β†’
i love that you can cmd+click into some Lean builtin thing and it'll have that vibe... idk. like, casually fundamental. here's one of the most important structures in the universe, here's what we had to do to make it fast and tolerable to work with https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreicimbasim35mnzbca5vpub2ilkloavnmxexnvj6d2ausyzbalq4fa