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:

Bluesky Social

Kuba Suder 🇵🇱🇺🇦 (@mackuba.eu)

My "Introduction to #ATProto" blog post that I've been working on for some time is ready 🙂 It goes through things like records, lexicons, DIDs, ...

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 ...](

GitHub

[DevTools] Initial version of Suspense timeline by eps1lon · Pull Request #34233 · facebook/react

Only implements document-order reveal for now (root order determines document order). Doesn't handle what happens if new Suspense boundaries ar...

)

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

FINALLY someone is doing “post lists”. that’s what i mean by “collections”. that’s what i want in the bluesky product instead of “feeds” (algorithms can still be aware of subscriptions to collections, just like they can be aware of who you follow) can bluesky app adopt this pls RE:

Bluesky Social

Anisota (@anisota.net)

Welcome. Anisota is here. Step inside. 🕯️ anisota.net 🕯️ https://anisota.net

https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreiem2ghut5yjel7ywd6zeu36jf4jp2x2dpqvcsonwprpgkc7iffchi

anyone remember Nemerle [github.com/rsdn/nemerle...](

GitHub

Home

Nemerle language. Main repository. Contribute to rsdn/nemerle development by creating an account on GitHub.

) [Home](

GitHub

Home

Nemerle language. Main repository. Contribute to rsdn/nemerle development by creating an account on GitHub.

)

finally done with Section 3.5! this one feels like it was actually Kind Of Hard. looking forward to never opening these again [Section 3.5 solutions by gaear...](

GitHub

Section 3.5 solutions by gaearon · Pull Request #8 · gaearon/analysis-solutions

)

this is a really nice little textbook [www.lightandmatter.com/calc/calc.pdf](📄.pdf ) [lightandmatter.com/calc/calc.pdf](📄.pdf )