Hacker News
- The Winograd Schema Challenge http://www.cs.nyu.edu/faculty/davise/papers/WinogradSchemas/WS.html 13 comments
- Winograd Schemas https://www.cs.nyu.edu/davise/papers/WS.html 11 comments
- MLRISC – A framework for retargetable and optimizing compiler back ends http://www.cs.nyu.edu/leunga/MLRISC/Doc/html/INTRO.html 12 comments
- Financial Software Projects (C++) - NYU Fall 2011 http://www.cs.nyu.edu/courses/fall11/CSCI-GA.3033-003/ 26 comments
- Peano arithmetic is probably inconsistent http://www.cs.nyu.edu/pipermail/fom/2011-September/015816.html 33 comments
- K as a Prototyping Language http://www.cs.nyu.edu/courses/fall02/G22.3033-007/kintro.html 25 comments
- 8-year-olds should test my code http://www.cs.nyu.edu/~michaels/blog/?p=15 2 comments
- Java vs. K: a screencast http://www.cs.nyu.edu/~michaels/screencasts/Java_vs_K/Java_vs_K.html 11 comments
- Give your ISP garbage. Fight for your privacy! http://www.cs.nyu.edu/trackmenot/ 63 comments technology
- GPUs and The Future Of Parallel Computing: A research paper that discusses issues facing modern CPU's and GPU's http://www.cs.nyu.edu/courses/spring12/CSCI-GA.3033-012/ieee-micro-echelon.pdf 15 comments hardware
- Turing test no longer useful - Winograd schema new test for AI. Goal is to be "Google proof" http://www.cs.nyu.edu/davise/papers/ws.html 184 comments programming
- Java and K http://www.cs.nyu.edu/~michaels/screencasts/java_vs_k/java_vs_k.html 4 comments coding
- Verifying Multi-threaded C Programs with SPIN (pdf) http://www.cs.nyu.edu/~ganna/home/spin08zj.pdf 31 comments programming
- This is long, but mind-blowing: someone has evolved (from scratch) the hardware logic gates necessary to understand two verbal commands. This could be the start of the Singularity. http://www.cs.nyu.edu/courses/fall09/g22.2965-001/geneticalgex 64 comments technology
- "A further five cells appeared to serve no logical purpose at all. And yet if he disconnected them, the circuit stopped working." http://www.cs.nyu.edu/courses/fall08/g22.2965-001/geneticalgex 153 comments programming
- K as a Prototyping Language http://www.cs.nyu.edu/courses/fall02/g22.3033-007/kintro.html 40 comments programming
- 8-year-olds should test my code http://www.cs.nyu.edu/~michaels/blog/?p=15 36 comments programming
- MLRISC - A framework for retargetable and optimizing compiler back ends http://www.cs.nyu.edu/leunga/www/mlrisc/doc/html/index.html 2 comments programming