this is a really nice little textbook [www.lightandmatter.com/calc/calc.pdf](πŸ“„.pdf ) [lightandmatter.com/calc/calc.pdf](πŸ“„.pdf )
is Elm effectively dead? i haven’t been paying attention and just now noticed last commits are very old. curious what happened there (i presume burnout but maybe there’s more to it?)
this looks like no easy feat πŸ˜… usually they just want to slap useEffect on it RE:
Bluesky Social
Mengdi (@mengdi.dev)
For the first time ever I got LLM to answer this question according to @danabra.mov's suggestion rather than what it saw in its training set.
stats show people tricking into my last article from some front-end newsletters which is funny because they're not about front-end at all
ahh this is behind a paywall but looks like an exciting explanation. hope it will be released as a part of their book (can't find concrete information on it; seems like maybe it's not out yet?) [www.infinitelymore.xyz/p/surreal-nu...](
The surreal numbers
All the numbers great and small. The surreal numbers, generated in a recursive process of completion, unify the real numbers, the ordinals, and the...
 ) [The surreal numbers](
The surreal numbers
All the numbers great and small. The surreal numbers, generated in a recursive process of completion, unify the real numbers, the ordinals, and the...
 )
coming to terms with the fact that what i actually want to write about is mathematics. the problem is i still don't know it very well
ok but is anyone actually using Lean as a programming language (not as a theorem prover). what’s the state of that?
ok GPT1 examples here are funny [progress.openai.com](
OpenAI Progress
AI has been evolving at an incredible rate. This piece aims to highlight the progress made so far.
 ) [OpenAI Progress](
OpenAI Progress
AI has been evolving at an incredible rate. This piece aims to highlight the progress made so far.
 )
in other words math is like tripping RE:
Bluesky Social
dan (@danabra.mov)
people often ask me why i’m into this stuff and how it helps software development, and like… i don’t know if it does? i’m not doing it for ...
it's funny i'm at a point where i'm doing some of my best writing but my interests are also getting more niche so i don't know who'd want to read it