00:09:37 * kallisti_ should learn how to effectively use xargs 00:28:35 -!- augur has joined. 00:28:35 -!- augur has quit (Remote host closed the connection). 00:28:50 -!- augur has joined. 00:29:00 Actually I simplified those out in theory, except words seems to output "space, newline, space" after the last word, causing the simpler version to generate a spurious gry-line. :/ 00:29:09 `run words --eng-all 3 | sed -e 's/ \|$/gry&/g' 00:29:17 nachcnggry torygry griigry \ gry 00:29:19 `run words --eng-all 1 | od -t x1z 00:29:26 0000000 61 70 6f 6e 64 20 0a 20 >apond . < \ 0000010 00:29:46 See, what's that ... 20 0a 20 doing there? 00:31:05 (Also nachcnggry, totally English.) 00:31:49 Maurnest thou thine nachcnggry. 00:35:06 fizzie: huh 00:35:06 weirde 00:36:10 oh I know why. 00:36:33 local $\ = ' '; print generate for 1..min(25, int($ARGV[0]||1)); print "\n"; 00:40:13 `fetch http://dl.dropbox.com/u/16495819/words.pl 00:40:16 2012-01-24 00:40:16 URL:http://dl.dropbox.com/u/16495819/words.pl [4627/4627] -> "words.pl" [1] 00:40:29 `run chmod +x words.pl; mv words.pl bin/words 00:40:33 No output. 00:40:36 `words 5 00:40:42 Optional module Math::Random::MT::Perl not found. \ lamore golo grapp blacea collllll 00:41:20 oh yes I actually care about random number generation unlike Gregor. 00:43:29 `run sed -i~ -e 's/^\s*warn/#warn/' 00:43:32 sed: no input files 00:43:36 `run sed -i~ -e 's/^\s*warn/#warn/' bin/words 00:43:40 No output. 00:43:50 `words --esolangs 500 00:43:55 onoz 0x29a intediusp rcem tmmlpter xigxag mon morse entropy object 5-log beat m-code sbeezg rna mage ted! sbeezg rever waker) nic fit flip constuff orook 00:45:17 `rm bin/words~ 00:45:20 No output. 00:58:38 -!- pir^2 has joined. 01:07:37 http://www.google.com/trends/?q=haskell,+PHP&ctab=0&geo=all&date=all&sort=0 01:09:23 interestingly Hugs gets more search volume tan GHC. 01:10:32 kallisti_, combined with Haskell on the same page? 01:10:41 Because if not, there's an obvious explanation for that 01:10:47 Erm, wait, not page. Search. 02:11:23 Is there any way to do custom grouping with a Map in Haskell? 02:11:44 The keys are a record with two fields, and I want to group on one of them 02:18:57 zzo38: you could do a fold to a list of Maybe and then catMaybes 02:19:43 is that what you meant by grouping? 02:20:39 kallisti_: I mean, all items that the first field of the key is same, should be grouped together. They are already sorted since it is Map, and that is the primary sort already 02:21:25 zzo38: so you want a [[a]] output? 02:21:49 That might do, or [Map] 02:21:57 I am unsure 02:22:13 group . toDescList should give you what you want anyway, assuming you don't want to apply some other sort. 02:23:16 otherwise you could probably do something by hand with mapAccumWithKey 02:23:21 if you want a map result or something else. 02:23:43 Maybe I have to convert to list and use groupBy; the result doesn't have to be map 02:25:57 andRule :: (Monad m) => WalkRule m a -> WalkRule m b -> WalkRule m b 02:25:58 andRule f g i = f i >> g i 02:26:03 does this look like >> for an existing monad? 02:26:38 Is it like ReaderT? 02:26:46 yes that's what I thought 02:26:52 I accidentally invented ReaderT :P 02:27:11 type WalkRule m a = WalkInfo m -> m a 02:28:31 thenRule :: (Monad m) => WalkRule m a -> WalkRule m b -> WalkRule m b 02:28:32 thenRule f g i = f i >>= (\m -> g i{wMove = m}) 02:28:37 however here I do something different 02:28:58 maybe I should rewrite this as RWS. 02:29:06 or just ReadT State 02:32:32 aah 02:32:55 thenRule can be done with local 02:37:19 > const [1,2,3,4] ++ const [1,2,3,4] 02:37:20 Overlapping instances for GHC.Show.Show (b -> [t]) 02:37:20 arising from a use of... 02:37:27 > const [1,2,3,4] ++ const [1,2,3,4] $ [3] 02:37:29 [1,2,3,4,1,2,3,4] 02:37:45 > const [1,2,3,4] `mplus` const [1,2,3,4] $ [3] 02:37:46 No instance for (Control.Monad.MonadPlus ((->) [t])) 02:37:46 arising from a use ... 02:44:14 -!- myndzi has joined. 02:54:04 -!- pikhq has joined. 02:54:07 -!- pikhq_ has quit (Ping timeout: 248 seconds). 03:01:37 -!- pir^2 has changed nick to PiRS|around|busy. 03:06:51 -!- Guardric has joined. 03:08:53 Be that Gregor, or just someone else from Purdue? 03:29:08 Could anyone explain to me how Iota/Jot operate? I don't know much about lambda calculus or combinatory logic, so it's hard for me to follow many of the descriptions online. My main confusion is how these languages manage to actually manipulate data 03:31:43 Quite honestly, you would probably be best off learning a functional language (e.g. Haskell), which would make the semantics of Iota fairly obvious. 03:33:43 You can make data into functions, such as church numbers, and so on, explain by Wikipedia and by the Unlambda documentation 03:51:19 ok thanks 03:51:28 -!- Guardric has quit (Quit: Leaving). 03:53:07 lol 04:08:10 -!- rodgort has quit (Quit: ERC Version 5.3 (IRC client for Emacs)). 04:10:03 -!- PiRS|around|busy has changed nick to pir^2. 04:11:22 Does the Haskell compiler know that equality is reflexive? 04:12:07 it might. I don't know if Eq necessarily has that as a law though 04:13:04 a cursory glance suggests that there's no rewrite rule to handle the reflexive case 04:13:30 I would be surprised if there were non-reflective instances of Eq. 04:13:39 *reflexive 04:14:44 The compiler ought to know it is reflexive so that you can do shortcut by pointer equality when it would help; is there any way for a Haskell compiler to know when to do that, anyways? 04:16:10 syntactically at compile time, sure. 04:17:50 -!- rodgort has joined. 04:17:51 What I mean is if there are some large structures that are usually passed using the same calculated value (so, same pointer) then check pointer equality first, if that fails then you can check in the other way 04:21:28 RWS is nice. 04:22:15 zzo38: dunno. the additional test would have to be worth it though. 04:48:14 -!- pir^2 has quit (Quit: bye). 04:50:39 kallisti_: Yes, I know; it depend on the circumstances it might or might not be worth it. 04:52:29 -!- MDude has changed nick to MSleep. 04:56:35 despite being slightly ill-defined MonadPlus is a very useful generalization 04:57:20 it would be better if it were broken up into multiple typeclasses, and with a proper way to refer to typeclass synonyms. 04:59:17 The class Alternative is the similar thing for Applicative 05:01:13 Although MonadPlus has a left zero law which is actually implied by the type signature of mzero and the monad laws 05:03:00 A proper way to refer to typeclass synonyms, in my opinion, would be to have a kind & where you can then use the "type" command 05:04:40 For example, to mean they have two classes required, you can have: type (X :: * -> &) (x :: *) = (Y x, Z x) 05:04:53 (Where Y and Z are classes) 05:05:46 > let f = 2 where where where where where where in f 05:05:47 : parse error on input `where' 05:06:43 kallisti_: What is that supposed to be?????? 05:07:21 nothing I was seeing what would happen 05:07:25 http://robertsrules.forumflash.com/index.php?/topic/14206-treasurers-report/page__view__findpost__p__68024 05:07:27 pretty sure you can have an empty where though 05:07:39 Do you need {} afterward if it is empty where? 05:07:48 on one line probably 05:07:51 but not with layout 05:07:58 > let f = 2 where {} in f 05:07:59 2 05:08:02 > let f = 2 where in f 05:08:03 2 05:08:06 oh, no. 05:08:23 > let in 2 05:08:24 2 05:13:30 type aliases curry right? 05:13:37 type Walk = WalkT Identity 05:13:47 Yes, I believe so. 05:23:58 -!- pikhq_ has joined. 05:24:10 -!- pikhq has quit (Ping timeout: 245 seconds). 05:25:09 What should my program write in the Cwt/v field of the S3M files it creates? It is a sixteen-bit field which is supposed to indicate created with tracker/version. 05:31:31 -!- rodgort has quit (Ping timeout: 252 seconds). 05:53:19 -!- azaq23 has joined. 05:57:31 I will just put 0x0000 05:57:37 someone suggest a cli command with the user dict that would let me estimate the number of legal trigrams (or smaller) in the english language 06:18:58 -!- azaq23 has quit (Quit: Leaving.). 06:22:45 `run perl -e 'use Storable; ($grams,undef) = retrieve("share/WordData/Eng1M"); print scalar keys %$grams" 06:22:48 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 06:22:53 `run perl -e 'use Storable; ($grams,undef) = retrieve("share/WordData/Eng1M"); print scalar keys %$grams' 06:22:58 Not a HASH reference at -e line 1. 06:23:14 `run perl -e 'use strict; use Storable; ($grams,undef) = retrieve("share/WordData/Eng1M"); print scalar keys %$grams' 06:23:18 Global symbol "$grams" requires explicit package name at -e line 1. \ Global symbol "$grams" requires explicit package name at -e line 1. \ Execution of -e aborted due to compilation errors. 06:23:26 `run perl -e 'use strict; use Storable; my ($grams,undef) = retrieve("share/WordData/Eng1M"); print scalar keys %$grams' 06:23:32 Not a HASH reference at -e line 1. 06:24:09 `run perl -e 'use strict; use warnings; use Storable; my ($grams,undef) = retrieve("share/WordData/Eng1M") or die; print scalar keys %$grams' 06:24:15 Not a HASH reference at -e line 1. 06:26:15 `run perl -CSDL -e 'use strict; use warnings; use Storable "retrieve"; my ($grams,undef) = @{retrieve("share/WordData/Eng1M")}; print scalar keys %$grams' 06:26:21 49303 06:26:25 quintopia: ^ 06:26:30 turns out I already have that data for you. 06:26:44 that's from a google dataset of 1 million english words. 06:31:13 running my gram script on /etc/share/dict/american-english yields 7665 trigrams. 06:31:16 well... 06:31:31 character trigrams. did you mean word trigrams actually? I get confused sometimes. :P 07:03:39 Right now the sun and moon are not directly overhead any land; they are over the water. 07:03:50 -!- Klisz has quit (Quit: SLEEP, GLORIOUS SLEEP). 07:05:29 I have a map of where the sun, moon, and planets is rising, setting, and directly overhead, for this time. 07:05:46 Is it daytime in your location? 07:08:53 morningtime in mine 07:09:49 Do you mean the sun has already risen and it is before solar noon? 07:11:00 well according to the internet, the sun should be rising right about now 07:11:29 length of day 7 hours 17 minutes, so i suppose 3.5 hours till solar noon 07:12:40 According to Astrolog, too; I found Finland on the map according to Wikipedia 07:13:36 Are you in the south half of Finland? 07:13:48 roughly as south as helsinki 07:13:57 slightly norther... i think 07:14:28 something like 20 km norther maybe 07:16:26 (i assume you know where helsinki is if you just astrologged finland) 07:18:05 Is it near the red line? http://zzo38computer.cjb.net/img_14/astro-graph.png (I know where Finland is because I looked it up in Wikipedia, so I can see the red line on this map passes through the south half of Finland) 07:19:04 I believe these lines are for the *center* of the object rising, and ignoring refraction, but still taking into account the finite speed of light. 07:25:24 I have heard that the moon looks sideways in some places? 07:33:56 > [const 2, const 3] <*> [1,2,3] 07:33:57 [2,2,2,3,3,3] 07:48:55 Astrological signs are about as useful a measurement of ecliptic angles as months are a measurement of the date on the calendar. Agree/disagree/something else? 08:08:32 -!- kallisti_ has changed nick to kallisti. 08:13:50 -!- zzo38 has quit (Remote host closed the connection). 08:17:10 -!- oklofok has joined. 08:17:23 http://www.youtube.com/watch?v=tiMMERUpaNY my eyes are finally open 08:18:02 i've always wondered why the pharao needed to catch moses, but it's now obvious it's because he stole the superconductor 08:19:37 Youve got to be ignorant not to believe this. clearly civilizations before us? could do what we today, cannot. when looking at the crystal skulls, the underground chambers that are mapped out so direct and so precise that even today scientists are baffled. think what you want but our society is growing ignorant and is afraid to believe that we arent as powerful as we once were. 08:19:42 -!- Slereah has joined. 08:19:47 hmm prolly didn't come through 08:19:53 and so precise that even today scientists are baffled. think what you want but our society is growing ignorant and is afraid to believe that we arent as powerful as we once were. 08:20:05 -!- _Slereah has quit (*.net *.split). 08:20:05 -!- oklopol has quit (*.net *.split). 08:20:24 There is some sort of an echo here, it seems. 08:20:30 :D 08:20:44 `? monoid 08:20:58 Monoids are just categories with a single object. 08:24:18 WHAT'S WRONG WITH PEOPLE 08:24:37 oklofok: they're not categories with a single object. 08:25:13 strictly speaking, don't monoids have to be small categories with a single object though? or maybe not when it's a category theory term. 08:25:57 single object categories are pretty small if you think about it... 08:28:33 yeah just like an infinite universe containing only a single atom of xenon is small. 08:28:55 see there's also krypton 08:34:23 -!- oerjan has joined. 08:36:44 23:20:03: Aw, e left. 08:36:44 23:20:04: czekgry taceaegry maurnegry liltigry xitgry mortigry nyadovgry skadenberagry lientgry regalgry roumegry vesiniegry komugry froygry oreingry categry scionagemoigry naragry isonpoetgry irrotigry 08:36:48 OKAY 08:49:47 @tell Does the Haskell compiler know that equality is reflexive? <-- it actually isn't, for Double (NaN) 08:49:47 Consider it noted. 08:51:10 many think that's a bad enough case that IEEE equality/ordering shouldn't have been used for the haskell instances 08:53:14 @tell zzo38 There is reallyunsafeptrequality#, but as the name says that's really unsafe 08:53:14 Consider it noted. 08:53:43 @tell zzo38 *reallyUnsafePtrEquality# 08:53:43 Consider it noted. 08:59:21 @tell @tell @tell 08:59:21 Consider it noted. 08:59:28 @ 34235@#$@#%@#$@#^ hi 08:59:32 @tell 34235@#$@#%@#$@#^ hi 08:59:33 Consider it noted. 09:02:11 some day someone is going to have to investigate why lambdabot's @tell file is 400 GB 09:03:45 actually maybe not, because by the time that happens that will be a too insignificant amount to worry about. 09:12:15 There hasn't even been 400 GB of irc in lambdabot's channels 09:13:18 DETAILS 09:13:25 you can also @tell in privmsg 09:25:37 the degree sequence is the sequence of sizes of single vertex cuts. what is the sequence of cuts of k vertices called? what is known about two graphs which have the same such sequences for all k<=n? 09:27:13 i'm sure there's someone, somewhere, who knows the answer. 09:27:37 yes 09:27:56 i know such a person 09:27:58 wikipedia or mathexchange maybe? 09:28:24 -!- ais523 has joined. 09:28:28 perhaps the latter 09:28:33 the former helpeth not 09:29:10 -!- GreaseMonkey has quit (Quit: The Other Game). 09:33:21 http://www.amazon.com/Esoteric-Programming-Languages-including-Instruction/dp/1243288019/ref=sr_1_3?ie=UTF8&qid=1327397466&sr=8-3 09:34:02 Hephaestus Books represents a new publishing paradigm, allowing disparate content sources to be curated into cohesive, relevant, and informative books. To date, this content has been curated from Wikipedia articles and images under Creative Commons licensing, although as Hephaestus Books continues to increase in scope and dimension, more licensed and public domain content is being added. 09:36:42 -!- monqy has quit (Quit: hello). 09:37:17 i think we've mentioned that before 09:37:22 ahh 09:41:33 http://blog.zx2c4.com/749 09:43:54 i hate long blog posts with the date at the bottom 09:45:08 i want to know _before_ i start reading whether this is from this year or 2001, dammit 09:46:07 not that i was actually going to read all of that, though 09:47:46 i posted question of mathexchange but i think half the question got cut off... 09:48:18 i think there may be a way to edit? 09:48:39 or perhaps you need to have reputation for that 09:49:37 It's all about the "reps". 09:49:51 "Hey peeps, have you got the reps?" <-- look, I can be hip too. 10:07:41 -!- Frooxius has quit (Read error: Connection reset by peer). 10:11:10 63 people on the course and the room has a sign "max. 32 people" on the wall. Oh well, let's hope only at most half show up. (Given that these things are optional, that's very possible.) 10:14:33 16 so far and I'm supposed to start in a minute. Maybe they'll all fit. 10:15:05 -!- Frooxius has joined. 10:15:28 fizzie: class seems to revolve around powers of 2 10:16:47 2^4 present.. 2^5 maximum... (2^6)-1 signed up 10:18:05 as to how 63 is not actually a power of 2, it is only one brainfuck instruction away from a power of 2 10:23:00 -!- zzo38 has joined. 10:51:24 -!- ais523_ has joined. 10:57:07 -!- rodgort has joined. 11:03:58 -!- pikhq has joined. 11:04:20 -!- pikhq_ has quit (Ping timeout: 260 seconds). 11:22:10 -!- zzo38 has quit (Remote host closed the connection). 11:23:04 -!- oerjan has quit (Quit: leaving). 11:29:23 There were a bit more than 2^4 at the end. 11:32:32 But less than 2^5. 11:57:12 -!- coppro has quit (Ping timeout: 240 seconds). 11:58:18 -!- coppro has joined. 12:19:08 Sadly, no-one asked which channel the data was from. 12:46:27 -!- Phantom_Hoover has joined. 12:51:09 -!- ais523_ has quit (Quit: Page closed). 13:02:51 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 13:03:11 -!- Phantom_Hoover has joined. 13:12:29 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 13:40:52 -!- augur has quit (Remote host closed the connection). 14:06:29 -!- MDude has joined. 14:08:03 -!- MSleep has quit (Ping timeout: 255 seconds). 14:10:45 -!- MDude has quit (Ping timeout: 255 seconds). 14:10:59 -!- MSleep has joined. 14:29:12 -!- MSleep has quit (Ping timeout: 255 seconds). 14:46:31 -!- augur has joined. 14:51:26 -!- Phantom_Hoover has joined. 14:51:34 halo 14:51:35 Phantom_Hoover: You have 3 new messages. '/msg lambdabot @messages' to read them. 16:05:06 hi Phantom_Hoover 16:26:29 kallisti, I may have forgotten to update you, I'm not sure 16:30:29 -!- MDude has joined. 16:35:58 >30*60 16:36:01 > 30*60 16:36:02 1800 16:40:42 -!- MDude has quit (Read error: Connection reset by peer). 16:40:57 -!- MDude has joined. 16:42:43 -!- MDude has quit (Read error: Connection reset by peer). 16:43:02 -!- MDude has joined. 16:44:23 -!- MSleep has joined. 16:48:15 -!- MDude has quit (Ping timeout: 255 seconds). 16:49:09 -!- MSleep has quit (Ping timeout: 255 seconds). 16:49:39 -!- ais523 has quit (Remote host closed the connection). 16:49:49 -!- MDude has joined. 16:51:55 -!- MSleep has joined. 16:54:32 -!- MSleep has quit (Read error: Connection reset by peer). 16:54:33 -!- MDude has quit (Ping timeout: 255 seconds). 16:54:45 -!- MDude has joined. 16:55:52 -!- leonid[sunp] has quit (Quit: Leaving). 16:57:45 -!- MSleep has joined. 17:00:57 -!- MSleep has quit (Read error: Connection reset by peer). 17:01:10 -!- MSleep has joined. 17:01:18 -!- MDude has quit (Ping timeout: 255 seconds). 17:06:21 > NaN == NaN 17:06:23 Not in scope: data constructor `NaN'Not in scope: data constructor `NaN' 17:06:27 Dammit. 17:07:49 > (0/0) == (0/0 :: Float) 17:07:50 False 17:11:54 -!- MSleep has quit (Read error: Connection reset by peer). 17:12:28 -!- MDude has joined. 17:14:17 -!- MSleep has joined. 17:17:30 -!- MDude has quit (Ping timeout: 255 seconds). 17:18:48 -!- MDude has joined. 17:18:51 -!- MSleep has quit (Ping timeout: 255 seconds). 17:19:20 -!- MDude has quit (Read error: Connection reset by peer). 17:20:24 -!- MDude has joined. 17:21:15 -!- MSleep has joined. 17:23:23 -!- MSleep has quit (Read error: Connection reset by peer). 17:23:35 -!- MSleep has joined. 17:25:09 -!- MDude has quit (Ping timeout: 255 seconds). 17:29:09 -!- MDude has joined. 17:32:48 -!- MSleep has quit (Ping timeout: 255 seconds). 17:33:19 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 17:33:36 -!- Phantom_Hoover has joined. 17:37:06 -!- Sandelkoenig has joined. 17:39:34 -!- MDude has quit (Read error: Connection reset by peer). 17:39:50 -!- MDude has joined. 18:03:51 -!- MDude has quit (Ping timeout: 255 seconds). 18:06:45 -!- ais523 has joined. 18:09:02 -!- Klisz has joined. 18:23:04 -!- oerjan has joined. 18:37:31 -!- monqy has joined. 18:48:39 -!- Ngevd has joined. 18:52:40 -!- Ngevd has quit (Ping timeout: 240 seconds). 19:12:30 -!- rodgort has quit (Ping timeout: 252 seconds). 19:24:31 -!- Vorpal has joined. 20:14:25 -!- GreaseMonkey has joined. 20:14:26 -!- GreaseMonkey has quit (Changing host). 20:14:26 -!- GreaseMonkey has joined. 20:18:42 * oerjan considers some of his recent unanswered blog comments and gets this weird thought: is the _universe_ shadow banning him? 20:20:02 oerjan: I'm still capable of perceiving you 20:20:14 ais is the universe 20:20:27 assuming that the universe isn't also producing fake oerjan comments in order to hide the fact that you've been banned 20:20:38 the fact of your existence doesnt inspire in him any feelings of preference 20:22:30 -!- oerjan has set topic: Now open for Japanese vacation trips | Get your esoil and esoline here! | Glorious optators graciously levy special tax to subsidize their gold-embossed biography to poor people | Based on the power of the nuclear family! | Spotted marsh elliott spotted in other marsh | Gregorian chants outlawed, "American" | http://codu.org/logs/_esoteric/. 20:23:54 ais523: esolang fora seem to be exempted 20:25:47 except for User:Nthern, that scoundrel. 20:28:24 Gregorian chants outlawed!? wtf 20:29:42 olsner: yes, Gregor admitted to being American. unprovoked, even. almost no torture involved at all. 20:31:35 oh right, that kind of gregorian 20:32:13 Gregor! Gregor! Gregor! Gregor! Gregor! 20:32:33 (am i banned now?) 20:35:30 this law applies to loyal citizens, you are obviously an american spy provocateur. 20:36:34 so, i'm banned for being an american spy provocateur? 20:37:07 just watch your step, is all i'm saying. 20:38:24 oh...is there a sudden drop-off at the door? did you just wax the floor? spill your marbles? 20:39:27 yes, there are a lot of lost marbles around here 20:41:42 where did all the marbles go though? must've gone somewhere 20:41:56 They went to the floor, duh. 20:42:33 the what? 20:42:50 `? mad 20:42:54 ​"But I don't want to go among mad people," Alice remarked. "Oh, you can't help that," said the Cat: "we're all mad here. I'm mad. You're mad." "How do you know I'm mad?" said Alice. "You must be," said the Cat, "or you wouldn't have come here." 20:43:10 so true 20:43:16 oh it was that one 20:43:30 swap that and the `? welcome text 20:43:38 er 20:43:39 YES 20:50:10 Agreed. 20:51:11 Although with the incessant portal chess it's kind of just been boring. 20:51:32 Agreed. 20:51:47 is anyone even doing esolangs anymore_ 20:52:31 Taneb does sometimes, but he also feeds the portal chess so it cancels out. 20:54:07 is that portal chess thing interesting? I missed the beginning of it so I've just filtered it all out 20:54:20 No. 20:54:50 It's just a chess variant based on an "OMG wouldn't it be cool if" taken too far. 21:06:30 * oklofok does recursion theory, does that count? 21:07:55 probably, it sounds alright 21:18:19 * oerjan tests the shadow ban theory by answering an actual math question 21:21:58 shadow ban? 21:22:45 ... 21:23:13 ...! 21:25:00 It's like shadow boxing, except you ban. 21:25:39 * olsner puts some shadows in boxes 21:27:59 ooh, kira nerys appears in Castle 21:30:06 Does DS9 fall on a planet and turn into a castle. 21:30:38 no, she's a dog psychologist 21:30:54 You mean... a dog who's also a psychologist? 21:31:54 unsure, but she emulated a human pretty well 21:45:30 Does DS9 fall on a planet and turn into a castle. <-- sounds like elfquest 21:52:59 hi 21:54:06 lo 21:54:15 me 22:20:43 -!- Jafet has quit (Quit: Leaving.). 22:24:07 -!- Phantom_Hoover has changed nick to Phantom_Hoover_. 22:24:18 -!- Phantom_Hoover_ has changed nick to Phantom_Hoover. 22:47:36 -!- rodgort has joined. 22:56:20 -!- Sandelkoenig has quit (Quit: ChatZilla 0.9.88 [Firefox 9.0.1/20111220165912]). 23:15:27 -!- Phantom_Hoover has quit (Quit: Leaving). 23:15:32 -!- pir^2 has joined. 23:24:57 -!- myndzi\ has joined. 23:28:11 -!- myndzi has quit (Ping timeout: 252 seconds). 23:46:06 -!- Klisz has quit (Excess Flood). 23:46:34 -!- Klisz has joined.