00:02:50 -!- ihope has quit (Connection timed out).
00:43:19 <ihope_> A, air elementals, fire elementals, earth elementals, water elementals, titans, Lord Surtur, I, Vlad the Impaler, skeletons, werejackals, werewolves, wererats.
00:43:56 <ihope_> Hmm... I isn't actually a monster class, is it?
00:46:19 <fizzie> Isn't it "I" when there's a monster you can't see.
00:46:25 <fizzie> #define DEF_INVISIBLE 'I'
00:49:39 <ihope_> Those are all the monsters that still exist in my NetHack game.
00:49:55 <ihope_> The rest have been genocided.
00:52:08 <fizzie> 're not doing the extinctionist thing.
01:22:37 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
02:21:53 -!- Inode has quit ("").
02:35:50 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
02:40:18 -!- kipple has quit (Read error: 110 (Connection timed out)).
03:07:49 -!- GregorR-L has joined.
03:08:39 -!- GregorR-L has quit (Client Quit).
03:29:52 <SimonRC> I download a tar.bz2, dump the contents in /usr/local/lib/win32, and it *just* *works*.
03:29:56 <SimonRC> now it grocks some windows formats that are common on the web
03:32:15 <SimonRC> anyway, the thing I wanted to view... high-power laser pens burning stuff!!! http://wickedlasers.com/videos.php
04:19:29 -!- coder_ has joined.
04:20:16 <coder_> Just right clicked and joined from xchat, didn't notice the "?" on the end
04:24:45 <GregorR> !glass {M[m(_o)O!"http://www.esolangs.org/wiki/"(_o)o.?]}
04:24:51 <EgoBot> http://www.esolangs.org/wiki/
04:36:56 -!- coder_ has quit ("Leaving").
05:06:56 -!- Arrogant has joined.
05:53:12 -!- Robdgreat has quit ("I'd rather have this bottle in front of me than a frontal lobotomy.").
06:25:41 * Arrogant wrote a new language spec/interpreter last night... time to run more tests
06:41:26 <Arrogant> Every one of them has an address
07:18:01 -!- Robdgreat has joined.
07:27:54 <fizzie> SimonRC; You don't really need eeevil proprietary win32 codecs to watch _those_ videos; they play just fine with my mplayer using the "[ffwmv1] vfm: ffmpeg (FFmpeg M$ WMV1/WMV7)" codec.
07:33:33 <fizzie> (Oh, perhaps you need some for the later videos, which seem to be vmw3/9; the very crashing ffwmv3 seems to, well, crash with them.)
07:56:32 -!- nooga has joined.
07:59:21 -!- CXI has quit (Read error: 104 (Connection reset by peer)).
07:59:48 -!- CXI has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
09:23:31 <Arrogant> http://paragon.pastebin.com/742484
09:25:04 -!- Arrogant has quit ("Leaving").
10:03:35 <nooga> i'm looking for a free shell account with irc access and background processes
10:23:30 -!- kipple has joined.
10:31:53 -!- nooga has quit.
11:05:36 -!- tgwizard has joined.
11:29:10 -!- jix has joined.
12:01:45 -!- mtve has joined.
14:46:49 <SimonRC> Arrogant is evidently trying to beat perl at its own game
14:50:44 -!- tokigun has quit (Read error: 104 (Connection reset by peer)).
15:17:11 -!- tokigun has joined.
15:21:30 -!- tokigun has quit (Client Quit).
15:22:10 -!- tokigun has joined.
15:43:19 -!- ihope_ has joined.
15:43:25 -!- ihope_ has changed nick to ihope.
17:33:10 -!- Sgeo has joined.
17:34:03 <Sgeo> Is it possible to write a language that can answer the halting problem for its own complexity class and it's not a machine that always halts?
17:51:25 <ihope> But it can't be Turing-complete or above.
17:52:15 <ihope> Well... by "answering the halting problem", do you mean "being able to act on the answer to the halting problem in a way that's as powerful as the rest of the language"?
17:54:43 <SimonRC> lolol: http://www.ct24.cz/.multimedia/video/1148124018_Rath.wmv
17:55:09 <ihope> If you have a programming language where every program goes into an infinite loop without doing anything, then... wait a minute.
17:57:07 <ihope> Ah, yes. It would be completely unable to compute, so it wouldn't have to do anything with the answer to the Halting problem to have met the criterion.
18:19:34 <SimonRC> lol(2): http://www.youtube.com/watch?v=cF5NletBOvg
18:21:28 * Sgeo meant a less-than-turning complete language that had a built-in doesHalt() like thing that can't be made up from the rest of the language
18:24:53 <Sgeo> It can't be capable of infinite-loop based on the doesHalt() information
18:25:17 <SimonRC> okay, how about LISP with no functions
18:25:43 <SimonRC> Without functions you can't loop at all.
18:26:07 <SimonRC> Oh, and no circular lets, to stop you abusing fold and map.
18:26:37 -!- ihope has quit ("Restarting Firefox, and taking ChatZilla with it").
18:27:11 <fizzie> What about let/cc, then? (Admittedly that's not in R5RS, and call-with-current-continuation is quite unusable if you can't have a function to pass it.)
18:27:56 <Sgeo> But no loops means that it always halts?
18:28:06 <Sgeo> I don't want it to be "always halts'
18:46:33 <jix> hmm i think brainhype has a contradiction(??)
18:47:01 <jix> the prove that brainhype can't be interpreted by brainhype could be used as a proove that brainhype can't be interpreted at all (with any computational class)
18:47:09 <jix> but i have to do homework now...
18:51:56 <Sgeo> jix, the description of Brainhype has it solving the halting problem for its own computability class
18:53:46 <Sgeo> *computational
19:11:16 -!- pgimeno has quit (Read error: 104 (Connection reset by peer)).
19:20:27 <jix> Sgeo: yeah but you can write a program which halts if it doesn't halt and the otherway around..
19:22:22 <jix> that's the way that gödel used to prove that every axiomatic system that is powerfull enough (i think this is the wrong term) is either incomplete OR has a contradiction...
19:23:03 <jix> but i shouldn't know this i'm in grade 10.... ;)
19:24:29 <SimonRC> why not?@ I knew it at that age
19:24:43 -!- pgimeno has joined.
19:25:06 <jix> SimonRC: that was j/k (see ";)")
20:10:53 -!- SimonRC has quit ("Lost terminal").
20:11:54 -!- SimonRC has joined.
20:13:54 <SimonRC> I just lost several week's worth of scrollback
20:15:22 <SimonRC> caps-lock was on, so I hit ^A C rather than ^A c, and killed window 0 thinking it was a problem that stopped me creating a shell
20:25:19 -!- ihope has joined.
20:32:28 <ihope> :ihope!n=foo@c-71-205-100-59.hsd1.mi.comcast.net PRIVMSG #esoteric :[insert message text here]
20:36:53 * ihope wonders why his username is foo
20:44:03 <fizzie> The "n=" prefix says it's not from your identd, so you should probably blame your IRC client.
20:46:55 <ihope> Identd... I oughta enable that.
20:47:25 -!- ihope has quit.
20:48:47 -!- ihope has joined.
20:49:16 <ihope> The ident thingy isn't working.
20:52:23 <fizzie> Firewalled, perhaps? Not that anyone cares whether you have "i=" or "n=" there, you could just tell your IRC client to use a more proper user name than 'foo'.
21:10:49 <ihope> "I guess I'm a child progeny."
21:10:58 <ihope> --Calvin, Calvin and Hobbes
21:32:34 -!- ihope has quit (Read error: 104 (Connection reset by peer)).
21:55:18 -!- Sgeo has quit (Remote closed the connection).
22:00:02 -!- ihope has joined.
22:00:16 <ihope> My touchpad has no scroll wheel.
22:00:24 * ihope bangs his head on the wall
22:05:09 <ihope> Hmm... flan de chocolate...
22:07:42 <ihope> Nah. Flan de queso con chocolate.
22:18:31 <ihope> Now, what's a polite way to say "removed yucky (and incorrect) description of the word 'foobar'"?
22:19:50 <fizzie> That sounds polite to me.
22:20:43 <ihope> What about "neither of the language specs you added to the wiki are complete"?
22:24:44 -!- tgwizard has quit ("Leaving").
22:24:55 <fizzie> That I'm not sure about. Sounds neutral. If it's factually correct.
22:32:07 <lament> what about "You smell like ass, get out of my internet"?
22:35:24 <fizzie> Close to being impolite; perhaps "the internet" instead of "my internet", and even then only if s?he actually does smell like ass. (Is that ass-as-in-animal or ass-as-in-body-part?)
22:46:58 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:51:17 <ihope> So shooting a gun can mean either shooting with a gun or shooting at a gun, eh?
22:54:51 <SimonRC> how about "shooting up" :-)
23:08:57 <fizzie> Lucky Luke often shoots at a gun.