00:37:35 -!- tusho has quit. 00:43:57 -!- timotiis has quit (Read error: 110 (Connection timed out)). 00:44:19 -!- oerjan has quit ("Good night"). 00:52:42 -!- Slereah2 has quit ("kthxbai"). 01:42:38 hey ais 01:42:54 nevermind, hes not here 01:42:55 :_< 01:42:56 >_< 01:43:10 oklopol! :o 01:55:25 -!- Corun has quit ("Leaving"). 02:47:41 o 02:57:33 -!- fxkr_ has joined. 03:09:18 -!- GreaseMonkey has joined. 03:10:53 night oklolove 03:10:56 ::bite:: 03:11:33 -!- fxkr has quit (Connection timed out). 03:11:54 -!- fxkr_ has quit. 03:18:18 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 03:18:20 -!- oklofok has joined. 03:41:33 -!- augur has quit (Read error: 110 (Connection timed out)). 04:03:57 -!- oklofok has quit (Read error: 110 (Connection timed out)). 04:26:06 -!- oklopol has joined. 06:02:33 -!- pikhq has quit ("leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:09 ais523 and tusho: if you are reading logs I won't be reachable today, I'm leaving for an airshow 08:26:46 -!- hotidlerchick has joined. 09:14:30 -!- poiuy_qwert has quit. 09:24:35 -!- ais523 has joined. 09:32:39 -!- augur has joined. 09:56:05 -!- AnMaster has quit (Remote closed the connection). 10:02:09 -!- augur has quit (Read error: 110 (Connection timed out)). 10:03:56 -!- augur has joined. 10:20:39 -!- ais523 has quit ("(1) DO COME FROM ".2~.2"~#1 WHILE :1 <- "'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1""). 10:42:01 -!- GreaseMonkey has quit ("Remote closed the previous member app"). 10:54:59 -!- Slereah2 has joined. 11:26:38 -!- Hiato has joined. 11:29:58 -!- Slereah__ has joined. 11:34:03 -!- Hiato has quit ("Leaving."). 11:46:47 -!- Slereah2 has quit (Read error: 110 (Connection timed out)). 11:56:15 -!- ais523 has joined. 12:43:26 -!- ais523 has quit (Remote closed the connection). 12:43:41 -!- ais523 has joined. 12:46:46 -!- Slereah__ has quit (Read error: 110 (Connection timed out)). 14:41:41 -!- Slereah2 has joined. 14:47:17 holy shit 14:47:25 oklopol: what? 14:47:27 lament: you were in my dream 14:47:33 a-fucking-gain 14:47:39 this time it wasn't irc. 14:48:33 let me start from the beginning, unless someone has something interesting to talk about 14:48:50 so 14:49:04 i was on some page, where you kinda bidded about something 14:49:33 highest bid won, don't remember what i was bidding about, but i won some guy who was apparently like the god of that page, won every bid 14:49:40 well, he got mad 14:49:52 we met at a mall 14:50:07 and turned out i had also kissed his girlfriend 14:50:17 and for some reason this made me take out my gun 14:50:22 and point it at him 14:50:34 he started yelling "shoot me you fucking pussy" 14:50:45 and i was like "give me a reason and i totally will" 14:51:20 he pressed the trigger himself, then, probably realizing i was a pussy 14:51:37 fell down on the floor, no one in the mall noticed 14:51:54 but i figured they might at some point, so i kinda paniced 14:52:03 and then came the lament part 14:52:21 lament was on the cover of an energy drink can 14:52:25 but kinda alive. 14:52:53 and my first thought was looking at his face would instantly tell me what to do :D 14:53:02 kinda warm feeling 14:53:09 not kinda disturbing. 14:53:17 but, all the cans had turned away 14:53:24 and i was devastated 15:08:24 it's not all that weird in writing, but somehow lament was my mentor or something, it was important to see his face after the incident. 15:08:50 no anal sex yet, but it's quite clear the obsession is starting 15:09:10 ais523: how's coding going? 15:09:16 ok I think 15:09:29 but my program still steers the rover into craters too much 15:10:23 can you link the rules? 15:11:58 hmm 15:20:09 this sounds quite fun 15:20:09 -!- tusho has joined. 15:20:26 i should've done it too 15:20:34 hi ais523 15:20:47 i totally wont hat one 15:20:52 *won that 15:20:58 Communication between the server and controller will be over a TCP/IP socket using plain-text messages encoded in ASCII. <<< because martians don't understand english? :P 15:34:34 weird they don't give out the details of the rotation / acceleration, as they're easy to calculate from the state info they give 15:35:33 hmm, actually they give quite a lot of details :P 15:36:19 just have to calc acceleration 15:36:21 oklopol: well, my program calculates the rotation rules atm 15:36:27 from the telemetry 15:36:32 that still doesn't stop it crashing into things, though 15:39:03 how does the server thing work, you use a public server for testing or smth? 15:39:21 oklopol: no, they supplied binaries for it 15:39:26 ah okay. 15:39:26 and you run it on your own system 15:39:38 no source, though, thus causing lots of people to fail to get it working 15:39:38 did you write a visualization so you can see it run? 15:39:45 oklopol: it has its own visualization 15:39:48 oh. 15:40:10 in that case, i would have loved this 15:40:24 oklopol: it's not too late to enter 15:40:29 it doesn't run on Windows, though 15:40:37 only on Linux and Mac OS X, and not easily in either case 15:41:28 well in that case i can't enter, i don't have a linux computer here. 15:41:55 perhaps next year 15:42:07 oklopol: use qemu 15:42:09 they provide a livecd 15:43:38 guess i could. 15:43:58 any restrictions on the language? 15:44:27 oklopol: yes 15:44:30 whatever's on the licd 15:44:32 *livecd 15:44:40 http://www.icfpcontest.org/live-cd.html 15:44:46 if you <3 me, use the eso-std.org mirror that's linkd 15:44:54 unless you want to use scheme or something, 'cause the mzscheme is broken on 1.5 15:50:31 -!- timotiis has joined. 15:56:38 it'd prolly take me till midnight to get that working, don't really feel like it, since the competition has already been on for about 20 hours. 15:58:46 would be so cool doing this in Ob 15:59:06 (the declarative bot ai language) 15:59:24 oklopol: there's a 72-hour competition as well as the lightning round... 16:00:19 i know 16:00:27 i guess i could go for it... 16:01:04 it's just getting the live-cd to work sounds like something i will fail at. 16:01:15 compared to that, the actual programming task seems trivial :P 16:01:29 anyone else here making an entry? 16:08:13 -!- poiuy_qwert has joined. 16:09:47 I was going to, but I spent most of today failing at getting the server working 16:09:58 so I figured "screw it". 16:10:11 Deewiant: maybe you can help me instead 16:11:45 TBH I just wanted to see how hard it actually was, I didn't really do anything, and now I'm not in the mood any more :-/ 16:11:59 if you want to ask me about something feel free, of course :-P 16:13:27 oklopol: tusho was inaccurate BTW, you can submit a binary in any language 16:13:46 well yes 16:13:49 rather, a binary compiled from any language 16:13:50 but oklopol uses interppy languages 16:14:08 Deewiant: tusho was inaccurate BTw, i use *python* 16:14:10 *BTW 16:14:14 :-) 16:14:26 not Ob? 16:14:30 i know a lot of languages well enough to do something like this 16:14:40 Ob is one of my own langs, haven't implemented yet. 16:15:01 it's an event-based declarative language for making bot ai's for a game of mine 16:26:06 does anyone know how bad an idea it is to mount the same drive in two OSs simultaneously? 16:26:18 anyone here, that is 16:26:18 probably bad 16:26:22 I was about to try 16:26:25 not with my hard drive though 16:26:27 with a disk image 16:26:28 ais523: give it a go 16:30:14 -!- pikhq has joined. 16:44:02 tusho: it worked 16:44:09 heh 16:44:10 also, that's the first time I've ever reformatted a hard drive 16:44:12 http://mathworld.wolfram.com/TuppersSelf-ReferentialFormula.html 16:44:19 although it was a virtual one on my filesystem 16:47:18 RodgerTheGreat: always liked that, wonder if you could make a program that creates equations like that 16:47:23 i mean, obviously it's possible 16:47:28 dunno if it'd be trivial or not 16:47:29 seems pretty likely 16:47:40 the thing about that formula i don't like 16:47:42 is the big 'n' 16:47:45 which is outside the formula 16:47:51 it seems like a bit of a cheat. 16:47:54 Well, it certainly looks like the N is large enough to contain the bitmap the function "generates" 16:48:02 kind of like writing a drawing program 16:48:07 then feeding it itself as an image 16:48:20 so it's a function that unpacks a base-10 number into a bitmap, somehow 16:48:21 there's no actual self-reference, it's indirect 16:48:42 still impressive, of course 16:48:43 still quite intriguing 16:48:48 but not what I hoped when I first saw it 16:48:53 yeah 16:49:19 an _actual_ self-plotting formula would probably be very long, kind of like those huge quines 16:49:22 not very pretty 16:49:37 makes you wonder if a "plot quine" would be possible, though. It would undoubtedly be really nasty and complicated. 16:49:53 tusho: mounting the same file on two OSs at once doesn't work, because neither understands when it's changed 16:49:53 * tusho toys with writing a program to write it 16:50:01 they end up with different internal versions of it 16:50:03 ais523: I imagined that would happen, yeah. 16:50:12 maybe if I don't mount both at the same time... 17:23:51 http://mathworld.wolfram.com/TuppersSelf-ReferentialFormula.html is a cheat 17:24:09 that's trivial to do, except perhaps not one that short. 17:25:07 as i now see you discussed already. 17:26:23 yeah 17:28:25 * ais523 submits an initial solution 17:28:30 so there's something there if I run out of time 17:29:27 -!- ais523 has quit (Remote closed the connection). 17:31:25 or if you run out of connection. 17:31:30 *zing* 17:32:54 okay, i'm going to code A in language B now, anyone feel like supplying A and B? 17:34:51 Malbolge in Malbolge. 17:35:26 pass 17:35:47 oklopol: python in python 17:35:51 Brainfucks in recursive functions. 17:35:58 passpass 17:36:10 oklopol: c in python 17:36:18 perhaps i could just make befunge in c. 17:36:18 Motherfucking snakes in a motherfucking plane. 17:36:23 no. 17:36:25 c in python. 17:36:28 :D 17:36:43 c in python doesn't sound too hard 17:36:50 not the basics, anyway 17:36:52 you'll have to simulate memory 17:36:55 for pointers and shizz 17:36:58 but apart from that... 17:37:04 yeah, i know that 17:37:04 lexing + parsing's a bit hard, some ambiguities 17:37:06 but the actual language 17:37:07 pretty simple 17:37:10 yeah. 17:37:12 it'd be a fun project 17:37:30 most likely, but B can't be python 17:37:30 'cause, you know, C "feels" substantial 17:37:40 why not 17:37:45 C interp in Python sounds fun 17:38:15 sure does, but i want a different language. 17:38:50 and i haven't used C in ages, should see if i get anything to work aymore 17:38:51 *anymoer 17:38:53 *anymore 17:39:25 c in c would be pretty hard 17:40:15 -!- ais523 has joined. 17:40:42 wow, my empty program worked! 17:40:46 now befunge 17:43:14 hi tusho 17:43:18 you were slow there... 17:43:26 meh 17:43:27 wasn't paying attention 17:43:28 oklopol: what lang? 17:43:32 tusho: neither was I 17:44:58 ais523: C 17:51:43 ais523: z 17:51:56 hi tusho 17:51:58 again 17:52:00 ais523: o 17:52:02 hi ais523 17:52:06 ooh 17:52:08 shall we play a game 17:52:08 z 17:52:23 tusho: not right now, only 2 hours to the lighning deadline, at least not with me 17:52:23 o 17:52:26 hehe 17:53:10 okokoko 17:53:46 ooooooooookokokoko. 17:53:47 hotidlerchick: hi oklopol 17:54:09 tusho: hi elliott 17:54:21 hotidlerchick: hi oklopol 17:55:26 cool stuff 17:55:29 oklopol: wanna swap identities? 17:55:34 [17:54] If the martians run into each other, do they turn into cheese? 17:55:34 [17:55] aSmig: the cheese may be Brie or provolone; which one it is is deliberately unspecified ;-) 17:55:37 from #icfp-contest 17:55:45 heh 17:55:46 there's so much deliberately unspecified there... 17:55:48 hotidlerchick: lol sure :) 17:56:37 -!- hotidlerchick has changed nick to oklo. 17:56:44 -!- oklopol has changed nick to hotidlerchick. 17:56:52 -!- oklo has changed nick to oklopol. 17:57:01 oklopol: can i still continue coding? 17:57:11 * ais523 so wants an IRC client command to do that automatically, without the other person knowing 17:57:12 this is fucking disturbing 17:57:17 and automatically rewriting all the messages 17:57:29 hotidlerchick: oooh, that would be so hot 17:57:38 ;) 17:59:40 tbh. i'm not entirely sure how to be you 17:59:56 *-. 18:00:11 o 18:01:00 ask tusho, I'm sure he knows 18:01:39 "just be yourself"? :P 18:02:20 also i think i'll just implement 93... possibly because i've lost most of my awesome man brain? 18:02:41 ... 18:02:46 :D 18:02:46 oklofok: it shouldn't be too hard to implement 93 in such a way you can later generalise it to 98 18:02:54 ais523: true 18:03:09 except for the extending the program space part 18:03:25 but that should be easy too, some kinda wrapper that autoextends where necessary 18:11:48 ais523: oklofok: it shouldn't be too hard to implement 93 in such a way you can later generalise it to 98 18:11:48 hotidlerchick: ais523: true 18:11:51 CONCLUSIVE EVIDENCE 18:12:00 tusho: they swapped nicks 18:12:02 look up a bit 18:12:03 yes 18:12:04 still 18:12:22 tusho: I was nickpinging oklofok, who isn't even in the channel, to avoid getting confused about the nicks 18:13:47 -!- Slereah__ has joined. 18:16:03 anyone who wants to help (tusho? Deewiant?): I've been programming for several hours now and am having problems sorting out my thinking: what's the formula to calculate a turning circle from a turn speed in degrees per second and a forward speed in meters per second? 18:16:25 74*buttcake 18:16:30 sorry, don't know 18:16:51 hmm... it shouldn't be that hard to work out... 18:17:02 let's see... after turning 360 degrees you've done one complete turning circle 18:17:08 so presumably work out how far you go in that time 18:17:17 and that's the circumference of the circle 18:17:21 then divide by 2pi 18:17:28 r = v^2 / a where v is velocity forward, a is acceleration towards centre of circle 18:17:34 I think 18:17:45 Deewiant: wrong formula, but quite possibly 18:17:53 I know the turn rate, not the acceleration 18:18:08 I think you can find the acceleration 18:18:22 yes, but there has to be an easier way, surely... 18:18:56 -!- poiuy_qwert has quit (Remote closed the connection). 18:18:58 possibly 18:28:50 hmm 18:29:36 -!- Slereah2 has quit (Read error: 110 (Connection timed out)). 18:30:02 i think you can solve it from that formula 18:31:00 I tried to figure it and got v * 360 / (dtheta/dt) 18:31:02 but that's wrong 18:31:11 the 360 because it's in degrees 18:31:59 hmmm 18:32:02 i think i have an idea 18:32:17 the object is always moving towards the tangent 18:32:36 hmm, wait... i'm a bit slow atm 18:32:46 have to think a bit 18:33:08 yes, that's my problem, being a bit slow thinking mathematically due to being in super-coding mode 18:34:38 i think i have it 18:35:07 let me know what it is? 18:35:14 circumference = motion_length_per_sec * (angs_per_sec / 360) 18:35:21 hmm 18:35:30 that's the same formula I came up with 18:35:33 yarr 18:35:43 maybe there was a units problem in my implementation... 18:36:13 I have angular speed in .1s of degrees per second, and speed in mm per second 18:36:13 most likely, i'm quite sure it's like that, although my derivation wasn't mathematical 18:36:20 so I made the constant 3600 18:36:38 wait, your formula's different from mine 18:36:45 I got the * and / the wrong way round 18:36:52 hmm, right 18:37:01 ...except wouldn't turning faster give a smaller turning circle? 18:37:06 hmm 18:37:11 your formula's clearly wrong with angs_per_sec = 0 18:37:13 yeah. 18:37:15 the circle's infinite then 18:38:18 ais523: maybe you should code another part 18:38:20 time is ticking 18:38:39 tusho: this is the most important part currently left 18:38:47 although I'm coding a different bit of that part right now 18:38:47 :\ 18:38:56 -!- poiuy_qwert has joined. 18:39:23 ais523: i actually just swapped them accidentally 18:39:32 basically 18:39:36 you move at speed v 18:39:37 but 18:40:21 you also move @ (circumference * (degrees / 360)) / sec for rotation speed degrees/sec 18:40:46 turningcircle = maxspeed*3600/maxhardturn; 18:40:57 maxhardturn is in .1s of degrees per second 18:41:02 maxspeed's in mm per second 18:41:16 yeah that should be right 18:41:23 let me recompile and rerun 18:41:25 to see what happens 18:41:34 that's just the circumference ofc 18:41:49 hotidlerchick: not radius? 18:41:53 no. 18:42:16 why would it be radius? 18:42:31 when moving 5 degrees per second 18:42:32 hotidlerchick: ah, good point 18:42:41 we're moving at circumference * 5/360 18:42:48 radius has nothing to do with anything 18:42:54 still, 120m is far too large for the turning circle because I've seen it turn faster than that 18:43:02 this is the classical problem of doing math and programming simultaneously 18:43:21 yes, this is why I could do with someone else to do the math for me... 18:43:23 @ math, you don't think, when getting the result, you often don't have a clear idea what it is, and assume it's what you wanted 18:43:49 well, you prolly had less speed? 18:43:54 it was accelerating at first 18:44:03 which made it turn most of the circle fast 18:44:05 dunno. 18:46:28 ais523: why the silence, trying to figure out circumference -> radius? ;) 18:46:33 that wouldn't happen 18:46:37 okay 18:46:39 and circumference->radius is easy 18:46:42 that's not the problem 18:46:47 yeah it was a joke, kinda. 18:46:53 anyway, you saying that's wrong? 18:47:04 the formula looks right, but acts wrong 18:47:14 I'll get it to printf its arguments to see if they're right 18:47:40 * hotidlerchick opens python 18:48:25 ah, i think it is right 18:48:30 I know what's happening 18:48:37 the return value's correct, it just looks wrong 18:56:38 ais 18:56:42 yes 18:56:57 how would you do conditionals in an RPN-like language?? 18:57:09 oklopol: ::pounce:: 18:58:08 augur: put two subprograms on stack, then pop one of them and run tos 18:58:28 augur: yeah, quotations. 18:58:38 on, quote the cod?e? 18:58:46 augur: quotations are lambdas, basically 18:58:47 [program] 18:58:49 so you end up with 18:58:55 cond [iftrue] [iffalse] if 18:59:06 generally you have combinators manipulating the subprograms 18:59:09 [x] i == x 18:59:15 oh i see, so instead of code, you'd have lambdas 18:59:18 x y [z] dip == x z y 18:59:18 ok that makes sense. 18:59:21 etc 18:59:24 (dip is a very useful combinator) 18:59:29 (you can build lots of swap-rot-etc things out of it) 19:01:45 http://www.vjn.fi/pb/p265444122.txt the formula is correct 19:02:32 took ages, since i kinda managed to confuse angles of complexes and angles on the screen 19:02:38 i mean the y axis 19:02:46 thanks 19:03:05 if you don't get that, i can explain it 19:03:07 BREAKING NEWS: ais523+hotidlerchick win ICFP 19:03:07 but it's kinda simple 19:03:14 :D 19:03:28 radizee is the formula 19:03:52 I'm using that formula now, thanks 19:03:54 the for loop moves the point "pos" around by turning it by the angle all the time 19:04:10 and you're credited (as oklopol, your nick before you swapped) in the README for the mathematical help 19:04:24 and its distance from origo is printed, wavering is because of the discrete simulation ofc 19:04:29 yay :) 19:04:31 ais523: at least use his real name 19:04:36 tusho: well, I don't know it 19:04:37 oklopol omniovorol 19:04:40 anyway I credited you as tusho 19:04:40 ais523: /whois! 19:04:44 wait 19:04:45 *ominovorol 19:04:46 what did I do 19:05:18 ais523: :\ 19:05:30 anyway, don't use oklopol ominovorol, oklopol or ask my actual real name :P 19:05:35 whoops. 19:05:43 anyway, don't use oklopol ominovorol period. use oklopol or ask my actual real name :P 19:05:47 tusho: I'll credit you with your realname if you like 19:05:53 hotidlerchick: 'don't use my real name, oklopol or my real name'?!!12121212 19:05:56 and I was using oklopol, and will do except on request 19:05:56 ais523: no but I mean what did I do 19:05:58 :p 19:06:03 tusho: punctuation was funny. 19:06:25 was talking about the redundancy actually hotidlerchick 19:06:32 since oklopol ominovorol is your real name 19:07:40 is this a oklopol=hotidlerchick reference, do you actually think that's anyone's irl name? 19:07:56 it's obviously your irl name. 19:07:58 why would you lie? 19:07:59 :D 19:08:16 ais523: what am I credited -for- 19:08:16 you speak a cool truth 19:08:18 i don't know what i did 19:08:19 :p 19:08:46 you had a helpful mindset 19:08:52 awwww 19:08:58 tusho: eso-std.org, actually 19:09:19 "TUSHO. FOR BEING ESO-STD.ORG. 19:09:21 " 19:09:25 .strip 19:10:05 hmph, can't talk on #eso with this nick, "long time no be" was my official join pun. 19:10:31 heh 19:12:06 ais523: wait 19:12:08 can you credit me as 19:12:12 tusho 19:12:24 (you can keep the eso-std.org thing, just, you know, I'd like to have a pointer) 19:12:26 tusho: even though it isn't registered? 19:12:35 that'll just get people to domain-squat you, but OK 19:12:36 yes; I've linked to it quite a lot 19:12:38 i'll register it sometime 19:12:43 maybe even today 19:14:45 i know a guy who registers every domain he sees. 19:14:48 you be careful 19:14:56 hotidlerchick: who, GregorR? 19:15:02 http://www.vjn.fi/domains/ 19:15:18 also GregorR 19:15:25 hotidlerchick: you need oklopol.org 19:15:26 :p 19:15:33 http://www.vjn.fi/oklopol/ 19:15:35 the url is just too ugly 19:15:38 for such a masterpeice of a page 19:15:39 right? 19:15:43 :) 19:15:51 true, true 19:16:43 i'll be more likely to get com 19:17:47 hotidlerchick: is oklopol going to be selling things?!?!?! 19:17:48 awesome 19:17:52 Buy oklopol today! 19:17:54 At oklopol.com! 19:19:05 :) 19:19:36 com is what i assume 19:19:40 if i don't know what it is 19:19:51 hotidlerchick: you could just type 'foo' 19:19:56 and firefox will try .com,.org,google,etc 19:19:59 o wait 19:20:00 you use ie 19:20:11 i use firefox 19:20:16 i just like ie better 19:26:39 olp 19:27:37 you know hotidlerchick, you haven't really done your idling properly 19:32:12 -!- Slereah2 has joined. 19:45:05 -!- ais523 has quit (Read error: 110 (Connection timed out)). 19:49:03 * tusho just made his blog design even more minimal 19:49:11 not even the header paragraph any more 19:49:15 I snook an archives link into the footer 19:49:22 '[All posts] licensed under CC by-sa 3.0.' 19:49:24 all posts links to the archives 19:49:25 yay 19:51:24 -!- Slereah__ has quit (Read error: 110 (Connection timed out)). 19:56:29 -!- ais523 has joined. 19:56:39 wb ais523 20:01:41 -!- ais523 has quit (Read error: 104 (Connection reset by peer)). 20:01:48 -!- ais523 has joined. 20:16:53 argh 20:16:54 wb ais523 20:17:22 sorry for the connection trouble... 20:17:33 at least I got the latest version of my ICFP contest entry in on time 20:17:37 even though it was buggy 20:17:40 clap clap 20:17:42 ;) 20:17:50 ais523: i take it you'll do more revisions 20:17:53 not just the lightning 20:17:56 ofc 20:40:24 -!- ais523 has quit ("(1) DO COME FROM ".2~.2"~#1 WHILE :1 <- "'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1""). 20:48:47 -!- Slereah__ has joined. 20:58:51 okokokokokokokoko 20:59:04 good night, hotties 20:59:09 -!- oklopol has quit ("KVIrc 3.2.0 'Realia'"). 21:05:19 -!- Slereah2 has quit (Read error: 110 (Connection timed out)). 21:06:47 -!- CakeProphet has joined. 21:06:58 :) 21:08:42 -!- timotiis_ has joined. 21:09:10 Can anyone link me to SAIOCP 21:11:22 -!- CakeProphet has quit (Remote closed the connection). 21:12:40 -!- hotidlerchick has changed nick to oklopol. 21:14:45 SAIOCP? itym SICP 21:16:59 -!- Slereah2 has joined. 21:17:04 oooooooooooooo 21:17:11 good to be myself again 21:17:33 oklopol: i didn't notice any change. 21:20:15 23:12… hotidlerchick is now known as oklopol 21:20:17 -!- timotiis has quit (Read error: 110 (Connection timed out)). 21:21:16 oklopol: yes what's the difference 21:21:21 nick? 21:21:29 it's entirely different 21:22:38 oklopol: same person though 21:22:55 :P 21:23:03 i guess nothing happened 21:23:14 no idea why it felt like it 21:34:00 -!- augur has changed nick to psygnisfive. 21:34:15 -!- Slereah__ has quit (Read error: 110 (Connection timed out)). 21:42:35 -!- ihope has joined. 21:42:43 We ought to do a BF busy beaver project on the wiki. 21:44:17 Is the most usual format tape infinite in both directions, cells 8-bit and wrapping? 21:44:39 -!- RodgerTheGreat has quit. 21:50:01 just infinite to the right 21:50:27 The tape is generally finite to the left? 21:51:14 And is going left while on the leftmost cell undefined? 21:51:43 i'd say so 21:52:04 and you generally start at the leftmost cell 21:52:12 -!- oerjan has joined. 21:52:19 hi oerjan 21:52:26 what's going on? 21:53:47 well someone down in Tønsberg gave the wrong phone number in a paper advertisement today... the number given happened to be mine :D 21:54:17 -!- Slereah__ has joined. 21:54:45 *newspaper 21:55:01 other than that, not much 21:56:06 that sounds awesome 21:56:08 A personal? 21:56:16 Are you getting sexay chat? 21:56:39 no, just requests for renting an apartment, alas 21:57:08 oerjan: AWESOME 21:57:16 "I don't have an apartment for you ... but I've got something else for you, baby ;)" 21:57:26 you should find out what its an ad for and answer the phone as tho you were the advertiser 21:57:37 sell the product to everyone that calls 21:57:39 or whatever 21:57:53 otoh i have so far failed to answer a single of the calls 21:58:12 lame 22:00:05 mostly because i accidentally had the phone turned off until late afternoon 22:02:20 (i did find the ad though, since one of the recorded calls mentioned the name of the newspaper) 22:02:54 sucks that you didnt know about it earlier 22:04:30 Hmm. +[.+] 22:04:49 lolwhat 22:04:58 new smily? :D 22:05:28 well-known bf spamming program 22:05:34 ? 22:05:40 brainfuck 22:06:09 hm actually that one stops after one cycle 22:06:24 It does? 22:06:33 Oh, right. 22:06:39 although can still be messy with > 8 bit bf 22:07:04 why does it stop after one cycle? 22:07:07 oh 22:07:10 egobot if it were here, uses 16 bit by default 22:07:11 one cycle through chars. 22:07:36 * oerjan wonders if that was grammatical 22:09:33 no it was NOT 22:10:33 excuse me while i go feed arrows to my time flies 22:11:05 -!- Slereah2 has quit (Read error: 110 (Connection timed out)). 22:11:17 -!- Slereah2 has joined. 22:11:31 i nearly have enough for my time machine now. BWAHAHAHA! 22:13:40 on the other hand, i have conclusively shown that apples fly almost, but not quite like bananas. 22:14:42 * oerjan for clarity wishes to stress that he is on nothing stronger than coffee 22:15:35 caffeine! that's what i was missing 22:15:46 * oklopol starts drinking 22:15:55 GregorR: i want egobot back 22:17:09 Yay, a non-trivial program that outputs a number of characters equal to its length: +++[-...] 22:19:07 is this some new kind of quinoid concept? 22:19:20 I guess it is like a quine. 22:19:49 Something Haskellian: replicate 16 '.' 22:24:03 -!- Slereah__ has quit (Read error: 110 (Connection timed out)). 22:24:58 http://scarybuggames.com/2008/05/chronotron/ 22:25:02 awesome game 22:31:29 ihope: better are programs which output their length 22:31:32 as an ascii char 22:31:37 so a 36 char program would print \36 22:41:39 ihope: so: 22:41:49 putChar'\12' 22:41:54 Yeah. 22:42:10 Hmm. 22:42:16 What's a brainfuck version of that 22:43:03 something +++[->+++<] -like probably 22:43:14 (with . at the end) 22:43:41 +++[->+++<]. 22:44:03 * tusho has no BF interp atm 22:46:29 ++[->+++++++++<]>. i think 22:52:19 tusho: that doesn't work 22:52:30 hmm 22:52:31 better - 22:52:36 output the decimal of the length 22:52:38 +++[->+++<]>. 22:52:43 that's harder 22:52:45 * pikhq takes a break from the distro development. 22:53:04 I almost have a distro which can boot from a single *5 1/4"* floppy. 22:53:04 Just one problem. . . 22:53:14 I've cut out too much of the kernel for it to boot. 22:53:22 Or, for that matter, for it to tell me why it won't boot. 22:56:28 pikhq: Are you using linux_tiny? 22:57:02 Of course. 22:57:45 tusho: whatever the rest of the program does with the length, the ++[->listofplusses<]restofprogram method can be used to initialize a cell with it 22:57:57 yeah 23:09:47 -!- Slereah__ has joined. 23:10:06 D:< 23:10:20 Slereah__: lol 23:11:48 Let's build a device that will pour liquid nitrogen on the CPU. 23:12:09 and make icecream at the same time! 23:13:33 :D 23:17:32 psygnisfive: the game is a bit too slow for me 23:17:56 especially as you can't skip the trivial levels 23:18:05 yeah i know 23:18:40 What game? 23:19:55 -!- Slereah2 has quit (Read error: 110 (Connection timed out)). 23:38:14 psygnisfive: cool idea for a game 23:38:16 very cool 23:38:26 its not time travel though 23:38:29 it's "replaying" 23:38:29 :p 23:39:04 Someone help me prove that there isn't a 9-character BF program that uses the . instruction more than 9 times. :-) 23:39:04 no you can cause paradoxes 23:39:26 ihope: +[.+].... 23:39:28 Disproved. 23:39:31 psygnisfive: and what happens 23:39:38 and the universe explodes 23:39:45 psygnisfive: unlikely. 23:40:04 well the game universe does 23:40:09 tusho: not if cells never wrap. 23:40:18 ihope: that calls . more than 9 times/ 23:40:31 But it never terminates. 23:40:41 So? 23:40:44 One that uses the . instruction more than 9 times and then terminates. 23:40:53 psygnisfive: paradoxes don't make it time travel, you being able to play multiple characters simulataneously would 23:41:14 i guess the make it more time travelish 23:41:25 what's the deelio with level 19? 23:41:32 ihope: +++[...-] 23:41:40 how would that be time travel, oklopol. 23:41:52 That does not use . more than 9 times. 23:42:00 whatchu mean whats the deal with 19? 23:42:15 ihope: ++[....-] 23:42:16 that does 23:42:19 wait 23:42:21 no it doesn't 23:42:26 oerjan: you're provey 23:42:27 disprove it 23:42:48 what 23:43:08 http://esoteric.voxelperfect.net/wiki/BF_busy_beaver 23:43:24 psygnisfive: well things could react to their past/future selves 23:43:39 but they can now, too, except the control is simplified for the past versions 23:43:42 Prove that a 9-character BF program can't output more than 9 characters before terminating. 23:44:11 Oh, you're not oerjan, are you? 23:44:15 oklopol: what? 23:44:58 psygnisfive: just that the past self should already see the future self when playing the first round 23:45:14 right. .. 23:45:14 ihope: Gee, I should write a program to find these things. 23:45:15 ;) 23:45:26 and this is achievable how? :P 23:45:36 psygnisfive: time travel isn't achievable 23:45:37 an exhaustive search does seem possible 23:45:45 :P 23:45:46 i'm not saying this isn't the best way to do it 23:45:58 psygnisfive: It was a joke, since of course it's one of the funnest impossible things. 23:46:04 i'm just saying it's not as close to time travel as one might've hoped 23:46:32 o 23:46:35 psygnisfive weren't talkin' to me 23:46:46 oklo 23:46:48 how would you do it 23:46:54 probably like that 23:47:11 hope has nothing to do with reason 23:47:38 im having problems with the timing :( 23:47:45 what lev? 23:47:48 the more guys i have on the screen the crummier it gets 23:47:53 the frustrating thing about this game 23:47:54 i don't know 19 is solved 23:47:56 all levels 23:47:57 is that I see myslef make the same mistakes 23:48:01 :| 23:48:01 i've only needed 4 23:48:31 hmm, actually 5 for one of the simple levels, but i think i could've done with less 23:48:31 ?? 23:48:36 psygnisfive: wanna help with 19? 23:48:43 no i can get it 23:48:47 i simply don't know how the lazer works 23:49:36 if i were really coy, i'd use special magic to reuse the same guy like 5 times 23:49:54 the game should let you do that 23:49:58 would be tons more fun. 23:49:59 it does 23:50:05 it does? 23:50:10 you just have to envision where you'll be 23:50:17 remember the puzzle where you had to change the past? 23:50:22 but non-destructively? 23:50:28 brb 23:50:55 i meant use part of your past self's movement. 23:51:28 so you don't have to play all of the the round n times if there are n triggers that need to be held simultaneously 23:51:51 and can you help with #19? 23:52:00 so do i, oklopol 23:52:04 you can do that 23:52:07 you just have to do it right 23:52:09 hmph 23:52:11 I caused a paradox 23:52:13 and nothing happened 23:52:20 ah 23:52:21 ey? 23:52:22 i see 23:52:24 it error'd 23:52:27 yeah 23:52:32 universe asplode 23:52:36 it's easy to see how this game really works though 23:52:38 it stores all your moves 23:52:39 psygnisfive: i don't get how you do it 23:52:40 then replays them 23:52:41 as another sprite 23:52:45 and if it waits a while 23:52:48 and you're not back at the time pod 23:52:51 it considers it a paradox 23:52:57 you have to be predictive 23:53:01 say i move to place A, then multiply into 7 guys 23:53:03 plan everything 23:53:12 how do i secord the place, and start from there every time? 23:53:15 *record 23:53:19 time travel is the best way to get a clone army though 23:53:27 you dont record anything dude 23:53:29 just go back to 10 minutes ago repeatedly 23:53:30 :D 23:53:36 you have to act as tho you were going to do it 23:53:40 walking against walls and stuff 23:53:47 and then when you press the buttons it works 23:53:55 tusho: sucks rather badly when a clone dies 23:54:04 01:50… oklopol: i meant use part of your past self's movement. <<< i meant "to get the level done faster" 23:54:06 i mean 23:54:07 like 23:54:11 oerjan: if we have time travel i hope we have invincibility 23:54:18 use part of the fucking move-around macro that's being recorded, twice. 23:55:29 i still dont get you 23:56:09 01:52… oklopol: say i move to place A, then multiply into 7 guys ||| 01:52… oklopol: how do i record the place, and start from there every time? <<< i want there to be an answer to this question. 23:56:32 psygnisfive: he knows there isn't one 23:56:32 i dont get what youre asking 23:56:34 but he wants one 23:56:36 often, you need to walk n guys into a place, then put each on a different button 23:56:45 so 23:56:50 i want to walk there *once* 23:56:56 because it's trivial to walk them all there 23:57:07 but it takes fucking hours 23:57:25 anyway, i don't care whether you get it, i want you to help me with #19 23:57:30 or tell me you won't 23:57:49 19 is easy 23:57:53 just go through the motions :P 23:58:01 you have to pause before you walk through the laser 23:58:01 how do i get past the lazer? 23:58:10 oh, right, it was a pause :) 23:58:18 heh, i got that, but didn't use it 23:58:19 thx. 23:59:35 :p 23:59:52 ihope: I wonder what BFBB(10) is