3 ms·
I'll also mention that Codex / Copilot could help write Haskell code where I simply couldn't. Or, at least get me close. Generation with ML and then filtering
by etaioinshrdlu 5y ago
I'll also mention that Codex / Copilot could help write Haskell code where I simply couldn't. Or, at least get me close.
Generation with ML and then filtering with the typechecker/compiler for valid results could be a really powerful pair.
- plafl 5y agoI feel that there is some kind of link to duality in optimization. Like you are trying to bound the intended program from below and from above.