i wonder if it would make sense for bluesky to sponsor work on third-party apps, with some conditions (eg only open source ones). there’s much open source UI talent and i think it’s exciting to contribute to a fully open-source *product* and help make it competitive. but it needs some grease RE:
Bluesky Social
esmevane, sorry (@esmevane.com)
I agree with that - there should be some official-as-in-moneyed, publicly tangible hand helping w/ incubation of products on the network or else it...
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 β†’