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 )
is Elm effectively dead? i haven’t been paying attention and just now noticed last commits are very old. curious what happened there (i presume burnout but maybe there’s more to it?)
this looks like no easy feat 😅 usually they just want to slap useEffect on it RE:
Bluesky Social
Mengdi (@mengdi.dev)
For the first time ever I got LLM to answer this question according to @danabra.mov's suggestion rather than what it saw in its training set.
stats show people tricking into my last article from some front-end newsletters which is funny because they're not about front-end at all
ahh this is behind a paywall but looks like an exciting explanation. hope it will be released as a part of their book (can't find concrete information on it; seems like maybe it's not out yet?) [www.infinitelymore.xyz/p/surreal-nu...](
The surreal numbers
All the numbers great and small. The surreal numbers, generated in a recursive process of completion, unify the real numbers, the ordinals, and the...
 ) [The surreal numbers](
The surreal numbers
All the numbers great and small. The surreal numbers, generated in a recursive process of completion, unify the real numbers, the ordinals, and the...
 )
coming to terms with the fact that what i actually want to write about is mathematics. the problem is i still don't know it very well
ok but is anyone actually using Lean as a programming language (not as a theorem prover). what’s the state of that?