--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/paste/paste.25286	Sun Jun 30 15:57:18 2013 +0000
@@ -0,0 +1,255 @@
+2011-07-16.txt:19:20:12: <Phantom_Hoover> itidus20, ...
+2011-07-16.txt:19:34:03: <Phantom_Hoover> itidus20, suggest you read http://everything2.com/title/Using+Asteroids+to+explain+the+topological+classification+of+2-manifolds
+2011-07-16.txt:19:40:33: <Phantom_Hoover> <itidus20> (still reading the article, even while I type this) my more general theorum is that in practice the earth looks flat. It never actually looks like a sphere to anyone standing on it. So it should never have to look round in a video game.
+2011-07-16.txt:19:52:56: <Phantom_Hoover> itidus20, what
+2011-07-16.txt:19:58:56: <oerjan> Phantom_Hoover: oh i see itidus20 was already bringing up similar ideas.  btw this reminds me of a valerian comic...
+2011-07-16.txt:20:03:08: <Phantom_Hoover> <itidus20> i also realize that you couldn't actually fall through.. gravity would pin you in the center
+2011-07-16.txt:20:04:52: <Phantom_Hoover> itidus20, the gravity at a planet's core is 0.
+2011-07-16.txt:20:05:45: <Phantom_Hoover> itidus20, yes.
+2011-07-16.txt:20:54:40: <Phantom_Hoover> <itidus20> oklofok, well to me, chess is a CA in disguise.
+2011-07-16.txt:20:54:48: <Phantom_Hoover> itidus20, it's non-deterministic?
+2011-07-16.txt:20:55:31: <Phantom_Hoover> itidus20, no, it would literally be the most boring thing in the world.
+2011-07-16.txt:20:59:40: <Phantom_Hoover> itidus20, they're fundamentally different abstractions.
+2011-07-16.txt:21:02:54: <Phantom_Hoover> itidus20, look, CAs are not well viewed as entities moving around a space.
+2011-07-16.txt:21:05:04: <Phantom_Hoover> itidus20, and yes, as Sgeo points out, chess has a certain amount of hidden state as well.
+2011-07-16.txt:21:05:32: <Phantom_Hoover> itidus20, yes, but then you're shoehorning.
+2011-07-16.txt:21:08:37: <Phantom_Hoover> itidus20, yes, and I have already said that it rules out an elegant representation, which is what you were trying to make.
+2011-07-16.txt:21:09:09: <Phantom_Hoover> oerjan, <Phantom_Hoover> itidus20, yes, and I have already said that it rules out an elegant representation, which is what you were trying to make.
+2011-07-16.txt:21:11:36: <Phantom_Hoover> itidus20, the joke is that I am Scottish.
+2011-07-16.txt:21:21:10: <Phantom_Hoover> itidus20, well, except the real ones.
+2011-07-17.txt:20:02:56: <Phantom_Hoover> itidus20, allow that collections of rules are themselves rules.
+2011-07-17.txt:21:56:40: <Phantom_Hoover> Yes, itidus20.
+2011-07-17.txt:22:04:31: <Phantom_Hoover> itidus20, what does that actually mean?
+2011-07-17.txt:22:07:35: <Phantom_Hoover> itidus20, or perhaps... ALL the objects are points.
+2011-07-17.txt:22:08:02: <monqy> Phantom_Hoover, itidus20: but then they'd be omnipotent
+2011-07-17.txt:22:08:52: <Phantom_Hoover> itidus20, ...impermanence rule?
+2011-07-17.txt:22:09:40: <Phantom_Hoover> itidus20, um... I suppose that's true?
+2011-07-17.txt:22:10:17: <Phantom_Hoover> itidus20, it is, ostensibly.
+2011-07-17.txt:22:12:14: <Phantom_Hoover> itidus20, no, we just like counting.
+2011-07-19.txt:18:40:12: <Phantom_Hoover> itidus20, define "multi-dimensional".
+2011-07-19.txt:18:44:13: <Phantom_Hoover> itidus20, [a, b] + [c, d] = [a+c, b+d]; [a, b] * [c, d] = [a*c - b*d, a*d + b*c].
+2011-07-19.txt:18:55:08: <Phantom_Hoover> itidus20, why do you seem to have two contradictory definitions of +?
+2011-07-19.txt:19:07:40: <Phantom_Hoover> itidus20, like display programming...
+2011-07-19.txt:19:14:27: <Phantom_Hoover> <itidus20> The more discerte a game becomes it seems the more likely that a perfect play scenario exists
+2011-07-19.txt:19:16:41: <Phantom_Hoover> itidus20, suggest Minecr— wait, that's too open-ended for you, probably.
+2011-07-19.txt:19:19:00: <Phantom_Hoover> <itidus20> Like in the case of Chess and Go, although they can't compute perfect play, they can imagine it with sufficient computing power.
+2011-07-19.txt:19:22:46: <Phantom_Hoover> itidus20, neural... what?
+2011-07-19.txt:19:37:47: <Phantom_Hoover> itidus20, note that it is patented.
+2011-07-19.txt:19:48:14: <Phantom_Hoover> itidus20, have you looked at Minecraft, actually?
+2011-07-19.txt:19:50:01: <Phantom_Hoover> itidus20, it is quite simple to pirate.
+2011-07-19.txt:20:19:50: <Phantom_Hoover> <itidus20> probably not legally of course
+2011-08-01.txt:20:49:40: <Phantom_Hoover> itidus20, no, I mean of the elliott thing.
+2011-08-01.txt:20:50:24: <monqy> Phantom_Hoover: 05:37:27: <itidus20> elliott_: i did an edit of it: http://oi51.tinypic.com/34h0z.jpg
+2011-08-01.txt:23:42:18: <Phantom_Hoover> itidus20, they do?
+2011-08-01.txt:23:48:16: <Phantom_Hoover> itidus20, struggling young artist and renaissance man...
+2011-08-04.txt:10:23:36: <Phantom_Hoover> <itidus20> what about 8 regular english words mapped onto the brainfuck instructions
+2011-08-04.txt:10:30:22: <Phantom_Hoover> itidus20, except lifthrasiir.
+2011-08-04.txt:12:36:54: <Phantom_Hoover> itidus20, see above.
+2011-08-04.txt:12:39:39: <Phantom_Hoover> itidus20, note that the version of implication I defined is not a terribly intuitive one.
+2011-08-04.txt:12:40:09: <Phantom_Hoover> itidus20, eeeewwwwwwwwwwwwww
+2011-08-04.txt:12:41:33: <Phantom_Hoover> itidus20, you might want to read up on the Curry-Howard isomorphism.
+2011-08-04.txt:13:03:32: <Phantom_Hoover> itidus20, another, Curry-Howardy way of viewing it, is that a → b means that if you have a proof that a is true, you can turn it into a proof that b is true.
+2011-08-04.txt:13:27:04: <Phantom_Hoover> itidus20, well, as oerjan said, it's not very intuitive unless you're working with quantifiers.
+2011-08-04.txt:15:43:09: <Phantom_Hoover> itidus20, what are you going on about?
+2011-08-04.txt:21:13:52: <Phantom_Hoover> itidus20, it's going so far that light takes ten minutes to reach it.
+2011-08-05.txt:11:02:20: <Phantom_Hoover> itidus21, just as bad.
+2011-08-05.txt:19:23:18: <Phantom_Hoover> itidus21, it's really just a matter of balancing the amount you're paying with the obligation you feel to pay and the incentive for them to provide further bundles.
+2011-08-09.txt:17:03:00: <Phantom_Hoover> itidus20, *metaparameterisation
+2011-08-09.txt:17:03:43: <Phantom_Hoover> itidus20, *circumnicer
+2011-08-09.txt:17:05:34: <Phantom_Hoover> itidus20, your knowledge is measured by the length of the words it's expressed in, after all.
+2011-08-09.txt:17:15:32: <Phantom_Hoover> itidus20, no it doesn't, it's a regular occurence.
+2011-08-09.txt:17:20:13: <Phantom_Hoover> WhatIsAChair, try not to know the mind of itidus.
+2011-08-09.txt:17:24:23: <Phantom_Hoover> itidus20, please join #jesus pleeeaaaaasssseeee.
+2011-08-09.txt:17:25:16: <Phantom_Hoover> itidus20, yes please look at it and find out more.
+2011-08-09.txt:17:26:51: <Phantom_Hoover> itidus20, we don't want fights.
+2011-08-09.txt:17:37:59: <Phantom_Hoover> itidus20, are you a 300-pound matronly freight train.
+2011-08-09.txt:17:43:06: <Phantom_Hoover> itidus20, memorising fallacies won't make you think logically.
+2011-08-09.txt:17:59:49: <Phantom_Hoover> itidus20, funny, it has more than enough instructions to.
+2011-08-09.txt:18:27:57: <Phantom_Hoover> itidus20, extended BF.
+2011-08-09.txt:18:40:53: <Phantom_Hoover> itidus20, it doesn't work out.
+2011-08-09.txt:19:59:48: <Phantom_Hoover> itidus20, you're talking about the image of the function, I think.
+2011-08-09.txt:20:07:41: <Phantom_Hoover> <itidus20> i don't like it when some group proclaims jurisdiction over everything
+2011-08-09.txt:20:37:18: <Phantom_Hoover> itidus20, do you know... anything.
+2011-08-09.txt:20:37:46: <Phantom_Hoover> itidus20, like, did you go to school.
+2011-08-09.txt:20:38:58: <Phantom_Hoover> But anyway, I'm more referring to itidus' general lack of knowledge.
+2011-08-09.txt:20:44:40: <Phantom_Hoover> itidus20, 2x - x = what?
+2011-08-09.txt:20:45:47: <Phantom_Hoover> itidus20, I'm not going to confirm the answer, but monqy just ruined it THANKS MONQY
+2011-08-09.txt:20:57:02: <elliott> Phantom_Hoover: I was... trying to make it easy for itidus20 to see why it's true, but then I gave up.
+2011-08-09.txt:21:02:16: <Phantom_Hoover> itidus20, did you just come here to comprehensively out-Sgeo Sgeo?
+2011-08-09.txt:21:02:49: <elliott> Phantom_Hoover: excuse me itidus20 is like ten times as awesome as Sgeo.
+2011-08-09.txt:21:04:12: <Phantom_Hoover> itidus20, see, that's a very Sgeo thing to have.
+2011-08-09.txt:23:07:03: <Phantom_Hoover> elliott, sure, it'd be like every debate having itidus20.
+2011-08-09.txt:23:07:25: <Phantom_Hoover> itidus20, on that subject, get into #jesus already lupine is running it into the ground.
+2011-08-09.txt:23:23:40: <Phantom_Hoover> itidus20, what ammonia thing?
+2011-08-09.txt:23:25:24: <Phantom_Hoover> itidus20, except it didn't.
+2011-08-09.txt:23:26:49: <Phantom_Hoover> itidus20, ice floats.
+2011-08-09.txt:23:53:35: <Phantom_Hoover> itidus20, there's... a way of extending the concept.
+2011-08-10.txt:17:13:38: <Phantom_Hoover> itidus20, no, that's elliott.
+2011-08-11.txt:06:18:09: <elliott> 17:13:38: <Phantom_Hoover> itidus20, no, that's elliott.
+2011-08-11.txt:14:10:12: <Phantom_Hoover> itidus20, what's not to understand?
+2011-08-11.txt:14:19:42: <Phantom_Hoover> itidus20, go read Homestuck it is the best thing.
+2011-08-12.txt:22:38:16: <Phantom_Hoover> <elliott> <itidus20> <Phantom_Hoover> That's the client like everyone uses/
+2011-08-12.txt:22:38:30: <elliott> <Phantom_Hoover> <elliott> <itidus20> <Phantom_Hoover> That's the client like everyone uses/
+2011-08-12.txt:22:38:44: <Phantom_Hoover> <elliott> <Phantom_Hoover> <elliott> <itidus20> <Phantom_Hoover> That's the client like everyone uses/
+2011-08-12.txt:22:38:56: <itidus20> <Phantom_Hoover> <elliott> <Phantom_Hoover> <elliott> <itidus20> <Phantom_Hoover> That's the client like everyone uses/
+2011-08-12.txt:22:39:06: <Taneb> <itidus20> <Phantom_Hoover> <elliott> <Phantom_Hoover> <elliott> <itidus20> <Phantom_Hoover> That's the client like everyone uses/
+2011-08-12.txt:22:39:11: <elliott> <Taneb> <itidus20> <Phantom_Hoover> <elliott> <Phantom_Hoover> <elliott> <itidus20> <Phantom_Hoover> That's the client like everyone uses/
+2011-08-12.txt:22:45:30: <CakeProphet> < elliott> <Taneb> <itidus20> <Phantom_Hoover> <elliott> <Phantom_Hoover>  <elliott> <itidus20> <Phantom_Hoover> That's the client like  everyone uses/
+2011-08-12.txt:22:45:50: <Phantom_Hoover> <CakeProphet> < elliott> <Taneb> <itidus20> <Phantom_Hoover> <elliott> <Phantom_Hoover>  <elliott> <itidus20> <Phantom_Hoover> That's the client like  everyone uses/ ← END THIS MADNESS
+2011-08-12.txt:22:54:43: <oerjan> <Phantom_Hoover> <CakeProphet> < elliott> <Taneb> <itidus20> <Phantom_Hoover> <elliott> <Phantom_Hoover>  <elliott> <itidus20> <Phantom_Hoover> That's the client like everyone uses/ ← END THIS MADNESS <-- why?
+2011-08-12.txt:22:55:15: <Phantom_Hoover> <oerjan> <Phantom_Hoover> <CakeProphet> < elliott> <Taneb> <itidus20> <Phantom_Hoover> <elliott> <Phantom_Hoover>  <elliott> <itidus20> <Phantom_Hoover> That's the client like everyone uses/ ← END THIS MADNESS <-- why? ← That was just a sneaky attempt to get someone to continue it.
+2011-08-12.txt:22:55:30: <itidus20> <Phantom_Hoover> <oerjan> <Phantom_Hoover> <CakeProphet> < elliott> <Taneb> <itidus20> <Phantom_Hoover> <elliott> <Phantom_Hoover>  <elliott> <itidus20> <Phantom_Hoover> That's the client like everyone uses/ ← END THIS MADNESS <-- why? ← That was just a sneaky attempt to get someone to continue it. <-- shit just got real
+2011-08-12.txt:22:55:37: <elliott> <itidus20> <Phantom_Hoover> <oerjan> <Phantom_Hoover> <CakeProphet> < elliott> <Taneb> <itidus20> <Phantom_Hoover> <elliott> <Phantom_Hoover>  <elliott> <itidus20> <Phantom_Hoover> That's the client like everyone uses/ ← END THIS MADNESS <-- why? ← That was just a sneaky attempt to get someone to continue it. <-- shit just got real <-- im running out of space help
+2011-08-12.txt:22:56:03: <Phantom_Hoover> <elliott> <itidus20> <Phantom_Hoover> <oerjan> <Phantom_Hoover> <CakeProphet> < elliott> <Taneb> <itidus20> <Phantom_Hoover> <elliott> <Phantom_Hoover>  <elliott> <itidus20> <Phantom_Hoover> That's the client like everyone uses/ ← END THIS MADNESS <-- why? ← That was just a sneaky attempt to get someone to continue it. <-- shit just got real <-- im running out of space help ← quick hack into Freenode and extend the
+2011-08-13.txt:11:00:58: <Phantom_Hoover> itidus20, um...
+2011-08-14.txt:22:59:55: <Phantom_Hoover> itidus20!
+2011-08-14.txt:23:01:11: <Phantom_Hoover> itidus2432902008176640000
+2011-08-25.txt:13:45:31: <Phantom_Hoover> itidus20!
+2011-08-26.txt:20:40:24: <elliott> * Users on #esoteric: MDude monqy oerjan zzo38 pikhq elliott ais523 variable copumpkin Wamanuz FireFly BeholdMyGlory quintopia coppro_ augur iamcal sllide Slereah boily Vorpal sebbu Lymee Phantom_Hoover hagb4rd EgoBot Sgeo CakeProphet chickenzilla Nisstyre mtve myndzi itidus20 rodgort yorick atehwa ineiros Zwaarddi1k mycroftiv Zetro jix SimonRC fungot aloril jcp|other jcp shachaf lifthrasiir olsner lam
+2011-08-28.txt:10:36:32: <Phantom_Hoover> itidus20, yesyesyes I get all that I just have no idea what the hell you're talking about.
+2011-08-29.txt:15:28:27: <Phantom_Hoover> itidus20, are you Deewiant?
+2011-08-29.txt:16:30:02: <elliott> Phantom_Hoover: But itidus20 considirthed playing DF, if he ever considered it in the first place.
+2011-08-29.txt:17:20:19: <Phantom_Hoover> itidus20, yesyesyes STORY STORY STORY
+2011-08-29.txt:17:22:55: <Phantom_Hoover> itidus20, consider that you may have superpowers.
+2011-08-29.txt:17:23:22: <Phantom_Hoover> itidus20 is......... THE MATRIXINATOR
+2011-08-29.txt:17:24:44: <Phantom_Hoover> itidus20, also, have you considered trying origami.
+2011-09-01.txt:16:11:09: <Phantom_Hoover> itidus20, a thing you rest hot pots on.
+2011-09-04.txt:18:01:36: <Phantom_Hoover> itidus20, hmm, what rhymes with 'web'?
+2011-09-04.txt:18:02:13: <Phantom_Hoover> itidus20, no, world wide web = cycle.
+2011-09-12.txt:15:11:10: <Phantom_Hoover> itidus20, science isn't.
+2011-09-13.txt:18:35:31: <Phantom_Hoover> `log itidus
+2011-09-13.txt:18:35:45: <Phantom_Hoover> itidus20, inspirational words.
+2011-09-13.txt:20:41:21: <Phantom_Hoover> itidus20, you know how the Church numerals work?
+2011-09-13.txt:20:43:43: <Phantom_Hoover> itidus20, do you therefore find calculus trivial?
+2011-09-13.txt:20:52:12: <Phantom_Hoover> itidus20, more accurately, 'number' essentially just means 'thing that behaves in a certain way'.
+2011-09-13.txt:20:53:41: <elliott> Phantom_Hoover: Obviously this will help immensely, considering itidus20 doesn't even grasp the basics of how LC works.
+2011-09-13.txt:20:57:02: <Phantom_Hoover> itidus20, forget that, Taneb is stupid.
+2011-09-13.txt:22:45:23: <Phantom_Hoover> itidus20, what is x/x
+2011-09-14.txt:20:49:50: <Phantom_Hoover> itidus20, no, I mean you don't have craic.
+2011-09-14.txt:20:51:32: <Phantom_Hoover> itidus20, it doesn't mean 'a good time', it doesn't really have a direct equivalent.
+2011-10-02.txt:10:34:31: <Phantom_Hoover> itidus20 wins today's "no shit sherlock" award.
+2011-10-02.txt:10:36:11: <Phantom_Hoover> <itidus20> Phantom_Hoover: i don't come to this channel to be normal
+2011-10-02.txt:11:14:48: <Phantom_Hoover> itidus20, not really.
+2011-10-02.txt:11:15:20: <Phantom_Hoover> itidus20, you could try to, you know, learn something for once.
+2011-11-08.txt:18:40:38: <Phantom_Hoover> `? itidus20
+2011-11-12.txt:19:34:18: <CakeProphet> Phantom__Hoover: are you sure you're not confusing me with itidus?
+2011-11-24.txt:20:44:38: <HackEgo> Sgeo 630; Ngevd 168; Slereah 97; itidus21 76; itidus22 71; pikhq 61; Darth_Cliche 56; MDude 43; copumpkin 43; Rugxulo 40; EgoBot 38; ais523 37;  32; SgeoN1 29; kmc 25; elliott 24; Jafet 22; monqy 13; Klisz 12; PiRSquared17 12; MSleep 11; sebbu2 10; HackEgo 7; Phantom_Hoover 5; sebbu 5; augur 5; derrik 5; itidus20 5; Zuu 4; TheRubberTurkey 3; GreaseMonkey 2; pikhq_ 2; derdon 2; Phantom__Hoover 1; yorick 1; kallisti 1;
+2011-11-24.txt:22:44:42: <HackEgo> Sgeo 733;Ngevd 209;HackEgo 144;SgeoN1 117;Notch 117;Slereah 97;kallisti 79;itidus21 76;itidus22 71;pikhq 61;Darth_Cliche 56;MDude 43;copumpkin 43;elliott 41;Rugxulo 40;EgoBot 38;ais523 37; 32;Jafet 27;derdon 25;augur 25;kmc 25;Patashu 23;MSleep 22;pikhq_ 15;monqy 13;Klisz 12;PiRSquared17 12;sebbu2 10;Phantom_Hoover 5;sebbu 5;derrik 5;augur_ 5;itidus20 5;Zuu 4;TheRubberTurkey 3;GreaseMonkey 2;Phantom__Hoover 1;yorick 1;
+2011-12-07.txt:20:35:16: <Phantom_Hoover> itidus20, or are they illusory books?
+2011-12-10.txt:23:50:17: <Phantom___Hoover> itidus21, that's standard format?
+2011-12-10.txt:23:52:21: <Phantom___Hoover> `? itidus21
+2011-12-10.txt:23:52:33: <Phantom___Hoover> `learn itidus21 just made some instant coffee.
+2011-12-11.txt:21:26:41: <Phantom_Hoover> itidus21, Spades Slick.
+2011-12-11.txt:21:39:51: <Phantom_Hoover> itidus21, 'not actually a mathematician' is the best description?
+2011-12-11.txt:23:13:02: <Phantom_Hoover> Conclusion: all existential crises are in some way related to itidus20
+2011-12-15.txt:20:41:08: <Phantom_Hoover> <itidus21> what people don't realize is that social systems can break down as readily as mathematical systems
+2011-12-15.txt:20:41:44: <Vorpal> Phantom_Hoover, I think that itidus21 lives in some horrible mirror universe.
+2011-12-17.txt:20:46:15: <Phantom_Hoover> itidus20, no.
+2011-12-18.txt:19:20:21: <Phantom_Hoover> itidus20, it can when you redefine + such that it does.
+2011-12-18.txt:19:24:46: <Phantom__Hoover> 19:20:30: <itidus20> you tried to redefine + such and failed
+2011-12-18.txt:19:37:20: <Phantom_Hoover> itidus20, what about addition modulo 4.
+2011-12-18.txt:19:41:14: <Phantom_Hoover> itidus20, nobody's threatening your knowledge of addition, we're just substituting in a different definition for the fun of it.
+2011-12-19.txt:21:37:10: <Phantom_Hoover> itidus21, I didn't actually mention anything that either STEP III or Further Maths contain?
+2011-12-21.txt:19:25:27: <Phantom_Hoover> itidus21, quantum field theory.
+2011-12-21.txt:20:58:50: <Phantom_Hoover> itidus21, I will tear out your spleen and explain in excruciating detail its biological function.
+2012-01-02.txt:16:13:59: <Phantom_Hoover> itidus21, wait, you're *29*‽
+2012-01-02.txt:16:47:10: <Phantom_Hoover> <itidus21> a mysterious mix of intelligence and creativity
+2012-01-02.txt:16:47:17: <Phantom_Hoover> Is this intelligence relative to itidus21?
+2012-01-03.txt:14:52:02: <Phantom_Hoover> itidus21, states, in this case, mean quantum-mechanical states, not anything more abstract.
+2012-01-03.txt:17:07:52: <Phantom_Hoover> <quintopia> itidus21: gravity travels at the speed of light. copy and paste your universe into a different reference frame moving away from the first at the speed of light and problem solved
+2012-01-03.txt:17:10:48: <Phantom_Hoover> <itidus21> im just trying to say  that as everyone already knows, the universe can't model itself
+2012-01-06.txt:23:09:17: <Phantom_Hoover> itidus21, see, graphical display is basically impossible here.
+2012-01-06.txt:23:18:11: <Phantom_Hoover> (I appoint itidus21 as adjudicator because I am a terrible person.)
+2012-01-06.txt:23:24:29: <itidus21>  <Phantom_Hoover> * Vorpal imagines chess with HP and headshots. [...] <itidus21> ok, what about chess on a finite euclidean plane <kallisti> itidus21: what are the pieces? points? <kallisti> what are "turns" in a continuous space. <itidus21> the pieces could be circles :D [...]
+2012-01-06.txt:23:49:21: <Phantom_Hoover> itidus21, are you kidding?
+2012-01-07.txt:00:06:32: <Phantom_Hoover> itidus21, TbH, by now, it's not too hard to understand.
+2012-01-07.txt:11:00:39: <Phantom_Hoover> itidus21, it is with Haskell.
+2012-01-07.txt:17:44:12: <Phantom_Hoover> <itidus21> women
+2012-01-07.txt:17:44:12: <Phantom_Hoover> <itidus21> so, theres combinatrics and lambda calculus right?
+2012-01-07.txt:23:41:52: <Phantom_Hoover> It's itidus21!
+2012-01-11.txt:16:19:24: <Phantom_Hoover> itidus21, sure they can, but patents expire.
+2012-01-11.txt:17:19:20: <elliott> Phantom_Hoover: You love biology, right? Then you'll love itidus21's question!
+2012-01-11.txt:17:21:24: <Phantom_Hoover> itidus21, genes cannot be used to reliably determine the properties of a final organism; indeed, it is probably impossible to reconstruct a single cell from them.
+2012-01-11.txt:17:22:33: <Phantom_Hoover> itidus21, no, it's because the cell contains stuff which isn't directly coded for.
+2012-01-11.txt:17:24:36: <Phantom_Hoover> itidus21, sure, it's the (highly ordered) cell machinery.
+2012-01-11.txt:17:27:58: <Phantom_Hoover> itidus21, since genetics are what are used to build that machinery, it's not a hugely meaningful distinction.
+2012-01-11.txt:17:34:37: <Phantom_Hoover> itidus21, what about when something which was not life turned into life of its own accord?
+2012-01-12.txt:18:45:49: <Phantom_Hoover> itidus21, can you just type something into IRC for me?
+2012-01-12.txt:18:46:50: <Phantom_Hoover> itidus21, I'll explain once you've done it.
+2012-01-12.txt:18:57:35: <Phantom_Hoover> itidus21, that's pretty damn difficult in the general case.
+2012-01-15.txt:19:33:11: <HackEgo> Jafet 2668;Ngevd 2629;ais523 1497;Phantom_Hoover 1474;Klisz 1427;elliott 1407;pikhq 1399;zzo38 1134;oerjan 1048;cheater 939;Patashu 912;Zuu 912;nooga 695;pikhq_ 668;Vorpal 667;atrapado 648;roper 646;azaq23 637;Nisstyre 618;MDude 603;augur 560;derdon 536;sebbu2 476;DCliche 472;NihilistDandy 458;monqy 457;boily 385;iamcal 383;itidus21 369;Frooxius 369;sebbu 353;saberman_1 346;cheater_ 344;GreaseMonkey 326;Sgeo 321;myndzi
+2012-01-19.txt:21:43:27: <Phantom_Hoover> itidus21, if you don't own computer hardware, SOPA... doesn't affect you, at least directly.
+2012-01-19.txt:21:53:15: <Phantom_Hoover> <itidus21> its getting ((& more) more) difficult to explain to older adults why i don't need a job or an income
+2012-02-12.txt:23:05:27: <Phantom_Hoover> itidus20, I know what all those terms mean and I can't read it.
+2012-02-12.txt:23:17:11: <Phantom_Hoover> itidus20, astonishing as the proposition is, I think he's dumber than you.
+2012-02-12.txt:23:40:05: <Phantom_Hoover> itidus20, I do not think you understand 30% of any given sentence posted here.
+2012-02-13.txt:00:06:24: <Phantom_Hoover> itidus20, eventually it turns into ice and it has a bottom, qed
+2012-02-16.txt:22:20:27: * Phantom_Hoover bites itidus20's head off, replaces brick with brain
+2012-02-21.txt:13:42:45: <Phantom_Hoover> itidus20, wat
+2012-03-05.txt:18:01:37: <Phantom_Hoover> The radio said "No, Taneb. You are the itidus"
+2012-03-06.txt:16:20:58: <elliott> Phantom_Hoover: Do you think itidus21 knows that most indie game developers run Windows?
+2012-03-06.txt:16:21:20: <Phantom_Hoover> I don't want to try to get inside the mind of itidus21.
+2012-03-07.txt:18:36:35: <Phantom_Hoover> itidus21, fuck off.
+2012-03-17.txt:19:44:23: <Phantom_Hoover> itidus21, no you must play
+2012-03-25.txt:19:35:31: <Phantom__Hoover> <ais523> itidus21: can't be done exactly, obviously
+2012-04-28.txt:09:13:29: <Phantom_Hoover> itidus20, you have a single, plastic, cup.
+2012-05-13.txt:09:48:47: <Phantom_Hoover> itidus20, you realise the goto battle was won long ago, right?
+2012-05-14.txt:16:40:19: <Phantom_Hoover> itidus21, can you do it
+2012-05-16.txt:14:11:50: * Phantom_Hoover punches itidus with MATHS
+2012-05-17.txt:13:03:01: <Phantom_Hoover> Deep thinking from itidus21.
+2012-05-18.txt:13:46:23: <Phantom_Hoover> itidus21, because there's like no point in adbotting on IRC?
+2012-05-23.txt:16:34:27: <Phantom_Hoover> ITIDUS IS ONE OF THEM OH GOD
+2012-06-04.txt:00:04:18: <Phantom_Hoover> ...itidus i don't know how chicken works in australia but here it doesn't melt
+2012-06-19.txt:19:53:08: <Phantom_Hoover> itidus21, funnily enough, my visits to Glasgow have always been fairly boring.
+2012-06-23.txt:19:51:39: <Phantom_Hoover> itidus21, you need to record it or something, it doesn't work as text.
+2012-06-24.txt:23:19:02: <Phantom_Hoover> itidus21, the gist of it is that it's because if you do two rotations in succession in 2D they'll be the same as if they were in the opposite order, but the same is not true in 3D.
+2012-06-28.txt:16:50:14: <Phantom__Hoover> itidus21, that's pretty hazy, actually.
+2012-06-29.txt:01:06:53: <Phantom_Hoover> itidus21, that's contrived because it leaves out half the words, though.
+2012-07-01.txt:19:12:39: <Phantom_Hoover> itidus21, WP article says she had gender dysphoria even before the drugs started.
+2012-07-01.txt:21:31:28: <Phantom_Hoover> itidus21, a lesson you demonstrate all too well.
+2012-07-02.txt:02:36:20: <Phantom_Hoover> Like a bloodhound catching a scent, itidus21 is on the case!
+2012-07-03.txt:19:06:11: <oerjan> Phantom_Hoover: no, just depressed.  i fear that i'm becoming more and more like itidus21 
+2012-07-19.txt:22:13:42: <Phantom_Hoover> itidus21, is that image meant to be a Voronoi map?
+2012-07-19.txt:22:16:15: <Phantom_Hoover> itidus21, oh, so you've invented SVG with none of the advantages of SVG.
+2012-07-19.txt:22:19:28: <Phantom_Hoover> itidus21, it'd do well for block-filled pictures with sharp, black edges.
+2012-07-24.txt:20:08:55: <Phantom_Hoover> itidus21, it doesn't quite have a monopoly, other hosts are used at times.
+2012-07-25.txt:12:33:41: <Phantom_Hoover> itidus21 started talking
+2012-07-29.txt:22:12:29: <Phantom_Hoover> itidus21, just curious, have you ever moved past the "realising how little I know" stage and actually reached "learning more things"?
+2012-07-30.txt:01:03:38: <Phantom_Hoover> <itidus21> or the way we humans make a big deal about continents, but were we to drain up the water, all we would find is a giant desert
+2012-07-31.txt:13:24:21: <Phantom_Hoover> itidus21, no, everyone should just play continuous chess
+2012-07-31.txt:23:48:13: <Phantom_Hoover> itidus21, I dunno, a lot of people find sex very interesting.
+2012-08-01.txt:00:00:15: <Phantom_Hoover> I looked back and I see itidus21 talking about raspberry fart noises.
+2012-08-01.txt:00:07:04: <Phantom_Hoover> itidus21, you've turned the topic of discussion to santaporn.
+2012-08-13.txt:09:14:48: <Phantom_Hoover> itidus21, dry cleaning salesmen make poor psychologists.
+2012-08-13.txt:09:18:40: <Phantom_Hoover> itidus21, one of Jon Ronson's old Guardian columns has him being groomed by a conman for 2 hours at an airport for $60.
+2012-08-13.txt:09:27:39: <Phantom_Hoover> itidus21, presumably, because you'll never find anyone doing it except on Princes Street.
+2012-08-15.txt:17:29:20: <Phantom_Hoover> I doubt that's what itidus21 meant, considering that most well-known oceanic species live in the upper part of the ocean.
+2012-08-19.txt:14:40:01: <Phantom_Hoover> itidus21, hell no, it was just getting good.
+2012-08-19.txt:14:45:26: <Phantom_Hoover> itidus21, so I suppose you're the exact opposite.
+2012-08-22.txt:02:37:50: <Phantom_Hoover> itidus21, it'll do the inverse and some more odds and ends, but yes.
+2012-08-29.txt:21:15:45: <Phantom__Hoover> you brought itidus21 down upon us
+2012-08-31.txt:14:31:45: <Phantom_Hoover> itidus21, obviously this was not written by a Scot.
+2012-08-31.txt:19:42:46: <Phantom_Hoover> itidus21, so you mean a hardware emulator.
+2012-09-04.txt:21:16:48: <Phantom_Hoover> Also itidus21 is right I'm afraid, Homestuck is mostly confusing due to lack of a time slider during flashes.
+2012-09-04.txt:21:21:02: <Phantom_Hoover> <itidus21> thats why im getting all defensive
+2012-09-12.txt:01:38:05: <Phantom_Hoover> <itidus20> Sgeo: i love to consider things like games being constituted of a combinatin of skill and luck... but i get worn out before i can analyze such ideas in full
+2012-09-14.txt:16:12:13: <atriq> Phantom_Hoover, he's like itidus21 but with computer science rather than philosophy
+2012-09-15.txt:02:30:18: <Phantom_Hoover> itidus21, look up 'system on a chip' though, it's basically what you were talking about.
+2012-09-20.txt:18:29:56: <Phantom_Hoover> itidus21, freespace 2
+2012-09-27.txt:20:22:49: <itidus21> <Phantom_Hoover> oh iti is there anything you can't be wrong about <itidus21> no
+2012-11-19.txt:22:47:28: <Phantom_Hoover> also itidus20 burned to death
+2012-11-24.txt:18:50:06: <Phantom_Hoover> oh shit itidus' ghost has possessed my spearmaster
+2012-11-26.txt:18:03:43: <Phantom_Hoover> itidus20, as it turns out, was 3rd in line for the throne
+2012-11-27.txt:09:46:51: <Phantom_Hoover> careful now, you've veering into itidus territory here
+2013-01-25.txt:14:29:07: <HackEgo> phantom____________________hoover \ brick \ gaspacho \ bike \ gregor \ lifthrasiir \ cakeprophet \ c \ boily \ i \ norway \ shachaf \ egobot \ ☃ \ misspellings of croissant \ monoid \ the them \ natural transformation \ lens \ gazpacho \ lettuce \ wiki \ flagpole \ monoids \ itidus21 \ szoup \ vorpal \ välkommen \ fiora \ taneb \ devious \ ø \ 
+2013-01-26.txt:05:21:56: <HackEgo> lifthrasiir \ burma \ välkommen \ atriq \ ievan \ irc \ bonvenon \ structural subtyping \ phantom___hoover \ cyberiad \ scotland \ oklopol \ gaszpacho \ d-module \ the us \ misspellings of croissant \ devious \ quote \ you \ gaspacho \ the them \ hagb4rd \ ☃ \ norway \ ngevd \ egobot \ footnote 8 \ pietbot \ flagpole \ fungot \ itidus19 \ coppro
+2013-02-11.txt:16:45:11: <elliott> Phantom__Hoover: did you forget the part where you drove itidus off
+2013-02-17.txt:14:14:12: <Phantom_Hoover> esomimic, mimic itidus21
+2013-02-17.txt:14:14:12: <esomimic> Phantom_Hoover: okay, mimicking itidus21
+2013-02-28.txt:21:52:57: <HackEgo> ​/var/irclogs/_esoteric/2011-08-01.txt:20:50:24: <monqy> Phantom_Hoover: 05:37:27: <itidus20> elliott_: i did an edit of it: http://oi51.tinypic.com/34h0z.jpg
+2013-04-23.txt:12:13:32: <Phantom_Hoover> `? itidus21
+2013-05-29.txt:19:38:30: <elliott> Phantom__Hoover: itidus came back for a minute
+2013-06-15.txt:23:30:14: <Phantom_Hoover> hey hagb4rd were you the one who led itidus to this channel
+2013-06-19.txt:19:18:20: <Phantom_Hoover> `? itidus21
+2013-06-19.txt:19:18:21: <Phantom_Hoover> `? itidus22
+2013-06-19.txt:19:18:32: <Phantom_Hoover> `? itidus19