00:02:50 -!- ihope has quit (Connection timed out). 00:43:19 A, air elementals, fire elementals, earth elementals, water elementals, titans, Lord Surtur, I, Vlad the Impaler, skeletons, werejackals, werewolves, wererats. 00:43:56 Hmm... I isn't actually a monster class, is it? 00:46:19 Isn't it "I" when there's a monster you can't see. 00:46:25 #define DEF_INVISIBLE 'I' 00:46:27 in monsym.h. 00:46:34 Yep. 00:46:36 &, salamanders, '. 00:49:39 Those are all the monsters that still exist in my NetHack game. 00:49:55 The rest have been genocided. 00:49:59 Including @. :-) 00:51:59 At least you 00:52:08 '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:43 * SimonRC *heart* xine 03:29:52 I download a tar.bz2, dump the contents in /usr/local/lib/win32, and it *just* *works*. 03:29:56 now it grocks some windows formats that are common on the web 03:32:15 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:19:34 Yeah, only 17 people. 04:19:39 "Nobody" 04:19:46 Wrong channel 04:19:49 I had the ? in it 04:19:57 :P 04:20:16 Just right clicked and joined from xchat, didn't notice the "?" on the end 04:24:45 !glass {M[m(_o)O!"http://www.esolangs.org/wiki/"(_o)o.?]} 04:24:51 http://www.esolangs.org/wiki/ 04:36:56 -!- coder_ has quit ("Leaving"). 05:06:56 -!- Arrogant has joined. 05:36:13 Hey. 05:53:12 -!- Robdgreat has quit ("I'd rather have this bottle in front of me than a frontal lobotomy."). 05:55:14 'lo 06:25:41 * Arrogant wrote a new language spec/interpreter last night... time to run more tests 06:41:00 Scopes are reaccessable now 06:41:26 Every one of them has an address 06:50:14 (n code) has become !%(code)x 06:50:35 (g code) has become 0(code) 06:50:38 Great fun. 07:18:01 -!- Robdgreat has joined. 07:27:54 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 (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:56:39 yh 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. 08:08:20 Hey nooga, CXI 08:08:27 hi :) 08:09:32 hihi hi 09:23:31 http://paragon.pastebin.com/742484 09:23:33 Success 09:24:13 Effectively variables <3 09:25:02 Now to sleep. 09:25:04 -!- Arrogant has quit ("Leaving"). 09:26:41 whatwasthat o.O/ 10:03:35 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 Arrogant is evidently trying to beat perl at its own game 14:46:54 |0[==:!%*=]| 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 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:17 Yes. 17:51:25 But it can't be Turing-complete or above. 17:52:15 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 lolol: http://www.ct24.cz/.multimedia/video/1148124018_Rath.wmv 17:55:09 If you have a programming language where every program goes into an infinite loop without doing anything, then... wait a minute. 17:57:07 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 lol(2): http://www.youtube.com/watch?v=cF5NletBOvg 18:20:39 "Algorithm March" 18:20:40 :-S 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:21:49 hmm 18:22:00 dunno about that 18:24:53 It can't be capable of infinite-loop based on the doesHalt() information 18:25:00 indeed 18:25:15 \r\n is crlf right? 18:25:17 okay, how about LISP with no functions 18:25:28 I meant Scheme. 18:25:43 Without functions you can't loop at all. 18:26:07 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 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 But no loops means that it always halts? 18:28:06 I don't want it to be "always halts' 18:30:51 ah, ok 18:30:53 hmm 18:46:33 hmm i think brainhype has a contradiction(??) 18:47:01 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 but i have to do homework now... 18:51:56 jix, the description of Brainhype has it solving the halting problem for its own computability class 18:53:46 *computational 19:11:16 -!- pgimeno has quit (Read error: 104 (Connection reset by peer)). 19:14:33 jix: indeed 19:14:45 hmm 19:20:27 Sgeo: yeah but you can write a program which halts if it doesn't halt and the otherway around.. 19:22:22 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 but i shouldn't know this i'm in grade 10.... ;) 19:24:29 why not?@ I knew it at that age 19:24:43 -!- pgimeno has joined. 19:25:06 SimonRC: that was j/k (see ";)") 20:02:03 yeah, ok 20:10:53 -!- SimonRC has quit ("Lost terminal"). 20:11:54 -!- SimonRC has joined. 20:13:53 grrr 20:13:54 I just lost several week's worth of scrollback 20:15:22 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!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 The "n=" prefix says it's not from your identd, so you should probably blame your IRC client. 20:46:55 Identd... I oughta enable that. 20:47:25 -!- ihope has quit. 20:48:47 -!- ihope has joined. 20:48:50 Hmm. 20:49:16 The ident thingy isn't working. 20:52:23 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 "I guess I'm a child progeny." 21:10:58 --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:06 * ihope screams 22:00:16 My touchpad has no scroll wheel. 22:00:24 * ihope bangs his head on the wall 22:01:20 Tragedy. 22:05:09 Hmm... flan de chocolate... 22:07:42 Nah. Flan de queso con chocolate. 22:18:31 Now, what's a polite way to say "removed yucky (and incorrect) description of the word 'foobar'"? 22:19:50 That sounds polite to me. 22:20:10 It does? 22:20:43 What about "neither of the language specs you added to the wiki are complete"? 22:24:44 -!- tgwizard has quit ("Leaving"). 22:24:55 That I'm not sure about. Sounds neutral. If it's factually correct. 22:32:07 what about "You smell like ass, get out of my internet"? 22:35:24 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 So shooting a gun can mean either shooting with a gun or shooting at a gun, eh? 22:51:35 Who shoots at a gun? 22:51:56 Um... 22:53:49 * SimonRC is hungry 22:54:51 how about "shooting up" :-) 23:08:57 Lucky Luke often shoots at a gun. 23:14:39 (With a gun.)