Submissions from bham.ac.uk

		Writing a simple operating system from scratch (2010) [pdf] (bham.ac.uk)
		280 points by jwdunne on Sept 28, 2014 \| past \| 47 comments
		The category of cardboard rectangles and bits of wool string (bham.ac.uk)
		3 points by alter8 on June 13, 2014 \| past
		Minesweeper and NP-completeness (bham.ac.uk)
		1 point by awok on May 17, 2014 \| past
		ShowHN: Building an OS... From Scratch (bham.ac.uk)
		2 points by dasmithii on May 11, 2014 \| past
		Minesweeper is NP-complete (bham.ac.uk)
		4 points by AndyBaker on March 29, 2014 \| past
		The Essence of Reynolds (bham.ac.uk)
		1 point by bromagosa on March 11, 2014 \| past
		Economist’s guide to mechanized reasoning OR: proving 84 impossibility theorems (bham.ac.uk)
		1 point by gtani on Aug 22, 2012 \| past
		"Why do you need a machine" DNA sequencer on a USB stick (bham.ac.uk)
		1 point by rflrob on Feb 17, 2012 \| past
		Call-By-Push-Value (bham.ac.uk)
		2 points by p4bl0 on Dec 21, 2011 \| past
		The biological bases of mathematical competences (bham.ac.uk)
		32 points by Willprice94 on Nov 26, 2011 \| past \| 3 comments
		Proving Minesweeper NP-Complete and Making it Behave Like a Computer (bham.ac.uk)
		2 points by solipsist on Feb 28, 2011 \| past
		Why large IT development projects are problematic (bham.ac.uk)
		26 points by motters on July 13, 2010 \| past \| 1 comment