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…
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 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…
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.…
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…
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 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…
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.…