Remix.run Logo
grg0 4 hours 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 4 hours ago | parent [-]

[flagged]

eru an hour ago | parent [-]

If you say 'provably', you should offer the proof. In Lean perhaps? But in English is also ok.