βš›οΈπŸ“ New on Overreacted: Lean for JavaScript Developers [Lean for JavaScript Developers...](
A Lean Syntax Primer β€” overreacted
Programming with proofs.
 )
another longread incoming tomorrow
do i know anyone working on the spotify webapp. there's a really annoying UI regression that's also a bit subtle
the "old" Lean reference is very good. i don't understand why it was replaced by an incredibly dry "new" reference (which i personally find mostly unsuitable for learning the language). but i'm glad this is still up: [sebasti.a.nullri.ch/lean4/doc/](https://sebasti.a.nullri.ch/lean4/doc/ ) [What is Lean - Lean Manual](https://sebasti.a.nullri.ch/lean4/doc/ )
man if bsky won't let me open the DM tab it could at least keep the DM settings available so i can turn DMs off
this one felt satisfying. so cool that it works https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreiak2ermd4bywczahftvwpkyfsnlybhkzd5ji6ewz35n7w7tan7yxy
does this say what i think it's saying https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreidmqwizs3nkamgf7riulylpe6ncc6xpzlp5mnwrowmq26x2avekju
what is a polite way to say "this is bad engineering caused by a bad architecture and is impossible to fix"
my mini rant about atproto vs mastodon comparisons [news.ycombinator.com/item?id=4507...](
*>I suspect that the cost of running AT proto servers/relays is prohibitive for ... | Hacker News
 ) [*>I suspect that the cost of r...](
*>I suspect that the cost of running AT proto servers/relays is prohibitive for ... | Hacker News
 )
weird bluesky still doesn’t have a media tab in search