tuhlatte

16 ms·

1. 1.▲
   by tuhlatte 1y ago

   Now I'm confused -- you're claiming you meant "good enough code" when your previous definition was such that even mathematical proofs could be "terrible"? That doesn't make sense to me. In software engin
2. 2.▲
   by tuhlatte 1y ago

   The question at hand was whether LLMs could be trained to write good code. I took this to mean "good code within the domain of software engineering," not "good code within the universe of possible programs." If you inter
3. 3.▲
   by tuhlatte 1y ago

   Those links mostly discuss the original RLHF used to train e.g. ChatGPT 3.5. Current paradigms are shifting towards RLVR (reinforcement learning with verifiable rewards), which absolutely can optimize good programs. You can definitely still