If you're referring to formal verification tools (which help programmers mathematically prove that their program has certain properties). Then it doesn't need to extend into all the edge cases. Usually if the machine…
I tried this once. I can do it easily with natural language but it's much harder to do with code (even code you're familiar with). I think this is because so much of writing new code is back-and-forth: start writing…
I could imagine two tools: 1. A tool that parses the text and draws red underlines on all the errors, this exists but (at least for C++ in VS 2017) it is quite slow. 2. A tool that automatically populates and updates…
I don't think the main problem is that they're distracting, in the drawing attention away from what you're writing sense. I think the main problem is that, for an unfamiliar editor, the autocomplete takes an unknown…
Children of Time by Adrian Tchaikovsky [1] explores this exact question. In the story, a human consciousness is uploaded to a computer orbiting a planet. Meanwhile spiders on the planet go though an industrial…
In some ways that's what collonialism is. It doesn't happen as much these days but if/when we start colonizing other planets, that would be a form of countries (or unions) reproducing.
If you're referring to formal verification tools (which help programmers mathematically prove that their program has certain properties). Then it doesn't need to extend into all the edge cases. Usually if the machine…
I tried this once. I can do it easily with natural language but it's much harder to do with code (even code you're familiar with). I think this is because so much of writing new code is back-and-forth: start writing…
I could imagine two tools: 1. A tool that parses the text and draws red underlines on all the errors, this exists but (at least for C++ in VS 2017) it is quite slow. 2. A tool that automatically populates and updates…
I don't think the main problem is that they're distracting, in the drawing attention away from what you're writing sense. I think the main problem is that, for an unfamiliar editor, the autocomplete takes an unknown…
Children of Time by Adrian Tchaikovsky [1] explores this exact question. In the story, a human consciousness is uploaded to a computer orbiting a planet. Meanwhile spiders on the planet go though an industrial…
In some ways that's what collonialism is. It doesn't happen as much these days but if/when we start colonizing other planets, that would be a form of countries (or unions) reproducing.