00:00:02 can't find it 00:00:27 oh, it might be here 00:02:39 ah, here it is 00:03:41 oh right 00:03:54 no wait 00:04:23 it looks like for comparisons, I copy the value of the comparison indictor into the next statement 00:04:33 but why? there's a double indirection 00:05:08 isn't the double indirection enough to just conditional jump in one instruction? 00:06:11 I mean, if $a[1] is 2 when the source is read, then $a[$a[1]] is the comparison indicator, and $a[$a[$a[1]]] is the instruction pointer for a false comparison, and a scratch cell for a true comparison 00:07:08 I mean, obviously then you want 1 in the comparison indicator because -1 is not a safe scratch cell 00:07:16 the terminator 0 for the input is in 1 00:07:25 but I could have used 1 in the comparison indicator easily 00:09:06 strange 00:09:19 oh well, it's a very old and bad code 00:09:24 would probably do it better now 00:09:29 ok, let me check this subskin quickly 00:09:33 it's getting late 00:09:38 simpler subskin 00:11:03 ais523: yeah, this Simpler subskin is harder to program, because the control flow is conditionally skipping the next instruction and a single big loop around the program 00:11:29 ais523: also the code and data are separate, so you can't write self-modifying code, and there's no indirection 00:11:50 ais523: so if I understand correctly, this one can only access a limited amount of cells, so you need bignum magic to store data 00:11:50 b_jonas: right, it's very much a tarpit-of-OISCs 00:11:54 yes 00:12:08 the trick is, it should run at full speed /despite/ the bignum magic 00:12:10 ok, that is very different from the kind of OISC that I was thinking of 00:12:27 I'm not sure what the best control flow is, but I definitely wanted something that can do indirect memory access 00:12:27 as you can simulate all three main stack operations (push 0, push 1, pop) in constant time each 00:12:41 which can be done either by code and data in the same space or a built-in indirection 00:12:50 ais523: yeah 00:13:32 ais523: but only as much speed as you get with a compile time bounded number of stacks or tapes 00:13:35 not more 00:13:46 I want indirection to have random access to memory 00:14:05 not that I need that for the example program, it's just that that's the kind of OISC I was thinking of 00:14:18 obviously there are a lot of those already 00:14:28 there's even a three-instruction version I think 00:14:43 one that can subtract, do some bitwise operation, and conditional jump 00:14:52 or maybe it's one instruction with four arguments 00:15:23 RAM0, perhaps? although that can't do subtraction without a loop 00:15:54 ais523: yeah, this Simpler Subskin with the counters and subtraction is worth documenting, at least if it's really TC with that control structure 00:16:08 ais523: what it reminds me of is that IOCCC language 00:16:32 the one that only has a big loop, no control structure, but add, subtract, multiply and divide on variables 00:16:42 Babbage analytical engine language IOCCC 1992 buzzard1 http://www.de.ioccc.org/years-spoiler.html#1992_buzzard.1 00:17:15 it's on my TODO on https://esolangs.org/wiki/User:B_jonas because it deserves at least a stub on Esoteric 00:17:16 b_jonas: heh, I invented that one independently for a Stack Exchange competition, and called it Blindfolded Arithmetic 00:18:19 to program in that one, you use those four operations to implement comparison with 0 and 1 result, then conditional assign using that and multiply, and that's the only control structure you get, but note that you can also multiple multiple comparison results together, so you can have nested conditionals 00:18:58 which is helpful because two levels of conditional and a big loop gets you a state machine to simulate goot 00:19:01 goto 00:19:09 ais523: wow 00:19:22 ais523: now I'm curios, which Stack Exchange competition? 00:19:58 ah, I'll search "blindfolded" 00:20:18 I'm trying to search the page atm, and have been for the last minute or so 00:20:20 but my Internet sucks 00:20:28 um... no, the search doesn't work for me either 00:20:32 there's something on SE's side 00:20:34 here: https://codegolf.stackexchange.com/a/162531 00:20:44 https://codegolf.stackexchange.com/questions/162290/escape-from-the-tarpit-cops/162531#162531 00:21:28 that seems to be the one, I'll have to read it later 00:22:07 yeah, seems to be very similar. I must comment then 00:23:11 commented, but TODO self: read that 00:23:49 ais523: the exit condition is different, but that's minor 00:24:10 right 00:25:32 also, you don't have a plain assignment, but that's easy to simulate: instead of A=B; you write A-=A; A+=B; 00:25:51 yes 00:26:28 the "A -= A;" operation actually turns out to be an interesting special case in many of these small counter machines, as it's often the only way to break reversibility 00:27:24 and for comparison, if you know that A is nonnegative, then you can safely do B=A; B+=1; B/=B; B-=1; and then B is either 0 or 1 00:27:38 hmm, you restricted the number of variables, and don't even allow literals 00:27:42 that's devious 00:28:00 now whoever solves that has to prove that that number of memory cells is enough 00:28:11 and knowing you, you probably used the lowest number of memory cells that works 00:28:26 you probably have to reserve one of them just to keep a constant 1 00:28:39 that is tricky 00:28:50 I'm not even sure if I can prove five is enoguh 00:29:02 hmm 00:29:13 no wait, six 00:29:16 you can reuse the input 00:29:25 maybe 00:29:37 there's a big loop, so reusing the input isn't trivial 00:30:24 let me think, I need one cell for constant 1, two scratch cells for two comparisons like above, and then you can do two-counter Minsky with the other two I think 00:30:37 no 00:30:40 -!- moei has quit (Quit: Leaving...). 00:30:56 hmm 00:31:04 how does the binary stack pop work? 00:31:33 b_jonas: in which language? simpler subskin, or blindfolded arithmetic? 00:31:46 blindfolded arithmetic. I'll work it out: 00:33:11 S is the stack, I is the constant 1; then B=S; I+=I; S/=I; S+=S; B-=S; S/=I; I/=I; then B is the bottom bit and S the popped stack 00:33:39 and push 0 is just; S+=S; and push 1 is S+=S; S+=I; 00:34:07 but then I still need one more variable 00:34:51 because I need two stacks for TC, two comparison indicators and a state indicator to implement the state machine 00:35:19 unless I can bootstrap copy from the input to a stack with one less variables somehow 00:35:23 but that seems hard 00:35:32 ais523: darn, this is tricky 00:35:39 ais523: don't tell the solution yet, I'll want to think about this 00:35:43 nice puzzle 00:36:28 -!- arseniiv has quit (Ping timeout: 246 seconds). 00:40:08 maybe two stacks isn't even the right approach, maybe only one variable stores the data but is accessed in a trickier way 00:42:02 -!- nchambers has joined. 00:43:32 I could store 2 and 3 in ternary, and rotate cyclically 00:43:38 no 00:43:39 hmm 00:43:44 that might not work either 00:44:08 TODO self: think about this and figure out how six variables, one storing input, are enough 00:44:16 hmm waity 00:44:23 let me read the spec, can the input be encoded? 00:45:22 nope, it can't be encoded 00:45:28 must accept any positive integer as input 00:54:41 if you don't have to handle input encoding you can do it in five :-) 00:58:09 hmm, now I'm trying to optimise this myself, you've inspired me to see if I can use fewer variables via using a different approach 01:03:02 ais523: I have an idea 01:04:02 I can probably do unconditional comparisons to add 2*(S%2) + 4*(S%4) + 8*(I and in the resulting split program states, do the goto, pop, push, decrease I instructions, 01:04:45 that way I only need one level of conditionals, 01:05:00 so I may be able to get away with two stacks, one constant 1, one scratch, and one program counter 01:05:09 but I'll have to think through because it's not quite clear if I can really do this 01:05:23 the one big loop makes it tricky, because I need to handle initialization of the program very carefully 01:05:30 it's easy to run out of variables during the initialization 01:05:44 or run into a divison by zero somewhere during that if you mess it up 01:07:29 I think this lets me keep the input register positive, and so initialize the constant 1 register, let's call it A instead of I because I is the input register, like A-=A; A+=I; A/=A; 01:08:42 -!- Essadon has quit (Quit: Qutting). 01:10:27 and then you can do those three comparisons, like { B-=B; B+=I; B/=B; B-=I; B+=B; C+=B; } to mean { C+=1 hmm no 01:11:31 that doesn't work 01:11:33 darn 01:13:12 hmm, I just realised that the v=v@v and v@=v (where @ is any operation) notations for blindfolded arithmetic are equivalent; implementing the latter with the former is trivial, and the other way round, "a=b@c" can be compiled into "a-=a; a+=b; a@=c" 01:13:42 ais523: yes, that's what I said about plain assignments 01:13:56 right, I wasn't paying attention :-D 01:14:05 so the comparison of I is rather like { /* precondition: 1==A && 1<=I; */ B-=B; B-=A; B/=I; /* now B == (I<=1) */ B+=B; C+=B; } 01:14:06 or no, this isn't quite the same 01:14:08 but close enough 01:18:20 and if D and E are the two stacks, then the other two comparisons are like { /* precondition: 1==A && 0<=D && 0<=E; */ A+=A; B-=B; B+=D; B/=A; B+=B; B-=D; /* now B is D%2 */ B+=B; B+=B; C+=B; B-=B; B+=E; B/=A; B+=B; B-=E; /* now B is E%2; */ B+=B; B+=B; B+=B; C+=B; A/=A; } 01:19:01 and then you'll have to do comparisons on C, but they're tricky ones because they're equality comparisons to any integer 01:19:17 but since we're keeping the low bit of C clear, I think you can do that 01:21:37 hmm, you might actually need to keep C a multiply of 3 to make it work 01:24:34 I'll think about it 01:24:35 good night 01:24:37 -!- b_jonas has quit (Quit: leaving). 02:16:17 -!- imode has joined. 02:18:36 [[Hexlr7]] N https://esolangs.org/w/index.php?oldid=58755 * Cortex * (+3036) Created page with "'''Hexlr7''' is a language by [[User:Cortex]] on 12/18/2018, designed to be easy (but not too easy) to implement. Implementing it might be a good thing to do when bored and wi..." 02:19:26 [[Hexlr7]] https://esolangs.org/w/index.php?diff=58756&oldid=58755 * Cortex * (+19) 02:21:14 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 02:48:48 -!- sebbu has quit (Ping timeout: 245 seconds). 02:51:48 -!- sebbu has joined. 02:53:53 [[User:Cortex]] https://esolangs.org/w/index.php?diff=58757&oldid=58601 * Cortex * (+40) 03:29:17 -!- Lord_of_Life has quit (Ping timeout: 244 seconds). 03:32:00 -!- Lord_of_Life has joined. 03:44:33 -!- ais523 has quit (Quit: quit). 04:12:39 -!- salpynx has joined. 04:32:29 -!- salpynx has quit (Quit: Page closed). 04:33:15 -!- oerjan has quit (Quit: Nite). 04:47:39 -!- FreeFull has quit. 06:03:26 -!- imode has quit (Ping timeout: 250 seconds). 06:17:58 -!- imode has joined. 06:25:10 -!- imode has quit (Quit: WeeChat 2.3). 06:34:42 -!- S_Gautam has joined. 06:37:42 -!- Lymia has quit (Quit: Hugs~ <3). 06:39:17 -!- Lymia has joined. 06:40:42 -!- heroux has quit (Ping timeout: 250 seconds). 06:41:07 -!- heroux has joined. 07:08:58 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)). 07:13:18 -!- copumpkin has quit (Read error: Connection reset by peer). 07:18:37 -!- copumpkin has joined. 07:35:44 -!- GeekDude has quit (Ping timeout: 244 seconds). 07:37:24 -!- GeekDude has joined. 08:32:51 -!- arseniiv has joined. 08:58:44 -!- Lord_of_Life has quit (Ping timeout: 268 seconds). 09:03:56 -!- Lord_of_Life has joined. 09:34:14 -!- AnotherTest has joined. 09:44:14 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 09:51:48 -!- doesthiswork has quit (Quit: Leaving.). 10:31:48 -!- wob_jonas has joined. 10:31:55 https://esolangs.org/logs/ is still down :-( 10:32:35 let me check codu 10:32:44 nope, tunes 10:32:51 yes, tunes works 10:35:21 [[Talk:The Waterfall Model]] https://esolangs.org/w/index.php?diff=58758&oldid=58754 * Salpynx * (+1242) Truth-machine candidate 11:35:06 Hrm. 11:37:27 wob_jonas: I think you had bad timing. According to my monitoring, it was down (for me, anyway) from 11pm to 1am (UTC) over last night, and then from 10am to 11am this morning, but it should be up now. 11:37:31 Works for me, anyway. 11:37:57 No idea what was wrong, though. I don't think the Prometheus blackbox probe saves any logs of failed attempts anywhere. :/ 11:38:17 hmm 11:38:31 yeah, it is up now 11:39:14 Both times it's been down for almost exactly one hour (it was very briefly back up at midnight). So maybe there's some specific logs page that crashes the server, and it takes an hour to recover. 11:39:25 If it's just /logs, I guess nginx error logs might have something. 11:39:33 fizzie: also, I think it didn't lose IRC connectivity, only the web interface was inaccessible. good. 11:40:02 Yeah, those are entirely separate binaries, one writes logfiles and the other serves them. 11:40:21 fizzie: sure, but I thought it was an error with accessing the network 11:40:47 if the web process crashed, then we should try to send all kinds of bytes and other strange text in the irc lines to try to reproduce it 11:41:05 I think that happens quite naturally on this channel. 11:41:06 2018/12/18 23:09:49 [error] 28385#28385: *3568829 upstream timed out (110: Connection timed out) while reading response header from upstream, client: 66.160.140.184, server: esolangs.org, request: "GET /logs/2018-12-10-raw.txt HTTP/1.1", upstream: "http://127.0.0 11:41:13 fizzie: right, but we want to localize the bug 11:41:15 ...I was going to redact that client IP. 11:41:24 But my paste added a newline. 11:41:30 In any case, not too informative. 11:41:44 I know I had a bug in cbstream with characters that aren't valid cp1252 after perlmonks has officially and retroactively changed the encoding from iso-8859-1 to cp1252, because the XML decoding failed 11:42:07 we fixed that on the perlmonks side, so that the emitted XML is valid XML 1.1, because it affected most XML parsers 11:42:32 technically the output just wasn't valid XML, and it could happen with almost all the XML API of perlmonks, it all used the same quoting functino 11:42:45 it wasn't a problem with iso-8859-1 because all bytes are valid in that 11:43:14 so now perlmonks escapes those bytes to different existing high characters when emitting xml 11:43:31 No logs output from the actual logs server, and the process doesn't seem to have died either. 11:43:54 Will have to look into this later, busy now. 11:43:58 so as long as your XML parser interprets cp1252 as the new cp1252 (MS changed it once or twice without renaming to add the four romanian disunified letters and the euro sign and maybe a few others) 11:44:25 I won't test this now, but will try to inject some strange characters here later 11:44:39 although I think there are some people here who don't like that, because it "breaks their irc client" or something 11:45:04 the bot logs only this channel, right? no test channel I can experiment with 11:45:25 It's just this channel. 11:45:37 oh well, then it will break those people's IRC clients 11:46:07 The server's written around a single-threaded event loop, so it's possible some blocking operation has found its way in, that would probably result in no special logs but "connection timed out" errors from nginx. 11:46:31 fizzie: ah, that's possible 11:47:14 I can't just hang it by throttling the read side of the HTTP TCP connection though, right? 11:47:21 I guess I should test that 11:47:48 though that needs some tricky network configuration, lowering my fragment size or something 11:55:13 ais523: should I add a stub for https://codegolf.stackexchange.com/a/162531/6691 blindfolded arithmetic on esolangs wiki? or should I instead create a stub for the IOCCC language and mention your post there? 11:55:53 I think I'll do the latter 11:57:09 also, I wonder how it should call it. I don't want to call it just "Babbage analytical engine" because then someone might find assume that that's exactly what Babbage was planning, and that's not certain 11:57:32 do we have some sort of systematic naming for IOCCC or ICFP contest esolangs? 11:57:58 like, I dunno, IOCCC/1992_buzzard/0 or something 11:58:34 [[User:B jonas]] https://esolangs.org/w/index.php?diff=58759&oldid=58497 * B jonas * (+60) 12:09:12 . o O ( 8b12acb3e05c4a04c73bb9638af1d2277f94c195 ) 12:09:32 int-e: hmm, a random name? sure, that's possible too 12:09:39 wob_jonas: it's not random. 12:09:58 although if I choose one, I'll use uppercase hexadecimals, or base64 encode or something, not lowercase hexadecimals 12:09:59 it's the output of sha1sum 1992/buzzard.1.c 12:10:38 int-e: but why would I want that? "IOCCC/1992_buzzard/0" or variants of them are short enough 12:11:07 oh darn 12:11:10 it's content-addressable :P 12:11:16 it would have to be "IOCCC/1992_buzzard.1/0" 12:11:45 two buzzard entries that day, so "buzzard.1" is the name 12:11:56 s/day/year/ 12:12:27 so what's the last component? 12:13:04 int-e: a disambiguator in case there's more than one language associated with the same IOCCC entry. that happens sometimes, though it's more common with ICFP contests. 12:13:23 wob_jonas: hmm, put differently, where do you put the hints? 12:13:41 and possibly other auxiliary files? 12:14:10 tbh I think you should follow the file structure in the downloadable archives 12:14:42 IOCCC/1992_buzzard.2 has two esolangs associated, and 2018_mills has two esolangs associated too 12:14:42 then all you need is a prefix and IOCCC seems fine for that. 12:14:54 int-e: yes, associating with the hint could work too 12:15:09 match the higher level language with the hint file that implements it 12:15:50 int-e: ok, we should do that, but IOCCC should be mentioned somewhere 12:16:21 int-e: I'm following the anchor name in http://www.ioccc.org/years.html#1992_buzzard.2 12:16:31 int-e: but downloadable archive may be better 12:19:08 So IOCCC-1992-buzzard-1? hmmm. We have categories for years, and we might have one for IOCCC. I don't know. 12:19:35 int-e: haven't I created that? or was that for ICFP contests? 12:19:50 yeah, the latter. https://esolangs.org/wiki/Category:ICFP_contest 13:14:08 -!- LKoen has joined. 13:34:21 wob_jonas: Now that you mention it, it actually uses a third-party HTTP server (CivetWeb), which uses the thread-per-request (from a pool) model; it's just the rest that's of it that's event-loop-oriented. In any case, the issue might be either on CivetWeb's side (I'm not terribly impressed by it) or on my side. 13:34:30 Although rendering "normal" log pages (like the index or a day/month) don't really involve the event loop side, it's only the stalker page which does. So if I've managed to get the event loop thread stuck, that shouldn't prevent the rest of it from working. 13:35:37 (Also turns out my local respository has like a billion uncommitted changes, I was in the middle of migrating the zem.fi bfjoust site to be a part of the esolangs.org infrastructure (integrating into the existing bot), and just got sidetracked and never finished that. 13:37:19 fizzie: ok 13:37:39 in the meantime, thank you for maintaining this 13:37:47 I know how tricky that can be 13:38:22 I will have to try to start to fix cbstream during the Christmas break, i.e. rewrite the whole darned thing and prepare to reinstall the hosting server 13:38:41 possibly even get a new hosting server for myself in the longer term or something 13:38:43 I maintain it in fits and starts, once every few months. :) 13:39:36 Still haven't managed to figure out what "Dec 19 11:58:34 techne.zem.fi esobot[19709]: [140B blob data]" means in systemctl status. There's a few messages like that per day. 13:39:36 yeah, it's just that cbstream and the hosting server are so old and dusty and bitrotten, that I'll have to purge them with fire or something 13:39:45 perhaps get a flamethrower 13:40:21 I think these correspond to the wiki updates, actually. So maybe that code path outputs something. 13:40:30 140 bytes? hehe. cbstream has a binary log that stores 8 bytes per request, and there's normally one request per 30 seconds 13:40:52 Actually, maybe it duplicates the wiki update to stdout for debugging, and systemd is offended by the command characters for the colors. 13:40:57 I'll probably change the format if I rewrite cbstream though 13:41:12 and make the new version of the decoder program handle both formats 13:41:30 LOG(INFO) << "wiki message: " << msg; 13:41:34 Well, that's one mystery solved. 13:41:39 ah 13:41:47 and that goes to systemctl? 13:41:49 ok 13:42:07 It's run under systemd as a service, so it captures the stdout and writes it to wherever. 13:42:14 (systemd is such a black box.) 13:42:23 hmm 13:43:47 I guess it's nice that you don't have to worry about timestamping, logfiles, log rotation or any of that stuff, you just write to stdout. 13:44:29 But the data is stored in some binary journal somewhere, and I can't for the life of me remember the journalctl command syntax. Fortunately "systemctl status" prints a snippet, and that's usually enough. 13:47:12 /topic 13:47:14 uhm 13:47:36 in fact, I should process the binary log file to be able to provide a more precise estimate on request, since part of the point of fixing cbstream is to be able to say "over 10 years, over 20 users" in my CV 13:48:02 although I added the logfile later, so the first few years are probably missing 13:48:25 but still 14:00:24 -!- doesthiswork has joined. 14:07:28 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 14:16:17 -!- wob_jonas has joined. 14:23:17 `echo qqlEwBAcGc1ZO6Lo96VwWTpTjzGss5mINX1TnM1BGYrSr5RgVslI63092oo0Tc1o 14:23:18 qqlEwBAcGc1ZO6Lo96VwWTpTjzGss5mINX1TnM1BGYrSr5RgVslI63092oo0Tc1o 14:31:50 and what does it base64 -d as? 14:37:29 `` base64 -d << ​DY;pY:S15}SAү`VH}=ڊ4Mh 14:37:51 that doesn't look very legible ;) 14:37:55 true 14:38:10 `` base64 -d << 0000000 aa a9 44 c0 10 1c 19 cd 59 3b a2 e8 f7 a5 70 59 \ 0000020 3a 53 8f 31 ac b3 99 88 35 7d 53 9c cd 41 19 8a \ 0000040 d2 af 94 60 56 c9 48 eb 7d 3d da 8a 34 4d cd 68 \ 0000060 14:38:47 `` base64 -d << ​/hackenv/bin/`: line 5: ndisasm: command not found 14:47:46 Oh well, it looks fairly random. Perhaps an sha384 hash of something (base64 encoded as wob_jonas suggested earlier) 14:48:04 it's random 14:48:17 I generated it with openssl rand -base64 14:48:24 EVIL 14:48:38 it's just a unique tag to make sure HackEso is answering that line, not some other line with echo 14:48:44 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 15:00:42 -!- sleepnap has joined. 15:02:43 -!- tromp has joined. 15:22:56 -!- nchambers has quit (Quit: WeeChat 2.2). 15:23:18 At least we got some unlikely bytes in the logs out of it. :) 15:25:29 Interesting, looks like it did another short dip as unavailable. Or at least there's failed probes for 10 minutes. 15:26:29 zzo38: this might be of interest to you https://towardsdatascience.com/finding-magic-the-gathering-archetypes-with-latent-dirichlet-allocation-729112d324a6 15:28:10 -!- Lord_of_Life_ has joined. 15:30:47 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 15:30:47 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 15:35:30 -!- Sgeo_ has joined. 15:35:38 From access logs, someone opened the stalker page right before it started failing. Something wrong with that, I guess. 15:36:02 . o O ( let's blame oerjan ) 15:37:46 This was with an iPhone, somehow I can't associate oerjan with iPhones. 15:38:12 (From New Zealand as well.) 15:38:27 -!- Sgeo has quit (Ping timeout: 240 seconds). 15:39:42 which might possibly be even harder to associate with oerjan 15:41:13 The logs are odd. There's a fetch of /logs/stalker.html (with status code 200) at 12:32:06, after that all (non-stalker) /logs/* requests get 499 (nginx code for "client closed") or 504 ("gateway timeout") up until 12:45:33 when there's a GET /logs/api/stalker.ws with code 101 (switching protocols", the normal thing for websockets) and after that regular /logs/ pages work again. 15:42:30 can you reproduce it by accessing stalker.html / stalker.ws ? 15:46:53 Maybe, but I should be paying attention to work, not this. Anyway, I think normally there should be a /logs/api/stalker.ws request right after /logs/stalker.html. Though maybe it doesn't get logged for some reason. 15:49:40 "To update automatically, stalker mode requires a reasonably modern browser with scripts enabled. If this message does not disappear, it's either because of that or a bug. Feel free to get in touch on channel for debugging. Or just work around the issue by manually reloading." 15:49:44 ;) 15:49:51 "normally" 15:49:57 Hmm. Odd. 15:50:09 It's probably the initial websocket request that never finishes then. 15:50:09 Not at all, I have Javascript disabled. 15:50:53 Obviously I have no clue what happened there earlier. 15:51:12 And it could still be a coincidence. 15:52:27 Hmm. 15:52:38 Well, the stalker page worked straight out of the box for me on my work browser. 15:52:52 And the rest of the site is still up. 15:52:58 But of course this is no iPhone from New Zealand. 15:53:23 where else could one look... anything in the kernel log (dmesg)? 15:53:47 (or does systemd redirect to the journal as well...) 15:55:51 For the previous time it was down, the last successful request was also for stalker.html, so I strongly suspect the WebSocket stuff. And again the first request when it starts working again is for stalker.ws, although this time for client timing out. 15:56:03 So probably not a coincidence, but doesn't trigger every time. 16:03:05 [[Special:Log/newusers]] create * Zcstr * New user account 16:17:32 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=58760&oldid=58696 * Zcstr * (+188) 16:59:07 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 17:06:06 -!- LKoen has joined. 17:30:49 -!- imode has joined. 17:44:07 -!- GeekDude has quit (Ping timeout: 240 seconds). 17:44:07 -!- doesthiswork has quit (Read error: Connection reset by peer). 17:44:07 -!- doesthiswork1 has joined. 17:45:28 -!- imode has quit (Quit: WeeChat 2.3). 17:55:06 -!- LKoen has quit (Remote host closed the connection). 18:17:02 -!- Essadon has joined. 18:22:33 -!- MDude has joined. 18:26:34 -!- LKoen has joined. 18:45:46 -!- b_jonas has joined. 18:47:00 ais523: thank you for linking to the blindfolded arithmetic thing, it's interesting. I'll have to write down the details to check, but I think you're right in that it can simulate a two-stack machine as you define it. 18:47:25 in fact I'm starting to think that we can even spare one register, or simulate a three-stack machine, but I'm not certain yet 18:48:21 I think it's possible to reuse (i-1) as another stack, because at the start of the program, we can copy its data, converting from base 2 to say base 4, to the stack d, all the while keeping i positive, and we don't need an extra stack during that, 18:48:46 and after that we can start to use (i-1) as a second stack, distinguishing between the states using the value of c, 18:49:19 but I'll have to check if this is really possible, where it could go wrong is that we might need an extra scratch register in some stack 18:49:24 s/some stack/some step/ 18:56:18 the tricky part is actually the equality check for the state register, I'll have to write down later how exactly that is done 19:01:58 yeah, that should be possible too. just keep all state numbers divisible by 4, temporarily add (1-S) to c, then a=1/c tests if the original c was equal to S, then restore c. 19:03:14 then a is 1 if the state is equal to S, 0 otherwise, and you use that to do the push or pop in that state only 19:03:17 -!- imode has joined. 19:03:21 should work 19:12:13 something I'm starting to wonder... is there a tree version of RDF rather than a graph version? 19:13:38 in fact I'll have to think it can probably be done with just four variables. 19:44:51 -!- Sgeo__ has joined. 19:45:46 -!- b_jonas has quit (Quit: leaving). 19:48:42 -!- Sgeo_ has quit (Ping timeout: 268 seconds). 20:15:59 -!- FreeFull has joined. 20:28:47 -!- LKoen has quit (Remote host closed the connection). 20:33:38 -!- imode has quit (Quit: WeeChat 2.3). 20:49:38 -!- Essadon has quit (Read error: No route to host). 20:55:17 -!- Essadon has joined. 20:55:35 -!- Essadon has quit (Max SendQ exceeded). 20:56:32 -!- salpynx has joined. 21:03:48 -!- S_Gautam has joined. 21:33:32 -!- moony_ has joined. 21:53:16 -!- Sgeo__ has quit (Ping timeout: 268 seconds). 22:02:29 [[Joke language list]] https://esolangs.org/w/index.php?diff=58761&oldid=58567 * Cortex * (+13) /* Example-based languages */ 22:33:43 -!- moony_ has quit (Ping timeout: 256 seconds). 22:43:00 -!- LKoen has joined. 23:01:38 -!- AnotherTest has quit (Ping timeout: 268 seconds). 23:33:16 -!- S_Gautam has quit (Quit: Connection closed for inactivity). 23:41:38 -!- arseniiv has quit (Ping timeout: 246 seconds). 23:43:40 -!- sleepnap has left. 23:54:02 -!- oerjan has joined.