woot RE:

Bluesky Social

Bluesky (@bsky.app)

If you're a custom feed creator, you can now enable "show more" and "show less" buttons in your feeds. This gives people using your feed a simple w...

not with a bang but with a “not _ but _”

learn some lean in twenty minutes this part is mostly about functions. next part will be about writing proofs RE:

Bluesky Social

dan (@danabra.mov)

⚛️📝 New on Overreacted: Lean for JavaScript Developers https://overreacted.io/lean-for-javascript-developers/

View quoted note →

this function will give you anything in exchange for a lie https://morel.us-east.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:fpruhuo22xkm5o7ttr2ktxdo&cid=bafkreihveiksgaoixbhzqa2j5csysc7xmh53wdrhfojdhj7d6ukx6z7jg4

the funny thing about my Lean posting is i remember some people were like Haskell posting or PureScript posting or whatever in 2013 and i was like ahhh i don't have patience to learn a pure functional thing, what's the point. and here i am

might have fumbled the title on this one cause no one's clicking on aggregators. sounds too narrow RE:

Bluesky Social

dan (@danabra.mov)

⚛️📝 New on Overreacted: Lean for JavaScript Developers https://overreacted.io/lean-for-javascript-developers/

View quoted note →

ok but. now do "mute reposts from ..." RE:

Bluesky Social

Laurens (@laurenshof.online)

private bookmarks are coming 👀 [contains quote post or other embedded content]

View quoted note →

⚛️📝 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