News for hackers. Stuff that matters.
Re:Ask HN: What is the future of the programmer? by cartoonfoxes on Monday June 08, 2015 @02:00PM (#9680880)
> As AI becomes reality, it would be ideal to mold (evolve?) an AI to help me address specific weaknesses in my capabilities to allow me to focus on "the problem at hand".

It's possible to do this already. Although working on application software at the moment which doesn't have any special assurance requirements, I've started making use of an interactive theorem prover to help sanity-check some complicated bits of logic. It's the future, from what I can see.

There are no comments on this comment yet.