cdo256

4 ms·

1. 1.▲
   by cdo256 7y ago

   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 tells you it
2. 2.▲
   by cdo256 7y ago

   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 loop, realize
3. 3.▲
   by cdo256 7y ago

   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 types of variables an
4. 4.▲
   by cdo256 7y ago

   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 subset of
5. 5.▲
   by cdo256 7y ago

   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 revolution and start using ant
6. 6.▲
   by cdo256 7y ago

   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.