Hacker News
- A short fable of software engineering vs. regular engineering http://researchblogs.cs.bham.ac.uk/thelablunch/2016/01/a-short-fable-of-software-engineering-vs-regular-engineering/ 91 comments
- Computability: The Greatest Law of Physics http://researchblogs.cs.bham.ac.uk/thelablunch/2015/11/computability-the-greatest-law-of-physics/ 14 comments
- What things compute? http://researchblogs.cs.bham.ac.uk/thelablunch/2015/07/what-things-compute/ 29 comments
- Algebraic knot theory for kids: equations http://researchblogs.cs.bham.ac.uk/thelablunch/2015/06/inventing-an-algebraic-knot-theory-for-eight-year-olds-v/ 3 comments
- The limits of type theory: computation vs. interaction http://researchblogs.cs.bham.ac.uk/thelablunch/2015/06/types-computation-vs-interaction/ 66 comments
- Inventing an algebraic knot theory for eight year olds, part 4: Equations http://researchblogs.cs.bham.ac.uk/thelablunch/2015/05/inventing-an-algebraic-knot-theory-for-eight-year-olds-iv/ 2 comments
- Inventing an algebraic knot theory for eight year olds (III) http://researchblogs.cs.bham.ac.uk/thelablunch/2015/05/inventing-an-algebraic-knot-theory-for-eight-year-olds-iii/ 20 comments
Lobsters
- Types: computation vs. interaction http://researchblogs.cs.bham.ac.uk/thelablunch/2015/06/types-computation-vs-interaction/ 4 comments compsci
- Categorical semantics of digital circuits http://researchblogs.cs.bham.ac.uk/thelablunch/2016/09/categorical-semantics-of-digital-circuits/ 3 comments compsci
- Categorical semantics of digital circuits http://researchblogs.cs.bham.ac.uk/thelablunch/2016/09/categorical-semantics-of-digital-circuits/ 8 comments haskell
- Why is lambda calculus named after that specific Greek letter? Do not believe the rumours! http://researchblogs.cs.bham.ac.uk/thelablunch/2016/05/why-is-lambda-calculus-named-after-that-specific-greek-letter-do-not-believe-the-rumours/ 10 comments math
- Why is lambda calculus named after that specific Greek letter? Do not believe the rumours! http://researchblogs.cs.bham.ac.uk/thelablunch/2016/05/why-is-lambda-calculus-named-after-that-specific-greek-letter-do-not-believe-the-rumours/ 12 comments compsci
- Computability: The Greatest Law of Physics http://researchblogs.cs.bham.ac.uk/thelablunch/2015/11/computability-the-greatest-law-of-physics/ 36 comments compsci
- A Simple Proof Checker for Teaching http://researchblogs.cs.bham.ac.uk/thelablunch/2015/09/a-simple-proof-checker-for-teaching/ 6 comments haskell
- What things compute? http://researchblogs.cs.bham.ac.uk/thelablunch/2015/07/what-things-compute/ 9 comments cogsci
- More algebraic knot theory for eight year olds http://researchblogs.cs.bham.ac.uk/thelablunch/2015/06/inventing-an-algebraic-knot-theory-for-eight-year-olds-v/ 6 comments math
- Types: computation vs. interaction http://researchblogs.cs.bham.ac.uk/thelablunch/2015/06/types-computation-vs-interaction/ 3 comments coding
- Types: computation vs. interaction http://researchblogs.cs.bham.ac.uk/thelablunch/2015/06/types-computation-vs-interaction/ 8 comments haskell
- Types: computation vs. interaction http://researchblogs.cs.bham.ac.uk/thelablunch/2015/06/types-computation-vs-interaction/ 20 comments programming
- Inventing an equational algebraic theory for and with kids http://researchblogs.cs.bham.ac.uk/thelablunch/2015/05/inventing-an-algebraic-knot-theory-for-eight-year-olds-iv/ 7 comments math
- Is there a problem in Chalmers's popular computationalist explanation of the mind? http://researchblogs.cs.bham.ac.uk/thelablunch/2015/05/chalmerss-digital-radio/ 7 comments cogsci