00:03:28 -!- Slereah_ has joined. 00:03:28 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 00:12:07 Bye all 00:28:55 I've decided I'm a nomic. 00:29:00 -!- Sgeo has quit (Success). 00:29:08 Until people start talking about something else, that is. :-P 00:29:51 ihope: ##nomic, you. :P 00:48:28 ihope is being a nomic in ##nomic :P 00:49:01 Actually, that nomic is just pretending to be me. It's really an ordinary nomic of traditions. 01:02:18 http://arxiv.org/abs/0806.2947 Wot 01:11:05 -!- Slereah has joined. 01:11:12 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)). 01:28:04 Slereah: http://arxiv.org/abs/0806.2947 analyze the stupidness lpz 01:28:06 *plz 01:31:41 bye :) 01:31:45 -!- tusho has quit. 01:38:11 -!- olsner has quit ("Leaving"). 01:44:49 I don't know what Herbrand is. Therefore, the proof is correct. 01:45:20 I'd rather prove that ZFC being consistent implies that ZFC is consistent with ZFC's being consistent, and making that a paradox somehow. 01:47:29 I guess that means that from ZFC plus "ZFC is consistent", you can prove that ZFC plus "ZFC is consistent" is consistent, which, by Goedel's Whatever, implies that ZFC plus "ZFC is consistent" is inconsistent, which somehow means that ZFC is inconsistent. 01:47:30 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 01:48:38 -!- Slereah_ has joined. 02:09:11 Herbrand is the first guy to prove arithmetic inconsistent. 02:09:17 Well, incomplete. 02:10:05 That article uses way too much abreviations. 02:33:27 lalala 02:37:34 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)). 02:44:10 -!- Corun has quit (Remote closed the connection). 02:44:24 -!- Corun has joined. 03:23:02 -!- Corun has quit ("This computer has gone to sleep"). 03:53:08 -!- GreaseMonkey has joined. 05:36:51 -!- Slereah_ has joined. 06:08:04 -!- ihope has quit (Read error: 110 (Connection timed out)). 06:34:44 -!- olsner has joined. 07:39:23 -!- fizzie has quit (clarke.freenode.net irc.freenode.net). 07:39:23 -!- lifthras1ir has quit (clarke.freenode.net irc.freenode.net). 07:40:11 -!- lifthras1ir has joined. 07:40:11 -!- fizzie has joined. 07:41:54 -!- Slereah has joined. 07:41:54 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)). 07:47:00 -!- Slereah_ has joined. 07:52:01 -!- GreaseMonkey has quit ("Remote closed the previous member app"). 07:56:17 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 07:57:54 -!- Slereah has joined. 07:57:54 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:20:46 -!- Slereah_ has joined. 08:20:46 -!- Slereah has quit (Read error: 104 (Connection reset by peer)). 09:14:07 -!- fizzie has quit (clarke.freenode.net irc.freenode.net). 09:14:07 -!- lifthras1ir has quit (clarke.freenode.net irc.freenode.net). 09:15:51 -!- lifthras1ir has joined. 09:15:51 -!- fizzie has joined. 10:34:11 -!- jix has joined. 11:32:46 -!- kar8nga has joined. 11:43:27 o.o 12:20:31 -!- Corun has joined. 12:47:26 -!- ihope___ has joined. 12:47:35 -!- ihope___ has changed nick to ihope. 12:59:13 -!- kar8nga has left (?). 13:07:13 -!- RedDak has joined. 13:29:32 -!- Corun has quit ("This computer has gone to sleep"). 14:06:46 -!- Corun has joined. 14:19:21 -!- ihope has quit (Read error: 110 (Connection timed out)). 14:26:08 -!- jix has quit (Nick collision from services.). 14:26:16 -!- jix has joined. 14:44:02 -!- Corun has quit ("This computer has gone to sleep"). 14:45:11 -!- RedDak has quit (Remote closed the connection). 14:46:19 -!- sebbu2 has joined. 15:01:54 -!- sebbu has quit (Read error: 110 (Connection timed out)). 15:45:09 -!- tusho has joined. 15:45:20 hi ais523 15:45:22 oh. 17:10:16 -!- Corun has joined. 17:18:11 -!- timotiis has joined. 17:35:11 -!- kar8nga has joined. 17:37:11 -!- jix has quit ("CommandQ"). 17:48:03 -!- ihope___ has joined. 17:48:12 -!- ihope___ has changed nick to ihope. 17:48:35 IHOPE 17:48:55 EHIRD 17:51:14 WHO IS EHIRD 17:52:08 WHO IS YOU 17:54:58 -!- tusho has quit (Remote closed the connection). 18:07:22 -!- tusho has joined. 18:15:50 surreal 18:18:19 * ihope paints the word "surreal" on RodgerTheGreat's forehead 18:18:34 oh damn 18:19:52 * RodgerTheGreat paints the word "ISO-9000" on ihope's forehead 18:21:02 Yay, I'm standard! 18:31:10 RodgerTheGreat: I wanna play Rodgeria. 18:31:25 LOADING 18:32:41 You find yourself in a small, windowless room with surfaces roughly hewn from stone. There is a piece of chalk here. 18:32:50 Hm. 18:32:53 GET CHALK 18:32:58 Taken. 18:33:21 EAT CHALK 18:33:34 I'm not very hungry, thank you. 18:33:40 I AM 18:33:48 LOOK 18:34:08 You are still in a small windowless room. 18:34:24 LOOK SECRET DOOR 18:34:50 I don't see a 'SECRET DOOR' anywhere. 18:34:57 LOOK CHALK 18:35:03 You hear the flow of water in the distance 18:35:09 p.s. #rodgeria, don't wanna spam #esoteric 18:35:18 one moment then 18:50:12 -!- jix has joined. 18:52:28 Someone get in #rodgeria and help me solve this thing. :P 18:54:41 -!- ihope has quit (Read error: 60 (Operation timed out)). 19:05:09 tusho: did you give up or what? :( 19:05:36 -!- Corun has quit ("This computer has gone to sleep"). 19:16:56 -!- ihope___ has joined. 19:17:06 -!- ihope___ has changed nick to ihope. 19:17:46 It's pitch black. You are likely to be eaten by a grue. 19:18:00 Or, in a more funny version 19:18:09 It's Pitch Black. You are likely to be eaten by Riddick. 19:31:56 -!- Corun has joined. 19:48:25 -!- kar8nga has quit ("Leaving."). 19:54:07 -!- augur has quit (Read error: 104 (Connection reset by peer)). 19:54:23 -!- augur has joined. 19:54:37 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)). 19:59:13 -!- Slereah_ has joined. 20:06:33 Is there a "shame" tag on the esowiki? 20:06:46 You know, for Esme. 20:06:53 Category:Shame, I guess. 20:14:30 -!- poiuy_qwert has joined. 20:42:31 -!- oerjan has joined. 20:50:52 "It is pitch white. You are unlikely to be eaten by a grue" 20:51:02 Or perhaps "snow white" 20:51:05 "bone white: 20:51:17 or the ever popular "birdshit white" 20:51:41 otoh yetis and polar bears may be quite likely 20:51:45 It's pitch-that's-been-out-in-the-sun-for-decades white. 20:52:38 and evil yaks 20:52:51 It's pitch. You are likely. 20:52:56 @remember otoh yetis and polar bears may be quite likely and evil yaks 20:53:01 WE NEED BOTTE IN HERE. 20:53:13 and not to forget killer penguins 20:53:20 and pencil sharpeners 20:53:25 Clearly, we need a Python nomic bot. 20:53:43 Python? 20:53:46 You want... 20:53:51 MOTHERFUCKING SNAKES? 20:54:06 "I HATE SNAKES, JACK! I HATE 'EM!" 20:54:17 oh and that should remind us of Peruvian mountain anakondas 20:54:55 hm 20:55:01 I might make a PerlIRCNomic 20:55:12 *anacondas 20:55:26 the program given is run with -n or whatever with the nomic source as a program 20:55:53 @propose s/my @players = (/$0"tusho",/; 20:57:40 no? 21:25:16 Say. What kind of metadata does a wiki page need, anyway? 21:25:20 I can't think of anything sans permissions. 21:25:39 I give you permission to think. 21:26:46 heh 21:27:51 * SimonRC finishes reading Down and Out in the Magic Kingdom. http://craphound.com/down/download.php 21:27:54 it's great 21:28:12 tusho: how about a talk page? 21:28:14 history? 21:28:20 SimonRC: that's not part of the actual wiki page 21:28:24 ah, ok 21:28:28 language? 21:28:28 (history is handled by git, talk pages are just page/talk) 21:28:38 hm, nah 21:28:40 trying to KISS 21:28:51 I dunno how I'll handle foo and foo/bar, though. 21:28:56 -!- cherez has quit (Read error: 113 (No route to host)). 21:29:00 I mean, I could do foo/.index and foo/bar for that. 21:29:02 wait, you're writing a wiki? 21:29:05 But that kinda sucks if you just have a page with no subpages. 21:29:10 SimonRC: Yes. That uses git. 21:29:19 Very tiny. Minimal. (But nicer than git-wiki.) 21:29:39 are you doing this for the XP? 21:29:49 SimonRC: for the xp? 21:29:59 sorry, RPGism 21:30:04 oh, right 21:30:07 no, not really 21:30:11 I mean, for the practice and skills you'll gain from it 21:30:20 I need a nice wiki that isn't a huge memory & bloat hog like mediawiki 21:30:23 but still supports a nice set of featurse 21:30:30 also I like git 21:30:35 *features 21:31:12 and none of the 500 existing wikis give you that? 21:31:36 SimonRC: most of them suck. 21:31:40 the rest are hogs 21:31:50 git-wiki is a step in the right direction but not enough 21:31:50 hm, ok 21:32:04 git does like 90% of the work for me anyway 21:32:33 ah, so you are going to be more extreme in some combination of attributes than anything already existant 21:32:45 Yeah - like 'not sucking' ;) 21:33:03 you had me worried for a moment; I though you were going to make a generic wiki 21:33:14 no, not many wikis use git 21:33:19 they all hack up their own RCS, which sucks 21:33:34 the only one that does that I've found is hopelessly minimal 21:33:41 and doesn't really work well for me 21:33:55 that reminds me: I managed to break my company's primary SVN repos a few days back. 21:34:05 heh 21:34:10 evidently it didn't like my 3300-file commit 21:34:30 ... 21:34:30 what 21:34:37 WHAT 21:35:01 1650 auto-generated regression test cases: each an input and an output 21:35:13 well, about that number 21:41:06 -!- shachaf has joined. 21:56:47 -!- calamari has joined. 21:57:52 -!- cherez has joined. 22:02:47 -!- poiuy_qwert has quit (Read error: 110 (Connection timed out)). 22:17:07 * SimonRC stops surfing and goes to get food 22:28:58 i like food 22:29:31 All foods? 23:11:05 -!- Corun has quit ("This computer has gone to sleep"). 23:15:54 ALL FOODS! 23:17:36 Even what's only theorically food? 23:17:54 I have found the ultimate gift! http://pinkertonfx.com/hamster.htm (NSFW? Maybe?) 23:17:58 -!- Corun has joined. 23:18:20 Meh. 23:18:39 http://www.giantmicrobes.com/ <- much bettar 23:18:46 Give your friends AIDS 23:18:52 The gift that keeps on giving. 23:19:26 they don't seem to have aids though 23:20:02 http://www.giantmicrobes.com/us/products/hiv.html 23:21:59 "AIDS" isn't a virus 23:22:22 Yes. 23:22:28 But HIV doesn't have the same ring to it. 23:22:34 http://www.giantmicrobes.com/us/products/blackdeath.html 23:22:39 ooh, nice 23:22:39 Enough fuzz makes anything adorable. 23:22:54 oh FUCK YES 23:23:00 they have my favorite bacteriophage: http://www.giantmicrobes.com/us/products/T4.html 23:23:24 It's not very cuddly, though. 23:23:38 I disagree 23:24:26 lookit those cute widdle tail fibers 23:26:20 http://www.giantmicrobes.com/us/products/heartworm.html 23:26:23 Awwww :D 23:26:37 oh, that one's adorable too 23:26:53 Hearts make anything adorable. 23:27:00 Remember the companion cube? 23:27:56 that wasn't the only reason it was adorble 23:27:59 *adorable 23:28:15 I loved it because I knew it would never stab me 23:29:01 Plus, I feel so safe with it when energy balls are shot at me 23:29:20 It was my greatest friend in the whole world. :'( 23:29:41 -!- jix has quit ("CommandQ"). 23:29:46 But then 23:29:51 Tragedy struck http://membres.lycos.fr/bewulf/Divers3/Mah%20cube.jpg 23:29:52 D: 23:32:36 Oh no, French! The horror! 23:33:09 SUCCES DEVERROUILLE! 23:33:33 ITYM Quel horreur 23:34:42 I usually play the Valve games in English 23:34:53 But the names remain in the language of the CD. 23:35:01 The text, that is 23:35:11 *Quelle 23:46:15 -!- oerjan has quit ("Good night"). 23:49:02 -!- ihope___ has joined. 23:51:17 -!- ihope has quit (Nick collision from services.). 23:51:20 -!- ihope___ has changed nick to ihope. 23:53:03 i am going to remove all links to EsCo from the wiki 23:53:05 anyone object? 23:53:14 i should hope not; it's awful and it's spam 23:59:55 You should put the EsCo link on the esme page