243 karma · joined January 1, 2025
13M lines does seem extreme and there is probably a lot of inefficiency given the way the proof was developed. Cutting it down is probably a long road, but is also a very well defined problem that AIs can probably just go do with enough time and budget now.
One fine day I was like, oh my weekly quota resets soon, I will kick off an expensive bug hunt. It launched parallel things and burned $10 in like a moment.
It’s scary. I turned off extra usage after that.
There are way more nuanced uses of LLMs than skill-free “write me a facebook clone.” Like, hey LLM, help me develop tests of X, review this design for X, help me articulate what is wrong with the code for X, give me ideas for simplifying X, suggest optimizations for X, help me debug this failure trace for X, help me apply this refactor across all of X, and on and on. Even these are stupid examples that way over simplify.
I’m super proud of the work I’ve created /alongside/ LLMs. I’ll let it build me development aides and such with little oversight and there’s no skill there. But you can use it deliberately and maintain control, and it’s amazing to have a tool that can look through your code with you from so many angles.
It’s been ones of months since USA attacked Venzuela. We are openly musing about invading Greenland. We are actively embargoing and threatening to invade Cuba. We are the unhinged aggressor in all of this.
On my second team, the visibility theater took over, upper management set and reset and reset and reset our direction, and nobody was happy. In retrospect, I should have said no immediately. Trusting and empowering your people is hard to beat.