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".

congruence is a cool word

notable: bsky is looking for machine learning engineers help bluesky fix Discover! RE:

Bluesky Social

hailey (@hailey.at)

more jobs more jobs. come apply!! bsky.social/about/join https://bsky.social/about/join

View quoted note →