I actually find great satisfaction and closure in knowing it is an ephemeral experience. Experience the game, move on. Of course, just my own preference, not saying others need to follow it. I liked buying used games as…
> simply dumping proofs on the math community and expecting others to > do the grunt work of verifying, refining, and expanding Hm, kinda reminds me of my college days. "Proof trivial, left as home work." was a sentence…
The open weight community really is an odd one. Millions of Dollars for pre and post training given away for free and most often with very permissive licenses that allow commercial use (be it US, EU or mostly Chinese)…
~~Mordor~~ Microsoft!
Since the terminal is having its renaissance right now, I find it really great. VS Code with its integrated bash really shines here, all my developer tooling is right there with [CTRL] + [J] (cargo, pnpm, uv, you name…
Ever since I discovered `gh`, I stopped going on the website itself. Stuff like this just makes it even more unlikely I'll return :-D
Digital Board Games solve this imho very elegantly, since the rules are tracked by the engine for the players (and is always impartial). It also can avoid the onboarding friction. Just a pity it does not come close to…
You can burn a lot more tokens very quickly for the illusion of increased productivity ;-)
Don't give into FOMO. Developers just love to spent considerably amount of time and effort into building tooling. Way more than working on the actual products. But I must admit it is really fun to build your own harness…
Pedantic maybe, but technically correct. Which we all know, is the best kind of correct.
I actually find great satisfaction and closure in knowing it is an ephemeral experience. Experience the game, move on. Of course, just my own preference, not saying others need to follow it. I liked buying used games as…
> simply dumping proofs on the math community and expecting others to > do the grunt work of verifying, refining, and expanding Hm, kinda reminds me of my college days. "Proof trivial, left as home work." was a sentence…
The open weight community really is an odd one. Millions of Dollars for pre and post training given away for free and most often with very permissive licenses that allow commercial use (be it US, EU or mostly Chinese)…
~~Mordor~~ Microsoft!
Since the terminal is having its renaissance right now, I find it really great. VS Code with its integrated bash really shines here, all my developer tooling is right there with [CTRL] + [J] (cargo, pnpm, uv, you name…
Ever since I discovered `gh`, I stopped going on the website itself. Stuff like this just makes it even more unlikely I'll return :-D
Digital Board Games solve this imho very elegantly, since the rules are tracked by the engine for the players (and is always impartial). It also can avoid the onboarding friction. Just a pity it does not come close to…
You can burn a lot more tokens very quickly for the illusion of increased productivity ;-)
Don't give into FOMO. Developers just love to spent considerably amount of time and effort into building tooling. Way more than working on the actual products. But I must admit it is really fun to build your own harness…
Pedantic maybe, but technically correct. Which we all know, is the best kind of correct.