6 ms·
> 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 obviou
by grg0 2mo ago
> 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.
- pg83 2mo agoExpert 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.
- eru 2mo agoIf you say 'provably', you should offer the proof. In Lean perhaps? But in English is also ok.
- rdslw 1mo agothese days on HN, if you oppose someone, you get dead-flagged. I vouched for your comment, as I find it perfectly 'not agreeing' answer.
- grg0 1mo agoIt wasn't me flagging, by the way. The burden of proof also falls on the person making the claim.
- grg0 1mo agoSorry, 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.