←2007-03-19 2007-03-20 2007-03-21→ ↑2007 ↑all
00:01:07 <oerjan> heh.
00:01:58 <oerjan> Yk = (L L L L L L L L L L L L L L L L L L L L L L L L L L) where L = \abcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n t c o m b i n a t o r))
00:05:53 -!- sebbu2 has quit ("@+").
00:05:53 -!- bsmnt_bot has quit (Remote closed the connection).
00:05:56 -!- bsmnt_bot has joined.
00:07:14 -!- ShadowHntr has joined.
00:09:07 <bsmntbombdood> oerjan: wget is in the chroot now
00:10:54 <lament> you really want to be hacked? :)
00:11:37 <bsmntbombdood> ...?
00:17:14 -!- bsmnt_bot has quit (Remote closed the connection).
00:17:16 -!- bsmnt_bot has joined.
00:21:51 -!- bsmnt_bot has quit (Read error: 131 (Connection reset by peer)).
00:22:28 -!- nazgjunk has quit ("Leaving").
00:24:50 -!- bsmnt_bot has joined.
00:25:01 <bsmntbombdood> ~exec sys.stdout(os.listdir("/bot"))
00:25:02 <bsmnt_bot> ['files.img', 'a.out', 'scripts', 'betterbot.py', 'test.pickle', 'foo.py~', 'ski_repl.py', 'foo.py', 'ircbot.py~', 'start.sh', 'better.sh', 'start.sh~', 'ircbot.py']
00:25:10 <bsmntbombdood> ~exec sys.stdout(os.listdir("/bot/scripts"))
00:25:10 <bsmnt_bot> ['lost+found']
00:26:30 <bsmntbombdood> there's about 50MB you can use now
00:28:27 <oerjan> hm - it occurs to me there is nothing now preventing the download of binaries.
00:28:57 <bsmntbombdood> nope
00:29:05 <bsmntbombdood> but there is something preventing the execution of them
00:29:23 <oerjan> aha?
00:29:28 <bsmntbombdood> noexec
00:30:24 <bsmntbombdood> ~exec f=open("/bot/scripts/foo", "w"); f.write("foo\n"); f.close()
00:30:24 <bsmnt_bot> IOError: [Errno 13] Permission denied: '/bot/scripts/foo'
00:33:17 -!- bsmnt_bot has quit (Remote closed the connection).
00:33:22 -!- bsmnt_bot has joined.
00:35:42 -!- bsmnt_bot has quit (Remote closed the connection).
00:41:08 <oerjan> what is this noexec thing and how does it stop os.chmod?
01:02:37 -!- bsmntbombdood has quit ("Lost terminal").
01:03:05 -!- bsmntbombdood has joined.
01:04:52 -!- bsmnt_bot has joined.
01:05:00 <bsmntbombdood> let's try this again
01:06:02 <bsmntbombdood> ~exec f=open("/bot/scripts/foo", "w"); f.write("foo\n"); f.close()
01:06:20 <bsmntbombdood> finally
01:06:47 <bsmntbombdood> ~exec f=open("/bot/scripts/foo", "r"); sys.stdout(f.read()); f.close()
01:06:48 <bsmnt_bot> foo
01:07:29 <bsmntbombdood> k
01:08:10 <bsmntbombdood> ~exec os.system("wget 64.233.167.99 -O /bot/scripts/google.html")
01:08:41 <bsmntbombdood> ~exec f=open("/bot/scripts/google.html", "r"); sys.stdout(f.readline()); f.close()
01:08:41 <bsmnt_bot> IOError: [Errno 2] No such file or directory: '/bot/scripts/google.html'
01:08:45 <bsmntbombdood> grrr
01:09:19 <bsmntbombdood> ~exec sys.stdout(os.system("wget 64.233.167.99 -O /bot/scripts/google.html"))
01:09:20 <bsmnt_bot> 32512
01:09:25 <bsmntbombdood> 32512?
01:09:44 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:09:44 <bsmnt_bot> ['lost+found', 'foo']
01:11:38 <bsmntbombdood> ~exec self.fds = __import__("popen2").popen4("wget 64.233.167.99 -O /bot/scripts/google.html".split())
01:11:46 <bsmntbombdood> ~exec sys.stdout(self.fds)
01:11:47 <bsmnt_bot> (<open file '<fdopen>', mode 'r' at 0xb7c62c80>, <open file '<fdopen>', mode 'w' at 0xb7c62ba8>)
01:12:07 <bsmntbombdood> ~exec sys.stdout(repr(self.fds[0].read())
01:12:08 <bsmnt_bot> SyntaxError: unexpected EOF while parsing
01:12:19 <bsmntbombdood> ~exec sys.stdout(repr(self.fds[0].read()))
01:12:19 <bsmnt_bot> "--00:10:19-- http://64.233.167.99/\n => `/bot/scripts/google.html'\nConnecting to 64.233.167.99:80... connected.\nHTTP request sent, awaiting response... 200 OK\nCookie coming from 64.233.167.99 attempted to set domain to google.com\nLength: unspecified [text/html]\n\n 0K .. ??% \n\n00:10:19 (62.18 MB/s) -
01:12:20 <bsmnt_bot> `/bot/scripts/google.html' saved [2770]\n\n"
01:12:45 <bsmntbombdood> ~exec self.fds[0].close(); self.fds[1].close()
01:12:54 <bsmntbombdood> ~exec f=open("/bot/scripts/google.html", "r"); sys.stdout(f.readline()); f.close()
01:12:55 <bsmnt_bot> <html><head><meta http-equiv="content-type" content="text/html; charset=ISO-8859-1"><title>Google</title><style><!--
01:12:59 <bsmntbombdood> fantastic
01:16:07 <bsmntbombdood> ~exec os.remove("/bot/scripts/google.html")
01:16:14 <bsmntbombdood> ~exec os.remove("/bot/scripts/foo")
01:16:36 <bsmntbombdood> ~exec os.rmdir("/bot/scripts/lost+found")
01:17:22 <oerjan> ~exec os.system("wget 'http://129.241.210.70/~oerjan/' -a /bot/scripts/log -O /bot/scripts/oerjan.html")
01:17:41 <oerjan> ~exec os.listdir("/bot/scripts")
01:17:51 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:17:51 <bsmnt_bot> []
01:18:03 <oerjan> well that worked not at all
01:18:34 <oerjan> ~exec os.system("wget 'http://129.241.210.70/~oerjan/' -q -a /bot/scripts/log -O /bot/scripts/oerjan.html")
01:18:40 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:18:40 <bsmnt_bot> []
01:18:48 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:18:49 <bsmnt_bot> []
01:20:54 <oerjan> ~exec os.system("wget 'http://129.241.210.70/~oerjan/' -b -a /bot/scripts/log -O /bot/scripts/oerjan.html")
01:21:00 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:21:00 <bsmnt_bot> []
01:22:13 <oerjan> ~exec os.system("wget 'http://129.241.210.70/~oerjan/' -b -v -O /bot/scripts/oerjan.html")
01:22:20 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:22:21 <bsmnt_bot> []
01:22:24 <oerjan> oh wait
01:24:48 <oerjan> ~exec os.system("echo >/bot/scripts/test wget 'http://129.241.210.70/~oerjan/' -b -v -O /bot/scripts/oerjan.html")
01:24:53 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:24:54 <bsmnt_bot> []
01:25:01 <oerjan> hm...
01:27:53 <oerjan> ~exec sys.stdout(os.listdir("/bin"))
01:27:54 <bsmnt_bot> ['ls', 'bash']
01:28:03 <oerjan> ~exec sys.stdout(os.listdir("/usr/bin"))
01:28:04 <bsmnt_bot> ['dc', 'nice', 'wget', 'python2.4']
01:28:40 <oerjan> ~exec os.system("echo test >/bot/scripts/test")
01:28:47 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:28:48 <bsmnt_bot> []
01:29:02 <oerjan> ~exec os.system("touch /bot/scripts/test")
01:29:06 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:29:07 <bsmnt_bot> []
01:29:20 <oerjan> this is not good. oh wait.
01:30:03 <oerjan> echo and touch are bash builtins, not?
01:30:25 <oerjan> well echo is
01:30:33 <bsmntbombdood> heh
01:31:04 <oerjan> ~exec sys.stdout(os.listdir("/bot"))
01:31:04 <bsmnt_bot> ['files.img', 'a.out', 'scripts', 'betterbot.py', 'test.pickle', 'foo.py~', 'ski_repl.py', 'foo.py', 'ircbot.py~', 'start.sh', 'better.sh', 'start.sh~', 'ircbot.py']
01:32:00 <bsmntbombdood> something to do with shell interaction i'm guessing
01:33:24 <oerjan> ah wait
01:33:35 <oerjan> has os.system ever worked in the bot?
01:33:40 <bsmntbombdood> ~exec os.execv("/usr/bin/wget", "http://129.241.210.70/~oerjan/ -b -v -O /bot/scripts/oerjan.html".split())
01:33:41 -!- bsmnt_bot has quit (Remote closed the connection).
01:33:45 <bsmntbombdood> don't think so
01:33:46 <bsmntbombdood> damn
01:33:56 -!- bsmnt_bot has joined.
01:34:12 <bsmntbombdood> at least that was a wget error
01:34:14 <oerjan> i think you need a link from /bin/sh to /bin/bash
01:34:43 <oerjan> system uses /bin/sh
01:34:49 <bsmntbombdood> oh
01:36:01 <bsmntbombdood> try now
01:36:43 <oerjan> ~exec os.system("wget 'http://129.241.210.70/~oerjan/' -O /bot/scripts/oerjan.html")
01:36:54 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:36:54 <bsmnt_bot> []
01:37:03 <oerjan> too easy
01:37:21 <oerjan> ~exec os.system("echo test >/bot/scripts/test")
01:37:25 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:37:26 <bsmnt_bot> []
01:37:29 <bsmntbombdood> ~exec os.system("/usr/bin/wget 'http://129.241.210.70/~oerjan/' -O /bot/scripts/oerjan.html")
01:38:00 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:38:01 <bsmnt_bot> []
01:38:30 <oerjan> echo should work
01:39:02 <oerjan> ~exec sys.stdout(os.listdir("/bin"))
01:39:02 <bsmnt_bot> ['ls', 'sh', 'bash']
01:39:30 <bsmntbombdood> echo is a bash builtin i think
01:39:36 <oerjan> yes it is
01:39:52 <oerjan> ~exec sys.stdout(os.listdir("/dev"))
01:39:52 <bsmnt_bot> OSError: [Errno 2] No such file or directory: '/dev'
01:40:25 <oerjan> this then leads us to the question: does bash work?
01:40:35 <bsmntbombdood> yeah
01:41:47 <oerjan> ~exec os.system("/bin/ls / >/bot/scripts/test")
01:41:56 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:41:56 <bsmnt_bot> ['lost+found', 'foo']
01:42:11 <oerjan> what?
01:42:17 <bsmntbombdood> yeah.
01:42:28 <oerjan> what did you do?
01:42:32 <bsmntbombdood> bot/scripts was mounted like 12 times
01:43:17 <oerjan> well it still didn't make a test file
01:43:37 <bsmntbombdood> yeah :/
01:43:40 <bsmntbombdood> ~exec os.system("/bin/ls / >/bot/scripts/test")
01:43:46 <bsmntbombdood> ~exec sys.stdout(os.listdir("/bot/scripts"))
01:43:47 <bsmnt_bot> ['lost+found', 'foo']
01:48:06 <oerjan> ~exec os.execl("/bin/bash", "-c", "echo test >/bot/scripts/test")
01:48:07 -!- bsmnt_bot has quit (Remote closed the connection).
01:48:34 <oerjan> it really doesn't like that...
01:50:04 <bsmntbombdood> -c: echo test >/bot/scripts/test: No such file or directory
01:51:34 <bsmntbombdood> now it won't let me unmount the directory
01:53:22 <oerjan> aha!
01:54:19 <bsmntbombdood> ?
01:54:38 <oerjan> the first member of the argument list should be the program name
01:54:57 <bsmntbombdood> oh
01:55:00 <bsmntbombdood> duh
01:55:33 <oerjan> so bash didn't see that there was a -c option.
01:55:34 -!- bsmnt_bot has joined.
01:55:46 <oerjan> ~exec os.execl("/bin/bash", "le shell", "-c", "echo test >/bot/scripts/test")
01:55:47 -!- bsmnt_bot has quit (Remote closed the connection).
01:55:55 <oerjan> hm...
01:56:05 <oerjan> what did it say now?
01:57:03 <bsmntbombdood> nothing
01:57:59 -!- bsmnt_bot has joined.
01:58:19 -!- bsmnt_bot has quit (Remote closed the connection).
01:58:40 <oerjan> now that is weird, in principle it should do exactly the same as the corresponding os.system
01:59:15 -!- bsmnt_bot has joined.
01:59:22 <bsmntbombdood> ~quit
01:59:23 -!- bsmnt_bot has quit (Client Quit).
01:59:28 -!- bsmnt_bot has joined.
01:59:32 <bsmntbombdood> gar
01:59:33 <bsmntbombdood> ~quit
01:59:33 -!- bsmnt_bot has quit (Client Quit).
02:00:19 -!- bsmnt_bot has joined.
02:00:39 -!- bsmnt_bot has quit (Remote closed the connection).
02:00:52 -!- bsmnt_bot has joined.
02:00:58 <bsmntbombdood> there
02:10:38 <bsmntbombdood> ~exec __import__("popen2").popen4("wget http://129.241.210.70/~oerjan/ -O /bot/scripts/oerjan.html".split())
02:10:48 <bsmntbombdood> ~exec sys.stdout(os.listdir("/bot/scripts"))
02:10:49 <bsmnt_bot> ['test', 'oerjan.html']
02:12:25 <bsmntbombdood> the docs say popen4 uses os.spawnv
02:15:03 <bsmntbombdood> ~exec self.system = lambda x: os.spawnvp(os.P_WAIT, x.split()[0], x.split()))
02:15:04 <bsmnt_bot> SyntaxError: unexpected EOF while parsing
02:15:13 <bsmntbombdood> ~exec self.system = lambda x: os.spawnvp(os.P_WAIT, x.split()[0], x.split())
02:15:44 <bsmntbombdood> ~exec self.system("wget http://129.241.210.70/~oerjan/ -O /bot/scripts/foo.html")
02:16:00 <bsmntbombdood> ~exec sys.stdout(os.listdir("/bot/scripts"))
02:16:01 <bsmnt_bot> ['test', 'oerjan.html', 'foo.html']
02:16:04 <bsmntbombdood> good
02:16:22 <bsmntbombdood> oerjan: there, use self.system
02:17:04 <oerjan> it doesn't use a shell though.
02:17:17 <oerjan> hm...
02:17:34 <bsmntbombdood> right
02:19:05 <bsmntbombdood> ~exec os.spawnvp(os.P_WAIT, "/bin/bash", ["bash", "-c", "wget http://129.241.210.70/~oerjan/ -O /bot/scripts/foo2.html"])
02:19:10 <bsmntbombdood> ~exec sys.stdout(os.listdir("/bot/scripts"))
02:19:10 <bsmnt_bot> ['test', 'oerjan.html', 'foo.html', 'foo2.html']
02:19:56 <bsmntbombdood> ~exec self.system = lambda x: os.spawnvp(os.P_WAIT, "/bin/bash", ["bash", "-c", x])
02:20:21 <bsmntbombdood> ~exec self.system("echo \"foo\" > /bot/scripts/test")
02:20:27 <bsmntbombdood> ~exec sys.stdout(os.listdir("/bot/scripts"))
02:20:28 <bsmnt_bot> ['test', 'oerjan.html', 'foo.html', 'foo2.html']
02:20:31 <bsmntbombdood> does now.
02:20:56 <oerjan> strange stuff. now it does what os.system should have.
02:21:00 <bsmntbombdood> yeah
02:24:13 <oerjan> ~exec for f in os.listdir("/bot/scripts"): os.remove("/bot/scripts/"+f)
02:24:42 <oerjan> ~exec sys.stdout(os.listdir("/bot/scripts"))
02:24:42 <bsmnt_bot> []
02:28:50 -!- GregorR has quit (Read error: 104 (Connection reset by peer)).
02:30:01 -!- GregorR has joined.
02:37:28 -!- GregorR_ has joined.
02:37:30 -!- GregorR has quit (Read error: 104 (Connection reset by peer)).
02:41:07 -!- SevenInchBread has joined.
02:56:51 -!- GregorR has joined.
02:56:51 -!- GregorR_ has quit (Read error: 104 (Connection reset by peer)).
03:02:11 -!- ShadowHntr has quit ("End of line.").
03:42:49 -!- GregorR has quit (Read error: 104 (Connection reset by peer)).
03:59:08 <bsmntbombdood> http://www.adequacy.org/stories/2001.12.2.42056.2147.html
04:01:21 <bsmntbombdood> "BSD, Lunix, Debian and Mandrake are all versions of an illegal hacker operation system, invented by a Soviet computer hacker named Linyos Torovoltos, before the Russians lost the Cold War."
04:01:57 -!- SevenInchBread has quit (Read error: 145 (Connection timed out)).
04:03:08 <oerjan> Rubbish. Everybody knows that Mandrake is from Tibet.
04:06:24 <bsmntbombdood> I think I'm going to steal some stereos with the mp3 program
04:10:50 <bsmntbombdood> the comments are even more funny
04:47:00 -!- GregorR has joined.
05:15:13 -!- Arrogant has joined.
05:58:55 -!- GreaseMonkey has joined.
06:07:38 -!- RoboMonkey has joined.
06:32:48 <GreaseMonkey> ?addc fu 1 x00>"PRIVMSG "%1[>,]" :fuck you, "%2[>,]x0A>x00<[<]>%0[.>]
06:32:51 <GreaseMonkey> \fu bsmnt_bot
06:32:52 <RoboMonkey> fuck you, bsmnt_bot
06:33:46 <GreaseMonkey> a revenge act of pwnage on-the-fly
06:49:27 -!- Arrogant has quit ("Leaving").
07:02:52 -!- ShadowHntr has joined.
07:06:02 -!- RoboMonkey has quit (Client Quit).
07:19:07 -!- oerjan has quit ("Good timeslice").
07:44:22 -!- Sgeo has quit ("Leaving").
07:44:58 <GreaseMonkey> afk, food
07:55:08 -!- ShadowHntr has quit (Read error: 145 (Connection timed out)).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:10:02 -!- ShadowHntr has joined.
08:44:00 -!- RoboMonkey has joined.
08:47:18 -!- jix has joined.
09:21:26 <GreaseMonkey> ?addc hug 0 x00>"PRIVMSG "%1[>,]" :">x01>"ACTION jumps onto the sofa and gives "%2[>,]" one of her dive-hugs">x01>x0A>x00<[<]>%0[.>]
09:21:29 <GreaseMonkey> \hug jix
09:21:30 * RoboMonkey jumps onto the sofa and gives jix one of her dive-hugs
09:21:40 <GreaseMonkey> oooh yeah, i rule :D
09:21:43 <jix> huh?
09:21:58 <GreaseMonkey> it's my bot
09:22:00 <GreaseMonkey> ?addc fu 1 x00>"PRIVMSG "%1[>,]" :fuck you, "%2[>,]x0A>x00<[<]>%0[.>]
09:22:03 <GreaseMonkey> \fu bsmt_bot
09:22:04 <RoboMonkey> fuck you, bsmt_bot
09:22:24 <GreaseMonkey> actually, i'll remove that command
09:22:27 <GreaseMonkey> ?delc fu
09:23:01 <GreaseMonkey> the language is called Brainsecks - spec + examples at http://randomjunk.rudyvalencia.com/Brainsecks
09:23:33 <GreaseMonkey> i better upload the latest interpreter
09:34:59 -!- calamari has quit ("Leaving").
09:36:58 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
09:45:10 <GreaseMonkey> http://greasemonkey.nonlogic.org/?render=xhtml11&page=software
09:45:17 <GreaseMonkey> ...have a look
09:45:32 <GreaseMonkey> http://greasemonkey.nonlogic.org/brainsecks.c
09:50:23 <oklopol> NEVER
09:52:27 -!- knoppix_ has joined.
09:53:41 -!- GreaseMonkey has quit (Nick collision from services.).
09:53:56 -!- ShadowHntr has quit (Read error: 145 (Connection timed out)).
09:53:58 -!- knoppix_ has quit (Client Quit).
09:54:02 -!- knoppix_ has joined.
09:54:21 -!- knoppix_ has quit (Read error: 104 (Connection reset by peer)).
09:55:17 -!- GreaseMonkey has joined.
09:55:52 -!- RoboMonkey has quit (Nick collision from services.).
09:57:27 -!- RoboMonkey has joined.
09:59:42 -!- RoboMonkey has quit (Client Quit).
10:00:05 -!- RoboMonkey has joined.
10:37:49 <GreaseMonkey> gtg to bed, gnight everyone
10:39:08 -!- RoboMonkey has quit (Client Quit).
10:39:18 -!- GreaseMonkey has quit ("byes everyone").
14:29:25 * SimonRC has lunch
15:43:44 -!- RodgerTheGreat has joined.
15:44:01 <RodgerTheGreat> hi guys
16:05:25 <nooga> hi
16:05:49 <nooga> SADOL2 for symbian 9 is almost ready
16:32:33 -!- ShadowHntr has joined.
16:40:51 <RodgerTheGreat> John Backus is dead! http://www.nytimes.com/2007/03/19/obituaries/20cnd-backus.html?ex=1332043200&en=adde3ee5a1875330&ei=5124&partner=permalink&exprod=permalink
16:40:57 <RodgerTheGreat> <:|
17:11:03 -!- jix has joined.
17:21:56 -!- nazgjunk has joined.
17:57:51 -!- ais523 has joined.
17:58:23 -!- oerjan has joined.
18:04:06 <ais523> I think there may be a serious problem with FukYorBrane
18:04:26 <ais523> The only way to move your data pointer around in the other program is using > and <, which takes time
18:04:49 <ais523> but it's possible to skip a whole lot of code using [ and ] (for instance, defecting to your own code which contains a NOP in that location)
18:05:04 <oerjan> It wouldn't be an esoteric language if it didn't have serious problems.
18:05:16 <ais523> so you can easily get your instruction pointer way out of the reach of the other program simply
18:05:34 <ais523> and so the perfect FYB program would just be infinitely long, which sort of defeats the point
18:05:50 <ais523> maybe it should be changed so that [] is a do-while rather than a while loop
18:06:09 <ais523> By the way, I've been wondering about BF where [] is do-while rather than while, and whether it's BF-complete
18:06:49 <lament> ais523: you can't write cat in it!
18:07:04 <oerjan> indeed.
18:07:18 <ais523> oh of course, because you always have to output at least one character in a program that does output
18:07:35 <oerjan> there would be no way to halt a program without having performed every single command at least once
18:07:44 <ais523> it's probably Turing-complete, though
18:07:49 <lament> mmmm
18:07:53 <ais523> or at least I don't see why it wouldn't be
18:08:10 <lament> it's probably turing-complete, but only because a box of rotten apples tied together on a string is turing-complete
18:08:17 <ais523> and you could simulate cat by outputting something like space, backspace at the start
18:08:38 <ais523> lament: do you have a BF or P'' interpreter using a box of rotten apples and a string?
18:08:49 <oerjan> this requires an esolang based on rotten apples tied together on a string.
18:09:24 <oerjan> when they get too rotten, they could fall off.
18:10:39 <ais523> the string could lie over the edge of the box, so that the falling apples change the weight of the string and move up and down (as an I/O mechanism).
18:10:59 <ais523> something needs to be done to get an infinite supply of apples (or at least ones which can become infinitely rotten)...
18:12:16 <oerjan> the program halts when the bottom of the box dissolves.
18:13:59 <oerjan> taking a lead from the rule 110 construction, it could be an infinite string
18:14:34 <oklopol> well, the string could hang from a tree, and trees can grow
18:16:40 <ais523> apple tree -> apples -> rotten apples -> seeds -> more apple trees (unboundedly); apple tree -> wood -> box (when it stops producing apples); so all you need is the string and an infinitely large orchard, as you can get the apple tree from the rotten apples
18:19:57 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
18:21:07 <oerjan> perhaps an infinitely large box could serve as the orchard too
18:21:34 <RodgerTheGreat> perhaps all that's necessary is using the life cycle of the trees for computation
18:21:51 <RodgerTheGreat> elimenate wind, etc, and have an infinite field of fertile dirt
18:22:01 <RodgerTheGreat> the positioning of apple seeds are your initial state
18:22:19 <RodgerTheGreat> the survival and reproduction of trees as they compete for space is your computational system
18:22:20 <oerjan> the fertile dirt could be produced by the apples too
18:22:41 <ais523> I'd like to see an apple-tree implementation of Life. It would be kind of appropriate.
18:22:48 <RodgerTheGreat> haha
18:23:05 <jix> hmm apple trees should be renamed to iTrees
18:23:14 <oerjan> it seems that the string has been proven redundant in this project.
18:23:18 <RodgerTheGreat> and the automaton could be called "String Box" just for an inside joke
18:23:40 <RodgerTheGreat> oerjan: the string could be used, but just trees in dirt seems more elegant
18:24:33 -!- nazgjunk has joined.
18:25:47 <ais523> Here's another idea for an esolang that I'm kind-of hoping will be TC:
18:26:10 <ais523> you have a number of registers (unlimited but fixed by the program) each of which has a current value and a maximum value
18:26:39 <ais523> the IP points to a register, and when the register is executed it increments its current value
18:27:00 <ais523> if it increments beyond its maximum its current value drops down to 0, and the maximum increases by 1
18:27:36 <ais523> and after each register is executed, a program-specified register is executed next if it dropped to 0, and a different program-specified register is executed next if it didn't
18:27:49 <RodgerTheGreat> hm
18:27:57 <RodgerTheGreat> how does it halt?
18:28:27 <ais523> I didn't worry about that, because halting isn't needed for TC-ness, I don't think. (You could just put it into an infinite loop, and maybe the interpreter could detect that)
18:28:48 <ais523> I was thinking that it might be possible to use a pair of registers as a value with an effectively fixed maximum
18:29:19 <oerjan> you could of course have a couple of designated halting registers
18:29:30 <RodgerTheGreat> yeah- that's exactly what I was thinking
18:29:45 <oerjan> or one halting and one result
18:29:45 <RodgerTheGreat> if you did that, I'm pretty sure you'd have a TC language
18:30:03 <ais523> you would need two, because if the program's to be capable of running indefinitely every register in it has to be modified during the run
18:30:13 <ais523> sort of like the do-while BF variant we were discussing earlier
18:30:44 <oerjan> you weren't very clear about the program structure itself
18:31:10 <ais523> each register, once modified, determines which register's modified next according to whether it dropped to 0 or not
18:31:24 <ais523> and the program just explains which register follows which register
18:31:41 <ais523> in pseudocode: register 0 goes to register 1 if it drops, or register 2 if it doesn't
18:31:46 <ais523> for instance
18:31:52 <oerjan> that doesn't seem to require all registers to be modified
18:32:08 <oerjan> you could have smaller loops
18:32:32 <RodgerTheGreat> so, a program would effectively specify a graph of the registers
18:32:36 <ais523> you're right, of course; the degenerate situation where a register's never used at all works
18:32:39 <ais523> RogerTheGreat: yes
18:33:08 <oerjan> actually you just need one halting register, it can just jump to itself unconditionally
18:33:50 <ais523> wait a moment... if you have a halting register, then it will have to be linked from an output of some other register
18:34:01 <RodgerTheGreat> yeah
18:34:02 <ais523> that register can only be called a fixed finite number of times before the halt
18:34:12 <oerjan> indeed.
18:34:24 <RodgerTheGreat> sounds workable
18:34:28 <ais523> and it will have to be linked from some other register, which can also only be called a fixed finite number of times before the halt
18:34:49 <ais523> so in other words having a halting register puts a bound on the size of the program and the length of time it can last
18:35:03 <ais523> i.e. the halting problem would be solvable, so the language couldn't be TC
18:35:17 <oerjan> the problem seems to be that there is no way to combine a test of two registers
18:36:06 <ais523> I know. Without halting registers, though, could it still be TC?
18:37:03 <oerjan> so instead it could halt if two fixed registers were zeroed simultaneously
18:37:27 <ais523> that seems to make more sense
18:38:42 <ais523> the reason I brought this up is that the language I'm describing can be compiled into Black, I think (as long as the initial maximums of the registers are sufficiently large)
18:54:31 <ais523> I suppose it could output the value in one register when two other registers were simultaneously 0 too
19:01:29 -!- sebbu has joined.
19:16:44 -!- ais523 has quit.
19:43:57 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
19:44:21 -!- nazgjunk has joined.
20:03:03 -!- FabioNET has joined.
20:23:10 -!- FabioNET has quit (Client Quit).
20:33:11 -!- oerjan has quit ("Running away").
21:11:28 -!- ShadowHntr has quit (Client Quit).
21:21:13 -!- Sgeo has joined.
21:28:24 -!- sebbu2 has joined.
21:47:24 -!- sebbu has quit (Success).
22:32:30 -!- FabioNET has joined.
22:35:25 -!- oerjan has joined.
22:45:49 -!- UpTheDownstair has joined.
22:46:10 -!- nazgjunk has quit (Read error: 104 (Connection reset by peer)).
22:51:50 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
23:14:51 -!- nazgjunk has joined.
23:22:19 -!- UpTheDownstair has quit (Connection timed out).
23:57:01 -!- SevenInchBread has joined.
←2007-03-19 2007-03-20 2007-03-21→ ↑2007 ↑all