Comments for The Lab Lunch
http://researchblogs.cs.bham.ac.uk/thelablunch
Research blog of the Birmingham theory groupSat, 03 Sep 2016 08:42:51 +0000hourly1http://wordpress.org/?v=3.4.2Comment on Categorical semantics of digital circuits by Dan Ghica
http://researchblogs.cs.bham.ac.uk/thelablunch/2016/09/categorical-semantics-of-digital-circuits/#comment-249
Dan GhicaSat, 03 Sep 2016 08:42:51 +0000http://researchblogs.cs.bham.ac.uk/thelablunch/?p=735#comment-249Someone on Reddit pointed out the Mary Sheeran wrote a paper on "Categories for the Working Hardware Designer" which I haven't referenced (even though I reference Mary's work in general). Fortunately there is almost no overlap between that paper and this work.Someone on Reddit pointed out the Mary Sheeran wrote a paper on “Categories for the Working Hardware Designer” which I haven’t referenced (even though I reference Mary’s work in general). Fortunately there is almost no overlap between that paper and this work.
]]>Comment on Types: computation vs. interaction by So what is a “pure programming language” anyway? | The Lab Lunch
http://researchblogs.cs.bham.ac.uk/thelablunch/2015/06/types-computation-vs-interaction/#comment-242
So what is a “pure programming language” anyway? | The Lab LunchSat, 16 Apr 2016 11:13:16 +0000http://researchblogs.cs.bham.ac.uk/thelablunch/?p=600#comment-242[...] to give types to these effects as is the standard “monadic” approach. As I argued elsewhere this is simply too ambitious and it is unlikely to work when we interface with arbitrary systems, [...][...] to give types to these effects as is the standard “monadic” approach. As I argued elsewhere this is simply too ambitious and it is unlikely to work when we interface with arbitrary systems, [...]
]]>Comment on A short fable of software engineering vs. regular engineering by Dan Ghica
http://researchblogs.cs.bham.ac.uk/thelablunch/2016/01/a-short-fable-of-software-engineering-vs-regular-engineering/#comment-239
Dan GhicaTue, 12 Jan 2016 14:01:01 +0000http://researchblogs.cs.bham.ac.uk/thelablunch/?p=697#comment-239Discussion on Hacker News [<a href="https://news.ycombinator.com/item?id=10876097" rel="nofollow">link</a>].Discussion on Hacker News [link].
]]>Comment on A short fable of software engineering vs. regular engineering by === popurls.com === popular today
http://researchblogs.cs.bham.ac.uk/thelablunch/2016/01/a-short-fable-of-software-engineering-vs-regular-engineering/#comment-238
=== popurls.com === popular todaySun, 10 Jan 2016 18:00:06 +0000http://researchblogs.cs.bham.ac.uk/thelablunch/?p=697#comment-238<strong>=== popurls.com === popular today...</strong>
yeah! this story has entered the popular today section on popurls.com...=== popurls.com === popular today…

yeah! this story has entered the popular today section on popurls.com…

]]>Comment on Computability: The Greatest Law of Physics by Dan Ghica
http://researchblogs.cs.bham.ac.uk/thelablunch/2015/11/computability-the-greatest-law-of-physics/#comment-235
Dan GhicaMon, 09 Nov 2015 09:14:45 +0000http://researchblogs.cs.bham.ac.uk/thelablunch/?p=681#comment-235Reddit comments: https://www.reddit.com/r/compsci/comments/3rzptz/computability_the_greatest_law_of_physics/Reddit comments: https://www.reddit.com/r/compsci/comments/3rzptz/computability_the_greatest_law_of_physics/
]]>Comment on What things compute? by Computability: The Greatest Law of Physics | The Lab Lunch
http://researchblogs.cs.bham.ac.uk/thelablunch/2015/07/what-things-compute/#comment-234
Computability: The Greatest Law of Physics | The Lab LunchSun, 08 Nov 2015 09:53:20 +0000http://researchblogs.cs.bham.ac.uk/thelablunch/?p=618#comment-234[...] implementation relation by Chalmers, was first introduced in the context of trying to figure out what things can be said to compute. For most Computer Scientists this is not particularly exciting or interesting because of our [...][...] implementation relation by Chalmers, was first introduced in the context of trying to figure out what things can be said to compute. For most Computer Scientists this is not particularly exciting or interesting because of our [...]
]]>Comment on What things compute? by Dan Ghica
http://researchblogs.cs.bham.ac.uk/thelablunch/2015/07/what-things-compute/#comment-232
Dan GhicaTue, 01 Sep 2015 17:09:25 +0000http://researchblogs.cs.bham.ac.uk/thelablunch/?p=618#comment-232https://news.ycombinator.com/item?id=10147534https://news.ycombinator.com/item?id=10147534
]]>Comment on Game semantics, nominally by Leaving the Nest: variables with interleaving scopes | The Lab Lunch
http://researchblogs.cs.bham.ac.uk/thelablunch/2012/06/game-semantics-nominally/#comment-225
Leaving the Nest: variables with interleaving scopes | The Lab LunchSat, 27 Jun 2015 17:08:31 +0000http://researchblogs.cs.bham.ac.uk/thelablunch/?p=231#comment-225[...] terms of more serious applications, formalisations of game semantics and other trace semantics should now further [...][...] terms of more serious applications, formalisations of game semantics and other trace semantics should now further [...]
]]>Comment on Inventing an algebraic knot theory for eight year olds (IV) by Inventing an algebraic knot theory for eight year olds (V) | The Lab Lunch
http://researchblogs.cs.bham.ac.uk/thelablunch/2015/05/inventing-an-algebraic-knot-theory-for-eight-year-olds-iv/#comment-222
Inventing an algebraic knot theory for eight year olds (V) | The Lab LunchWed, 17 Jun 2015 19:43:20 +0000http://researchblogs.cs.bham.ac.uk/thelablunch/?p=571#comment-222[...] exams period (me not available). I correctly assumed nobody remembered anything we talked about before. At least not in detail. Also, we had a significant number of new children joining our group, who [...][...] exams period (me not available). I correctly assumed nobody remembered anything we talked about before. At least not in detail. Also, we had a significant number of new children joining our group, who [...]
]]>Comment on Inventing an algebraic knot theory for eight year olds (III) by Inventing an algebraic knot theory for eight year olds (IV) | The Lab Lunch
http://researchblogs.cs.bham.ac.uk/thelablunch/2015/05/inventing-an-algebraic-knot-theory-for-eight-year-olds-iii/#comment-218
Inventing an algebraic knot theory for eight year olds (IV) | The Lab LunchSat, 16 May 2015 15:56:22 +0000http://researchblogs.cs.bham.ac.uk/thelablunch/?p=549#comment-218[...] The Lab Lunch Research blog of the Birmingham theory group Skip to content Home ← Inventing an algebraic knot theory for eight year olds (III) [...][...] The Lab Lunch Research blog of the Birmingham theory group Skip to content Home ← Inventing an algebraic knot theory for eight year olds (III) [...]
]]>