|
|
|
|
|
by henry2023
22 days ago
|
|
If humans can find (and have been finding for millennia) new proofs for well posted math problems, I see no reason why they shouldn’t be able to implement a more performant fully featured version of an existing interpreter. |
|