oh nice, [justjavascript.com](
Just JavaScript
Just JavaScript
Just JavaScript will help you develop a rock-solid understanding of how JavaScript works through intuitive visual explanations and learning challen...
 ) is also there! cc [@maggieappleton.com](
Bluesky Social
Maggie Appleton (@maggieappleton.com)
Design engineer playing with AI and hacky prototypes @githubnext.com Adores digital gardening, end-user development, and embodied cognition. Makes...
 ) RE:
Bluesky Social
Josh Goldberg (@joshuakgoldberg.com)
Cool, @learningtypescript.com is on this! I'm honored to have been included! [contains quote post or other embedded content]
 [Just JavaScript](
Just JavaScript
Just JavaScript
Just JavaScript will help you develop a rock-solid understanding of how JavaScript works through intuitive visual explanations and learning challen...
 )
an approach i'm finding increasingly productive is to break up a proof into parts i "obviously" believe to be true and shim them with `sorry`s, focusing on the rest of the argument. i'd previously always write top-down but now i just leave those unsolved and come back when the big picture is clear
the end is in sight! only one screen's worth of exercises left in the 3.6 section. been working on this one for three weeks 🤪 [github.com/gaearon/anal...](
GitHub
Section 3.6 solutions by gaearon · Pull Request #9 · gaearon/analysis-solutions
 ) https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreigzfetrscuoqgtxlki25jszmi4xjeadrxvtnwxuqqxddevdowexdi
noticed a (recent?) regression on the web — can anyone reproduce? can't select upwards more than one line with keyboard [Selection regression on the we...](
GitHub
Selection regression on the web in composer · Issue #8999 · bluesky-social/social-app
Steps to Reproduce Paste a long link into composer Put cursor at the very end Hold Shift to start selecting Press "up" several times to try to sele...
 )
ok enough arguing with people i'll go back to arguing with computer
the funny thing is that evan’s comment is obviously wrong (as in, in a technical sense). the protocols are not comparable in their scope (activitypub doesn’t try to solve scaling) but he insists on treating them as zero sum. i think it’s why meta talks about AP. unlike atproto, it isn’t competition RE:
Bluesky Social
Rudy wants revolution. (@rude1.blacksky.team)
Like I said. https://github.com/swicg/general/pull/45#issuecomment-3262517592
lfg! [github.com/facebook/rea...](
GitHub
Release Activity in Canary by rickhanlonii · Pull Request #34374 · facebook/react
Overview This PR ships <Activity /> to the react@canary release channel for final feedback and prepare for semver stable release. What this m...
 ) for the first time, there will be a first-class way to tell React to deprioritize some part of the tree, an alternative to unmounting. [Release Activity in Canary by ...](
GitHub
Release Activity in Canary by rickhanlonii · Pull Request #34374 · facebook/react
Overview This PR ships <Activity /> to the react@canary release channel for final feedback and prepare for semver stable release. What this m...
 )
one thing that blew my mind about working in Lean (and is still blowing my mind) is that “variables” (really, let bindings) and “function calls” are all infinitely unfoldable. i can just replace each variable with its definition, each function with its body, any no of levels deep, during a proof.
interesting how API and abstraction works in Lean. it's similar to programming but a slightly different feel to it. i'm replacing an abbrev (which is kind of like a transparent alias) with a def (more opaque) + small lemma for that def. notice how this simplifies code [github.com/gaearon/anal...](
GitHub
Section 3.6 solutions by gaearon · Pull Request #9 · gaearon/analysis-solutions
My solutions to Tao's Analysis I, formalized in Lean - Section 3.6 solutions by gaearon · Pull Request #9 · gaearon/analysis-solutions
 )
seems like not sending this is severely hurting third party feeds ability to be even remotely competitive with Discover RE:
Bluesky Social
spacecowboy (@spacecowboy17.bsky.social)
Please let me know if you have any other suggestions. It would be great to receive "app.bsky.feed.defs#interactionSeen".