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