| | Computational Category Theory (By Rydeheard and Burstall) [pdf] (man.ac.uk) |
|
1 point by rcshubhadeep on June 29, 2020 | past
|
|
| | The Secondary Selection (man.ac.uk) |
|
2 points by mzehrer on April 9, 2020 | past
|
|
| | The Atlas / Titan Story [pdf] (man.ac.uk) |
|
1 point by fanf2 on Dec 19, 2019 | past
|
|
| | Seymour Cray: An Appreciation (1997) (man.ac.uk) |
|
46 points by tosh on Aug 17, 2019 | past | 13 comments
|
|
| | An introduction to Category Theory (2010) [pdf] (man.ac.uk) |
|
2 points by lainon on May 24, 2019 | past
|
|
| | Titan: the poor man's Atlas? (2008) (man.ac.uk) |
|
15 points by fanf2 on Oct 27, 2017 | past | 3 comments
|
|
| | Computational Category Theory (man.ac.uk) |
|
92 points by noch on Aug 4, 2017 | past | 11 comments
|
|
| | What Year Is It? A Bayes' Theorem Tribute to Back to the Future (man.ac.uk) |
|
6 points by gedrap on Oct 21, 2015 | past
|
|
| | Take control with your Raspberry Pi (man.ac.uk) |
|
31 points by bpedro on Feb 9, 2013 | past | 3 comments
|
|
| | Astronomers crack the Fried Egg Nebula (man.ac.uk) |
|
2 points by TeMPOraL on Sept 28, 2011 | past
|
|
| | Practical Foundations of Mathematics (man.ac.uk) |
|
49 points by neovive on July 26, 2011 | past | 4 comments
|
|
| | General Polygon Clipper library - polygon and tristrip "boolean" operations (man.ac.uk) |
|
2 points by ivanstojic on Dec 24, 2010 | past
|
|
| | SpiNNaker - A Universal Spiking Neural Network (Computer) Architecture (man.ac.uk) |
|
7 points by albertcardona on Jan 25, 2010 | past
|
|
| | Amulet 3, an asynchronous system-on-a-chip, ARM compatible (man.ac.uk) |
|
3 points by jacquesm on Jan 23, 2010 | past
|
|
| | More info on graphene (1 atom thick sheets of carbon) (man.ac.uk) |
|
9 points by davi on July 14, 2009 | past | 1 comment
|
|
| | Computational Category Theory (man.ac.uk) |
|
2 points by antiform on June 2, 2008 | past
|
|
| | Interesting use of Google maps API for non-cartographic data (man.ac.uk) |
|
9 points by ratsbane on April 2, 2008 | past | 4 comments
|
|
