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
the "old" Lean reference is very good. i don't understand why it was replaced by an incredibly dry "new" reference (which i personally find mostly unsuitable for learning the language). but i'm glad this is still up: [sebasti.a.nullri.ch/lean4/doc/](https://sebasti.a.nullri.ch/lean4/doc/ ) [What is Lean - Lean Manual](https://sebasti.a.nullri.ch/lean4/doc/ )