[@ricky.fm](

Bluesky Social

Ricky (@ricky.fm)

React core team • Forbes 30 worst over 30

) think someone can look at [github.com/facebook/rea...](

GitHub

Bug: useFormStatus pending state is reset when component state is updated · Issue #30368 · facebook/react

If you have a component that relies on the pending return value of useFormStatus, the pending state will incorrectly reset to false if the componen...

)? seems like there's a PR but it was never reviewed [Bug: useFormStatus pending sta...](

GitHub

Bug: useFormStatus pending state is reset when component state is updated · Issue #30368 · facebook/react

If you have a component that relies on the pending return value of useFormStatus, the pending state will incorrectly reset to false if the componen...

)

yesterday's top hn link was an essay called "fast", today it's an essay called "Slow"

chat is this a compliment https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreigvhfn4h2jvyotxiqg6q2uqahawhe2d7uczhme7ufkqk562nqp5ve

i don’t like the new bottom glimmer in the post thread view. it’s so visually noticeable and then disappears fast that imo it’s more jarring and distracting than a small spinner

i'm learning lean because i like mathematics but lean's type system is absolutely wild. i think it deserves a broader software eng look. i know many of these aren't new concepts (and that lean also makes tradeoffs) but i think it is genuinely inspiring

huge thanks to @Kuba Suder 🇵🇱🇺🇦 for the investigation. hope the team has enough to get at the bottom of this now! sorry i could not figure it out while on the team, it's remarkable (and very appreciated) that you did on your own. open source products ftw RE:

Bluesky Social

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

At this point I'm fairly certain that the main problem is that tabs make requests while in some half-suspended state (background tab, closed laptop...

View quoted note →

⚛️📝 New on Overreacted: The Math Is Haunted [The Math Is Haunted — overreac...](

The Math Is Haunted — overreacted

A taste of Lean.

)

ok i’m writing a lean blog post, god help me actually finish it

huh! RE:

Bluesky Social

zeu (@zeu.dev)

@bsky.app overtaking X for desired AND admired community platform for devs! https://survey.stackoverflow.co/2025/technology#admired-and-desired-com...

if i had to describe Lean in a few sentences, i’d say that in Lean, each statement you’d think of as boolean (e.g. “is X equal to Y?”) is itself a type. so you can construct proofs, which are objects *of* that type. so a function can accept a number X *and also* a proof of “X is even” or “X > 10”