00:30:59 -!- tromp has joined. 00:35:45 -!- tromp has quit (Ping timeout: 264 seconds). 01:25:06 -!- oerjan has joined. 01:25:42 -!- mrrmx has quit (Quit: Leaving). 01:34:33 ^bf ,[.-[-->++<]>+]!0 01:34:38 0 ...out of time! 01:34:40 ^bf ,[.-[-->++<]>+]!1 01:34:40 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ... 01:35:03 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56396&oldid=56391 * Oerjan * (+11) /* brainfuck */ Replace by the reverted version by [[User:A]], which was shorter and simpler. 01:47:38 [[Talk:Alphuck]] M https://esolangs.org/w/index.php?diff=56397&oldid=40427 * Oerjan * (+2) Fix incorrect categorization of talk page 01:53:18 -!- variable has joined. 01:54:00 [[User:Language]] https://esolangs.org/w/index.php?diff=56398&oldid=56395 * Oerjan * (-61) Improve formatting, also remove a non-existent category which this language is currently nowhere near the low, low bar of reaching. 02:01:49 -!- imode has joined. 02:06:24 [[Solo]] N https://esolangs.org/w/index.php?oldid=56399 * A * (+186) Created page with "==Syntax== {| class="wikitable" |- | s || scan a number in console |- | o || output the number |- | l || loop the next byte forever if the accumuator is not 0 |} ==Truth-mach..." 02:08:29 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56400&oldid=56396 * A * (+21) /* Core SNUSP */ 02:18:41 -!- tromp has joined. 02:23:13 -!- tromp has quit (Ping timeout: 256 seconds). 02:24:14 [[Is]] N https://esolangs.org/w/index.php?oldid=56401 * A * (+675) Created page with "==is== {| class="wikitable" |- | i || increment the current byte |- | s || set the whole array(It is all set to 0)(If it repeats forever, then it will overflow) into the poin..." 02:25:11 -!- trout has joined. 02:25:44 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56402&oldid=56400 * A * (+151) /* IRP */ 02:26:45 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56403&oldid=56402 * A * (+1) /* =Is */ 02:28:44 -!- variable has quit (Ping timeout: 276 seconds). 02:42:49 -!- oerjan has changed nick to oerjan_. 02:42:52 -!- oerjan_ has changed nick to oerjan. 02:43:54 my altnick hadn't been used since january... 02:47:51 @tell ais523 I can't figure out which word I did mean though <-- progressively hth 02:47:51 Consider it noted. 02:58:49 -!- variable has joined. 03:00:35 [[Fake-machine]] N https://esolangs.org/w/index.php?oldid=56404 * A * (+530) Created page with "A '''Fake-machine''' is a simple program type, inspired by [[User:Keymaker|Keymaker]]'s Truth-machine to be a program that is easy, most of the time, to implement in a languag..." 03:00:51 -!- trout has quit (Ping timeout: 240 seconds). 03:03:07 [[Fake-machine]] https://esolangs.org/w/index.php?diff=56405&oldid=56404 * A * (+5) /* Implementations */ 03:06:43 [[Fake-machine]] https://esolangs.org/w/index.php?diff=56406&oldid=56405 * A * (+14) 03:06:44 @tell wob_jonas The best outcome IMO would have been to spell Hungarian [...] <-- you seem to be reinventing czech spelling except for swapping s and c... 03:06:44 Consider it noted. 03:07:07 [[Fake-machine]] https://esolangs.org/w/index.php?diff=56407&oldid=56406 * A * (+26) 03:09:47 -!- imode has quit (Ping timeout: 268 seconds). 03:33:05 -!- variable has quit (Ping timeout: 276 seconds). 03:37:08 -!- variable has joined. 04:02:09 -!- ais523 has joined. 04:02:26 ^bf ,[.-[-->++<]>+]!0 04:02:30 0 ...out of time! 04:02:33 ^bf ,[.-[-->++<]>+]!1 04:02:34 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ... 04:03:33 oh, I see how it's meant to work 04:04:02 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56408&oldid=56403 * Ais523 * (-11) Undo revision 56396 by [[Special:Contributions/Oerjan|Oerjan]] ([[User talk:Oerjan|talk]]) the version by [[User:A]] isn't correct; it goes into an infinite loop on 0 rather than terminating 04:05:26 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56409&oldid=56408 * Ais523 * (-152) undo the [[is]] program; you can't specify an entirely different program for input 0 and input 1, that doesn't test conditionals 04:09:11 -!- trout has joined. 04:10:01 -!- doesthiswork has quit (Quit: Leaving.). 04:12:35 -!- variable has quit (Ping timeout: 255 seconds). 04:18:21 ais523: the original also goes into an infinite loop 04:18:54 ugh 04:18:58 do I have to write a working one myself, then? 04:19:13 no, there's a working one way back in page history (about two pages) 04:19:41 or at least, a different one. 04:20:45 perhaps a bit of bisection is in order. 04:26:39 -!- callforjudgement has joined. 04:26:43 -!- ais523 has quit (Disconnected by services). 04:26:45 -!- callforjudgement has changed nick to ais523. 04:26:47 ^bf >,.[<+>>>--[>-<--]<-<-]>[<<[.]]!0 04:26:47 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 ... 04:26:55 ^bf >,.[<+>>>--[>-<--]<-<-]>[<<[.]]!1 04:26:55 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ... 04:26:58 hmm 04:27:11 ^bf >,.[<+>>>--[<->--]<-<-]>[<<[.]]!0 04:27:12 0 04:27:14 ^bf >,.[<+>>>--[<->--]<-<-]>[<<[.]]!1 04:27:14 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ... 04:27:17 there we go 04:27:21 i'm on it 04:27:26 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56410&oldid=56409 * Oerjan * (+7) Undo [https://esolangs.org/w/index.php?title=Truth-machine&type=revision&diff=47110&oldid=46694 old edits] which made it loop infinitely on 0 04:27:49 or were you making a better one... 04:28:06 mine checks even/odd, I think that one's checking for 48 specifically 04:28:11 yep 04:28:14 ,[>+>+<<-]++++++[>--------<-]>[>.<]>. 04:28:16 ,[>+>+<<-]++++++[>--------<-]>[>.<]>. 04:28:23 >,.[<+>>>--[<->--]<-<-]>[<<[.]] 04:28:45 hmm, can you golf off a byte there by rearranging what cell's used for what? 04:28:49 ok that's shorter 04:28:52 mine relies on wrapping, anyway, that one doesn't 04:29:03 maybe have both, then. 04:29:46 ^bf ,.[>>>+<--[<->--]<-<-]>[>>[.]]!0 04:29:46 0 04:29:48 ^bf ,.[>>>+<--[<->--]<-<-]>[>>[.]]!1 04:29:48 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ... 04:29:59 >,.[<+>>>--[<->--]<-<-]>[<<[.]] 04:30:05 ,.[>>>+<--[<->--]<-<-]>[>>[.]] 04:30:13 yep, slightly shorter if you rearrange it like this 04:30:48 an even/odd test is surprisingly hard to do non-wrapping 04:30:50 unless, hmm 04:31:38 ^bf >>,.[[->+<]>-]<[<<]>[.]!0 04:31:38 0 04:31:40 ^bf >>,.[[->+<]>-]<[<<]>[.]!1 04:31:40 1 04:31:51 oh, duh 04:31:54 ^bf >>,.[[->+<]+>-]<[<<]>[.]!0 04:31:54 0 ... 04:31:56 ^bf >>,.[[->+<]+>-]<[<<]>[.]!1 04:31:57 1 04:31:58 hm my edit summary didn't give a clickable link. it's annoying that Undo over more than one edit doesn't fill one in... 04:32:46 ais523: that's full of ^As tdnh 04:32:57 yes, I know what went wrong 04:33:44 ^bf >>>>,.[[->+>+<<]>>-]<<[<<<<]>[.]!0 04:33:44 0 ... 04:33:50 hmm 04:34:22 ^bf >>>>,.[[->+>+<<]>>-]<[<<<<]>[.]!0 04:34:22 0 04:34:23 by the way someone started a new polyglot chain https://codegolf.stackexchange.com/questions/167621/add-a-egaugnal-to-a-polyglot 04:34:25 ^bf >>>>,.[[->+>+<<]>>-]<[<<<<]>[.]!1 04:34:25 1 04:34:29 I noticed 04:34:42 I probably won't contribute to it 04:34:46 might look at it when it grows longer 04:36:04 ^bf >,.[->+>+<<]>>[[->+<]+>-]<[<<]>[.]!0 04:36:04 0 04:36:09 ^bf >,.[->+>+<<]>>[[->+<]+>-]<[<<]>[.]!1 04:36:09 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ... 04:36:11 that works 04:36:20 but it's not nearly as simple as the rather elegant original :-( 04:36:41 as i said, include both 04:36:58 I mean, my original non-wrapping version which didn't work but was very elegant 04:37:19 oh 04:37:35 ^bf >>>,.[[->+<<+>]>-]<[<<]>[.]!0 04:37:35 0 04:37:38 ^bf >>>,.[[->+<<+>]>-]<[<<]>[.]!1 04:37:38 1 04:37:45 oh ofc 04:37:51 ^bf >>>,.[[->+<<+>]>-]<<<[<<]>[.]!0 04:37:51 0 04:37:53 ^bf >>>,.[[->+<<+>]>-]<<<[<<]>[.]!1 04:37:53 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ... 04:37:57 there, that's a bit better 04:38:27 * ais523 vaguely wonders if all three leading >s are required 04:38:30 time to bring up a debugger, I guess 04:39:03 ^bf +>>>,.[[->+<<+>]>-]<<<[<<]>[.]!0 04:39:03 0 04:39:08 ^bf +>>>,.[[->+<<+>]>-]<<<[<<]>[.]!1 04:39:08 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ... 04:41:28 oh, that's a clever way to check 04:41:29 -!- variable has joined. 04:41:36 ^bf +>>,.[[->+<<+>]>-]<<<[<<]>[.]!0 04:41:36 0 ... 04:41:39 but not perfect 04:41:41 -!- shachaf has quit (Ping timeout: 256 seconds). 04:41:54 based on what causes the overshoot to the left of the start, it'll be reliable in this case 04:42:31 -!- shachaf has joined. 04:42:47 good 04:43:09 >>,.[[->+<<+>]>-]<<<[<<]>[.] 04:43:19 >,.[<+>>>--[<->--]<-<-]>[<<[.]] 04:43:33 hmm, I'm using a proportional-width font, the programs are much the same width in this 04:43:36 * ais523 copies to an editor 04:43:52 the first is shorter hth 04:44:01 looks like >>,.[[->+<<+>]>-]<<<[<<]>[.] is the best option of my programs, it's shorter /and/ it doesn't require wrapping 04:44:12 although it does have O(n²) performance where n is the ASCII code of the input 04:44:32 I've just confirmed in a debugger that the maximum overshoot is 2 squares to the left of the input 04:44:36 -!- trout has quit (Ping timeout: 265 seconds). 04:45:27 although, hmm 04:45:30 I'm not sure I did that right 04:45:32 * ais523 double-checks 04:46:42 oh, looks like all three > /are/ needed 04:46:48 in the case where the input is 0 04:47:10 0 the digit or 0 the cell value 04:47:21 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56411&oldid=56410 * Ais523 * (-8) /* brainfuck */ shorter version 04:47:34 the digit 04:48:16 the program should work on cell values 0 and 1 too, I think 04:48:32 although with cell value 0 it follows a different codepath that just happens to give the right answer, rather than by design 04:48:37 heh 04:50:41 actually, with cell value 0 the program degenerates to >>>,.<<<> 04:50:52 which makes it very clear how much tape is needed :-) 04:53:01 you'd think 05:03:54 come to think of it I'm not sure that the codepath for NUL is that different from that for \x30 05:12:55 -!- trout has joined. 05:16:26 -!- variable has quit (Ping timeout: 276 seconds). 05:39:51 -!- XorSwap has quit (Ping timeout: 256 seconds). 05:43:48 -!- variable has joined. 05:44:55 ais523: i don't think it exits without error on input 1 hth 05:45:19 haha :-) 05:45:26 I know what I meant, as do you 05:45:28 I'll fix it 05:45:59 SSA is too good 05:46:23 Is there a programming language based on explicit SSA in some sense? 05:47:46 -!- trout has quit (Ping timeout: 260 seconds). 06:02:57 some intermediate representations are like that 06:03:00 LLVM IR, for example 06:03:17 I can't think of a high-level language offhand that uses it 06:09:43 -!- doesthiswork has joined. 06:09:55 -!- imode-desktop has quit (Quit: WeeChat 2.1). 06:20:45 SPIR-V as well, I remember liking it when I scanned its spec draft 06:20:48 -!- trout has joined. 06:22:43 I think there are languages written as a fairly thin layer above SPIR-V (and maybe WebASM), which might count as "high-level language with ex plicit SSA" 06:22:59 I should figure out what the question I'm trying to ask is first, anyway. 06:23:05 -!- variable has quit (Ping timeout: 255 seconds). 06:23:08 Probably 06:23:13 I guess you can also say that Mill assembly is SSA. 06:24:29 I should get back to my "I swear it'll become a fancy decompiler someday" project 06:27:51 also: hachaf 06:28:20 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56412&oldid=56357 * A * (+494) /* Big width loops */ 06:32:32 HellorFly 06:32:55 I think the language I've been trying to figure out is related to SSA but I haven't figured out exactly how it works yet. 06:33:00 -!- SopaXorzTaker has joined. 06:36:18 hmm, I suddenly realised that SSA is similar in a way to continuation passing style 06:48:58 -!- tromp has joined. 06:54:20 -!- variable has joined. 06:55:27 -!- tromp has quit (Ping timeout: 240 seconds). 06:55:46 Yes, very similar. 06:56:10 Also did you see the presentation of SSA in https://www.cs.cmu.edu/~fp/courses/15411-f13/lectures/06-ssa.pdf ? 06:57:46 -!- trout has quit (Ping timeout: 260 seconds). 06:59:46 no; I'm not sure I've read any papers/lectures on SSA 07:00:10 it's just one of those concepts that you pick up when you do esoprogramming, because it's helpful to know all the low-level programming techniques in existence in case one of them becomes relevant 07:00:19 although, hmm, SSA isn't really conceptually low level 07:00:27 just happens to be used there because it's a pain to program in manually 07:06:45 Well, I like that presentation more than the one with phi nodes. 07:07:56 [[Truth-machine]] M https://esolangs.org/w/index.php?diff=56413&oldid=56411 * ZM * (+1) /* Andromeda */ actually push 0 on 0 07:09:21 Isn't FP code all effectively already in SSA? 07:09:27 (At least, pure FP code) 07:14:45 -!- SopaXorzTaker has quit (Ping timeout: 260 seconds). 07:16:28 -!- SopaXorzTaker has joined. 07:18:13 Lymia: hmm, I guess you can see a function call as a phi node 07:20:13 Yes. 07:20:25 -!- tromp has joined. 07:27:10 -!- trout has joined. 07:29:41 -!- variable has quit (Ping timeout: 255 seconds). 07:54:48 -!- doesthiswork has quit (Quit: Leaving.). 07:56:17 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56414&oldid=56412 * A * (+457) /* Average Numbers */ 07:57:28 -!- variable has joined. 08:01:32 -!- trout has quit (Ping timeout: 276 seconds). 08:28:50 -!- danieljabailey has quit (Ping timeout: 260 seconds). 08:31:08 -!- trout has joined. 08:31:23 -!- oerjan has quit (Quit: Nite). 08:31:44 -!- aloril__ has joined. 08:32:25 -!- danieljabailey has joined. 08:33:05 -!- aloril_ has quit (Ping timeout: 248 seconds). 08:33:21 -!- variable has quit (Ping timeout: 240 seconds). 08:43:09 -!- AnotherTest has joined. 08:43:56 -!- danieljabailey has quit (Ping timeout: 255 seconds). 08:45:52 -!- danieljabailey has joined. 08:55:04 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56415&oldid=56413 * A * (+53) /* brainfuck */ 09:01:16 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56416&oldid=56414 * A * (+568) /* Golf question */ 09:02:39 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56417&oldid=56415 * A * (+88) /* brainfuck */ 09:02:56 -!- variable has joined. 09:05:27 SSA? 09:05:32 -!- trout has quit (Ping timeout: 255 seconds). 09:05:52 Static single assignmnet? 09:08:46 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56418&oldid=56417 * A * (+14) /* brainfuck */ 09:08:51 Taneb: yeah 09:18:50 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56419&oldid=56418 * A * (-102) /* brainfuck */ 09:21:58 [[Truth-machine]] https://esolangs.org/w/index.php?diff=56420&oldid=56419 * A * (+114) /* brainfuck */ 09:24:54 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56421&oldid=56416 * A * (-25) /* Let's try another longer version */ 09:34:13 -!- trout has joined. 09:37:21 -!- variable has quit (Ping timeout: 240 seconds). 10:05:07 -!- variable has joined. 10:08:10 -!- trout has quit (Ping timeout: 260 seconds). 10:36:34 -!- trout has joined. 10:39:51 -!- variable has quit (Ping timeout: 265 seconds). 11:01:47 -!- S_Gautam has joined. 11:08:18 -!- variable has joined. 11:11:10 -!- trout has quit (Ping timeout: 260 seconds). 11:16:41 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56422&oldid=56421 * A * (+32) /* The classic multiplication */ 11:19:03 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56423&oldid=56422 * A * (+5) /* Golf question */ 11:21:04 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56424&oldid=56423 * A * (+51) /* Combine small numbers in your code */ 11:27:40 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56425&oldid=56424 * A * (+10) /* Combine small numbers in your code */ 11:27:50 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56426&oldid=56425 * A * (+1) /* Combine small numbers in your code */ 11:28:14 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56427&oldid=56426 * A * (-87) /* Use the visualizer */ 11:28:59 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56428&oldid=56427 * A * (-182) /* Let's try another longer version */ 11:31:17 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56429&oldid=56428 * A * (+854) /* Really? A shorter one */ 11:33:07 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56430&oldid=56429 * A * (-44) /* ASCII list */ 11:35:19 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56431&oldid=56430 * A * (+26) /* ASCII list */ 11:42:04 -!- trout has joined. 11:43:24 why is that ASCII list a) wrong and b) partially in Japanese? 11:43:46 oh, I see the Japanese got removed at some point 11:44:25 `` perl -e 'print chr 23' | unidecode 11:44:26 No output. 11:44:41 `` echo a | unidecode 11:44:42 No output. 11:44:44 hmm 11:44:51 -!- variable has quit (Ping timeout: 240 seconds). 11:44:52 oh, it takes from argument, not stdin 11:45:00 `` unidecode $(perl -e 'print chr 23') 11:45:01 ​[U+0017 ] 11:45:14 not useful :-( 11:45:17 I doubt it's tab though 11:45:35 oh, "end of transmission block" 11:46:29 [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56432&oldid=56431 * Ais523 * (-836) /* ASCII list */ delete; a) this would be better as a link to an external site, b) it doesn't really have much to do with brainfuck in particular (or golfing!), c) it isn't even correct 11:56:10 -!- ais523 has quit (Ping timeout: 264 seconds). 12:16:01 -!- variable has joined. 12:19:06 -!- trout has quit (Ping timeout: 256 seconds). 12:48:04 -!- trout has joined. 12:50:34 -!- variable has quit (Ping timeout: 260 seconds). 12:52:20 -!- ldm has left ("WeeChat 2.1"). 13:11:21 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 13:15:18 Who is User:A 13:19:53 -!- variable has joined. 13:22:44 -!- trout has quit (Ping timeout: 265 seconds). 13:36:36 is A related to asdf? 13:51:02 -!- trout has joined. 13:51:49 -!- tromp has quit (Remote host closed the connection). 13:52:22 -!- tromp has joined. 13:52:42 -!- tromp has quit (Remote host closed the connection). 13:52:57 -!- tromp has joined. 13:53:50 -!- variable has quit (Ping timeout: 276 seconds). 14:22:09 -!- variable has joined. 14:24:24 -!- doesthiswork has joined. 14:25:05 -!- trout has quit (Ping timeout: 265 seconds). 14:53:06 -!- trout has joined. 14:56:14 -!- variable has quit (Ping timeout: 276 seconds). 14:57:44 -!- mrrmx has joined. 15:07:11 [[Surtic]] https://esolangs.org/w/index.php?diff=56433&oldid=55610 * Digital Hunter * (+621) /* How it works */ 15:08:31 -!- moei has quit (Read error: Connection reset by peer). 15:09:03 -!- moei has joined. 15:13:41 -!- lambdabot has quit (Remote host closed the connection). 15:17:27 -!- lambdabot has joined. 15:24:12 -!- variable has joined. 15:27:22 -!- trout has quit (Ping timeout: 260 seconds). 15:33:27 -!- WHarf has joined. 15:35:29 -!- WHarf has left. 15:55:29 -!- trout has joined. 15:59:23 -!- variable has quit (Ping timeout: 276 seconds). 16:05:36 -!- aloril_ has joined. 16:06:21 -!- aloril__ has quit (Ping timeout: 264 seconds). 16:18:12 -!- erkin has joined. 16:25:20 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 16:26:58 -!- erkin has joined. 16:27:43 -!- variable has joined. 16:30:08 -!- trout has quit (Ping timeout: 255 seconds). 16:58:53 -!- trout has joined. 17:00:44 -!- imode has joined. 17:02:20 -!- variable has quit (Ping timeout: 276 seconds). 17:17:22 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 17:29:44 -!- variable has joined. 17:32:54 -!- trout has quit (Ping timeout: 260 seconds). 17:43:02 -!- SopaXorzTaker has quit (Ping timeout: 255 seconds). 17:51:43 -!- SopaXorzTaker has joined. 18:01:11 -!- trout has joined. 18:05:00 -!- variable has quit (Ping timeout: 265 seconds). 18:33:23 -!- erkin has joined. 18:33:40 -!- variable has joined. 18:36:05 -!- trout has quit (Ping timeout: 245 seconds). 18:59:42 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 19:04:49 -!- trout has joined. 19:07:38 -!- variable has quit (Ping timeout: 260 seconds). 19:21:33 -!- SopaXorzTaker has quit (Remote host closed the connection). 19:36:08 -!- variable has joined. 19:39:44 -!- trout has quit (Ping timeout: 265 seconds). 20:11:21 -!- trout has joined. 20:14:32 -!- variable has quit (Ping timeout: 256 seconds). 20:22:20 -!- Phantom_Hoover has joined. 20:43:08 -!- variable has joined. 20:46:41 -!- trout has quit (Ping timeout: 276 seconds). 21:14:54 -!- trout has joined. 21:17:51 -!- variable has quit (Ping timeout: 265 seconds). 21:34:47 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...). 21:35:11 starting to think string rewriting isn't practical. 21:38:10 my sorting program worked with single rule execution. but it took 500x longer than one with simultaneous rule execution. 21:44:07 I have a feeling that a TM would actually perform better in that regard. 21:45:41 -!- variable has joined. 21:47:32 with rewriting your state is just limited to 1. the rule you're executing, and 2. the thing you're rewriting. while with TMs, it's 1. the current state, 2. the head position and 3. the entire tape. 21:49:06 -!- trout has quit (Ping timeout: 260 seconds). 22:02:57 -!- XorSwap has joined. 22:10:01 -!- MDude has joined. 22:14:02 it doesn't _look_ quite as elegant as string rewriting but it's certainly more practical. I wonder if there's a midway point. tag systems? 22:17:32 -!- trout has joined. 22:20:41 -!- variable has quit (Ping timeout: 265 seconds). 22:31:40 -!- AnotherTest has quit (Ping timeout: 256 seconds). 22:46:08 -!- mrrmx has quit (Quit: Leaving). 22:51:12 -!- variable has joined. 22:53:51 -!- trout has quit (Ping timeout: 240 seconds). 23:09:18 how would you give a "fair" rule order to a string rewriting system. 23:09:46 I know that Thue is nondeterministic. 23:10:30 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 23:22:08 -!- trout has joined. 23:25:29 -!- variable has quit (Ping timeout: 255 seconds). 23:26:35 -!- sprocklem has quit (Ping timeout: 276 seconds). 23:27:19 -!- sprocklem has joined. 23:53:53 -!- variable has joined. 23:57:21 -!- trout has quit (Ping timeout: 265 seconds).