3 ms·
I look forward to writing specifications ("property tests without RNG") in a theorem prover language and some AI writing the program against my specification.
by staunton 3y ago
I look forward to writing specifications ("property tests without RNG") in a theorem prover language and some AI writing the program against my specification.