00:08:38 -!- calamari has quit ("Leaving").
00:13:38 -!- calamari has joined.
00:59:40 -!- heatsink has joined.
01:53:40 -!- heatsink has quit (Read error: 104 (Connection reset by peer)).
02:10:33 -!- heatsink has joined.
02:19:14 -!- GregorR has quit (Read error: 110 (Connection timed out)).
03:16:48 -!- Sgeo has quit (Remote closed the connection).
03:19:27 -!- heatsink has quit (Read error: 104 (Connection reset by peer)).
03:28:23 -!- calamari has quit ("Leaving").
03:33:30 -!- heatsink has joined.
04:20:29 -!- heatsink has quit ("Leaving").
04:36:31 -!- Arrogant has joined.
05:29:17 -!- Arrogant has quit ("Leaving").
06:33:30 -!- sekhmet has quit (niven.freenode.net irc.freenode.net).
06:33:33 -!- sp3tt has quit (niven.freenode.net irc.freenode.net).
06:33:33 -!- cmeme has quit (niven.freenode.net irc.freenode.net).
06:33:34 -!- SimonRC has quit (niven.freenode.net irc.freenode.net).
06:34:27 -!- sekhmet has joined.
06:34:27 -!- sp3tt has joined.
06:34:27 -!- cmeme has joined.
06:34:27 -!- SimonRC has joined.
07:59:59 -!- clog has quit (ended).
08:45:19 -!- clog has joined.
08:45:19 -!- jix has joined.
16:03:14 -!- puzzlet_ has quit (Read error: 110 (Connection timed out)).
16:10:00 -!- puzzlet has joined.
16:19:05 -!- CXI has joined.
17:33:30 -!- Flaie has joined.
17:39:50 -!- Aardwolf has joined.
18:33:24 -!- Flaie has quit (":)").
19:01:28 -!- heatsink has joined.
19:03:17 -!- ihope_ has joined.
19:32:11 <jix> ihope_: ping
19:34:34 <jix> ihope_: has anyone started a golf or do you want to start one or are you asking for one?
19:34:51 <ihope_> I wanted to start one.
19:35:03 <ihope_> Should I just plop it on the message board?
19:35:04 <jix> ihope_: cool!
19:35:09 <jix> ihope_: on which?
19:35:20 <ihope_> The non-broken one. :-)
19:35:26 <ihope_> The anonymous one, that is.
19:35:28 <jix> the sf or the esolangs.org one?
19:35:53 <jix> you that sounds good
19:43:20 <jix> ihope_: do you highlight me if you are done writing it down?
19:54:59 -!- calamari has joined.
19:55:05 <jix> moin calamari
19:55:10 <ihope_> Okay, the BF golf thing has started.
19:55:18 <jix> ihope_: cool
19:56:46 <jix> ihope_: ok i think this time we have to write down a proof that the program does what it should
19:58:48 <jix> calamari: check the msg board
19:58:52 <calamari> oh yeah, I still need to send out the prize
19:59:14 <calamari> I don't think I will test the program, I just dont have the time to devote to it
19:59:27 <calamari> everyone thinks it works, so it probably does
20:03:46 <ihope_> Yay, Javascript! alert(alert(5))
20:04:08 <ihope_> More fun: alert(5+alert(3))
20:08:52 -!- calamari has quit ("Leaving").
20:09:33 -!- Arrogant has joined.
20:09:37 -!- calamari has joined.
20:31:26 <jix> ihope_: do you already have a solution to the golf?
20:31:50 <ihope_> +++++++++++++++++ (etc. etc.) +++++++.
20:32:08 <jix> is that legal?
20:32:20 <ihope_> Well, apart from not knowing the MD5 hash, yes.
20:32:35 <ihope_> If you can MD5 hash it, then it's perfectly legal.
20:32:47 <jix> ok add the knowledge of the md5 to the rules.. (or is it already there?)
20:33:12 <jix> oh right...
20:33:25 <ihope_> "Just post the MD5 hash of your program here along with the length of it."
20:33:58 <jix> i stopped reading the rules after nor may it accept input ;)
20:36:45 <ihope_> Hmm... were you going to feed Graham's number in manually? :-)
20:37:10 <jix> i stopped reading _after_
20:37:26 <jix> because in that moment i got an idea how to solve the problem
20:42:51 <ihope_> 2^^^2 = 2^^2^^2 = 2^^(2^2^2) = 2^^(2^4) = 2^^16 = 2^2^2^2^2^2^2^2^2^2^2^2
20:43:00 <ihope_> I'd say it takes a while.
20:43:54 <jix> you wouldn't be able to store that (ever)
20:44:20 <jix> that should be more than the number of particles in the universe
20:45:00 <ihope_> Why does everybody use the number of particles in the universe as the classic "pretty big number"?
20:45:33 <jix> ihope_: because you can't build a ram cell that has more particles
20:45:56 <ihope_> But why not, say, 3? That'd work about as good.
20:47:19 <jix> hmm wait you could store informations in the distance of two particles.. let's assume it can be any real number between 0 and 1<unit> one should be able to store infinite informations there
20:52:40 <calamari> so this is a bf variant that outputs a cell value as decimal ?
20:53:06 <ihope_> Not representations of numbers.
20:53:28 <calamari> you can't output a number, only a representation of one...
20:53:32 <ihope_> (You're talking about the BF golf, right?)
20:53:46 <jix> calamari: you can output a number
20:53:52 <calamari> so if I did +++. what does it output
20:54:12 <jix> but not the representation 3 of the number 3 only the number 3
20:54:22 <calamari> it outputs the number in decimal
20:54:25 <jix> calamari: no
20:54:44 <jix> calamari: no
20:54:48 <jix> no representation
20:54:50 <ihope_> The number 3 is not the numeral 3 nor the literal 3 nor the string 3...
20:55:21 <ihope_> Well, I never said I was going to run the BF programs.
20:55:42 <jix> calamari: it's maybe impossible to create such an interpreter but even if one could the program would never complete in the lifetime of the sun
21:13:21 <ihope_> Okay. ^ is exponentiation, ^^ is tetration, ^^^ is pentation.
21:13:33 <ihope_> 3^^^3 = 3^^3^^3 = 3^^(3^3^3)...
21:14:10 <ihope_> 3^^(3^3^3) = 3^^(3^27)
21:14:32 <ihope_> 3^^(3^27) = 3^^7625597484987
21:14:52 <ihope_> 3^^7625597484987 is big.
21:16:01 <jix> you don't need 3^^^3
21:16:54 <ihope_> 3^^3 = 3^3^3 = 3^27 = 7625597484987
21:24:37 <jix> i wrote my program in a highlevel language that should be easy to transform into brainfuck and added a "proof" in the comments
21:42:09 -!- heatsink has quit ("Leaving").
21:50:32 -!- Arrogant has quit ("Leaving").
22:03:11 <Aardwolf> I wonder when they'll finally define tetration for reals :)
22:41:46 -!- Aardwolf has quit ("Leaving").
22:49:23 -!- CXI has quit (Connection timed out).
22:59:58 -!- Arrogant has joined.
23:33:09 -!- GregorR-L has quit.