can you hear the music RE:
this was a touching book, recommend RE:
ok i did another thread ranting about “feeds” here but hopefully this one is concise and clear enough that it can serve as a canonical one and i don’t have to complain about this again 🫡 RE:
shout it from the rooftops RE:
love clicking on random things and landing in Lean source code where basic things are defined. i always expect them to be scary and gnarly but they actually just... make sense https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreibfen65uu4idxupggy5d2viyfsvdcfcvlnntroihkslot7caumqby
it’s on HN homepage now! RE: View quoted note →
i don’t understand how Lean is doing this thing where it seems to have a lot from Haskell but i don’t hate it
if i post something self-assured and strongly worded im probably going to regret it later, sort of like an emotional hangover. nevertheless i just can’t help myself and keep doing it. sorry!
👀🌀 [[DevTools] Initial version of ...]( )
there’s a noticeable regression (in the last few releases?) where like info on individual posts arrives too late. i click on a post (eg from notifs or thread), wait over a second, then the like count appears. this is enough to register as frustrating. also makes thread navigation annoying