←2018-07-04 2018-07-05 2018-07-06→ ↑2018 ↑all
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 <oerjan> ^bf ,[.-[-->++<]>+]!0
01:34:38 <fungot> 0 ...out of time!
01:34:40 <oerjan> ^bf ,[.-[-->++<]>+]!1
01:34:40 <fungot> 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ...
01:35:03 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=56402&oldid=56400 * A * (+151) /* IRP */
02:26:45 <esowiki> [[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 <oerjan> my altnick hadn't been used since january...
02:47:51 <oerjan> @tell ais523 <ais523> I can't figure out which word I did mean though <-- progressively hth
02:47:51 <lambdabot> Consider it noted.
02:58:49 -!- variable has joined.
03:00:35 <esowiki> [[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 <esowiki> [[Fake-machine]] https://esolangs.org/w/index.php?diff=56405&oldid=56404 * A * (+5) /* Implementations */
03:06:43 <esowiki> [[Fake-machine]] https://esolangs.org/w/index.php?diff=56406&oldid=56405 * A * (+14)
03:06:44 <oerjan> @tell wob_jonas <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 <lambdabot> Consider it noted.
03:07:07 <esowiki> [[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 <ais523> ^bf ,[.-[-->++<]>+]!0
04:02:30 <fungot> 0 ...out of time!
04:02:33 <ais523> ^bf ,[.-[-->++<]>+]!1
04:02:34 <fungot> 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ...
04:03:33 <ais523> oh, I see how it's meant to work
04:04:02 <esowiki> [[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 <esowiki> [[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 <oerjan> ais523: the original also goes into an infinite loop
04:18:54 <ais523> ugh
04:18:58 <ais523> do I have to write a working one myself, then?
04:19:13 <oerjan> no, there's a working one way back in page history (about two pages)
04:19:41 <oerjan> or at least, a different one.
04:20:45 <oerjan> 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 <ais523> ^bf >,.[<+>>>--[>-<--]<-<-]>[<<[.]]!0
04:26:47 <fungot> 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 ...
04:26:55 <ais523> ^bf >,.[<+>>>--[>-<--]<-<-]>[<<[.]]!1
04:26:55 <fungot> 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ...
04:26:58 <ais523> hmm
04:27:11 <ais523> ^bf >,.[<+>>>--[<->--]<-<-]>[<<[.]]!0
04:27:12 <fungot> 0
04:27:14 <ais523> ^bf >,.[<+>>>--[<->--]<-<-]>[<<[.]]!1
04:27:14 <fungot> 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ...
04:27:17 <ais523> there we go
04:27:21 <oerjan> i'm on it
04:27:26 <esowiki> [[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 <oerjan> or were you making a better one...
04:28:06 <ais523> mine checks even/odd, I think that one's checking for 48 specifically
04:28:11 <oerjan> yep
04:28:14 <ais523> ,[>+>+<<-]++++++[>--------<-]>[>.<]>.
04:28:16 <oerjan> ,[>+>+<<-]++++++[>--------<-]>[>.<]>.
04:28:23 <ais523> >,.[<+>>>--[<->--]<-<-]>[<<[.]]
04:28:45 <ais523> hmm, can you golf off a byte there by rearranging what cell's used for what?
04:28:49 <oerjan> ok that's shorter
04:28:52 <ais523> mine relies on wrapping, anyway, that one doesn't
04:29:03 <oerjan> maybe have both, then.
04:29:46 <ais523> ^bf ,.[>>>+<--[<->--]<-<-]>[>>[.]]!0
04:29:46 <fungot> 0
04:29:48 <ais523> ^bf ,.[>>>+<--[<->--]<-<-]>[>>[.]]!1
04:29:48 <fungot> 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ...
04:29:59 <ais523> >,.[<+>>>--[<->--]<-<-]>[<<[.]]
04:30:05 <ais523> ,.[>>>+<--[<->--]<-<-]>[>>[.]]
04:30:13 <ais523> yep, slightly shorter if you rearrange it like this
04:30:48 <ais523> an even/odd test is surprisingly hard to do non-wrapping
04:30:50 <ais523> unless, hmm
04:31:38 <ais523> ^bf >>,.[[->+<]>-]<[<<]>[.]!0
04:31:38 <fungot> 0
04:31:40 <ais523> ^bf >>,.[[->+<]>-]<[<<]>[.]!1
04:31:40 <fungot> 1
04:31:51 <ais523> oh, duh
04:31:54 <ais523> ^bf >>,.[[->+<]+>-]<[<<]>[.]!0
04:31:54 <fungot> 0<CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP> ...
04:31:56 <ais523> ^bf >>,.[[->+<]+>-]<[<<]>[.]!1
04:31:57 <fungot> 1
04:31:58 <oerjan> 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 <oerjan> ais523: that's full of ^As tdnh
04:32:57 <ais523> yes, I know what went wrong
04:33:44 <ais523> ^bf >>>>,.[[->+>+<<]>>-]<<[<<<<]>[.]!0
04:33:44 <fungot> 0<CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP> ...
04:33:50 <ais523> hmm
04:34:22 <ais523> ^bf >>>>,.[[->+>+<<]>>-]<[<<<<]>[.]!0
04:34:22 <fungot> 0
04:34:23 <oerjan> by the way someone started a new polyglot chain https://codegolf.stackexchange.com/questions/167621/add-a-egaugnal-to-a-polyglot
04:34:25 <ais523> ^bf >>>>,.[[->+>+<<]>>-]<[<<<<]>[.]!1
04:34:25 <fungot> 1
04:34:29 <ais523> I noticed
04:34:42 <ais523> I probably won't contribute to it
04:34:46 <ais523> might look at it when it grows longer
04:36:04 <ais523> ^bf >,.[->+>+<<]>>[[->+<]+>-]<[<<]>[.]!0
04:36:04 <fungot> 0
04:36:09 <ais523> ^bf >,.[->+>+<<]>>[[->+<]+>-]<[<<]>[.]!1
04:36:09 <fungot> 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ...
04:36:11 <ais523> that works
04:36:20 <ais523> but it's not nearly as simple as the rather elegant original :-(
04:36:41 <oerjan> as i said, include both
04:36:58 <ais523> I mean, my original non-wrapping version which didn't work but was very elegant
04:37:19 <oerjan> oh
04:37:35 <ais523> ^bf >>>,.[[->+<<+>]>-]<[<<]>[.]!0
04:37:35 <fungot> 0
04:37:38 <ais523> ^bf >>>,.[[->+<<+>]>-]<[<<]>[.]!1
04:37:38 <fungot> 1
04:37:45 <ais523> oh ofc
04:37:51 <ais523> ^bf >>>,.[[->+<<+>]>-]<<<[<<]>[.]!0
04:37:51 <fungot> 0
04:37:53 <ais523> ^bf >>>,.[[->+<<+>]>-]<<<[<<]>[.]!1
04:37:53 <fungot> 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ...
04:37:57 <ais523> there, that's a bit better
04:38:27 * ais523 vaguely wonders if all three leading >s are required
04:38:30 <ais523> time to bring up a debugger, I guess
04:39:03 <oerjan> ^bf +>>>,.[[->+<<+>]>-]<<<[<<]>[.]!0
04:39:03 <fungot> 0
04:39:08 <oerjan> ^bf +>>>,.[[->+<<+>]>-]<<<[<<]>[.]!1
04:39:08 <fungot> 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111 ...
04:41:28 <ais523> oh, that's a clever way to check
04:41:29 -!- variable has joined.
04:41:36 <ais523> ^bf +>>,.[[->+<<+>]>-]<<<[<<]>[.]!0
04:41:36 <fungot> 0<CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP><CTCP> ...
04:41:39 <oerjan> but not perfect
04:41:41 -!- shachaf has quit (Ping timeout: 256 seconds).
04:41:54 <ais523> 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 <oerjan> good
04:43:09 <ais523> >>,.[[->+<<+>]>-]<<<[<<]>[.]
04:43:19 <ais523> >,.[<+>>>--[<->--]<-<-]>[<<[.]]
04:43:33 <ais523> 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 <oerjan> the first is shorter hth
04:44:01 <ais523> looks like >>,.[[->+<<+>]>-]<<<[<<]>[.] is the best option of my programs, it's shorter /and/ it doesn't require wrapping
04:44:12 <ais523> although it does have O(n²) performance where n is the ASCII code of the input
04:44:32 <ais523> 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 <ais523> although, hmm
04:45:30 <ais523> I'm not sure I did that right
04:45:32 * ais523 double-checks
04:46:42 <ais523> oh, looks like all three > /are/ needed
04:46:48 <ais523> in the case where the input is 0
04:47:10 <oerjan> 0 the digit or 0 the cell value
04:47:21 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=56411&oldid=56410 * Ais523 * (-8) /* brainfuck */ shorter version
04:47:34 <ais523> the digit
04:48:16 <ais523> the program should work on cell values 0 and 1 too, I think
04:48:32 <ais523> 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 <oerjan> heh
04:50:41 <ais523> actually, with cell value 0 the program degenerates to >>>,.<<<>
04:50:52 <ais523> which makes it very clear how much tape is needed :-)
04:53:01 <oerjan> you'd think
05:03:54 <ais523> 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 <oerjan> ais523: i don't think it exits without error on input 1 hth
05:45:19 <ais523> haha :-)
05:45:26 <ais523> I know what I meant, as do you
05:45:28 <ais523> I'll fix it
05:45:59 <shachaf> SSA is too good
05:46:23 <shachaf> 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 <ais523> some intermediate representations are like that
06:03:00 <ais523> LLVM IR, for example
06:03:17 <ais523> 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 <FireFly> SPIR-V as well, I remember liking it when I scanned its spec draft
06:20:48 -!- trout has joined.
06:22:43 <FireFly> 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 <shachaf> 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 <FireFly> Probably
06:23:13 <shachaf> I guess you can also say that Mill assembly is SSA.
06:24:29 <FireFly> I should get back to my "I swear it'll become a fancy decompiler someday" project
06:27:51 <FireFly> also: hachaf
06:28:20 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56412&oldid=56357 * A * (+494) /* Big width loops */
06:32:32 <shachaf> HellorFly
06:32:55 <shachaf> 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 <ais523> 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 <shachaf> Yes, very similar.
06:56:10 <shachaf> 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 <ais523> no; I'm not sure I've read any papers/lectures on SSA
07:00:10 <ais523> 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 <ais523> although, hmm, SSA isn't really conceptually low level
07:00:27 <ais523> just happens to be used there because it's a pain to program in manually
07:06:45 <shachaf> Well, I like that presentation more than the one with phi nodes.
07:07:56 <esowiki> [[Truth-machine]] M https://esolangs.org/w/index.php?diff=56413&oldid=56411 * ZM * (+1) /* Andromeda */ actually push 0 on 0
07:09:21 <Lymia> Isn't FP code all effectively already in SSA?
07:09:27 <Lymia> (At least, pure FP code)
07:14:45 -!- SopaXorzTaker has quit (Ping timeout: 260 seconds).
07:16:28 -!- SopaXorzTaker has joined.
07:18:13 <ais523> Lymia: hmm, I guess you can see a function call as a phi node
07:20:13 <shachaf> 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 <esowiki> [[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 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=56415&oldid=56413 * A * (+53) /* brainfuck */
09:01:16 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56416&oldid=56414 * A * (+568) /* Golf question */
09:02:39 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=56417&oldid=56415 * A * (+88) /* brainfuck */
09:02:56 -!- variable has joined.
09:05:27 <Taneb> SSA?
09:05:32 -!- trout has quit (Ping timeout: 255 seconds).
09:05:52 <Taneb> Static single assignmnet?
09:08:46 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=56418&oldid=56417 * A * (+14) /* brainfuck */
09:08:51 <FireFly> Taneb: yeah
09:18:50 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=56419&oldid=56418 * A * (-102) /* brainfuck */
09:21:58 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=56420&oldid=56419 * A * (+114) /* brainfuck */
09:24:54 <esowiki> [[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 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56422&oldid=56421 * A * (+32) /* The classic multiplication */
11:19:03 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56423&oldid=56422 * A * (+5) /* Golf question */
11:21:04 <esowiki> [[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 <esowiki> [[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 <esowiki> [[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 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56427&oldid=56426 * A * (-87) /* Use the visualizer */
11:28:59 <esowiki> [[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 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56429&oldid=56428 * A * (+854) /* Really? A shorter one */
11:33:07 <esowiki> [[Shorten your Brainfuck code]] https://esolangs.org/w/index.php?diff=56430&oldid=56429 * A * (-44) /* ASCII list */
11:35:19 <esowiki> [[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 <ais523> why is that ASCII list a) wrong and b) partially in Japanese?
11:43:46 <ais523> oh, I see the Japanese got removed at some point
11:44:25 <ais523> `` perl -e 'print chr 23' | unidecode
11:44:26 <HackEso> No output.
11:44:41 <ais523> `` echo a | unidecode
11:44:42 <HackEso> No output.
11:44:44 <ais523> hmm
11:44:51 -!- variable has quit (Ping timeout: 240 seconds).
11:44:52 <ais523> oh, it takes from argument, not stdin
11:45:00 <ais523> `` unidecode $(perl -e 'print chr 23')
11:45:01 <HackEso> ​[U+0017 <control>]
11:45:14 <ais523> not useful :-(
11:45:17 <ais523> I doubt it's tab though
11:45:35 <ais523> oh, "end of transmission block"
11:46:29 <esowiki> [[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 <Lymia> Who is User:A
13:19:53 -!- variable has joined.
13:22:44 -!- trout has quit (Ping timeout: 265 seconds).
13:36:36 <myname> 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 <esowiki> [[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 <imode> starting to think string rewriting isn't practical.
21:38:10 <imode> my sorting program worked with single rule execution. but it took 500x longer than one with simultaneous rule execution.
21:44:07 <imode> I have a feeling that a TM would actually perform better in that regard.
21:45:41 -!- variable has joined.
21:47:32 <imode> 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 <imode> 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 <imode> how would you give a "fair" rule order to a string rewriting system.
23:09:46 <imode> 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).
←2018-07-04 2018-07-05 2018-07-06→ ↑2018 ↑all