frostlynx

5 ms·

1. 1.▲
   by frostlynx 2mo ago

   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, this translates to tens of thousands of dollars per year, pe
2. 2.▲
   by frostlynx 2mo ago

   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 agent can write that for you in minutes. The value of Anki come
3. 3.▲
   by frostlynx 3mo ago

   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 assumptions; etc). But it’s a hard story to sell, so often the
4. 4.▲
   by frostlynx 3mo ago

   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 humanise the process, he’d made it worse. I'm s