4 ms·
That would be awesome! Perhaps we could have an animated character have that conversation with us... how about an intelligent paperclip or something?! Wouldn't
by kleiba 16y ago
That would be awesome! Perhaps we could have an animated character have that conversation with us... how about an intelligent paperclip or something?!
Wouldn't programming become so cool!?!!
- jaekwon 16y agoI hope in 20 years we look back and say 'duh, of course'. And yeah, it would be so cool.
- thesz 16y agoI feel like I should introduce you to Agda2: http://wiki.portal.chalmers.se/agda/pmwiki.php http://wiki.portal.chalmers.se/agda/pmwiki.php You write something, Agda2 checks it and says that you forget something, you wrote an inconsistent code or you wrote ambiguous code (it is possible to hide some parts of code).