Hacker News
- Multiparty Session C: Safe Parallel Programming with Message Optimisation (2012) https://www.doc.ic.ac.uk/~cn06/pub/2012/sessionc/ 6 comments
- How to Be a Programmer: A Short, Comprehensive, and Personal Summary (2002) [pdf] https://www.doc.ic.ac.uk/~susan/475/HowToBeAProgrammer.pdf 55 comments
- The Event Calculus Explained (1999) [pdf] https://www.doc.ic.ac.uk/~mpsha/ECExplained.pdf 12 comments
- How to Write Unmaintainable Code (1999) https://www.doc.ic.ac.uk/%7Esusan/475/unmain.html 70 comments
- Advanced Computer Architecture https://www.doc.ic.ac.uk/~phjk/AdvancedCompArchitecture.html 16 comments
- A conversation with Alan Kay (2004) http://www.doc.ic.ac.uk/~susan/475/AlanKay.html 10 comments
- Why has the actor model not succeeded? (1997) http://www.doc.ic.ac.uk/~nd/surprise_97/journal/vol2/pjm2/ 18 comments
- Infinite Super Mario AI Source Code http://www.doc.ic.ac.uk/~rb1006/projects:marioai 10 comments
Lobsters
- KLEE - Unassisted, Automatic Generation of High-Coverage Tests for System Programs (2008) https://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf 3 comments compilers , compsci , pdf , programming , testing
- History of logic programming http://www.doc.ic.ac.uk/~rak/papers/History.pdf 5 comments compsci , pdf , programming
- Distributed Programming using Role-Parametric Session Types in Go (pdf) https://www.doc.ic.ac.uk/research/technicalreports/2018/dtrs18-4.pdf 3 comments golang
- "A Brief History of Quantum Computing" by Simon Bone and Matias Castro https://www.doc.ic.ac.uk/~nd/surprise_97/journal/vol4/spb3/ 4 comments programming
- Reasoned Programming - Broda, Eisenbach, Khoshnevisan, Vickers http://www.doc.ic.ac.uk/~susan/firstyearbook.pdf 3 comments programming
- SLAM++: Simultaneous Localization and Mapping at the Level of Objects http://www.doc.ic.ac.uk/~rfs09/slampp.html 5 comments robotics
- [Grad] Students: Get into programming languages research with this mentoring workshop at POPL. http://www.doc.ic.ac.uk/~gds/plmw/ 4 comments haskell
- Is the Burroughs architecture still relevant today? http://www.doc.ic.ac.uk/~susan/475/AlanKay.html 3 comments compsci
- IEE Review, Sep 2000: Software to silicon - Ian Page tells why the principles of hardware compilation could be set to rewrite the rule book of silicon design. (66K PDF) https://www.doc.ic.ac.uk/~wl/teachlocal/arch2/ianpint.pdf 6 comments programming
- Zeno: Automatically Prove Haskell Program Properties http://www.doc.ic.ac.uk/~ws506/tryzeno/ 5 comments haskell
- My how to give a 'monad tutorial' tutorial http://www.doc.ic.ac.uk/~tora/monadsi.txt 15 comments haskell
- TexTablet - Use your tablet to write LaTeX http://www.doc.ic.ac.uk/~sl203/?id=39 9 comments math
- Self-playing survival Mario AI source code released! http://www.doc.ic.ac.uk/~rb1006/projects:marioai 40 comments programming
- The Early Years of Logic Programming - Kowalski [PDF] http://www.doc.ic.ac.uk/~rak/papers/the%20early%20years.pdf 3 comments programming
- Kowalski - Limitations of Logic [PDF] http://www.doc.ic.ac.uk/~rak/papers/limitations%20of%20logic.pdf 5 comments compsci
- Progol (infers programs from data) http://www.doc.ic.ac.uk/~shm/progol.html 13 comments programming
- [Lecture Notes]: An Introduction to the Imperative Part of C++ http://www.doc.ic.ac.uk/~wjk/c++intro/coursestructure.html 6 comments programming
- Such an obvious idea - Why is this the closest thing to an implementation? http://www.doc.ic.ac.uk/~tora/kevlar/index.cgi 49 comments programming
- A Conversation with Alan Kay http://www.doc.ic.ac.uk/~sue/475/alankay.html 15 comments programming