3 ms·
Well, I think that soon most software will be written by machine, in something like Idris or Lean, and merely guided by humans via a linguistic interface. With
by carapace 3y ago
Well, I think that soon most software will be written by machine, in something like Idris or Lean, and merely guided by humans via a linguistic interface.
With any luck, within a decade or two, the idea of buggy insecure software will be as anachronistic as baking one's own bread.