Viewing profile — frostlynx

24% of increased productivity (yes, this is assuming of course that the “proxy” of merged PRs reflects productivity) is actually a pretty big deal. Given the salary of developers, …

IMHO Anki (the software) has very little value now with coding agents. The spaced repetition algorithm is quite simple and just 100 lines of python (or even less). Every coding age…

The problem with proof is that it’s a bit hard sometimes to convey the value. The point is not to find bugs, but to prove that there are none (of a certain class; under certain ass…

I personally thought to myself "written by AI" after this part: ... the restaurant was fully booked. No warmth. No conversation. Just a long wait and a closed door. In trying to hu…