< 1574294546 716819 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Weird. I've been refactoring umlbox code a little (in preparation for some tweaks), and one thing I changed was to start using "con1=fd:N,fd:M", where N is /dev/null (opened RDWR) and M is the inherited stdout (for capturing the command output). < 1574294573 411589 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Previously it was "con1=null,fd:M", which uses UML's 'null' console type instead, which makes reads block forever. < 1574294588 837979 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Locally this seemed to make commands like "cat" reliably return quickly, instead of waiting for the timeout. But on the bot machine, it's... flaky. Now it's again returning quickly, but earlier I wasn't, even though I changed nothing. < 1574294592 841957 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`cat < 1574294594 643450 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574294601 694170 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Odd. < 1574295035 6582 :Sgeo!~Sgeo@ool-18b982ad.dyn.optonline.net JOIN :#esoteric < 1574295410 698661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm at a bookstore and I picked a book semi-randomly and opened it at a page semi-randomly and it talks about ais523. < 1574295424 456911 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :*blink* < 1574295426 149941 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :wow < 1574295441 642859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, it's a book about computability or something, so not that random. < 1574295493 690988 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1574299945 944162 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1574300449 661433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^wiki < 1574300449 741620 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :https://esolangs.org/wiki/ < 1574300775 960769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: oh right, ed doesn't strictly need a terminal. < 1574300809 615561 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: That one I restored from the logs. < 1574300809 734988 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact probably doesn't care < 1574300819 52158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: ah < 1574300842 400465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i saw your message about restoring and wondered how much you'd wiped out < 1574300843 898795 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^show < 1574300844 24844 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :echo reverb rev rot13 rev2 fib wc ul cho choo pow2 source help hw srmlebac uenlsbcmra scramble unscramble asc ord prefixes tmp test celebrate wiki chr ha rainbow rainbow2 welcome me tell eval elikoski list ping def a thanks tmp2 8ball rreree rerere botsnack bf < 1574301023 378795 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^a < 1574301023 457607 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :............................................................................................................................................................................................................... ... < 1574301028 559524 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^show a < 1574301028 622403 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :+13[.] < 1574301031 139296 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a wonky thing umlbox does which is to append a ' | cat' to the command line if the stdout of the call isn't a terminal. I assume that's because from the UML command's perspective /dev/tty1 is always a TTY, even when UML has connected it to a pipe/file. < 1574301069 85704 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1574301224 384956 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hm, I've broken something. :/ < 1574301321 33573 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :NOOOOOOOOOOOOO < 1574301345 376102 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` echo foo; echo bar; echo baz < 1574301346 75060 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :foo \ bar \ baz < 1574301347 959174 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` echo foo >&2; echo bar >&2; echo baz >&2 < 1574301348 651650 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :foo < 1574301352 202788 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's not right. < 1574301532 347979 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :o_O < 1574301545 568511 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, that's right, that's one reason why stdout and stderr ordering was pretty wonky even before: the '| cat' thing only deals with stdout, stderr goes directly to /dev/tty1. < 1574301573 437143 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That said, I'm not sure what I managed to break there. < 1574301769 238480 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :Quit: Leaving. < 1574301815 508392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` (echo foo; echo bar; echo baz) >&2 < 1574301816 205098 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :foo < 1574301824 348899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :something EOL handling? < 1574301840 645008 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` (echo foo; echo bar; echo baz) >&2; echo fizz < 1574301841 995633 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574301849 970764 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Mmmaybe. I don't see how though. < 1574301854 79805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh < 1574301864 468627 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I also got two different outputs for the same command before, so there's a race condition somewhere as well. < 1574301866 987750 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` echo buzz; (echo foo; echo bar; echo baz) >&2; echo fizz < 1574301867 783998 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :foo < 1574301913 488964 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I assume it could be the newline translation, it's just odd how that could be affected. < 1574302061 636377 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What the hackbot side does is, `p = subprocess.Popen(args, stdin=subprocess.PIPE, stdout=subprocess.PIPE, stderr=subprocess.STDOUT, close_fds=True); p.stdin.close(); ret = p.stdout.read(1024)`. No matter how the UML process outputs things, they should all still end up in the same pipe. < 1574302173 109901 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Hmm, is something like "non-chronological backjumping" actually mandatory when doing clause learning? < 1574302193 837663 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought it would be optional but you want to have a reason for every assignment, and if you do regular backtracking, do you even have a reason? < 1574302196 785195 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :b < 1574302224 16410 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also maybe you're tired of random SAT questions, hmm. < 1574302317 718000 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :. o O ( do you like random SAT questions? ) < 1574302373 361998 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN :#esoteric < 1574302506 970546 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yeah, IDGI. Running the umlbox command line for 'echo foo; echo bar; echo baz' and 'echo foo >&2; echo bar >&2; echo baz >&2' manually on the same system, with 1>/tmp/out.1 2>/tmp/out.2, there's no difference: both write exactly the same content into.... ohhh, I get it. < 1574302563 767896 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The bot does a .read() on the stdout pipe. When you're writing to stderr, it probably gets split to multiple writes, which means it only receives the first line. < 1574302592 95386 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But when you write to stdout, it's a fully buffered stream (through the | cat), so it gets the full chunk in one .read(). < 1574302632 888243 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1574302811 326154 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think I can just wrap it in a io.BufferedReader to fix it. Although I still don't know how it actually broke. < 1574303029 307482 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Wait, maybe I'm just wrong and you can use the conflicting clause. < 1574303339 8606 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hmm, well, it wasn't that simple. It's true that the .read() call only returns the first line, but then a subsequent .read() actually says it's at EOF. How does that make sense? It doesn't make sense. < 1574303402 787336 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe it could be non-blocking somehow... although I don't think so. < 1574303702 405588 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :No, it's not that. If I make umlbox write a line to the file descriptor used before closing it, the bot does read that. < 1574303725 62227 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So it's just that somehow the uml terminates before it has written all the output. < 1574304035 44359 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Super weird. It also happens outside the bot, if I direct the output to a pipe. Immediately after the first line has been written, it terminates. With no messages. < 1574304764 680024 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :did this change happen when you upgraded debian, or is there something you actually edited involved? < 1574304805 328994 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: ^ < 1574304825 537389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because the latter should at least be bisectable... < 1574304845 146525 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hard to say. People don't usually write to stderr that much. But I can always roll back to an old version and test again. < 1574304864 798425 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Right now I'm getting really bizarre behavior out. < 1574304912 275536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just change that | cat to |& cat and call it a day :) < 1574304962 891231 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Wait, now I'm on the train and it doesn't make sense again. < 1574304963 988154 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It runs using /bin/sh, it doesn't work there. But I did give that a think. < 1574304976 457981 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :2>&1 | cat might work. < 1574305041 582672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: that reminds me of something. oh right, the "i'm on a horse" meme. < 1574305057 227389 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Anyway, the output behaviour is really bizarre. I'm adding printfs here in umlbox init, and only some of them get out, even when I'm not really doing anything special. As soon as it starts to read from the /ubda device, everything goes weird. < 1574305098 531689 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I seem to consistently get all the output from the printfs before the first read, whatever that means. < 1574305157 611115 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, except sometimes I don't get even that. < 1574305166 364700 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Is that like "I've been through the desert on a horse with no name"? < 1574305279 685173 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think there might just be some sort of a thing where UML has no way to say "flush everything that has been written to the console/serial channels before terminating" when init calls `sync(); reboot(LINUX_REBOOT_CMD_POWER_OFF);` on it. < 1574305374 669614 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: probably{, not} < 1574305390 871143 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1574305672 103603 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :FWIW, doing '2>&1 | cat' didn't actually fix it. And anyway it's not strictly related to stderr. Here's the behavior I'm consistently getting when doing something close to what the bot is doing: http://ix.io/22oJ < 1574305676 116398 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Does that make any sense? < 1574305735 758648 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(No.) < 1574305838 583139 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bah. Maybe I'll try the Debian standard 4.19 UML kernel, instead of my home-built 4.9 one. Although I think there must've been some reason why I built my own. < 1574305921 777065 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: I haven't been reading the whole log. What's with only the first line being printed? Is that the nonsensical thing? < 1574305947 297173 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, occasionally it's weirder than that, but yes. < 1574305960 536987 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :When is it weirder? < 1574305985 996548 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think I can describe this. < 1574305990 900762 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is this echo the builtin or /bin/echo? Can you strace it? < 1574306000 843259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm typing on my phone so everything is scow. < 1574306023 788995 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I can't strace UML. I could probably strace inside it, but I'm not sure how much that would help. < 1574306033 364324 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Anyway, I switched to the new UML kernel and now it outputs nothing at all. < 1574306037 947927 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`echo ping < 1574306040 254974 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574306042 779941 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not great. < 1574306071 765784 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What if you strace inside it? Is it one write call or three? < 1574306092 724418 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, I can't, now. < 1574306129 405907 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It just crashes with: Trying to reregister IRQ 2 FD 4 TYPE 0 ID (____ptrval____) \ open(rfile, O_RDONLY): Device or resource busy < 1574306280 248125 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(This is when it's trying to open the tty1 device.) < 1574306360 844132 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bah, I'll revert back to my own 4.9 version and give up for now. At least it works to some degree. It's not even impossible it's been broken a little like that for long now. < 1574306466 305466 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :By the way, it was with the echo builtin; with /bin/echo both the plain and | cat version print all lines. < 1574306551 653760 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Doing strace inside suggests the plain version is three separate writes, with | cat... well, I don't get the strace output, so it's kind of hard to say. < 1574306585 843425 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can't strace into a file? < 1574306596 664905 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And with /bin/echo I get more of the strace output, but not all of it. < 1574306608 835290 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that bash -c /bin/echo or/bin/echo directly? < 1574306609 576128 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess I could, I would just need to hostfs mount something in writable form. < 1574306642 127703 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :bash -c /bin/echo. < 1574306671 956245 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe your computer's haunted? < 1574306769 917339 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Okay: with bash -c 'echo -e ...', no cat, I get the full output and it got written as three separate writes. < 1574306832 586222 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION suddenly thinks of the non-inheritable fds mentioned yesterday
< 1574306845 960887 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :With bash -c 'echo -e ...' and the cat -- and note that this cat is outside the UML kernel, it's just changing the UML's stdout from a (pseudo)terminal to a pipe -- I only get the first line of output, and it was attempted to be written as three separate writes, but the third failed with EPIPE. < 1574306847 582732 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :could that be involved? < 1574306925 962519 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is cat seeing? I guess read 5 and then read 0? < 1574306935 536508 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :EPIPE is odd. < 1574306953 722312 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :With bash -c /bin/echo, I sometimes get no output at all, and a single write of the whole 15 bytes which fails with EIO. < 1574306978 913926 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And occasionally I get the full output, and three separate writes of 5 bytes each. < 1574306989 361656 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, I'm spooked. < 1574307006 165883 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And the last combination, /bin/echo with cat, seems to consistently produce all three lines of output. < 1574307017 349019 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Written in a single 15-byte write. < 1574307049 613221 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think I've even seen EIO before. < 1574307054 322605 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's closing the pipe? < 1574307076 6503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(gremlins) < 1574307154 428780 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The umlbox wrapper script does close the file descriptor, but that's supposedly the write end of the pipe, and anyway should only happen after the UML kernel process has terminated and been wait'd for. < 1574307161 892225 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Let me strace that cat on the outside too. < 1574307162 900896 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :EIEIO < 1574307207 919906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : `quote 1000 <-- enough quotes have been deleted that numbers aren't remotely stable < 1574307242 345235 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :. o O ( kmcdonald had a farm ) < 1574307294 411480 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :lol < 1574307298 377773 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Okay, built-in echo with cat. Saw one line of output. Inside, bash did three write calls of 5 bytes each; first two returned 5, the last returned -1 EPIPE. Outside, the cat did one read(0, "foo1\n", 131072) and got 5 bytes, then the next read returned 0/EOF. < 1574307364 811682 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've no idea what could be closing the pipe. The only people who should even have access to the read end of the pipe would be cat (which doesn't seem to be closing it) and bash (which I assume wouldn't do it without a good reason). < 1574307390 154995 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The umlbox wrapper script, and the UML kernel, should only have a file descriptor for the write end. < 1574307395 590963 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`doag ../quotes | grep 1000 < 1574307398 227374 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574307431 305739 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Really going to give up for now though. It's late. There's ghosts about. < 1574307436 793868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` doag ../quotes | paste < 1574307439 252059 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/tmp/paste/paste.20469 < 1574307491 650797 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I strongly suspect it's some UML weirdness, after all, init will tell the kernel to power off right after the command finishes. I might need some sort of synchronization mechanism here. < 1574307512 868227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote steal.code < 1574307513 810797 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574307524 534990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote steal..code < 1574307525 400270 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :687) what a world it would be if you could actually *steal* code so that the other project has to rewrite it or infiltrate your project to steal it back < 1574307539 190638 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that's older, so it _should_ be in the paste < 1574307548 682539 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Incidentally, sleep is also behaving super-weirdly inside the UML. If I stick a 'sleep 1;' in front, there's never any output. And the sleep durations never seem to actually match the designated amount of seconds.) < 1574307722 211801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i vaguely think someone used sleep in HackEso not that long ago < 1574307953 893242 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kspalaiologos: https://esolangs.org/logs/2013-03-30.html#luq < 1574307973 291062 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was actually quote 1000 itself when added < 1574307979 971913 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and still not cheating < 1574308013 5494 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe you'll understand this better if you draw a UML diagram. < 1574308076 698486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so: we had 1000 quotes back in early 2013, and currently have fewer than 337 more. < 1574308087 969024 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` allquotes | tail -n 1 < 1574308090 305159 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574308098 771054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what < 1574308127 269997 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` allquote | head -n 1 < 1574308128 23565 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/bin/`: line 5: allquote: command not found < 1574308133 613581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` allquotes | head -n 1 < 1574308134 418752 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1) EgoBot just opened a chat session with me to say "bork bork bork" < 1574308137 309190 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe that's just more ghosts? < 1574308143 726203 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` allquotes | tail -n 1 < 1574308144 603469 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1332) The domain is public, but what's the codomain? < 1574308149 707499 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :apparently so. < 1574308181 220508 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it's definitely not been that broken for long. < 1574308234 402695 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'll try older versions later. < 1574308291 385324 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :An alternative solution also occurs to me: instead of trying to use the UML console channels, I could use the block devices. That way there's a chance the sync will make it robust. It's not like I need the interactivety. Although umlbox itself is designed for potential interactive use. < 1574308329 823052 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` allquotes | tail -n 1 < 1574308331 753267 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1332) The domain is public, but what's the codomain? < 1574308349 694211 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That quote is terrible. < 1574308366 495919 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe delete it or pick some other quote to keep quoting? < 1574308390 315131 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i was really just checking how many quotes there were, and then a bug turned up. < 1574308472 319887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i did 3 repeats in pm, and the last one failed. < 1574308488 748524 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(the second was a little slow.) < 1574308514 876248 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1574308544 995809 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe it's timing out and it's related to the sleep thing < 1574308576 802163 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat < 1574308623 736995 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That always seems to take more time than the stipulated 30 seconds. < 1574308660 672474 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574308667 269250 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was sort of hoping it might time out early and be a clue < 1574308669 609365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` echo hi; cat < 1574308670 923032 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574308674 123185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh < 1574308678 556297 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it was < 1574308691 726661 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but i had to print something first < 1574308736 142648 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: in case you weren't watching, that last command responded almost instantly < 1574308765 433639 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And didn't print the thing. < 1574308803 122029 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Shouldn't have anything to do with the timeout though. < 1574308846 810524 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, more the reverse: it shows that it's aborted first. < 1574308912 619129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` echo hi; echo ho; cat < 1574308930 165113 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and now it's going to take the full time i guess < 1574308976 242189 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574308984 786078 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...but still didn't print < 1574308996 310031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :very random. < 1574309037 460017 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`1 quote random < 1574309038 519441 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/5: < 1574309047 407585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`n 1 < 1574309049 627669 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/5: < 1574309057 926071 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`n 1 < 1574309058 648396 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/5: < 1574309061 548940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`n < 1574309062 249119 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :2/5: < 1574309064 659265 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh < 1574309081 324996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Probably closing after the first write? < 1574309104 8026 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :apparently. but it hasn't been doing that since fizzie upgraded debian, has it? < 1574309121 721342 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know what's going on at all. < 1574309127 505818 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm at the airport. < 1574309364 134469 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i find only one 1/...: response after i asked fizzie about "draft", which i assume was after the upgrade. although that one worked. < 1574309389 365440 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`1 stat le < 1574309390 787297 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574309394 188270 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`1 stat le < 1574309395 207194 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1: < 1574309398 984338 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`1 stat le < 1574309400 91258 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1: < 1574309412 577535 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so something changed after that, probably < 1574309623 708143 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lately people don't seem to be following the old "show 5 quotes, delete at most 1" tradition, but just deleting things outright, so the quotes db might even continue shrinking. < 1574310055 972783 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't understand why it would only work for the one write. < 1574310283 471401 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` /bin/echo a; /bin/echo b; /bin/echo c; /bin/echo d; /bin/echo e < 1574310284 256317 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :a \ b \ c \ d \ e < 1574310288 117855 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` /bin/echo a; /bin/echo b; /bin/echo c >&2; /bin/echo d; /bin/echo e < 1574310289 166873 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :c < 1574310312 201407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I'm at a bookstore and I picked a book semi-randomly and opened it at a page semi-randomly and it talks about ais523. <-- synchronicity hth < 1574310317 361235 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And there's that, which seems to behave very consistently. < 1574310361 215455 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat spout < 1574310364 234204 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310366 429771 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :huh < 1574310374 931503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat spout < 1574310375 522598 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​ File: le -> /hackenv/le \ Size: 11 Blocks: 0 IO Block: 1024 symbolic link \ Device: 12h/18d Inode: 1206924 Links: 1 \ Access: (0777/lrwxrwxrwx) Uid: ( 1000/ UNKNOWN) Gid: ( 1000/ UNKNOWN) \ Access: 2019-11-16 21:29:43.000000000 +0000 \ Modify: 2019-11-16 21:29:43.000000000 +0000 \ Change: 2019-11-16 21:29:43.000000000 +0000 \ Birth: - < 1574310479 126928 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`n < 1574310479 831775 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1: < 1574310484 962290 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` n < 1574310488 547313 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310490 456029 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It would make some sense if it was the "bot framework does only one read, then closes the pipe" issue, but it was clearly receiving EOF right after. < 1574310509 909417 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` n | cat < 1574310510 730793 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310520 307087 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` n | cat < 1574310521 216674 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1: File: le -> /hackenv/le \ Size: 11 Blocks: 0 IO Block: 1024 symbolic link \ Device: 12h/18d Inode: 1206924 Links: 1 \ Access: (0777/lrwxrwxrwx) Uid: ( 1000/ UNKNOWN) Gid: ( 1000/ UNKNOWN) \ Access: 2019-11-16 21:29:43.000000000 +0000 \ Modify: 2019-11-16 21:29:43.000000000 +0000 \ Change: 2019-11-16 21:29:43.000000000 +0000 \ Birth: - < 1574310560 708248 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Is it possible that it gets an eof whenever any executable closes the output pipe, and that's where it decides to stop reading? < 1574310599 916078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: I was going to ask earlier what happens if cat keeps issuing read calls after the 0. < 1574310608 134110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I thought that'd be too niche a guess and too annoying to test. < 1574310609 787476 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` 1 echo a; 1 echo b; 1 echo c; 1 echo d; 1 echo e < 1574310621 636789 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310631 589212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat spout < 1574310632 335047 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310634 729873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat spout < 1574310635 385610 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310637 73363 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat spout < 1574310637 719523 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310642 692789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` ls -l spout < 1574310644 484794 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310647 233030 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` ls -l spout < 1574310648 168201 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310651 809045 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OH COME ON < 1574310664 585423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` ls -l spout | cat < 1574310665 482795 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​-rw-r--r-- 1 1000 1000 0 Nov 21 04:30 spout < 1574310678 794033 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` cat spout | cat < 1574310679 548010 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310684 481685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` cat spout | cat < 1574310685 224229 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310692 351175 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` wc spout < 1574310693 86911 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :0 0 0 spout < 1574310695 147388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1574310714 64817 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok interesting, it failed at writing the spout file < 1574310842 894947 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` (1 echo a; 1 echo b; 1 echo c; 1 echo d; 1 echo e) >/dev/null < 1574310850 108534 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310860 758662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat spout < 1574310861 342958 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310867 197106 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` wc spout < 1574310867 923444 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :0 0 0 spout < 1574310877 744970 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hum < 1574310901 658703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that means that command failed somewhere, despite never printing to stdout < 1574310958 584763 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` { 1 echo a; 1 echo b; 1 echo c; 1 echo d; 1 echo e } >/dev/null < 1574310959 279515 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/hackenv/bin/`: eval: line 6: syntax error: unexpected end of file < 1574310979 571311 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hum < 1574310994 740433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` (1 echo a) >/dev/null < 1574310995 886960 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574310996 978150 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Ping timeout: 240 seconds < 1574310999 943808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat spout < 1574311000 538706 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574311012 273626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait duh < 1574311065 310155 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` 1 'echo a'; 1 'echo b'; 1 'echo c'; 1 'echo d'; 1 'echo e' < 1574311067 883466 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1:a \ 1/1:b \ 1/1:c \ 1/1:d \ 1/1:e < 1574311081 13588 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1574311089 767428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cbt 1 < 1574311090 723416 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​\` "$@" |& sport < 1574311111 95256 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hum that should pass on everything < 1574311115 7265 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cbt ` < 1574311115 668209 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​#!/bin/bash \ cmd="${1-quote}" \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$cmd" | rnooodl < 1574311168 289435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`slbd `//s,1,@, < 1574311170 292566 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​`//#!/bin/bash \ cmd="${@-quote}" \ TIMEFORMAT="real: %lR, user: %lU, sys: %lS" \ shopt -s extglob globstar \ eval -- "$cmd" | rnooodl < 1574311177 70895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` echo hi < 1574311177 831366 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :hi < 1574311207 602304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` 1 echo a; 1 echo b; 1 echo c; 1 echo d; 1 echo e < 1574311215 538472 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574311223 247985 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'll try to roll back the live version to the post-Debian-upgrade-before-refactoring one. < 1574311225 520066 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or not. < 1574311248 796754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` 1 echo a; 1 echo b; 1 echo c; 1 echo d; 1 echo e < 1574311251 307287 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :No output. < 1574311266 165396 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` \` echo hi < 1574311266 988568 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :hi < 1574311274 622846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok seems to work < 1574311301 149178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` 1 echo hi < 1574311302 323990 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1:hi < 1574311323 956116 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` 1 echo a; 1 echo b; 1 echo c; 1 echo d; 1 echo e < 1574311330 219685 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1/1:a \ 1/1:b \ 1/1:c \ 1/1:d \ 1/1:e < 1574311347 280094 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`cat spout < 1574311347 918977 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :e < 1574311398 829166 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` /bin/echo a; /bin/echo b; /bin/echo c >&2; /bin/echo d; /bin/echo e < 1574311399 624249 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :c \ a \ b \ d \ e < 1574311405 420289 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok that was just me being stupid but now 1 and ` are a bit more resilient in shell < 1574311406 739705 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, there's clearly some difference there. < 1574311425 755885 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh well, at least I can bisect for it then. But not today. < 1574311433 956414 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Need to wake up in four hours. < 1574311446 285134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sweet dreams < 1574311756 882149 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :`` url $(which 1) < 1574311757 733141 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :https://hack.esolangs.org/repo/file/tip/bin/1 < 1574311972 572097 :TellsTogo!b2751b2c@178-117-27-44.access.telenet.be JOIN :#esoteric < 1574312194 132706 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :for a second it almost looked like the "tip" command was in operation, in all its glory :/ < 1574312206 450677 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :alas, just a directory name > 1574312360 118935 PRIVMSG #esoteric :14[[07User:Quadril-Is14]]4 10 02https://esolangs.org/w/index.php?diff=67294&oldid=67134 5* 03Quadril-Is 5* (+14) 10 < 1574312851 418254 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: do you have any tips? < 1574312851 498794 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :oerjan: it's always hard for me to go function by function? < 1574314181 759551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? tip < 1574314182 876928 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :A tip is 0,3[ $ ] if you're American, 12[ £ ] if you're British, and if you're Japanese. < 1574316890 368166 :TellsTogo!b2751b2c@178-117-27-44.access.telenet.be QUIT :Remote host closed the connection < 1574317556 173561 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: AFAIUI the connection is that the backjump clause used for backjumping is a promising clause to learn (a nontrivial consequence of the existing clauses). But you don't have to use it for backjumping. < 1574317630 303849 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Actually, nontrivial and at least marginally useful... it would have detected the conflict at hand one or more decisions earlier. < 1574318730 854107 :tromp!~tromp@2a02:a210:1585:3200:9c04:fa3d:70d0:336e QUIT : < 1574321534 727001 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1574323257 239024 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Hmm, actually there is a far simpler way to get /some/ learnable clause: Collect the negation of all decision literals on the trail. Presumably it's not very effective (for that clause to be applicable, you need to have all but one of those literals on the trail again, though possibly in a different order. With pure backtracking (no backumping, no restarts) that will never happen!) < 1574323383 822638 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So one way of viewing the backjump clause is as a way of identifying relevant literals for the current conflict. < 1574323754 873742 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( Hmm. Fun though incorrect attempt of framing this: CDCL solvers are SAT modulo unit propagation solvers, and backjump are unsatisfiable cores. ) < 1574323777 697280 :int-e!~noone@int-e.eu PRIVMSG #esoteric :s/backjump/backjump clauses/ < 1574323804 324222 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(complements of unsatisfiable cores, of course) < 1574324443 330554 :zzo38!~zzo38@24-207-50-7.eastlink.ca QUIT :Ping timeout: 245 seconds > 1574324982 479410 PRIVMSG #esoteric :14[[07Treesolang14]]4 10 02https://esolangs.org/w/index.php?diff=67295&oldid=67274 5* 03Baidicoot 5* (+651) 10added IO < 1574325017 673663 :b_jonas!~x@catv-176-63-14-112.catv.broadband.hu PRIVMSG #esoteric :so HackEso has grown mysterious bugs? < 1574325210 442932 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: So the first time my friend I were trying to figure out CDCL, we just started writing code, starting with a really simple DPLL solver and demorganizing the trail to learn clauses. < 1574325250 833137 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It was only when we saw that it changed literally nothing about the behavior of the solver that we thought about it for a few seconds and realized it was ridiculous. < 1574325364 437301 :int-e!~noone@int-e.eu PRIVMSG #esoteric :heh it probably made it slower ;) < 1574325408 689758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, it was written in Python. < 1574325410 688738 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Maybe I should implement a SAT solver. But to what end... < 1574325413 342436 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it was already maximally slow. < 1574325438 282991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Anyway, when you do something like FirstUIP, you need a "reason" for each assignment (other than decisions). < 1574325477 147527 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you do the typical backtracking thing (invert the last decision and mark it as a forced literal), you don't have a clause to point to as the reason for the new assignment. Do you? < 1574325579 476987 :int-e!~noone@int-e.eu PRIVMSG #esoteric :True, you'd have to derive the corresponding backjump clause (LastUIP) < 1574325623 25198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, you can keep resolving on units from this level until your clause includes the decision literal, you mean. < 1574325647 74085 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah, since that's how backjumping simulates backtracking < 1574325686 297935 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. I guess I can do that. < 1574325714 609463 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I implemented CDCL and FirstUIP on the flight (no clause deletion, just allocating enough memory for all the learned clauses). < 1574325747 36634 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It made the number of decisions and units go way down, but the solver also takes much much longer. < 1574325772 321270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which seems like a great tradeoff, since I hate making decisions. < 1574325843 347995 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah deleting clauses is very important for performance. Which is awful because it's another open-ended playing field for heuristics. < 1574325884 870519 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl JOIN :#esoteric < 1574325945 204317 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :=str 0s +[----->+++<]>+.++++++++++++..----.+++.+[-->+<]>.-----------..[--->+<]>.[--->+<]>----.----.---.-----------.+++++++++++++.-------.++++++++++++.+[++>---<]>.---[----->+<]>.+++.-----------.--[->+++<]>.++[--->++<]>+.+[->+++<]>+.++.--.----[->+++<]>. < 1574325945 317357 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574325965 7964 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :=str 0a [,.] < 1574325965 117944 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574325971 979688 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :=def 0wiki < 1574325972 74196 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok, defined 'wiki' < 1574325977 803621 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :=wiki bfbot < 1574325978 95535 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :..............................................................................bfbot < 1574325986 189642 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :Oh gosh damn it man < 1574325990 351329 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :What happened < 1574325996 553186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Why is it important? < 1574326000 508580 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :8bit cells? < 1574326004 994306 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I thought it was just for keeping memory use fixed. < 1574326015 466878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But even with 2WL you spend way too much time checking clauses, or something? < 1574326015 557423 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :`bf_textgen x < 1574326016 384087 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: bf_textgen: not found < 1574326024 509241 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :``` bf_textgen < 1574326025 177206 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :bash: bf_textgen: command not found < 1574326034 996168 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :Where is it located < 1574326056 599801 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :I need to add bitness to the wiki page because I forgot it < 1574326140 287655 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Hmm, many reasons, from growing 2WL lists to worse locality of memory access. And a lot of clauses turn out to be useless (for example, because they are subsumed by other clauses, or because while they do contribute to conflicts, those are exceedingly rare). < 1574326224 987246 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right, one thing I ws thinking was that before doing CDCL I almost don't have to wory about cache locality, but once I have an unbnded number of clauses I have to worry a lot. < 1574326231 285395 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The average 2WL list grows linearly with the number of clauses. < 1574326316 660545 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Very naive estimate: 2 times number of clauses divided by number of literals. It's probably better in practice because clauses can end up on watch lists of literals that are never considered.) < 1574326338 219766 :b_jonas!~x@catv-176-63-14-112.catv.broadband.hu QUIT :Quit: leaving < 1574326340 925397 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION shrugs
< 1574326362 347992 :int-e!~noone@int-e.eu PRIVMSG #esoteric :That "probably" is a fairly wild guess. I have no data. < 1574326370 916661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ideally watches move to and stay on literals you don't assign as much. < 1574326391 95520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or whose negation you don't assign as much, anyway. < 1574326423 861825 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The way I think of it, I'd put A v B on the watch lists for ~A and ~B. < 1574326464 700258 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, where you put the negation doesn't matter. < 1574326470 963700 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But I don't know what's standard here... < 1574326472 746188 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah. < 1574326490 736401 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I understood what you said. < 1574326502 129334 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Or wrote. Whatever. < 1574326540 275997 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Clause collection seems hard. < 1574326551 990733 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :By which I mean you have to make a lot of decisions. < 1574326687 944332 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yeah I'm afraid this is where you read another half dozen papers. < 1574326802 257777 :int-e!~noone@int-e.eu PRIVMSG #esoteric :There are some obvious statistics like length of clause, how often clauses are used in unit propagation (possibly per level though that'd be a serious amount of memory, so hard to justify. maybe if you assign weights to the levels?)... < 1574326813 802318 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, some of these learned clauses are pretty bad, now that I look at them. < 1574326858 240554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One of the is a unit! < 1574326882 250445 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Man, when you learn a unit, I bet you can just delete all the relevant clauses etc. out of your database when you restart. < 1574326892 816201 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Okay, if you learn a unit clause you have a clear way of pruning the clauses :) < 1574326910 88146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's kind of an odd property of CDCL that you can't do that in general. < 1574326917 551862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(When normally you think of DPLL as solving subproblems.) < 1574326950 101176 :int-e!~noone@int-e.eu PRIVMSG #esoteric :You can check for clause subsumption... just not efficiently ;) < 1574326961 76353 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Maybe I'm not imaginative enough.) < 1574327007 4709 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Even if you learn a unit clause it's not entirely clear how to deal with that efficiently. < 1574327037 546583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why? < 1574327040 695255 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(If you want to avoid scanning *all* clauses. Maybe just go through that literal's watch lists?) < 1574327054 123338 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(But then you have to do that periodically.) < 1574327055 81040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I was thinking to just go through the watch list. < 1574327072 911562 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But also scanning all clauses up to num_vars times doesn't seem that bad. < 1574327088 893624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe the clause database gets really big, or real-world SAT problems have a large number of variables. < 1574327114 594357 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I'm sure both of these happen. < 1574327161 724800 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can probably do it opportunistically reasonably well. < 1574327175 788883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, if you're learning a lot of units, you're doing pretty well, I'd hope. < 1574327223 47811 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Anyway, all these decisions is why I don't really want to write a SAT solver. (I have no expectation of improving the state of the art, and I wouldn't expect to learn all that much either...) < 1574328658 991785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does it make sense to resolve on the same variable twice while doing LastUIP? < 1574328670 932301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should get some paper and figure out what's going on with my life. < 1574328731 51156 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: not really? I mean the resolved variable is on the trail, which should not have any duplicates? < 1574328784 205484 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, that's not what's going on. < 1574328803 861033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's going on is that I want to add a variable to the trail from one that was previously resolved on from another clause? < 1574328809 757581 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1574328846 245866 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh. That may happen. < 1574328874 124961 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But then I don't want to resolve on it again. So the second time I should add it to the non-resolvable pool? < 1574328886 486909 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Are you sure you don't want to do that? < 1574328891 659620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I feel like I'm making this too complicated. < 1574328902 299422 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You just said it doesn't make sense to resolve on it again. < 1574328938 941751 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I mean, resolution proofs /must/ typically resolve on the same variable several times for completeness. < 1574328967 709378 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: No, *I* said that it doesn't happen when finding a backjump clause. < 1574328978 509872 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But that's ignoring the history of the clauses involved in that. < 1574329137 729931 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So we talked past each other for a bit, because apprently you care about that history. I'm inclined to say that you shouldn't care. < 1574329286 598480 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure what you mean. < 1574329541 793008 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: When deriving a backjump clause by going back through the trail and resolving the conflict clause with the reason given for each literal, you will not resolve on the same variable twice because the variable you resolve on corresponds to the literal on the trail, and the trail is supposed to be free of duplicates and conflicting literals. < 1574329605 854662 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: it's only when you look into the derivation of the referred clauses (if they're learned clauses) that you may be resolving on the same variable more than once. < 1574329631 916831 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wait, how do you resolve through the trail? < 1574329690 592147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What I do for FirstUIP is: Take the all-false clause; take a unit-propagated literal from it, and find the clause it was propagated from; resolve it with that clause to get a bigger clause. < 1574329719 761498 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And keep doing that with the new clause until there's only one literal from this level in it. < 1574329770 666133 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Yes. The unit-propagated literal is from the trail. The variable you resolve on corresponds to that literal. < 1574329819 888219 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Maybe I'm begin stupid but I see no reason why you'd involve the same literal twice in the conflict analysis. < 1574329837 655136 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, it's from the trail, but you don't find it by just looking back through the trail, do you? < 1574329843 954388 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm. < 1574329882 209584 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe you just do? < 1574329886 188474 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Note: When a literal is derived by unit propagation using a clause C, *all* variables of C are on the trail at that point. You can't re-introduce variables that come later on the trail by resolving with C. < 1574329897 762038 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe the code I wrote was way too complicated. < 1574329957 265157 :int-e!~noone@int-e.eu PRIVMSG #esoteric :So as long as you pick the /last/ literal of the conflict clause from the trail (that is, the one that comes last on the trail) and its corresponding clause to resolve with, you will not resolve on the same variable twice. < 1574329985 687198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, but I'm just picking an arbitrary one. < 1574330007 420245 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now what you said makes more sense. < 1574330016 940148 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Then I'm not sure. But don't you risk missing the last UIP then? < 1574330035 158876 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you still find the first UIP? < 1574330067 772112 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh right we're looking from the end of the trail. So I mean first. < 1574330089 321980 :int-e!~noone@int-e.eu PRIVMSG #esoteric :The last UIP can't be missed, it's the backtracking case. < 1574330215 597171 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Take what I'm saying with a grain of salt... I'm missing technical details of how conflict analysis is really done. I have a pen&paper view on how backjump clauses are supposed to work. < 1574330281 119304 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But that view definitely involves going through the trail in a backwards fashion. But maybe that's for convenience and not out of necessity. < 1574330328 832163 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think what you say makes more sense than what I was thinking. < 1574330362 78034 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was just picking an arbitrary unit each time. < 1574330374 896717 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean arbitrary unit-propagated literal from this level. < 1574330392 732028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now I need to think about how to implement the thing you said and some other things. < 1574330399 803692 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Probably not today. < 1574330643 978784 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: out of curiosity, which imperfect programming language are you using for this? < 1574330662 279249 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :C. < 1574330745 367265 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm. Fun. I expected C++ or Rust (well, no, but those are the ones I'd consider if I'd embark on this journey.) < 1574330807 330417 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1574330808 48026 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(C++ mostly for sane namespaces... and probably vectors out of laziness) < 1574330832 926803 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I did give in and use https://github.com/nothings/stb/blob/master/stb_ds.h at one point. < 1574330834 762390 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :int-e: out of curiosity, which programming language is not imperfect? < 1574330838 619038 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Not for inheritance, virtual methods, exceptions, or templates. < 1574330842 668681 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: Brainfuck. < 1574330848 945153 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :how so < 1574330863 100783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Vectors are great for SAT solvers because there's a lot of linear algebra involved. < 1574330873 158681 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: There's this quote. "There are two kind of programming languages. Those that everybody complains about and those that nobody uses." < 1574330885 948196 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: Brainfuck is pretty much perfect for what it does. < 1574330898 379409 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :int-e: in this case, malbolge would be a lot better < 1574330912 423470 :int-e!~noone@int-e.eu PRIVMSG #esoteric :No, Malbolge is overcomplicated. :P < 1574330926 991681 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm using these dynamic arrays for watch lists. But I suspect I'll replace them with some other data structure anyway eventually. < 1574330938 263770 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :but a lot of people are "using" brainfuck < 1574330961 584847 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: The original purpose of Brainfuck was not to make programming hard. The purpose was to allow writing small compiler. < 1574330973 968720 :int-e!~noone@int-e.eu PRIVMSG #esoteric :+a < 1574331033 347583 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: I'm not sure to what extend you're kidding about the linear algebra. < 1574331050 915547 :int-e!~noone@int-e.eu PRIVMSG #esoteric :*extent < 1574331078 567537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think std::vector is useful because I often want to apply scalar multiplication to my arrays. < 1574331105 377499 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: The "imperfect" was an oblique reference to earlier discussions with shachaf about whether there are any good programming languages out there. < 1574331126 831813 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: We have yet to find one. < 1574331145 798000 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :what about lambda calculus= < 1574331147 203519 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :? < 1574331189 214927 :int-e!~noone@int-e.eu PRIVMSG #esoteric :We can't even agree on whether Haskell is a good programming language. < 1574331224 38847 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Good for what? < 1574331230 562018 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I think yes. shachaf complains about the huge performance overheads. I can't say that he's wrong, it's just not the primary thing I'm looking for in a programming language most of the time.) < 1574331278 250900 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think that's the only thing I complain about. < 1574331335 56786 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: Lambda calculus is a nice Turing tarpit, and somewhat surprisingly scales up to real programming (according to some people) if you add types, data types, and a few other things. < 1574331350 354528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you give me a nice definition of PTIME and PSPACE for lambda calculus? < 1574331413 408775 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Sure, just use a graph model and measure term size and count reduction steps. < 1574331419 223068 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Maybe that's not nice enough for you. < 1574331481 968549 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Turing machines are obviously scow to program on. < 1574331482 885870 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Hmm, I may have to go the explicit substituition route.) < 1574331484 762057 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION shrugs.
< 1574331488 952195 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :int-e: well, typed lambda calculus is not that far away from haskell, isn't it? < 1574331505 127283 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But at least Turing machines are in spirit similar to actual machines. < 1574331505 917539 :int-e!~noone@int-e.eu PRIVMSG #esoteric :myname: what did you think I meant by "real programming"? :P < 1574331561 235945 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :okay < 1574331594 237782 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :int-e: "term size" how? count the nodes with reusable reference-counted nodes, or serialize the expression so you can blow up space usage exponentially in time? < 1574331623 556363 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :oh, you said graph model < 1574331639 618819 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :so the former < 1574331682 560088 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you like stb_ds.h? < 1574331682 878625 :int-e!~noone@int-e.eu PRIVMSG #esoteric :tbh, graph models are not very nice from a theoretical perspective. < 1574331719 479821 :int-e!~noone@int-e.eu PRIVMSG #esoteric :If you really want to go *that* route maybe drop the lamdba calculus and do interaction nets instead. < 1574331720 512053 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :petri nets! < 1574331742 806890 :int-e!~noone@int-e.eu PRIVMSG #esoteric :no, not petri nets < 1574331764 298083 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric ::( < 1574332024 551527 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( I prefer multiset rewriting ;-) ) < 1574332101 275637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :⟅1,1,2⟆ < 1574332124 689385 :int-e!~noone@int-e.eu PRIVMSG #esoteric :unordered string rewrting = multiset rewriting = Petri nets if you interpret the symbols as places and the rules as transitions. < 1574332184 411216 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :⦃1,1,2⦄ < 1574334013 590225 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1574337091 809495 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :=list < 1574337091 937466 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :8ball echo f msg1 simple wiki < 1574337099 603803 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :=wiki xd < 1574337099 878186 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :..............................................................................xd < 1574337108 253132 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :I need to set bitness < 1574337122 717979 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :But I forgot how to do it < 1574337128 46970 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :=f < 1574337133 678872 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :=f aaa < 1574337139 450862 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :=simple < 1574337139 716767 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :simple < 1574337261 580983 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl PRIVMSG #esoteric :I need to update bfbot docs though on the wiki < 1574338340 547238 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 260 seconds < 1574338346 446515 :xkapastel!uid17782@gateway/web/irccloud.com/x-hafgfhewadmzzouo JOIN :#esoteric < 1574338733 887148 :arseniiv!~arseniiv@77.79.182.89.dynamic.ufanet.ru JOIN :#esoteric < 1574340830 64894 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@tell oerjan Well, I fixed it, but I don't know why. Something to do with using a host-side opened /dev/null fd instead of the UML 'null' channel for some inputs/outputs. I don't want to think about it any more. < 1574340830 141662 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1574341147 712862 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :fizzie: nice < 1574341295 695859 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1574341798 538014 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric > 1574343973 596292 PRIVMSG #esoteric :14[[07Bfbot14]]4 M10 02https://esolangs.org/w/index.php?diff=67296&oldid=67265 5* 03Palaiologos 5* (+265) 10 > 1574343995 790707 PRIVMSG #esoteric :14[[07Bfbot14]]4 M10 02https://esolangs.org/w/index.php?diff=67297&oldid=67296 5* 03Palaiologos 5* (+24) 10 < 1574344058 427146 :kspalaiologos!~kspalaiol@user-5-173-136-221.play-internet.pl QUIT :Quit: Quit < 1574344206 43884 :kspalaiologos!~root@206.ip-51-91-102.eu JOIN :#esoteric < 1574344247 858408 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :Greetings < 1574344259 727801 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=help < 1574344259 814112 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :bfbot is a bot executing brainfuck natively. You may add your very own commands to the bot. < 1574344259 850455 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :Commands: =str =def =undef =list =plist =doc. More help at https://esolangs.org/wiki/bfbot < 1574344690 836391 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :=list < 1574344690 970885 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :8ball echo f msg1 simple wiki < 1574344697 615459 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :=plist < 1574344697 742293 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :8ball echo f msg1 simple wiki < 1574344729 618131 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :=doc msg1 < 1574344729 754393 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :Error: no documentation for msg1. < 1574344741 135620 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :=msg1 test < 1574344741 437846 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :@APQ`apq.... < 1574344741 524787 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1574344802 306361 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=help < 1574344802 427925 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :bfbot is a bot executing brainfuck natively. You may add your very own commands to the bot. < 1574344802 464354 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :Commands: =str =def =undef =list =plist =doc. More help at https://esolangs.org/wiki/bfbot < 1574344835 129379 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=str 0s >++++++++++>+>+[[+++++[>++++++++<-]>.<++++++[>--------<-]+<<<]>.>>[[-]<[>+<-]>>[<<+>+>-]<[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>+<-[>[-]>+>+<<<-[>+<-]]]]]]]]]]]+>>>]<<<] < 1574344835 219598 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574344849 205242 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=def 0fib < 1574344849 305384 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok, defined 'fib' < 1574344851 171182 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=fib < 1574344851 336047 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :011235813213455891442333776109871597258441816765109461771128657463687502512139319641831781151422983204013462692178309352457857028879227465149303522415781739088169632459861023341551655801412679142964334944377014087331134903170183631190329712150734807526976777874204912586269025203650110743295128009953 < 1574344865 135859 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=list < 1574344865 258633 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :8ball echo f fib msg1 simple wiki < 1574344875 411976 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=8ball test 123 < 1574344875 965720 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :It is certain. < 1574344915 868455 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=8ball anything < 1574344916 391091 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :My reply is no. < 1574344932 447536 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=8ball A0 < 1574344932 938682 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :Yes - definitely. < 1574344997 454373 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=list < 1574344997 566318 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :8ball echo f fib msg1 simple wiki < 1574345002 845683 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=echo test < 1574345003 95589 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :test < 1574345005 93362 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :what does msg1 do? < 1574345012 65617 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :let's check < 1574345013 260956 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=msg1 < 1574345013 379330 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :@APQ`apq.... < 1574345013 450421 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1574345017 244944 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :oerjan possibly defined it < 1574345048 681367 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :=msg1 oerjan < 1574345048 992905 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :@APQ`apq.... < 1574345049 124129 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1574345066 901022 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1574345093 770531 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :fungot, tell me something < 1574345093 976194 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :kspalaiologos: yep :) by the time i get is a single print statement... i've got quite the system in the next version of gambit is out real soon now < 1574345462 200194 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1574345486 974275 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos PRIVMSG #esoteric :oops why are there two of me < 1574345522 887502 :arseniiv!~arseniiv@77.79.182.89.dynamic.ufanet.ru QUIT :Ping timeout: 240 seconds > 1574345559 840165 PRIVMSG #esoteric :14[[07Asm2bf14]]4 10 02https://esolangs.org/w/index.php?diff=67298&oldid=67292 5* 03Palaiologos 5* (+2181) 10Gisa part < 1574345564 547944 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 260 seconds < 1574345567 797579 :kritixil1!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Client Quit < 1574345589 539449 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1574345609 984058 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1574345634 39520 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :kspalaiologos: no, I defined msg1 to experiment with the bot, since defining a command seems to be the easiest way to do that < 1574345652 166216 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I just defined various different temporary bf snippets to that command, and didn't bother deleting it < 1574345666 973194 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :I wanted to check if the bot still isn't willing to print any non-ascii bytes < 1574345675 963299 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :and apparently it still isn't < 1574345921 727741 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :I will patch it < 1574345934 727066 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :but I have added a new feature today < 1574345940 535143 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :check the bot wiki page < 1574345985 489930 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=str 0s 3+[----->+++<]>+.++++++++++++..----.+++.+[-->+<]>.-----------..[--->+<]>.[--->+<]>----.----.---.-----------.+++++++++++++.-------.++++++++++++.+[++>---<]>.---[----->+<]>.+++.-----------.--[->+++<]>.++[--->++<]>+.+[->+++<]>+.++.--.----[->+++<]>.[,.] < 1574345985 596950 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574345990 921698 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=def 0wiki < 1574345991 14197 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok, defined 'wiki' < 1574345993 699988 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=wiki bfbot < 1574345993 802196 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :..............................................................................bfbot < 1574345999 62045 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :gosh damn it man < 1574346002 582150 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :why does it happen < 1574346012 884308 :arseniiv!~arseniiv@77.79.182.89.dynamic.ufanet.ru JOIN :#esoteric < 1574346059 715877 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=str 0s < 1574346059 776554 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :++++++++[>+>++>+++>++++>+++++>++++++>+++++++>++++++++>+++++++++>++++++++++>+++++++++++>++++++++++++>+++++++++++++>++++++++++++++>+++++++++++++++>++++++++++++++++<<<<<<<<<<<<<<<<-]>>>>>>>>>>>>>.<<<<<<<<<<<<<>>>>>>>>>>>>>>>----.++++<<<<<<<<<<<<<<<>>>>>>>>>>>>>>>----.++++<<<<<<<<<<<<<<<>>>>>>>>>>>>>>.<<<<<<<<<<<<<<>>>>>>>>>>>>>>+++.---<<<<<<<<<<<<<<>>>>>>>++.--<<<<<<<>>>>>>-.+<<<<<<>>>>>>-.+<<<<<<>>>> < 1574346059 864437 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574346066 73970 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :>>>>>>>>>---.+++<<<<<<<<<<<<<>>>>>>>>>>>>>>+++.---<<<<<<<<<<<<<<>>>>>>>>>>>>>>-.+<<<<<<<<<<<<<<>>>>>>>>>>>>>>----.++++<<<<<<<<<<<<<<>>>>>>>>>>>>+. < 1574346069 73938 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :damn tooo long < 1574346101 940652 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=str 0s ++++++++[>+>++>+++>++++>+++++>++++++>+++++++>++++++++>+++++++++>++++++++++>+++++++++++>++++++++++++>+++++++++++++>++++++++++++++>+++++++++++++++>++++++++++++++++<<<<<<<<<<<<<<<<-]>>>>>>>>>>>>>.>>----.++++----.++++<.+++.---<<<<<<<++.--<-.+-.+>>>>>>>---.+++>+++.----.+----.++++<<+.->>--.++<-.+>+++.---<<<<<<<<--.++>>>>>>>>-.+++.--<-.+<<<<<<<-.+>>>>>>>>>-.+<<+.-+++.---+.-<<<<<<<-.+<<<<<<. < 1574346102 79619 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574346107 991005 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=def 0wiki < 1574346108 105630 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok, defined 'wiki' < 1574346110 179979 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=wiki please work < 1574346110 288027 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :https://esolangs.org/wiki/ < 1574346113 94431 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :kinda < 1574346117 714935 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=str 0a [,.] < 1574346117 846625 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574346120 274730 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=def 0wiki < 1574346120 341350 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok, defined 'wiki' < 1574346122 722215 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=wiki bfbot < 1574346122 891931 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :https://esolangs.org/wiki/ < 1574346129 858367 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :that's kinda pants < 1574346140 135086 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=str 0a ,[.,] < 1574346140 299853 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574346143 314411 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=def 0wiki < 1574346143 408920 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok, defined 'wiki' < 1574346146 320011 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :=wiki bfbot < 1574346146 505662 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :https://esolangs.org/wiki/bfbot < 1574346148 825411 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :yay < 1574346160 401846 :kspalaiologos!~root@206.ip-51-91-102.eu PRIVMSG #esoteric :so you can check this page as it contains new features < 1574346162 336537 :kspalaiologos!~root@206.ip-51-91-102.eu QUIT :Quit: Lost terminal < 1574348497 423954 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1574349124 793511 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric > 1574349375 352363 PRIVMSG #esoteric :14[[07User talk:Palaiologos14]]4 10 02https://esolangs.org/w/index.php?diff=67299&oldid=67260 5* 03Palaiologos 5* (+156) 10 > 1574350791 720233 PRIVMSG #esoteric :14[[07Brainfuck14]]4 M10 02https://esolangs.org/w/index.php?diff=67300&oldid=67293 5* 03Palaiologos 5* (+1) 10Dead link? < 1574351807 36478 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :`asmbf db_ 2/db_ 3/rcl r1,1 < 1574351808 336613 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​+>+[<[>>+>+<<<-]>>[<<+>>-]>[[-]>>>>>>>>>>>>>>>>>++>>+++<<<<<<<<<<<<<+<<<<[-]>>>>[<<<<<+>>>>>>>>>>+>>>>>+<<<<<<<<<<-]<<<<<[>>>>>+<<<<<-]>>>>>>>>>>>>>>>[[>>]+[<<]>>-]+[>>]<[<[<<]>+<<<<<<<<<<<<<+>>>>>>>>>>>>>>[>>]<-]<[<<]>[>[>>]<+<[<<]>-]>[>>]<<[-<<]><<<<<<<<<[-]<<<<<<]<<<[>>+>+<<<-]>>[<<+>>-]>[[-]<<<[-]>[-]>>]<<] < 1574351857 91937 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :`asmbf db_ 2/db_ 3/raw .*/rcl r1,1/raw .* < 1574351857 820467 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​+>+[<[>>+>+<<<-]>>[<<+>>-]>[[-]>>>>>>>>>>>>>>>>>++>>+++*<<<<<<<<<<<<<+<<<<[-]>>>>[<<<<<+>>>>>>>>>>+>>>>>+<<<<<<<<<<-]<<<<<[>>>>>+<<<<<-]>>>>>>>>>>>>>>>[[>>]+[<<]>>-]+[>>]<[<[<<]>+<<<<<<<<<<<<<+>>>>>>>>>>>>>>[>>]<-]<[<<]>[>[>>]<+<[<<]>-]>[>>]<<[-<<]><<<<<<<<<[-]*<<<<<<]<<<[>>+>+<<<-]>>[<<+>>-]>[[-]<<<[-]>[-]>>]<<] < 1574352132 75808 :xkapastel!uid17782@gateway/web/irccloud.com/x-hafgfhewadmzzouo QUIT :Quit: Connection closed for inactivity < 1574353381 35354 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I came into realisation < 1574353387 232846 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :that I spent this much time on codegolf < 1574353387 609034 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :https://github.com/KrzysztofSzewczyk/codegolf-submissions < 1574353395 507199 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :0x40 submissions < 1574353892 919123 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :`asmbf sto r1, 2 < 1574353893 692925 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​+>+[<[>>+>+<<<-]>>[<<+>>-]>[[-]>>>>>>++<<<<[<+>>>>>>>>>>>>>>>+<<<<<<<<<<<<<<-]<[>+<-]>>>>>[<<<<<+>>>>>>>>>>>>>>+<<<<<<<<<-]<<<<<[>>>>>+<<<<<-]>>>>>>>>>>>>>>>[[>>]+[<<]>>-]+[>>]<[-]<[<<]>[>[>>]<+<[<<]>-]>[>>]<<[-<<]><<<<<<<<<[-]<<<<<<]<<<[>>+>+<<<-]>>[<<+>>-]>[[-]<<<[-]>[-]>>]<<] < 1574353905 462956 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :`asmbf db_ 5/sto r1, 2 < 1574353906 240256 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​+>+[<[>>+>+<<<-]>>[<<+>>-]>[[-]>>>>>>>>>>>>>>>>>+++++<<<<<<<<<<<++<<<<[<+>>>>>>>>>>>>>>>+<<<<<<<<<<<<<<-]<[>+<-]>>>>>[<<<<<+>>>>>>>>>>>>>>+<<<<<<<<<-]<<<<<[>>>>>+<<<<<-]>>>>>>>>>>>>>>>[[>>]+[<<]>>-]+[>>]<[-]<[<<]>[>[>>]<+<[<<]>-]>[>>]<<[-<<]><<<<<<<<<[-]<<<<<<]<<<[>>+>+<<<-]>>[<<+>>-]>[[-]<<<[-]>[-]>>]<<] < 1574354331 391823 :mint_!~mint@20014C4C171A6000D853A796A741A9E2.catv.pool.telekom.hu JOIN :#esoteric < 1574354401 671222 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I'm working on https://github.com/KrzysztofSzewczyk/asmbf/pull/28 now < 1574354417 713756 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :so the memory I/O and stack operations will be a whole lot faster. < 1574354421 936724 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :and smaller by a half < 1574354530 862191 :mint_!~mint@20014C4C171A6000D853A796A741A9E2.catv.pool.telekom.hu PART :#esoteric < 1574355064 896020 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection < 1574356065 552840 :lf94!~lf94@unaffiliated/lf94 PART #esoteric :"WeeChat 2.4" < 1574356220 625569 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1574356406 188587 :Preacher883!~preacher8@208.91.65.127 JOIN :#esoteric < 1574356478 338496 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1574356602 572977 :Preacher883!~preacher8@208.91.65.127 PART :#esoteric > 1574357819 68274 PRIVMSG #esoteric :14[[07Graverage14]]4 N10 02https://esolangs.org/w/index.php?oldid=67301 5* 03Challenger5 5* (+1549) 10Created page with "Graverage is an automaton/esolang designed by [[User:Challenger5]]. === Program Structure === A Graverage program consists of: * A set of one or more objects, called points..." < 1574358368 343299 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1574359162 348241 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :@tell oerjan greets! Are you the person who made Malbolge Unshackled? < 1574359162 425680 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1574359167 925544 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :I < 1574359171 580829 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :'m genuinely curious < 1574359183 428667 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :because I made a lot of malbolge unshackled programs < 1574359197 326711 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :and an assembler that ultimately created my chess game in Malbolge < 1574359363 494531 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? Ørjan < 1574359364 705141 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Your pal Ørjan is oerjan's good twin. He's banned in the IRC RFC for being an invalid character. Sometimes he publishes papers without noticing it. < 1574360065 907269 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric > 1574360988 312131 PRIVMSG #esoteric :14[[07User:Palaiologos14]]4 M10 02https://esolangs.org/w/index.php?diff=67302&oldid=66264 5* 03Palaiologos 5* (+354) 10Slight update > 1574361130 306592 PRIVMSG #esoteric :14[[07EsoInterpreters14]]4 10 02https://esolangs.org/w/index.php?diff=67303&oldid=63677 5* 03Palaiologos 5* (+191) 10Deadfish interpreter in Malbolge Unshackled < 1574361155 299795 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :So I wrote deadfish interpreter in Malbolge < 1574361156 583531 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :Requires 3,5 gigabytes of RAM to operate. < 1574361186 484463 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :after it hogs up 20% of your memory, it slowly starts responding to commands at a rate of one per 10 seconds < 1574361623 564867 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: tixe\ < 1574361818 870943 :bfbot!~bfbot@206.ip-51-91-102.eu QUIT :Ping timeout: 240 seconds < 1574362044 529581 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu JOIN :#esoteric < 1574362760 989048 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :what happened < 1574362764 738184 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :to my bfbot < 1574362773 513014 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :may it be outage? < 1574362802 975632 :bfbot!~bfbot@206.ip-51-91-102.eu JOIN :#esoteric < 1574364225 787670 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1574364617 258629 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1574364634 297149 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=echo hello bfbot < 1574364634 600409 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :hello bfbot < 1574364667 443984 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=echo @botsnack < 1574364667 748401 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :@botsnack < 1574364675 285181 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1574364697 898555 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=echo @echo =echo hello < 1574364698 191904 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :@echo =echo hello < 1574364705 320677 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :echo; msg:IrcMessage {ircMsgServer = "freenode", ircMsgLBName = "lambdabot", ircMsgPrefix = "bfbot!~bfbot@206.ip-51-91-102.eu", ircMsgCommand = "PRIVMSG", ircMsgParams = ["#esoteric",":@echo =echo < 1574364711 317456 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :hello"]} target:#esoteric rest:"=echo hello" < 1574364727 976776 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=echo @run var"=echo hello" < 1574364728 277920 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :@run var"=echo hello" < 1574364737 328623 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : =echo hello < 1574364752 977755 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :uh oh < 1574364765 237436 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :these two could be looped < 1574364945 284924 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=set 1s. < 1574364945 426583 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :No such command. Try =help. < 1574364950 789493 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=str 1s. < 1574364950 916189 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574364958 566344 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=def 1msg1 < 1574364958 708091 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok, defined 'msg1' < 1574364959 748765 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=msg1 < 1574365008 667636 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=set 1s++++[->++++<]>[->++++<]>+.... < 1574365008 833474 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :No such command. Try =help. < 1574365012 5978 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=str 1s++++[->++++<]>[->++++<]>+.... < 1574365012 136840 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574365014 750921 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=def 1msg1 < 1574365014 813889 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok, defined 'msg1' < 1574365016 117249 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=msg1 < 1574365016 297228 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :AAAA < 1574365019 423804 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=def 1msg0 < 1574365019 485386 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok, defined 'msg0' < 1574365020 969439 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=msg0 < 1574365021 89468 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :AAAA < 1574365039 127564 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=echo @run (\s -> var (s ++ show s))"=echo @run (\\s -> var (s ++ show s))" < 1574365039 424866 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :@run (s -> var (s ++ show s))"=echo @run (\s -> var (s ++ show s))" < 1574365041 736961 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:39: error: < 1574365041 891957 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : lexical error in string/character literal at character 's' < 1574365085 258714 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=echo @run (\ s -> var (s ++ show s))"=echo @run (\\s -> var (s ++ show s))" < 1574365085 566610 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :@run ( s -> var (s ++ show s))"=echo @run (\s -> var (s ++ show s))" < 1574365087 666919 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:40: error: < 1574365087 666960 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : lexical error in string/character literal at character 's' < 1574365101 860894 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :it mangles the backslashes? < 1574365112 108282 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :whoa < 1574365273 22957 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :@run (\s -> (var . tail . init . show) (s ++ show s))"=echo @run (\\s -> (var . tail . init . show) (s ++ show s))" < 1574365274 924240 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : =echo @run (\\s -> (var . tail . init . show) (s ++ show s))\"=echo @run (\\... < 1574365280 38201 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :ah, too long < 1574365394 920956 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :@run (var.ap(++)show)"=echo @run (var.ap(++)show)" < 1574365397 81190 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : =echo @run (var.ap(++)show)"=echo @run (var.ap(++)show)" < 1574365404 984473 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1574365444 380948 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=echo @run (var.ap(++)show)"=echo @run (var.ap(++)show)" < 1574365444 646979 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :@run (var.ap(++)show)"=echo @run (var.ap(++)show)" < 1574365446 910696 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : =echo @run (var.ap(++)show)"=echo @run (var.ap(++)show)" < 1574365773 433585 :atriq!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 NICK :Taneb < 1574365851 14227 :subleq!~gavin@207.173.246.52 QUIT :Ping timeout: 246 seconds < 1574365956 944593 :subleq!~gavin@207.173.246.52 JOIN :#esoteric < 1574366379 521956 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=str 1s+++++++++++[->+++++++++<]>-----.+++++++++++++++++++.++++.------------.+++++.---------. < 1574366379 664844 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574366388 506239 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=str 0s. < 1574366388 636951 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574366406 986713 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=str 0s++++[->++++<]>[->++++<]>+.... < 1574366407 126327 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok < 1574366411 458254 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=def 0msg1 < 1574366411 606971 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok, defined 'msg1' < 1574366413 625955 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=msg1 < 1574366413 790065 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :AAAA < 1574366440 597914 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :^def quine ul (=quine)S < 1574366440 634117 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :Defined. < 1574366447 879484 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=def 1quine < 1574366448 24463 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :ok, defined 'quine' < 1574366449 597705 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=quine < 1574366449 680932 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :^quine < 1574366458 579777 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :^quine < 1574366458 616596 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :=quine < 1574366458 812076 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :^quine < 1574366667 578641 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=echo `thanks bfbot < 1574366667 873115 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :`thanks bfbot < 1574366668 539756 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Thanks, bfbot. Thot. < 1574366704 418213 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :=echo `echo =echo `thanks bfbot < 1574366704 712492 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :`echo =echo `thanks bfbot < 1574366706 520524 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​=echo `thanks bfbot < 1574366772 822784 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :^echo =echo hello < 1574366772 901835 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :=echo hello =echo hello < 1574366773 152834 :bfbot!~bfbot@206.ip-51-91-102.eu PRIVMSG #esoteric :hello =echo hello < 1574367953 643790 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving < 1574367984 292446 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-htvppmtaollxifzw QUIT :*.net *.split < 1574368096 273715 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric < 1574368125 813951 :kspalaiologos!~kspalaiol@176.221.122.71 PRIVMSG #esoteric :b_jonas: check the wiki page, I added a few modes for Brainfuck interpreter < 1574370165 525806 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1574370211 225447 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :hello hppavilion < 1574370332 567084 :arseniiv_!~arseniiv@77.79.182.89.dynamic.ufanet.ru JOIN :#esoteric < 1574370593 308740 :Lykaina_!~lyka@unaffiliated/schrodingerscat JOIN :#esoteric < 1574370664 820109 :Hooloo42!Hooloovoo@sorunome.de JOIN :#esoteric < 1574370737 36873 :arseniiv!~arseniiv@77.79.182.89.dynamic.ufanet.ru QUIT :Read error: Connection reset by peer < 1574370737 558184 :Hooloovo0!Hooloovoo@sorunome.de QUIT :Remote host closed the connection < 1574370737 791285 :relrod!~relrod@redhat/relrod QUIT :Ping timeout: 240 seconds < 1574370737 896238 :Lykaina!~lyka@unaffiliated/schrodingerscat QUIT :Ping timeout: 240 seconds < 1574370775 753923 :relrod!~relrod@origin.elrod.me JOIN :#esoteric < 1574370777 862310 :relrod!~relrod@origin.elrod.me QUIT :Changing host < 1574370777 862376 :relrod!~relrod@redhat/relrod JOIN :#esoteric < 1574371127 602041 :xkapastel!uid17782@gateway/web/irccloud.com/x-zekfmhvsnodcynqh JOIN :#esoteric < 1574371696 717124 :kiwi-doorframe!~kiwi@184-088-241-209.res.spectrum.com JOIN :#esoteric < 1574371782 664812 :kiwi-doorframe!~kiwi@184-088-241-209.res.spectrum.com QUIT :Client Quit < 1574372189 526474 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Ping timeout: 276 seconds < 1574372608 529342 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1574373320 525617 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Ping timeout: 276 seconds < 1574374095 370728 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Ping timeout: 265 seconds < 1574374324 806608 :arseniiv_!~arseniiv@77.79.182.89.dynamic.ufanet.ru QUIT :Quit: gone completely :o < 1574374590 65121 :hppavilion[1]!~omegasome@172.98.86.92 JOIN :#esoteric < 1574375203 165059 :hppavilion[1]!~omegasome@172.98.86.92 NICK :\ < 1574375212 194964 :\!~omegasome@172.98.86.92 PRIVMSG #esoteric :Weird that this is allowed. < 1574375218 415725 :\!~omegasome@172.98.86.92 NICK :hppavilion[1] < 1574375290 554288 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :hppavilion[1]: it technically is, but I think you won't be able to hold that nick for long, because NickServ will nick you out from it < 1574375458 129154 :hppavilion[1]!~omegasome@172.98.86.92 PRIVMSG #esoteric :>ː( < 1574375544 19047 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds < 1574375767 56847 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`` echo $HOME # Hm, I didn't realize this was set. < 1574375769 255936 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​/tmp < 1574375803 161934 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Guess it's usual for HackEso-golfing, since ~ is shorter than /tmp. < 1574375806 881650 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :s/usual/useful/ < 1574376177 788056 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :ok this is wierd: ~ is not actually a valid character in an IRC nickname, and if you try to nick to a nickname containing it, you get an error. but if you whois ~[ the server knows that it's case-insensitively the same as the valid nick ^[ and gives you answer about him. < 1574376229 237210 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :I wonder if this is because it is a valid nickname character on other servers so freenode tries to be compatible or something < 1574376484 740431 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess arguably if you say "CASEMAPPING=rfc1459" you should use that case-mapping, even if ~ isn't supported. < 1574376499 220709 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Wasn't this network ascii at some point?) < 1574376519 750196 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :fizzie: the casemapping matters for channel names < 1574376530 575856 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :fizzie: and yes, the casemapping on freenode changed when they changed services < 1574376544 183532 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :and I still don't know what they did with nickserv registrations that suddenly started to clash < 1574376551 686935 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :or channel registrations < 1574376559 676362 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :but all that is old history, they changed very long ago < 1574376829 89830 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Hm, I wonder why umlbox has code to cfmakeraw() on the input/output terminals, and why it enables that if the output (outside UML) is *not* going to a terminal. > 1574376885 155460 PRIVMSG #esoteric :14[[07Turing Machine But Way Worse14]]4 10 02https://esolangs.org/w/index.php?diff=67304&oldid=63107 5* 03Ais523 5* (+824) 10/* Computational class */ TC < 1574376911 400802 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :i thought that was the use of "raw" mode: specifically for < 1574376917 598452 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :that sounds like a good thing to me < 1574377158 636049 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe that makes sense. I'm just not sure what effect it has here. < 1574377271 798878 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The commit message just says "Make sure everything is uncooked." < 1574377390 642292 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :my understanding is unixy things assumes serial devices have a terminal, so you generally want to set the device to "raw" if you arent running getty or whatever on it < 1574377400 35698 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :s/have a terminal/& attached/ < 1574377437 992685 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :in other words, unixy things might "translate" i/o back and forth on that serial port unless you set "raw" mode to tell it "dont mess with the data flowing" < 1574377479 63031 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :"translate" meaning alter/otherwise mangle/etc. < 1574377617 137373 :hppavilion[1]!~omegasome@172.98.86.92 QUIT :Ping timeout: 240 seconds < 1574377711 242148 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :as to how is this relevant to non-serial ports, e.g. pseudo-terminal devices, my guess is that is what they are "modelling" or "impersonating" < 1574378036 905526 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, I'm just wondering what the UML kernel does, and how that will change if you connect the thing to a tty vs. a non-tty. < 1574378049 329474 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've definitely noticed that, in verbose mode when redirecting output, it leaves the actual outside-UML terminal in a raw mode (or at least disables echo), which I think happens because it sees the stdout isn't a tty, so it sets raw mode even for the verbose output, which is in fact connected to a tty. < 1574378054 348332 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :So it does some amount of "forwarding" of these attributes. < 1574378296 500412 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1574379376 420647 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :fungot, what are the two most famous operas written by Rossini? < 1574379376 643408 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: except in really well chilled glass bottle of fnord, because i haven't personally inspected the c it generated myself. ( stalin's c was just right, but the last verse is missing. < 1574379393 163416 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :um < 1574379395 686172 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :ok < 1574379432 693181 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For the record, it's probably talking about Stalin, the optimizing Scheme compiler. < 1574379434 897049 :subleq!~gavin@207.173.246.52 QUIT :Ping timeout: 240 seconds < 1574379491 592641 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :he does make some sense, for a chilled glass bottle may be just as classy as an opera < 1574379500 627801 :kingoffrance!~x__@c-67-161-241-22.hsd1.ut.comcast.net PRIVMSG #esoteric :stalin singing a C note < 1574379555 543994 :subleq!~gavin@207.173.246.52 JOIN :#esoteric < 1574379840 43335 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :yes, that too < 1574379893 324573 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :so how about Guillaume Tell, fungot? < 1574379893 541773 :fungot!~fungot@unaffiliated/fizzie/bot/fungot PRIVMSG #esoteric :b_jonas: here was my take on this is that someone has had the fnord thing strikes me as special compared to what? most literal regular fnord literal... < 1574379928 494762 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :by the way, I checked, it seems that all the lines that I added to the quotes file still survive, except for the one that I quikcly deleted myself < 1574379998 41617 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :some of the lines quoting me seem somewhat pointless on the other hand, and may be worth to delete if other people don't see their point either < 1574380004 561348 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1574380016 137723 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :`quote 1215 < 1574380016 811129 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1215) fungot, do you like running double exponential time algorithms? b_jonas: im not sure < 1574380105 819581 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :`quote 1323 < 1574380106 527361 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1323) I don't care for the bf backend as long as it doesn't make the rest of ayacc harder to sue < 1574380113 469314 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :on the other hand there are these two related entries: < 1574380116 768408 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :`wisdom ^ < 1574380117 515539 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​hppavilion^k//hppavilion^k is a k-tuple of elements of hppavilion. < 1574380126 224859 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :`? ^ < 1574380127 351585 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :​^ (also notated by ⊕ or ⊻) is the exclusive-or operator; ∧ (also notated by /\ or &) is the and (conjunction) operator; ^ (also notated by ↑ or ** or ⋆) is the power operator. < 1574380142 349348 :b_jonas!~x@catv-176-63-14-1.catv.broadband.hu PRIVMSG #esoteric :`quote 1260 < 1574380143 212361 :HackEso!~HackEso@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :1260) shachaf: different notation. -o is logical or in find, but it's linear implication in linear logic