01:00:21 -!- ehird` has quit (Read error: 104 (Connection reset by peer)).
01:01:35 <ihope_> Abc = Print "A B C! 1 2 3! A B C! 1 2 6"
01:04:02 <Tritonio> faxathisia, where are you from?
01:07:16 <Tritonio> i really need some sleep... so goodnight everyone.
01:10:18 <ihope_> Or maybe "tufueo" would be a better word.
01:17:38 <ihope_> A couple words for "bye".
02:58:50 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
03:40:50 -!- Arrogant has joined.
03:48:32 -!- Arrogant has quit ("Leaving").
04:05:34 -!- noom has joined.
04:06:28 -!- noom has left (?).
04:48:54 <faxathisia> time-reversible language Janus http://www.cise.ufl.edu/~mpf/rc/janus.html
05:35:53 -!- puzzlet_ has quit (Remote closed the connection).
05:36:00 -!- puzzlet has joined.
06:10:22 -!- puzzlet has quit (Remote closed the connection).
06:10:29 -!- puzzlet has joined.
06:34:40 -!- puzzlet has quit ("Lost terminal").
06:44:04 -!- bsmntbombdood has quit (Remote closed the connection).
06:49:48 -!- bsmntbombdood has joined.
07:07:31 -!- puzzlet has joined.
07:10:24 -!- Sgeo has quit ("Ex-Chat").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:17:48 -!- puzzlet_ has joined.
08:29:31 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
08:38:14 -!- puzzlet_ has quit (Read error: 104 (Connection reset by peer)).
08:39:03 -!- puzzlet has joined.
08:59:55 -!- sebbu has joined.
11:33:39 -!- RedDak has joined.
11:43:10 -!- ihope____ has joined.
11:43:23 -!- ihope____ has changed nick to ihope_.
12:08:58 -!- ihope_ has quit (Read error: 110 (Connection timed out)).
12:11:15 -!- Dagide has joined.
12:20:45 <Tritonio> faxathisia, is it that super-turing-complete language that can print the time needed by a program to execute even before it's execution?
12:21:16 <faxathisia> You can run anything forwards and backwards in it, and there's a self interpreter
12:22:28 <Tritonio> it just changes the direction of the execution?
12:23:23 <faxathisia> yeah, example is setting n to 4 then calling fibonacci ends up with x = 5, y = 8
12:23:40 <faxathisia> setting x to 5, y to 8, then uncalling fib ends up with n = 4
12:25:33 <faxathisia> (It's reversible since every operation is invertible)
12:27:52 -!- Dagide has quit ("I'm quitting... Bye all").
12:28:04 -!- dak has joined.
12:29:29 -!- RedDak has quit (Read error: 110 (Connection timed out)).
13:27:42 -!- ehird` has joined.
14:20:09 -!- Slereah- has joined.
14:34:00 -!- Slereah has quit (Read error: 110 (Connection timed out)).
14:34:53 -!- Tritonio has quit (Read error: 104 (Connection reset by peer)).
14:52:53 -!- jix has joined.
15:02:38 -!- Tritonio has joined.
15:06:23 -!- RedDak has joined.
15:10:31 -!- dak has quit (Read error: 104 (Connection reset by peer)).
15:12:08 -!- RedDak has quit (Remote closed the connection).
15:18:54 -!- RedDak has joined.
15:19:58 -!- Dagide has joined.
15:20:36 <ehird`> i'm writing a brute-force tic-tac-toe algo for the hell of it
15:20:43 <ehird`> and i was calling make_move from within my bruteforcer
15:20:48 <ehird`> which calls brute_force to decide a move...
15:21:20 -!- Dagide has quit (Client Quit).
15:21:46 -!- dak has joined.
15:22:34 -!- dak has quit (Client Quit).
15:38:26 -!- RedDak has quit (Connection timed out).
15:54:35 -!- RedDak has joined.
15:55:45 -!- RedDak has quit (Client Quit).
15:57:46 -!- RedDak has joined.
16:08:11 <ehird`> copy_game(ng) is changing ml2?
16:50:20 <ehird`> oklopol: ihope: megaping #zingcode
17:03:13 -!- puzzlet has quit (Remote closed the connection).
17:03:15 -!- puzzlet_ has joined.
17:50:17 <Tritonio> ehird`, what do you mean brute force tic tac toe?
17:50:27 <Tritonio> recursivelly searching the whole game tree?
17:50:34 <ehird`> Tritonio: try every possible move+response from the current one, select the best one
17:50:58 <ehird`> it kinda fails if you make the board bigger than 3x3 because of certain time complexity issues ;)
17:51:00 <Tritonio> http://inshame.blogspot.com/search/label/My%20Progs%3A%20A%28X%29I%28O%29
17:51:19 <ehird`> that site makes my eyes bleed
17:51:38 <ehird`> background+text colour+etc
19:10:47 -!- sebbu2 has joined.
19:29:52 -!- sebbu has quit (Connection timed out).
19:49:21 <bsmntbombdood> ehird`: what is the time complexity of that algorithm?
19:49:37 <ehird`> bsmntbombdood: O(Fucking Slow)
19:51:19 <ehird`> GregorR: it's extended O notation
19:51:47 <ehird`> it adds three new definitions: O(Pretty Damn Fast), O(Faster than NOP) and O(Fucking Slow)
19:51:50 <GregorR> Sort of a qualitative big O :P
19:52:06 <ehird`> i don't think you can solve much with a O(Faster than NOP) algorithm, though
19:52:40 <ehird`> O(Quantum algorithm that finishes before you run it)
19:53:44 <Slereah-> Let's send the electric signal FASTER THAN THE SPEED OF LIGHT
19:53:51 <ehird`> Slereah-: With SCIENCE!
19:54:09 <ehird`> Ooh, I just downloaded the 5th next version of the Linux kernel.
19:54:18 <ehird`> It's compressed to 1 byte, in the future.
19:54:44 <Slereah-> Tell me, so that I can say I invented it!
19:54:46 <ehird`> I'm having some problems getting the uncompressor downloaded though.
19:55:06 <ehird`> Slereah-: Sorry - if I told you a quantum paradox would appear and you would disappear from all possible universes according to string theory.
19:56:25 <Slereah-> Don't you remember Star Trek 4?
19:56:33 <Slereah-> With the transparent aluminium.
19:56:36 <ehird`> In the future Star Trek is old fashioned!
19:56:41 <Slereah-> "Won't that change the future?"
19:57:58 <ehird`> OKAY, KUBUNTU INSTALL TIME. SEE YOU SOON. :p
19:58:57 -!- ehird` has quit (Read error: 104 (Connection reset by peer)).
20:05:54 -!- ehird` has joined.
20:18:36 -!- jix has quit ("CommandQ").
20:24:30 <ehird`> : SAY-HELLO ." HELLO WORLD" ; SAY-HELLO
20:26:24 <ehird`> : WELCOME-BACK ." Welcome back, " USERNAME . ." ." ; WORLD @ WELCOME-BACK
20:31:03 <ehird`> Entity = :[ name, init = (sname as string){ name = sname; }, greet = { println("Hello, " + name + "!"); } ]; world = new(Entity, "world"); world.greet()
20:31:08 <ehird`> ^ Plof, I think that's right
20:36:39 -!- puzzlet_ has quit (Remote closed the connection).
20:36:46 -!- puzzlet has joined.
20:41:54 -!- ehird` has quit (Read error: 104 (Connection reset by peer)).
20:51:18 -!- elliott_ has joined.
20:52:54 -!- elliott_ has quit (Remote closed the connection).
20:53:11 -!- ehird` has joined.
20:58:04 <GregorR> On Wednesday, I got an email that used quotes for emphasis (You "CAN NOT" do blah blah blah). I couldn't help but send an email back pointing out that that's not only an incorrect use of quotes, but that the implication of quotes there is exactly the opposite of what he wants. I got one of these back: "In my 10+ years experience blah blah blah blah"
20:58:43 <ehird`> Now why is Kopete crashing when I connect to MSN???
20:59:03 <bsmntbombdood> i don't understand why people use quotes for emphasis
20:59:31 <ehird`> GregorR: I know it's the suck
20:59:35 <ehird`> But most people I know use it
21:01:33 <ihope> People should subscribe to prescriptive English manuals and make note of which ones they are whenever they say anything.
21:03:09 <bsmntbombdood> Dad, have you ever thought bout the fact that when men gather in a sauna, they sit in a lot of sweat from other men's buttocks, testicles, and anus? Is it some kind of experiment with homosexuality that heteros secretly allow themselves, because they're all basically confused about their sexuality?
21:04:27 <ihope> Heteros are all basically confused about their sexuality? I'm definitely hetero, then. I mean, hi.
21:05:49 <ihope> So is everybody either "confused heterosexual" or "definite homosexual", or...
21:21:03 -!- ihope____ has joined.
21:21:10 -!- Slereah has joined.
21:21:17 -!- ihope____ has changed nick to ihope_.
21:23:39 -!- ihope____ has joined.
21:28:53 -!- Slereah- has quit (Read error: 110 (Connection timed out)).
21:34:58 <dbc> It bothers me when people use "may have" in place of "might have" to describe something that is known not to have happened.
21:35:58 <ehird`> This channel is esoteric about its topic being esoteric programming languages.
21:36:20 <dbc> "Groundhog Day": "If you hadn't been here, Bill would have choked to death for sure!" "Well, he may have, he was trying to swallow a whole cow."=
21:38:50 -!- ihope_ has quit (Connection timed out).
21:46:30 -!- sebbu2 has changed nick to sebbu.
21:51:29 <Slereah> That's what happen when you have too much cybersex.
22:06:55 <faxathisia> bsmntbombdood: I don't know whether it is or not, I'll try to prove it once the interpreter is finished
22:07:18 <faxathisia> I'm quite sure it is.. since everything is bloody universal
22:10:53 -!- Tritonio has quit (Remote closed the connection).
22:11:54 <faxathisia> it says that reversible turing machines exist
22:12:32 <faxathisia> turing machines are revisible if their transition functions are bijective
22:20:27 <bsmntbombdood> http://www.healthgrades.com/directory_search/physician/profiles/dr-md-reports/Dr-Alden-Cockburn-MD-D45E5C3F.cfm
22:20:37 <bsmntbombdood> http://www.healthgrades.com/directory_search/physician/profiles/dr-md-reports/Dr-Harry-Beaver-MD-FD3B8B34.cfm
22:20:45 <GregorR> The common definition of a Turing machine is irreversible, but irreversibility is not a requirement for Turing completeness.
22:22:54 <faxathisia> I can prove it's turing complete by writing brainfuck in it, + - < > invert into - + > <.. And I can simply store a choice point (duplicate the store) at each [
22:33:32 <ihope> Take note of whether the loop was entered or not?
22:33:46 <ihope> That's enough to reverse a BF program, no?
22:36:01 <oklopol> i think you need to know how many times the loop was loopzored
22:38:12 <oklopol> what's the point of clothes
22:38:48 <ihope> oklopol: same thing, isn't it?
22:41:21 <GregorR> Am I insane for thinking a JavaScript MMIX simulator would be nice?
22:41:55 <ehird`> there was a link on reddit a while back
22:42:45 <GregorR> Hypothetically, one could C->JS with this >:)
22:43:08 <ehird`> It wasn't done. Sorry.
22:43:14 <ehird`> There was SOME sort of well-known arch done, though
22:48:53 -!- RedDak has quit (Read error: 104 (Connection reset by peer)).
23:03:01 <ehird`> GregorR: what can gcc output, instruction set-wise?
23:08:20 <ehird`> lots of things :P is there a list somewhere?
23:09:17 <ehird`> GregorR: http://www.recreationalmath.com/mixal/ MIX, but not MMIX
23:09:36 <GregorR> Unfortunately, GCC doesn't target MIX, only MMIX :(
23:09:44 <GregorR> There's a list at gcc.gnu.org . The link on the right that says "back ends"
23:11:26 <faxathisia> bsmntbombdood: I can't do anything which removes information
23:11:42 <faxathisia> so if you have the current cell = 3, and you hit [-]
23:11:59 <faxathisia> There must be a way, when running backwards to know when to exit the loop on the left
23:12:17 <faxathisia> I'll actually code this soon, it probably make more sense than my rambling
23:15:05 <ehird`> GregorR: How hard is it to write a backend? :P
23:15:30 <oklopol> ihope: if by "same thing" you meant "Take note of whether the loop was entered or not?" == "you need to know how many times the loop was loopzored", i don't see what you mean
23:15:53 <GregorR> ehird`: I've never tried, I'm a pansy like that. Suffice to say that I determined you can't write one for BF :P
23:16:09 <GregorR> (It won't work on platforms with no registers)
23:16:23 <GregorR> A MISC/OISC one would probably be feasible.
23:16:39 <GregorR> (No registers, but you can always just claim a specific chunk of memory as registers)
23:18:01 <ihope> Ah--I meant to take note at every opportunity.
23:19:47 <ehird`> GregorR: Feasable, but would it be EASY to get something working? :P
23:19:59 <GregorR> No. Not even the slightest bit.