(dev here) Hi, thanks for your comments. Python support is in the pipeline (currently at alpha stage). You can learn more about the status of our language support and ways to contribute here:
> why do you believe whatever makes us smart cannot be replicated by a computer program?
Turing's Universality of Computation actually guarantees that whatever is feasible in the physical world can be replicated as a computation in bits. However, I don't share the belief that AI research is anywhere close to achieving this in the most general sense of intelligence. Most AI researchers seem to agree: https://news.ycombinator.com/item?id=9109140
Did you have a chance to look at David Deutsch's work on this topic?
Although Deutsch is not as charismatic a speaker as Kurzweil or as lucid a writer as Bostrom, his arguments make the most sense to me, given my limited experience doing AI research at Stanford. It would be interesting to know your thoughts on Deutsch's theory that the ability to create 'good' explanations is what separates human intelligence from the rest. (maybe through another blog post?)
P.S. Since I have your attention here, I took CS183B last quarter and it was really fun. Thanks!
https://src.sourcegraph.com/sourcegraph/.docs/config/toolcha...