github mobile loading sequence glitchy af https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreihhe4rt4cjhmzb7qpab7lmnr6g2p6iowkhd6qbjmo5owo2mxaemra
i really dislike the bluesky heuristic of β€œi’ll stop notifying you of replies downthread if you haven’t participated in the last five of them”. i lost track of many interesting conversations (between mutuals!) this way. really disheartening and one reason twitter felt better for conversations
cool (but slightly strange) Lean feature: when you write an `if` condition, you can capture a proof of that condition being true (within the `if` branch) or it being false (within the `else` branch) and pass that proof around as a value wherever it's needed https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreibvbivvkcqe3ucl4lcqoal2oaby2o3ciaommtb2prr4do5pv27wb4
cool post! RE:
Bluesky Social
Sanity (@sanity.io)
styled-components maintenance mode doesn't have to mean panic mode. Our engineer @codey.bsky.social made performant community forks. Linear's alre...
this is really neat for the feature rollout RE:
Bluesky Social
Bluesky (@bsky.app)
If you've been using a πŸ“Œ emoji to bookmark posts, @rafael.my and @samuel.bsky.team cooked up a special tool you can use to migrate them to your ...
relistened to brat after a few weeks of sonic starvation and after half a year of not listening to brat specifically, and it’s soooo joyful and nerdy
is youtube marking bsky links unsafe? can anyone repro RE:
Bluesky Social
nasso πŸ”œ FOSDEM, NFC (@nasso.dev)
YOUTUBE????????
 View quoted note β†’
controversial take i think it's actually good bsky lands appview-dependent features because it shows atproto supports pragmatic escape hatches that don't leak into the product in a user-visible way. i do want private state too but it's good that a product can mix and match
it's confusing to me that "7 saves" is shown in the bar and is clickable (but leads to list of likes)
i like how much dependent typing cuts down on boilerplate here, `Permutations_mk` takes three arguments (a number `n`, a function called `f` between two numbers less than `n`, and a proof `hf` that the function `f` is bijective). but only `hf` is explicit argument, both `n` and `f` are inferred https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreigyevv54esm2qhyhqpuzh7i3bamempbv223j6s7tyvqh6ryn3yxfm