00:13:01 -!- sebbu2 has quit (Client Quit).
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:27:47 <GregorR> Anybody got an Intel OS X box that wants to help me port crosslibc?
05:28:37 <GregorR> 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 <GreaseBot> Hehe, I'm only a slavebot for now :D
05:32:00 -!- GreaseBot has quit (Client Quit).
05:32:40 <GregorR> Go look it up on the freenode FAQ.
05:32:47 <GregorR> Everybody asks that the first time they write a bot :P
05:33:58 <GregorR> Go look it up on the freenode FAQ.
05:33:59 <GregorR> Everybody asks that the first time they write a bot :P
05:39:12 <GregorR> 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:49:32 <GregorR> 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 <RodgerTheGreat> hand me a tar and I'll take a crack at compiling its contents
05:53:22 <GregorR> http://www.codu.org/rtload-r10.tar.bz2
05:53:41 <GregorR> Just 'make' to compile rtload, then: ./rtload test-xlibc.elf
05:53:47 <GregorR> Should say Hello, world 1! I believe.
05:54:09 <GregorR> [If it segfaults after that, don't worry about it, rtload is still a bit funky :P ]
05:55:19 <RodgerTheGreat> gcc -g -DRTLOAD_STATICELF -DRTLOAD_AOUT -c rtload.c -o rtload.o
05:55:20 <RodgerTheGreat> gcc -g -DRTLOAD_STATICELF -DRTLOAD_AOUT -c ldrs.c -o ldrs.o
05:55:20 <RodgerTheGreat> gcc -g -DRTLOAD_STATICELF -DRTLOAD_AOUT -c bbuffer.c -o bbuffer.o
05:55:20 <RodgerTheGreat> bbuffer.c:143: error: PIC register 'ebx' clobbered in 'asm'
05:55:43 <GregorR> Hm, apparently Mac OS X does all code as PiC ...
05:56:57 <GregorR> Whoops - hahaha, it doesn't even actually clobber it, it just claims to :P
05:57:33 <GregorR> In bbuffer.c, on line 118, remove: , "ebx"
05:59:03 <GregorR> I did put a comma in what I told you to remove ;)
05:59:33 <RodgerTheGreat> wads-5-232-13:~/Desktop/rtload-r10 Rodger$ ./rtload test-xlibc.elfBus error
05:59:47 <GregorR> Bus error ... always a nice one :P
06:01:15 <GregorR> I'll be back in a few minutes ;)
06:01:29 <GregorR> Unfortunately, debugging rtload and crosslibc is about as big of a PITA as there is >_>
06:04:29 <RodgerTheGreat> pop some more ram and a video card in that thing and it'd be a damn decent machine
06:05:04 <RodgerTheGreat> and considering the parts, it wouldn't be easier to build one for cheaper
06:12:52 -!- Arrogant has joined.
06:14:18 <GregorR> RodgerTheGreat: Do you want to be indoctrinated into the crosslibc cult [help debug where that error is]?
06:14:52 <RodgerTheGreat> erm... well, I'm no C-coder myself- I'm not sure how much of a help I could be
06:15:56 <RodgerTheGreat> nothing personal, dude, but I'm not in the habit of giving random people from the internet shell access to my machine
06:16:40 <RodgerTheGreat> but one of my roommate's friends gave that computer a bath, and it has mysteriously ceased working
06:35:15 -!- calamari has quit ("Leaving").
06:54:47 <RodgerTheGreat> '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:16:01 -!- jix__ has joined.
08:23:42 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
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 <SimonRC> Well, I think I am finished writing obscenely inefficient programs. My computability theory homework is finished.
09:06:19 <SimonRC> 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 <oerjan> on purpose, I assume. :)
09:06:52 <SimonRC> no, it's just that they don't matter, so we ignore the runtime
09:06:58 <SimonRC> all that matters is computability
09:07:18 <oerjan> that's not even Ackermann.
09:07:58 <SimonRC> I think there are some ackerman runtimes around too.
09:08:34 <oerjan> i suppose if you do complexity theory you might have to do it again.
09:08:44 <SimonRC> Want to recurse? Just make your program a quine and include a universal interpreter whereever recursion is required.
09:09:26 <oerjan> and then it _definitely_ would be on purpose.
09:09:34 <SimonRC> see here for example: http://www.dur.ac.uk/s.s.dantchev/Teaching/ATC-CT/
09:09:55 <SimonRC> want to make a datastructure? well the only type available is Nat, but that's ok...
09:10:33 <oerjan> and the only operation is Succ? :)
09:10:39 <SimonRC> you just do <x,y> = 2^x*(2*y + 1) - 1
09:10:50 <SimonRC> oerjan: no, you have limited predecessor too
09:11:26 <SimonRC> and a clever macro system that is not too bad at replacing subroutines
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:43 <oklopol> can i find the list of argument a function need somehow?
17:45:02 <lament> there's foo.func_code_co_argcount
17:45:26 <lament> and foo.func_code.co_varnames
17:51:34 <oklopol> __import__("pydoc").inspect.getargspec(my_funx) was what #python told me
17:52:25 <lament> that thing probably uses the fields i mentioned :)
17:56:31 -!- nazgjunk has joined.
17:59:19 -!- RodgerTheGreat has quit.
18:03:49 <oklopol> yeah, i thought that might be the case :P
18:04:10 <oklopol> 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 <oklopol> 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 <oklopol> i'm sure i soon get an idea how to do this :\
20:57:49 <oklopol> X would thus be the opposite of unlambda's ` (maybe)
21:17:21 <oklopol> 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:18:14 <oklopol> so H will not be executed since it is now required to get an argument before outputting Hello, world
21:19:22 <oklopol> i still have no idea what you can do with this
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:54 <bsmntbombdood> http://en.wikipedia.org/wiki/Lagrange_inversion_theorem