|
|
|
|
|
|
by _kb
1 day ago
|
|
|
It was a bit of humour. It would be much for feasible to have an LLM generate programs that solve those problems rather than solving directly. I tried to make a start, but I couldn't even vibe a simple tool that would let me reliably validate if generated solvers would halt or loop forever. |
|
|
I am pretty sure this time I am catching the sarcasm here. Kudos you had me in the first half.