Hacker News
- Seymour Cray: An Appreciation (1997) http://www.cs.man.ac.uk/~toby/writing/PCW/cray.htm 13 comments
- Titan: the poor man's Atlas? (2008) http://www.cs.man.ac.uk/CCS/res/res44.htm#e 3 comments
- Computational Category Theory http://www.cs.man.ac.uk/~david/categories/ 11 comments
- Practical Foundations of Mathematics http://www.cs.man.ac.uk/~pt/Practical_Foundations/html/ 4 comments
Lobsters
- Humourous looks at programming languages http://www.cs.man.ac.uk/~pjj/cs211/language.html 5 comments historical , programming , satire
- Are application-wide default shortcuts (like ctrl+c for copying) specified anywhere? http://www.cs.man.ac.uk/~lindsec/secondary-selection.html 19 comments linux
- OWL: Why is plant a subclass? http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Labs/dlreasoning/ 7 comments semanticweb
- category theory introduction using ML http://www.cs.man.ac.uk/~david/categories/book/book.pdf 8 comments compsci
- Practical Foundations of Mathematics http://www.cs.man.ac.uk/~pt/practical_foundations/ 9 comments math
- Proofs and Types - a Tutorial http://www.cs.man.ac.uk/~pt/stable/proofs+types.html 5 comments programming
- Practical Foundations of Mathematics by Paul Taylor ( Cambridge University Press ) http://www.cs.man.ac.uk/~pt/practical_foundations/html/ 7 comments programming