fyi someone is pretending to be me at my old account handle on the website formerly known as twitter
[@ricky.fm]( ) think someone can look at [github.com/facebook/rea...]( )? seems like there's a PR but it was never reviewed [Bug: useFormStatus pending sta...]( )
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: View quoted note β†’
βš›οΈπŸ“ New on Overreacted: The Math Is Haunted [The Math Is Haunted β€” overreac...]( )
ok i’m writing a lean blog post, god help me actually finish it
huh! RE: