> I'm provably doing the minimum amount of work possible.
That is a very bold claim to make for the amount of render code generated by the LLM. It's not obvious what the critical path even is, which is what would bound the latency. And I mean actual code, not just some informal description of what happens.
Expert opinion versus expert opinion. I will probably stick to my point of view and suggest that you either offer a benchmark or show a specific problem in my code, without speculation on the topic of LLM.
If you say 'provably', you should offer the proof. In Lean perhaps? But in English is also ok.
these days on HN, if you oppose someone, you get dead-flagged.
I vouched for your comment, as I find it perfectly 'not agreeing' answer.
It wasn't me flagging, by the way.
The burden of proof also falls on the person making the claim.
Sorry, but you simply prompted an LLM and didn't even bother reviewing the output per our other discussion about pthreads. I'm not sure you can claim to be an expert, let alone put your opinion on the same level as mine.