00:13:01 -!- sebbu2 has quit (Client Quit). 00:40:05 ell 00:49:54 o? 00:50:02 or as in "bloody ell" 00:50:05 ? 00:54:33 Unspecified 00:57:08 yay, recursion without using registers 00:57:25 1[r 2*p r dx]dx 01:24:28 neato 01:26:11 dc is sweet 01:37:25 -!- crathman_ has joined. 01:37:49 -!- crathman_ has changed nick to crathman. 01:37:52 -!- crathman has quit (Remote closed the connection). 01:39:59 -!- graue has joined. 02:55:43 -!- calamari has joined. 02:57:45 -!- GreaseMonkey has joined. 04:51:14 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)). 05:02:42 -!- goban has joined. 05:08:29 -!- cmeme has quit ("Client terminated by server"). 05:08:39 -!- cmeme has joined. 05:15:25 hi 05:18:42 hi 05:18:49 im working on an IRC bot :D 05:19:44 how exciting. 05:19:50 *yawn* 05:27:47 Anybody got an Intel OS X box that wants to help me port crosslibc? 05:28:37 My suspicion is that it works as-is, since OS X uses the same syscall format as the rest of the BSD family. 05:30:34 -!- GreaseBot has joined. 05:30:56 Hehe, I'm only a slavebot for now :D 05:31:12 #PRIVMSG #esoteric :test 05:31:13 test 05:31:29 ok, so i now have a bot. cool? 05:31:31 #QUIT Hahaha 05:31:39 :( 05:31:40 nice try 05:31:47 but it's nick-dependent 05:32:00 #QUIT :OK GregorR, I give up 05:32:00 -!- GreaseBot has quit (Client Quit). 05:32:21 wtf? why didn't i get a quit message? 05:32:40 Go look it up on the freenode FAQ. 05:32:47 Everybody asks that the first time they write a bot :P 05:33:41 do i have to register to get a quit message? 05:33:58 Go look it up on the freenode FAQ. 05:33:59 Everybody asks that the first time they write a bot :P 05:35:51 i can't find the question :( 05:39:12 IIR, basically: If you're not registered, you need to be on for a few minutes before it will allow quit messages, and also certain activities cause it to penalize that time. 05:41:31 *IIRC 05:41:35 I hate this keyboard X_X 05:48:49 GregorR: I have an intel-based mac 05:49:32 RodgerTheGreat: If you'd like to help, one of two options: Either compile a few things for me and see if they run, or give me SSH so I can do the same. 05:50:23 hand me a tar and I'll take a crack at compiling its contents 05:53:02 [uploading] 05:53:22 http://www.codu.org/rtload-r10.tar.bz2 05:53:41 Just 'make' to compile rtload, then: ./rtload test-xlibc.elf 05:53:47 Should say Hello, world 1! I believe. 05:53:57 alright, one sec 05:54:09 [If it segfaults after that, don't worry about it, rtload is still a bit funky :P ] 05:55:17 hrm.. 05:55:19 wads-5-232-13:~/Desktop/rtload-r10 Rodger$ make 05:55:19 gcc -g -DRTLOAD_STATICELF -DRTLOAD_AOUT -c rtload.c -o rtload.o 05:55:20 gcc -g -DRTLOAD_STATICELF -DRTLOAD_AOUT -c ldrs.c -o ldrs.o 05:55:20 gcc -g -DRTLOAD_STATICELF -DRTLOAD_AOUT -c bbuffer.c -o bbuffer.o 05:55:20 bbuffer.c: In function 'bbuffer': 05:55:20 bbuffer.c:143: error: PIC register 'ebx' clobbered in 'asm' 05:55:21 make: *** [bbuffer.o] Error 1 05:55:43 Hm, apparently Mac OS X does all code as PiC ... 05:55:45 I can fix that. 05:56:57 Whoops - hahaha, it doesn't even actually clobber it, it just claims to :P 05:57:17 ... meaning? 05:57:33 In bbuffer.c, on line 118, remove: , "ebx" 05:58:21 so the line is just 05:58:22 : "eax",); \ 05:58:24 ? 05:58:31 No comma ther 05:58:38 ah, alright 05:58:46 that's what I was about to ask 05:59:03 I did put a comma in what I told you to remove ;) 05:59:10 oh 05:59:32 it builds cleanly now, but then I get this: 05:59:33 wads-5-232-13:~/Desktop/rtload-r10 Rodger$ ./rtload test-xlibc.elfBus error 05:59:47 Bus error ... always a nice one :P 05:59:49 there's a newline in there somewhere... 06:00:03 what next, chief? 06:01:15 I'll be back in a few minutes ;) 06:01:21 ok 06:01:29 Unfortunately, debugging rtload and crosslibc is about as big of a PITA as there is >_> 06:01:39 I can only imagine 06:03:27 wow- not a bad deal: http://www.woot.com/ 06:04:29 pop some more ram and a video card in that thing and it'd be a damn decent machine 06:05:04 and considering the parts, it wouldn't be easier to build one for cheaper 06:05:12 *easy 06:10:54 afk, food 06:12:52 -!- Arrogant has joined. 06:12:55 * GregorR reappears. 06:14:18 RodgerTheGreat: Do you want to be indoctrinated into the crosslibc cult [help debug where that error is]? 06:14:52 erm... well, I'm no C-coder myself- I'm not sure how much of a help I could be 06:15:22 You could give me SSH ;) 06:15:56 nothing personal, dude, but I'm not in the habit of giving random people from the internet shell access to my machine 06:16:07 if I still had my backup box, I'd say have at it 06:16:40 but one of my roommate's friends gave that computer a bath, and it has mysteriously ceased working 06:16:44 if you get my meaning 06:16:49 Heh 06:35:15 -!- calamari has quit ("Leaving"). 06:38:08 back 06:54:47 'night all- GregorR: if you need anything done, I'll be here most of tomorrow 07:10:13 -!- oerjan has joined. 07:40:17 -!- Arrogant has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:09:53 my bot works 08:10:06 and it's pretty cool 08:10:09 wanna see? 08:16:01 -!- jix__ has joined. 08:23:42 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 08:25:13 night everyone 08:26:46 -!- GreaseMonkey has quit ("I should make more bots. It's fun. Roger_The_Bum, nice try, but you use SupyBot. And that's generic. Generic bots are kinda g). 08:47:37 -!- helios_ has joined. 09:05:03 Well, I think I am finished writing obscenely inefficient programs. My computability theory homework is finished. 09:06:19 I really do mean obscenely inefficient. How about f(n,n) runtimes where f(0,y) = y and f(x+1,y) = 2^f(x,y) ? 09:06:26 on purpose, I assume. :) 09:06:52 no, it's just that they don't matter, so we ignore the runtime 09:06:58 all that matters is computability 09:07:06 oh. 09:07:18 that's not even Ackermann. 09:07:58 I think there are some ackerman runtimes around too. 09:08:34 i suppose if you do complexity theory you might have to do it again. 09:08:44 Want to recurse? Just make your program a quine and include a universal interpreter whereever recursion is required. 09:08:52 he 09:08:52 heh 09:09:26 and then it _definitely_ would be on purpose. 09:09:34 see here for example: http://www.dur.ac.uk/s.s.dantchev/Teaching/ATC-CT/ 09:09:55 want to make a datastructure? well the only type available is Nat, but that's ok... 09:10:33 and the only operation is Succ? :) 09:10:39 you just do = 2^x*(2*y + 1) - 1 09:10:50 oerjan: no, you have limited predecessor too 09:11:01 also JNZ 09:11:26 and a clever macro system that is not too bad at replacing subroutines 09:11:28 Minsky machines 09:12:10 no indexing of course 09:12:30 * SimonRC goes to breakfast 09:38:22 -!- jix__ has joined. 09:41:57 -!- sebbu has joined. 10:16:59 -!- helios_ has quit ("Leaving"). 10:21:29 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 10:35:04 -!- goban has quit (Remote closed the connection). 10:41:58 -!- nazgjunk has joined. 10:53:01 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 10:53:15 -!- UpTheDownstair has joined. 10:53:37 -!- UpTheDownstair has changed nick to nazgjunl. 10:53:41 -!- nazgjunl has changed nick to nazgjunk. 11:24:00 -!- UpTheDownstair has joined. 11:28:28 -!- nazgjunk has quit (Read error: 145 (Connection timed out)). 11:38:01 -!- nazgjunk has joined. 11:38:57 -!- UpTheDownstair has quit (Read error: 104 (Connection reset by peer)). 11:50:09 -!- oerjan has quit (Read error: 104 (Connection reset by peer)). 12:04:26 -!- nazgjunk has quit (Client Quit). 13:41:01 -!- calamari has joined. 14:22:23 -!- jix__ has joined. 14:35:10 -!- calamari has quit ("Leaving"). 14:36:25 -!- Arrogant has joined. 14:55:51 -!- jix__ has changed nick to jix. 16:21:03 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 16:23:50 -!- jix has joined. 17:18:28 hmm 17:18:43 can i find the list of argument a function need somehow? 17:18:43 eh 17:18:46 in python 17:18:48 *arguments 17:18:53 at runtime of course 17:19:04 *needs 17:45:02 there's foo.func_code_co_argcount 17:45:26 and foo.func_code.co_varnames 17:51:34 __import__("pydoc").inspect.getargspec(my_funx) was what #python told me 17:51:41 that seems to work fine 17:52:25 that thing probably uses the fields i mentioned :) 17:56:31 -!- nazgjunk has joined. 17:59:19 -!- RodgerTheGreat has quit. 18:03:49 yeah, i thought that might be the case :P 18:04:10 but it's not important, as long as it works 18:40:45 -!- UpTheDownstair has joined. 18:42:46 -!- nazgjunk has quit (Nick collision from services.). 18:42:50 -!- UpTheDownstair has changed nick to nazgjunk. 18:54:36 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 18:54:47 -!- UpTheDownstair has joined. 18:58:56 -!- nazgjunk has joined. 18:59:49 -!- UpTheDownstair has quit (Connection reset by peer). 19:11:26 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 19:11:47 -!- nazgjunk has joined. 19:13:20 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 19:14:25 -!- nazgjunk has joined. 19:19:41 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 19:20:07 -!- nazgjunk has joined. 19:29:36 -!- UpTheDownstair has joined. 19:30:36 -!- nazgjunk has quit (Connection reset by peer). 19:30:55 -!- UpTheDownstair has changed nick to nazgjunk. 19:32:27 -!- ShadowHntr has joined. 19:41:24 -!- sebbu2 has joined. 19:57:31 -!- UpTheDownstair has joined. 19:58:11 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 19:59:41 -!- UpTheDownstair has changed nick to nazgjunk. 20:06:24 -!- sebbu has quit (Connection reset by peer). 20:17:32 -!- UpTheDownstair has joined. 20:18:31 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 20:18:51 -!- UpTheDownstair has changed nick to nazgjunk. 20:37:03 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)). 20:49:11 -!- RobHu has quit ("leaving"). 20:56:55 i think hq9 should archive turing completeness with X so that X prevents execution of h, q and 9 but h still returns "hw" in the stream and 9 returns the number 9, q somehow applies two thing together so that it is possible to combine hello worlds and 9's into something sensible 20:57:09 i'm sure i soon get an idea how to do this :\ 20:57:20 *thigs 20:57:22 *things 20:57:49 X would thus be the opposite of unlambda's ` (maybe) 21:14:45 what's the opposite of application? 21:15:06 displication 21:17:21 well, in application you give the function some arguments... so in displication you make (\a -> f) where f is the function to be displicated 21:17:23 i'd say 21:18:14 so H will not be executed since it is now required to get an argument before outputting Hello, world 21:19:14 X9 -> (\a->9) 21:19:14 XXH -> (\a->(\a->H)) 21:19:22 i still have no idea what you can do with this 21:19:26 :) 21:21:41 so, delay 21:21:53 maybe. 21:26:39 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 21:39:07 -!- Rugxulo has joined. 21:39:37 -!- Rugxulo has left (?). 21:44:21 -!- nazgjunk has joined. 21:52:39 -!- Sgeo has joined. 22:17:47 -!- sebbu2 has changed nick to sebbu. 22:28:11 -!- Arrogant_ has joined. 22:30:37 -!- Arrogant_ has quit (Client Quit). 22:36:42 -!- nazgjunk has quit ("Leaving"). 22:43:10 -!- sebbu2 has joined. 22:53:10 -!- Arrogant has quit (Read error: 113 (No route to host)). 23:01:31 -!- Sgeo has quit ("Leaving"). 23:01:44 -!- sebbu has quit (Connection timed out). 23:14:51 -!- sebbu2 has quit ("@+"). 23:27:52 hmmm 23:27:54 http://en.wikipedia.org/wiki/Lagrange_inversion_theorem