Viewing profile — cdo256

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 th…

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 co…

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…

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…

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 p…

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) reproduc…