Hacker News
- Compressionism: A Theory of Mind Based on Data Compression [pdf] http://ceur-ws.org/Vol-1419/paper0045.pdf 32 comments
- Prolog-Based Reasoning Layer for Counter-Strike Agents (2012) [pdf] http://ceur-ws.org/Vol-928/0170.pdf 23 comments
Lobsters
- Making Formal Methods Popular: The Crux is Math Education! [2015] http://ceur-ws.org/Vol-1385/paper5.pdf 3 comments education , formalmethods , math , pdf