< 1534118432 531205 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :If it's a code for the barber to kill you, you're screwed. If it's just an unnecessary order because the king won't micromanage you, the barber will just skip that part. < 1534118478 397430 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: You can certainly have all your hair cut if you have no hair. < 1534118484 399559 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :It could be worse. You could be a soldier under a commanding officer that gives you stupid orders all the time. < 1534118485 345086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe that's the implication. < 1534118504 339732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can only have some of your hair cut if you have some hair, though. < 1534118603 307027 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Ah, of course, I suppose so, that can be sense < 1534118924 217439 :aloril!~aloril@mobile-access-5d6aa5-174.dhcp.inet.fi QUIT :Ping timeout: 256 seconds < 1534119064 433604 :aloril!~aloril@mobile-access-5d6aa5-174.dhcp.inet.fi JOIN :#esoteric < 1534119417 857009 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :evolve a brainfuck program to put the largest number possible on a tape with bignums < 1534119451 849375 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :a program synthesis benchmark due to chaitin: https://pdfs.semanticscholar.org/7370/00d9e2ea2a1ae9829b681b402831d5f0e3a3.pdf < 1534119526 146597 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :if i'm understanding this correctly, that's a good "hard problem" to compare synthesis methods since it requires you to evolve modularity < 1534119669 913704 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1534119780 884220 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :ais! < 1534119848 447597 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :re: control structures, I find a very commonly used control structure is "attempt to do X, if it succeeds, continue, if it fails, do some cleanup and try again" < 1534119851 356221 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :ais523: "or, well, except that Rust ? only supports Option and Either" => it will be a bit more general than that technically, applying to more types, but not really more expressive. still just allows to write early exits like you can do with an Either, but with more general types < 1534119857 956250 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :this is hard to express in terms of the usual control structures < 1534119894 584847 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: If you support general monads, do you impose an order of execution on expressions? < 1534119902 97364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :f(x?, y?) and so on. < 1534119927 53932 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: you have to < 1534119939 775702 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :either that or declare it unspecified < 1534119945 280520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1534119980 792087 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :ais523: um, I write stuff like that with loops. like, for example, when my cbstream bot fails to retrieve the answer from perlmonks, it logs the error, sometimes switches to another webserver (there's three of them), and sleeps for a while, then retries. but the whole thing about querying the server is in a loop anyway, it's just different actions < 1534119980 792149 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :after when it succeeds and when it fails. < 1534120023 233579 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was wondering whether to do that. < 1534120062 453402 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wob_jonas: what specific sort of loop? < 1534120074 207435 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in particular, what's the control condition? < 1534120093 231924 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :ais523: an infinite one, mostly. let me check. there's some fatal errors that break out of the whole thing. < 1534120123 933964 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :it's not really a good example of coding. the whole thing is over ten years old and very obsolete and ripe for a rewrite. < 1534120126 447534 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, my current idiom for this is while (true) { try; if (success) break; cleanup; } < 1534120136 35499 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but that doesn't seem like a good fit for a while loop at all < 1534120144 176346 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think it's some new control structure that hasn't been named yet < 1534120146 443721 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :and I will have to rewrite because "for over ten years with over twenty users" sounds good on my CV < 1534120225 53217 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :or at least work a lot on it so it works < 1534120235 160147 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :(it would still be obsolete, mind you) < 1534120247 703942 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :but the perlmonks server is worse < 1534120274 793369 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :it's horribly unsecure from the user's point of view, at least I think, although I never really wrote a proof of concept exploit < 1534120298 687036 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :but it would need some major fixes too and the perlmonks gods are too busy to do that too < 1534120369 397464 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :So, the loop I'm talking about is a loop do; ... end which is an infinite loop < 1534120468 990682 :puck!~puck@puckipedia.com QUIT :Quit: *eh* < 1534120519 53032 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :so, "http://russell2.math.bme.hu/~ambrus/sc/cbstream/#can_i_get_the_source_of_cbstream" , < 1534120550 59640 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :this loop is just one ruby thread by the way. the body starts with timed condition variable wait loop, which in normal operation amounts to a sleep 30, but the sleep amount varies if there are errors, and it can be woken up early if someone sends a message from irc to perlmonks, < 1534120588 542248 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :then it checks for the emergency stop button (for which some perlmonks operators have a password), < 1534120593 497621 :puckipedia!~puck@puckipedia.com JOIN :#esoteric < 1534120595 51546 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :then it does the http query to perlmonks, < 1534120654 838729 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :then it parses the reply (which could also cause a retriable error, but this shouldn't normally happen; it used to because of a misunderstanding between what format perlmonks thought it sends and what I received but I'd cleaned that up, so it should only happen in the very rare case if the reply gets truncated), < 1534120673 678941 :Guest8451!~LEI@5.202.45.49 JOIN :#esoteric < 1534120683 957396 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :errors during the http query itself do happen sometimes though, and are retriable. < 1534120713 198748 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :most of them, anyway. there's some that are fatal, on purpose, so the perlmonks admins can use that to kill cbstream too. < 1534120753 941160 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :anyway, then the success or error and the time the query took and the current time is logged, then on success if any messages were found they're sent to the other thread through a queue so it can print them on irc, < 1534120773 441081 :puckipedia!~puck@puckipedia.com NICK :puck < 1534120776 486274 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :and that's the whole loop in the retreive from perlmonks thread. < 1534120906 38399 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :there are three other threads, one to send messages to perlmonks when someone writes the message on irc, one to read from irc, and one to write from irc. < 1534120910 844613 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :these are ruby threads, not OS threads. < 1534120930 733112 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :and there's some initialization code before the four threads start. < 1534120964 250477 :Guest8451!~LEI@5.202.45.49 QUIT :Ping timeout: 256 seconds < 1534121149 878386 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :As for those event abstraction libraries, I'm partial to schmorp's libev, at least if you're not targeting win32, but any unix. It handles a lot of details about the better kernel interfaces each unix comes up to replace select/poll, of which there are several in various brands in unix. < 1534121168 764631 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :It can't hide all the details, so you have to read the manual carefully, but it's still a pretty well done library. < 1534121194 284375 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :At least if you are willing to read a well-written manual. < 1534121211 557259 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :Since you write esolang specs, you probably are willing. < 1534121233 935499 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :For win32, I do not recommend it. There's some win32 compatibility, but frankly, win32 is just so different and that's not what libev was made for. < 1534121326 77713 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :Only difficulty is, its interface is a really C-like one, optimized for the case when you want to write a high-performance server watching many file descriptors at the same time, and you can write code that doesn't corrupt memory or cause undefined behavior by calling C libraries wrong. < 1534121352 942893 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :win32 has WaitForMultipleObjects which is a really good idea but it's incompatible with a decent proportion of what you'd want to use it for < 1534121355 231816 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :But if that's what you want, the interface is well designed, and the manual is well written, the implementation is good, and schmorp reacts to sane questions. < 1534121414 986694 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :I can't really tell much about win32. I do a fair share of work on win32, but not the part where I have to write programs that have to deal with the unique ... difficulties of win32. < 1534121462 94979 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :And schmorp doesn't program on win32 either, he writes programs for unices, so he doesn't write libraries that help win32 much. < 1534121529 613250 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :Frankly, avoiding having to deal with the unique parts of win32 is a good life choice. < 1534121538 483978 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yes < 1534121545 500845 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I pretty much gave up on Windows when win16 became obsolete < 1534121570 465503 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Windows prides itself on its backwards compatibility, but it isn't actually as compatible as all that < 1534121581 841566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :When was that? < 1534121583 247503 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :well, it did become a bit better since the older < 1534121586 412005 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :um < 1534121586 756638 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :despite Microsoft's best efforts, things break, and trying to develop new programs to old APIs is really hard < 1534121590 236768 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :since XP, let's say < 1534121602 781451 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :shachaf: old win16 functionality started breakinh around win95-win98 < 1534121607 587686 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although it was /meant/ to work < 1534121617 166243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As I remember it Windows XP could still run Windows 2.0 programs. < 1534121635 892488 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in windows 2 you could play sound through the system speaker < 1534121639 391369 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in windows 98 that just doesn't work < 1534121645 120921 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the API exists but does nothing < 1534121668 259377 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :I did run _some_ win16 programs on windows 95 osr2 and they worked fine, but those were programs by MS itself < 1534121685 343532 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :the same old versions of programs, not updated < 1534121746 359734 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one thing that really annoyed me was that there was no standard program for transferring data between Windows 95 and Windows XP, which is something I really needed < 1534121749 608449 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(I had an appropriate cable) < 1534121752 765792 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in the end I ended up writing one < 1534121761 666035 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that just shoved the data down the serial port < 1534121764 134294 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :ais523: um, you mean like copying files? < 1534121770 520347 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :between two different computers? < 1534121785 909606 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :right, but more like cat as it didn't send the filenames < 1534121789 599208 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :because on the same computer you could just mount the same fat32 disk < 1534121810 592997 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :basically the equivalent of piping a file into netcat on one computer and out of netcat on another < 1534121822 846168 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(which is a method I've actually used to send people files before now) < 1534121833 562832 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :yeah < 1534121874 175065 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :well, between two DOS computers, I used norton commander for dos to send files through serial port cable or parallel port cable. was easy to set up. < 1534121880 492788 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :also used flopppies of course. < 1534121910 531654 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :and you could use an old small hard disk if you had the time to open the cases and power down the computer and all that. < 1534121915 542774 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :more recent DOS had a built-in command for that, I think < 1534121918 93223 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :but cable worked well. < 1534121918 643604 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I forget what it was named though < 1534121943 271685 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I remember it ran at 115200 baud, though, which was surprising for me as I didn't realise speeds above 9600 existed < 1534121997 261948 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :ais523: `mode com ...` to set up serial port, then `copy con1 filename` on destination and `copy filename con1` on source? < 1534122005 379275 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :plus there were some other programs that didn't come with dos < 1534122009 903417 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :besides norton commander < 1534122014 713755 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :but norton commander worked fine for me < 1534122042 382162 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :IIRC it had a "GUI" < 1534122046 856909 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :and I you can still use it on windows 95 osr2, and likely windows 98 too. I don't know about windows xp, but it should probably work. < 1534122047 516669 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(although using VGA text mode) < 1534122059 548590 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :ais523: norton commander's link has a pretty good gui < 1534122117 95273 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :I also used floppies. they work well when the two computers are too far for a cable and you don't want to move them. just cycle three floppies around, split the file with zip or other programs. < 1534122131 235511 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm pretty sure this isn't a separate downloaded/purchased program I was using (unless it was a DOS program that came with Windows?) < 1534122140 83340 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :I dunno < 1534122147 683658 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess it could have been installed by the manufacturer, but in the days of Windows 95 people probably weren't preinstalling DOS programs < 1534122153 378878 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :there could be other programs I just don't know about < 1534122174 950966 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :I did install custom programs to my machine < 1534122194 110318 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :I still have an image with many of those useful programs (some are lost) < 1534122228 619650 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :(and a decent one-floppy compressed rescue disk, and that annoying bot that connects a DOS machine to an irc channel) < 1534122262 888964 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :aha, some searching found it: "interlink" (or "interlnk" because filenames were 8.3 back then) < 1534122289 228137 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :possible < 1534122302 222541 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nah, I remembered it as soon as I saw the name < 1534122315 155418 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :part of ms-dos 6, apparently < 1534122329 336827 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :I probably just don't remember it much because norton commander worked well, I used it for transfer on cable many times < 1534122358 291465 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :so it's that or floppies < 1534122521 798441 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :for me < 1534122567 220588 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :but these days I barely even run DOS. I'm keeping it around because there are some old games that are worth to revisit and the DOS port is good. < 1534122591 358491 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :some are native DOS only, specifically the Commander Keen series < 1534122620 604744 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :I don't play them these days, but will probably eventually get to it "when I have time" < 1534122640 948477 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I think most people use DOSbox for that nowadays < 1534122662 86909 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :yeah. I use bochs, or at least used it the last time. dosbox is better for some newer dos games. < 1534122684 672963 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :mostly due to differences in video card and sound card capabilities. < 1534122701 789921 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :might have changed in later versions of bochs and qemu and dosbox of course. < 1534122706 886144 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :anyway, each of them have uses. < 1534122769 200543 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :back when I used it, bochs had ... interesting bugs. so I disabled the coprocessor, which would in theory slow things down if I weren't on a machine that was from the future compared to what those DOS programs were made for. < 1534122870 853894 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :and doesn't matter for the games anyway < 1534122989 403874 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I also use DOSBOX to run LHA, since sometimes I want to copy a file from this computer to another computer with DOS that cannot load ZIP files created from this computer. < 1534122994 706750 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :by coprocessor I mean the 80387 interface of course < 1534123043 315013 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :now I'm wondering when separate 387s died out < 1534123046 437176 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :cannot load zip files? can't you just install some software on it to load those zip files? < 1534123062 484260 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :they're all emulated in hardware nowadays < 1534123067 131196 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :ais523: between 486 and 586. some 486s have the coprocessor built in, and all 586s do. < 1534123075 112838 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wob_jonas: I assume djgpp has a working unzip program < 1534123082 935390 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :the codenames were 486 DX versus 486 SX. < 1534123100 555623 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, nowadays of course, the 387 isn't even a separate part of the chip (apart from its registers), it's all done in microcode < 1534123103 368333 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :but I don't know which one is which . < 1534123107 400969 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :There is the program to load ZIP files, but it is an old version and is not compatible with the ZIP files created by 7-Zip. < 1534123149 781953 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534123169 365161 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :7-zip maintains a DOS version of 7-zip. it's not as complete as the windows version, but it should work. < 1534123198 441027 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :but there are lots of other dos programs that can read zip files. < 1534123232 508819 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :actually, I think DJGPP has its own zip program that's distributed as a .exe file to avoid the chicken-and-egg issue (it distributes most of its files as .zip files) < 1534123458 769372 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 272 seconds < 1534123967 443801 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 PRIVMSG #esoteric :I'm leaving now, sorry. G'nite. < 1534123971 971490 :wob_jonas!b03f188d@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.141 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1534124008 790456 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1534124081 299180 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1534124541 742021 :S_Gautam!uid286066@gateway/web/irccloud.com/x-bcgfkralcateqkmw JOIN :#esoteric < 1534124871 257345 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 240 seconds < 1534124903 396363 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1534125425 301713 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: quit < 1534127811 258554 :u0_a101!~u0_a101@c-73-118-33-160.hsd1.fl.comcast.net QUIT :Ping timeout: 240 seconds < 1534127890 637563 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Is this file format for Free Hero Mesh levels does it looks like good to you? http://zzo38computer.org/fossil/heromesh.ui/wiki?name=Level+file+format < 1534129200 559978 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 QUIT :Quit: I seem to have stopped. < 1534129346 704636 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 JOIN :#esoteric < 1534129605 14541 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534129880 793422 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 272 seconds < 1534129895 386564 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1534130674 695168 :u0_a101!~u0_a101@c-73-118-33-160.hsd1.fl.comcast.net JOIN :#esoteric < 1534132872 269755 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534133121 258849 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds > 1534133733 825374 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=57314&oldid=57306 5* 03Galaxtone 5* (-14) 10/* C */ Removed "ASCII" < 1534133864 209803 :r3m10!~r3m@133.219.130.77.rev.sfr.net JOIN :#esoteric > 1534133944 388875 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=57315&oldid=57314 5* 03Galaxtone 5* (-18) 10/* S */ Removed "ASCII" < 1534133969 24191 :r3m10!~r3m@133.219.130.77.rev.sfr.net QUIT :Remote host closed the connection > 1534134220 771741 PRIVMSG #esoteric :14[[07Surtic14]]4 10 02https://esolangs.org/w/index.php?diff=57316&oldid=57315 5* 03Galaxtone 5* (+97) 10/* S */ Fixed TYPO, removed undefined behaviour of string put, changed default value of string get for differentiation between NULL and end of string. > 1534135954 726565 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=57317&oldid=57316 5* 03Galaxtone 5* (+6) 10/* S */ Added "UTF-8" < 1534136099 928597 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534136378 887875 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 272 seconds > 1534136470 279237 PRIVMSG #esoteric :14[[07Surtic14]]4 10 02https://esolangs.org/w/index.php?diff=57318&oldid=57317 5* 03Galaxtone 5* (+28) 10/* C */ Added "UTF-8" > 1534136528 655123 PRIVMSG #esoteric :14[[07Surtic14]]4 10 02https://esolangs.org/w/index.php?diff=57319&oldid=57318 5* 03Galaxtone 5* (-92) 10/* Instruction Syntax */ Removed force of UTF-8 to ascii, sorry for all the edits :P > 1534136909 580161 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=57320&oldid=57319 5* 03Galaxtone 5* (+67) 10/* S */ < 1534136956 492084 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1534138857 124876 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION wonders if Yurume_______ and zemhill____ are using the same client :P < 1534139327 713975 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534139577 665605 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1534141935 714732 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1534141938 118801 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Natural numbers are found a lot in mathematics, for example in category theory, the finite discrete categories are natural numbers, and addition, multiplication, exponentiation of those categories is like the addition, multiplication, exponentiation of those numbers. Isn't it? < 1534142288 752697 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :if you mean there are product, sum, and exponential types in common programming languages, then the analogy to numbers can be extended as far as you like < 1534142300 590046 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :you can have negative and fractional types for instance < 1534142313 241780 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :so you're dealing with rational numbers instead of natural numbers < 1534142350 964141 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :you just need to find computational interpretations that obey the algebraic laws < 1534142394 56936 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :https://www.cs.indiana.edu/~sabry/papers/rational.pdf < 1534142493 546044 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I meant the product, sum, exponential of categories, although what you mention is something too. I do not expect categories to have fractions, although you could perhaps have a program language with negative and fractional types. Can you have the types corresponding to irrational and complex numbers though? < 1534142525 904271 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I suppose that with exponents and fractions the result can be irrational. < 1534142575 963374 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I will read it < 1534142604 138053 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :xkapastel: i think i read that pdf once, and it doesn't actually work if you think about it. < 1534142628 369529 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :well it executes, but there is a problem in the denotational semantics < 1534142643 453929 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :and there are some problems with e.g. binding a fractional value to itself < 1534142665 755491 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :you can also "divide by zero" at the type level < 1534142682 692868 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I did think you could have factorials if you have a bijective function type, some time before, I don't know quite though exactly < 1534142686 598567 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yeah you get contradictions if you try to take it literally. < 1534142690 96228 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :one of the authors of the paper discussed this stuff on reddit < 1534142699 983738 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't recall exactly which ones i thought of. < 1534142702 344295 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I think I read that document too, but do not remember and do not know how to work it either < 1534142710 929219 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :but it's still interesting, and can probably be fixewd < 1534142726 508073 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly PRIVMSG #esoteric :you can also keep going with the analogy and do things like radical types, imaginary types, although i'm not sure how > 1534143203 959080 PRIVMSG #esoteric :14[[07User:SlackerSnail14]]4 N10 02https://esolangs.org/w/index.php?oldid=57321 5* 03SlackerSnail 5* (+29) 10Created page with "[https://ajc2.xyz My website]" < 1534143211 551309 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :Yes, it is still interesting < 1534143741 198409 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :I had a article in esolang wiki titled "Gentzen"; how can the variant with linear logic be done, though? < 1534143956 608206 :zzo38!~zzo38@24-207-47-161.eastlink.ca PRIVMSG #esoteric :That PDF document does say that these negative and fraction types are used with reversible program language, which seem a less problem to me than something that isn't reversible < 1534144336 678706 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534145817 713901 :u0_a101!~u0_a101@c-73-118-33-160.hsd1.fl.comcast.net QUIT :Ping timeout: 240 seconds < 1534145999 264962 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1534146824 122971 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1534146824 334353 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1534146824 334402 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1534148419 233821 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... < 1534149344 256420 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1534150744 303740 :Numline15!~Numline1@178.184.84.102 JOIN :#esoteric < 1534150798 497622 :Numline15!~Numline1@178.184.84.102 QUIT :K-Lined < 1534151539 762199 :jem1!~jem@5.160.170.253 JOIN :#esoteric < 1534151555 43968 :jem1!~jem@5.160.170.253 QUIT :Remote host closed the connection < 1534151771 442117 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1534151862 179479 :rogue2!~rogue2@cpe-97-99-23-177.tx.res.rr.com JOIN :#esoteric < 1534151873 368283 :salios!~salios@187.159.89.228 JOIN :#esoteric < 1534151876 397004 :rogue2!~rogue2@cpe-97-99-23-177.tx.res.rr.com QUIT :Remote host closed the connection < 1534151881 769894 :salios!~salios@187.159.89.228 QUIT :Remote host closed the connection < 1534152057 634532 :ws2k323!~ws2k3@46.109.214.135 JOIN :#esoteric < 1534152163 201346 :ws2k323!~ws2k3@46.109.214.135 QUIT :Remote host closed the connection < 1534152220 555454 :drathir9!~drathir@171.80.108.163 JOIN :#esoteric < 1534152316 895362 :drathir9!~drathir@171.80.108.163 QUIT :Remote host closed the connection < 1534154547 411527 :Thorne25!~Thorne@187.149.18.226 JOIN :#esoteric < 1534154651 49870 :Thorne25!~Thorne@187.149.18.226 QUIT :Remote host closed the connection < 1534154866 168809 :xkapastel!uid17782@gateway/web/irccloud.com/x-zybctmunjcgzhlly QUIT :Quit: Connection closed for inactivity < 1534155291 45179 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1534155329 550685 :AlexZ1!~AlexZ@175.2.103.238 JOIN :#esoteric < 1534155446 428590 :AlexZ1!~AlexZ@175.2.103.238 QUIT :Remote host closed the connection < 1534155747 153932 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1534155772 404282 :impomatic!~digital_w@host109-150-0-69.range109-150.btcentralplus.com JOIN :#esoteric > 1534157762 525427 PRIVMSG #esoteric :14[[07Talk:Entfedern14]]4 10 02https://esolangs.org/w/index.php?diff=57322&oldid=51827 5* 03Zseri 5* (+339) 10cat variation < 1534157794 631249 :Fogity!~Fogity@hr-sgs.kvi.sgsnet.se QUIT :Ping timeout: 256 seconds < 1534157959 396109 :Fogity!~Fogity@hr-sgs.kvi.sgsnet.se JOIN :#esoteric < 1534158861 289128 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 240 seconds > 1534159748 866166 PRIVMSG #esoteric :14[[07Unfedern14]]4 N10 02https://esolangs.org/w/index.php?oldid=57323 5* 03Zseri 5* (+1262) 10Created page with "{{infobox proglang |name=Unfedern |paradigms=procedural, declarative, object-oriented |author=[[User:zseri]] |year=[[:Category:2018|2018]] |typesys=static |memsys=variable-bas..." < 1534161088 634225 :zseri!~zseri@i5E86CD48.versanet.de JOIN :#esoteric < 1534161565 276384 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1534161773 116201 :arooni12!~arooni@61.81.169.38 JOIN :#esoteric < 1534161834 795335 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534161874 126050 :arooni12!~arooni@61.81.169.38 QUIT :Remote host closed the connection < 1534163288 463681 :Rune_K!~Rune_K@27.29.90.241 JOIN :#esoteric < 1534163402 112183 :Rune_K!~Rune_K@27.29.90.241 QUIT :Remote host closed the connection < 1534164170 11400 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk JOIN :#esoteric < 1534167811 635640 :iDanoo14!~iDanoo@41.238.235.219 JOIN :#esoteric < 1534167863 204585 :iDanoo14!~iDanoo@41.238.235.219 QUIT :K-Lined < 1534168533 776878 :davidfg423!~davidfg4@109.105.164.178 JOIN :#esoteric < 1534168639 246998 :davidfg423!~davidfg4@109.105.164.178 QUIT :Remote host closed the connection < 1534168981 784862 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru JOIN :#esoteric < 1534169044 209977 :casdr8!~casdr@64.66.15.138 JOIN :#esoteric < 1534169118 771743 :Turbo-Folker!~Turbo-Fol@97e7e084.skybroadband.com JOIN :#esoteric < 1534169135 455347 :casdr8!~casdr@64.66.15.138 QUIT :Remote host closed the connection < 1534169223 958147 :Turbo-Folker!~Turbo-Fol@97e7e084.skybroadband.com QUIT :Remote host closed the connection > 1534169585 704850 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Sinthorion 5* 10New user account < 1534170030 823957 :sleepnap!~thomas@2603:3015:260e:1900:8319:87ab:f00:d5de JOIN :#esoteric < 1534170065 388765 :Fogity!~Fogity@hr-sgs.kvi.sgsnet.se QUIT :Ping timeout: 240 seconds < 1534170121 797572 :Fogity!~Fogity@hr-sgs.kvi.sgsnet.se JOIN :#esoteric < 1534170125 85657 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1534172244 903431 :__idiot__!~goirc@2804:431:970c:bb80:230:48ff:fee4:1de0 JOIN :#esoteric < 1534172274 66842 :__idiot__!~goirc@2804:431:970c:bb80:230:48ff:fee4:1de0 QUIT :Remote host closed the connection < 1534172328 770311 :ephemer0l_3!~ephemer0l@1.48.235.61 JOIN :#esoteric < 1534172620 722302 :ephemer0l_3!~ephemer0l@1.48.235.61 QUIT :Remote host closed the connection < 1534173134 741343 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1534173733 664402 :bradcomp!~bradcomp@38.104.142.186 JOIN :#esoteric < 1534174119 215322 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection > 1534176626 594628 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=57324&oldid=57288 5* 03Sinthorion 5* (+128) 10Introduction < 1534177040 525173 :Phex!~Phex@31.10.167.199 JOIN :#esoteric < 1534177127 898746 :r3m4!~r3m@p2E5124B5.dip0.t-ipconnect.de JOIN :#esoteric < 1534177149 853801 :r3m4!~r3m@p2E5124B5.dip0.t-ipconnect.de QUIT :Remote host closed the connection < 1534177221 321641 :Phex!~Phex@31.10.167.199 QUIT :Remote host closed the connection > 1534177968 601939 PRIVMSG #esoteric :14[[07Brainfuck algorithms14]]4 10 02https://esolangs.org/w/index.php?diff=57325&oldid=57186 5* 03Sinthorion 5* (+443) 10more input algorithms > 1534177997 632912 PRIVMSG #esoteric :14[[07Brainfuck algorithms14]]4 M10 02https://esolangs.org/w/index.php?diff=57326&oldid=57325 5* 03Sinthorion 5* (-7) 10 < 1534180575 137768 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :anyone here interested in a new brainfuck based game? < 1534180578 678026 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :https://bfbignum.github.io/ < 1534180597 482153 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :"single player" unlike bf joust < 1534180639 504430 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :that sounds interesting. It's been so long since I wrote bf though < 1534180656 22671 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :don't worry, you're not writing bf in this one < 1534180773 136841 :int-e!~noone@int-e.eu PRIVMSG #esoteric :huh, is the synthesizer supposed to be written in bf? < 1534180786 19603 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :int-e: no, it's written in whatever you want < 1534180795 515648 :int-e!~noone@int-e.eu PRIVMSG #esoteric :then you'll be dividing by 0 a lot. < 1534180796 382464 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :it must execute BF at some point though, don't you think? < 1534180804 973949 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :why? < 1534180827 717409 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :i would love to see how you solve this with a denominator of 0 < 1534180848 200871 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :i'm not even sure what that would imply. are you secretly an agi? < 1534180874 115423 :int-e!~noone@int-e.eu PRIVMSG #esoteric :because the likeliest candidate for the best program is just 57+ signs followed by . (if the output is in ASCII decimal) < 1534180874 995761 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :Interesting that it's based on a BF variant instead of actual BF. I was expecting the number to be a string representation < 1534180905 726390 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :int-e: i'm not sure i follow, you're saying the largest number you can output is 57? < 1534180919 537206 :int-e!~noone@int-e.eu PRIVMSG #esoteric :xkapastel: 57 is the ASCII code for '9'. < 1534180930 434314 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :int-e: see rule 4 < 1534180951 323459 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :that's not even a large number by the way < 1534180965 566426 :int-e!~noone@int-e.eu PRIVMSG #esoteric :xkapastel: even easier than; it's all plusses followed by a single . < 1534180973 129044 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :so i doubt it would even do well, although you're the second person to try that < 1534180991 670211 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :int-e: okay imagine this, the time limit is 4096 steps < 1534180998 973450 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :you're saying the largest number you can output is like 4095? < 1534181004 918108 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yes < 1534181019 902436 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :are you sure you don't wanna think about it < 1534181022 563378 :int-e!~noone@int-e.eu PRIVMSG #esoteric :in order for a cell to reach n, it has to be incremented n times < 1534181031 22509 :int-e!~noone@int-e.eu PRIVMSG #esoteric :brainfuck is too limited. < 1534181033 8054 :sleepnap!~thomas@2603:3015:260e:1900:8319:87ab:f00:d5de QUIT :Ping timeout: 276 seconds < 1534181063 429547 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :hm, maybe i've put the rules the wrong way round, and it shouldn't be limited by time, but it's an adaptation of another game < 1534181075 475731 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :i'm not sure that's true though, you should be able to do better < 1534181108 984823 :int-e!~noone@int-e.eu PRIVMSG #esoteric :xkapastel: you're welcome to find a flaw in my reasoning < 1534181116 744119 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :I agree. The only way to increase the value of a cell is by incrementing it. Addition and multiplication are all derived from inc < 1534181147 565859 :int-e!~noone@int-e.eu PRIVMSG #esoteric :xkapastel: you can make this more interesting with a size limit < 1534181154 406447 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :Program size might be a better indicator < 1534181172 418811 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :yeah, maybe the real limit is size and not time < 1534181183 684719 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :Or just switch to actual BF and look for the decimal representation of the largest number < 1534181189 527465 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(you'll *also* want to have a time limit; otherwise you'll be in busy beaver territroy where you'll have trouble scoring things at all) < 1534181197 150333 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :bradcomp: that one is not too interesting i think < 1534181227 534218 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(btw I should have used '1' instead of '9' earlier, printing 8 more digtits is worth far more than that meager factor of 9) < 1534181246 146884 :int-e!~noone@int-e.eu PRIVMSG #esoteric :meagre. < 1534181253 441479 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :to me it looked like it was looking for bf BBs < 1534181262 717582 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :which does sound kind of boring and impossibly difficult < 1534181273 307266 :Hooloovo0!Hooloovoo@hooloovoo.blue PRIVMSG #esoteric :maybe you have a target number to reach, in the shortest bf program? < 1534181287 577779 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :BBs? < 1534181291 394714 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :busy beaver < 1534181304 98227 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :ah < 1534181365 843910 :int-e!~noone@int-e.eu PRIVMSG #esoteric :But regardless, the notion of "total number of BF operations executed in the search for the target program." is impossible to pinpoint and shouldn't be part of the rules. < 1534181384 488644 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :why is it impossible? < 1534181407 779698 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :i would think you need to execute bf at some point to evaluate candidate programs < 1534181480 754307 :int-e!~noone@int-e.eu PRIVMSG #esoteric :xkapastel: I might be generating code like [->++<], but the search program would just do x[i+1] = 2*x[i]; x[i] = 0. And possibly never have an explicit tape at all. < 1534181481 810069 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :my program would just poll the wiki entry for braiinfuck numbers < 1534181529 947504 :int-e!~noone@int-e.eu PRIVMSG #esoteric :xkapastel: at which point I would argue that no brainfuck instructions are executed because what the search does isn't expressed in terms of increments, decrements and moving left or right. < 1534181534 666592 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :int-e: yeah, changing representations like that is hard to pin down besides saying "don't do that", but i'm not sure how else to measure work < 1534181547 631801 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :it's important to know how much effort was put in to finding a program < 1534181570 400478 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :the program itself is not interesting < 1534181575 847853 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :what's interesting is the method you used to create it < 1534181594 551715 :int-e!~noone@int-e.eu PRIVMSG #esoteric :xkapastel: So measure actual work. CPU time. Fix a bytecode based programming language like Python and look for a way to count the number of bytecode instructions executed... < 1534181625 693143 :int-e!~noone@int-e.eu PRIVMSG #esoteric :It should be objective and not depend on how a judge happens to read a particular program. < 1534181628 498947 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :i suppose it could be based on webassembly < 1534181668 454477 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :What about number of 'candidate programs' generated. I can imagine there might be synthesizers that don't generate candidate programs though < 1534181713 246565 :int-e!~noone@int-e.eu PRIVMSG #esoteric :bradcomp: Yeah I don't see a need for candidate programs as such, at least not written in Brainfuck. < 1534181755 161482 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :int-e: really? why not? < 1534181770 19089 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :I wasn't restricting it to BF. You'll need some sort of Intermediate representation at least though < 1534181810 135607 :sleepnap!~thomas@2603:3015:260e:1900:8319:87ab:f00:d5de JOIN :#esoteric < 1534181885 209795 :int-e!~noone@int-e.eu PRIVMSG #esoteric :xkapastel: because I think that working with a higher level language that can be translated to brainfuck but can also be executed efficiently will be much more effective than trying to generate Brainfuck directly, unless you have very stringent size constraints on the code. < 1534181929 247880 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :i guess that just needs to be banned < 1534181937 580174 :int-e!~noone@int-e.eu PRIVMSG #esoteric :good luck with that < 1534181971 321459 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :yeah, the best way to do it is to count synthesizer steps i guess < 1534181982 253320 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :of course translating to avoid the work count is cheating < 1534182050 782176 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :oh, one way it could work < 1534182058 674976 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :the only feedback is provided by some kind of api harness < 1534182068 495280 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :but this still requires standardizing some sort of environment for synthesis < 1534182077 27317 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :so i guess webassembly or something like it is needed < 1534182384 479073 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :maybe: the programming language is undefined (but happens to be the same one very time), so you can't just write an "equivalent" evaluator < 1534182416 263044 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :in the end i don't mind using the honor system, it's just a game > 1534182420 455507 PRIVMSG #esoteric :14[[07Surtic14]]4 M10 02https://esolangs.org/w/index.php?diff=57327&oldid=57320 5* 03Galaxtone 5* (+0) 10/* Infinite Cat */ < 1534182469 306018 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :there's also the approach they used in that Sonic-based deep learning game recently < 1534182480 880434 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :https://blog.openai.com/retro-contest/ < 1534182486 680563 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :there were many different sonic games involved < 1534182508 677935 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :the semantics of instructions could be changed slightly somehow so you can't know them ahead of time < 1534182538 785114 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :also https://blog.openai.com/learning-dexterity/ < 1534182541 375155 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :"domain randomization" < 1534182612 492309 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :e.g. increment and decrement could have different values, move left/right could have different values < 1534182669 494869 :MDead!~MDude@97-127-137-99.cdrr.qwest.net JOIN :#esoteric < 1534182747 681482 :MDude!~MDude@97-127-137-99.cdrr.qwest.net QUIT :Ping timeout: 240 seconds < 1534182753 992593 :MDead!~MDude@97-127-137-99.cdrr.qwest.net NICK :MDude < 1534183772 598750 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a JOIN :#esoteric < 1534183772 794171 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:fb8b:fb15:c1d3:a33a QUIT :Changing host < 1534183772 794230 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1534184184 431068 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1534184782 583784 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :that thing about just doing `+` over and over and then `.` is not true in general, there's a kind of constant factor slowdown involved in being limited to brainfuck which is going to be overwhelmed at some point by the algorithm you used to make big numbers < 1534184796 304713 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :limited to increment/decrement* < 1534184819 673931 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :an additive constant < 1534184954 960374 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :it couldn't be true otherwise bf wouldn't be turing complete < 1534184989 219263 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :if the size of the number you can express with a program is linear in the length of the program how could you be turing complete? < 1534185043 622041 :steveeJ11!~steveeJ@175.15.128.226 JOIN :#esoteric < 1534185051 719345 :steveeJ11!~steveeJ@175.15.128.226 QUIT :Remote host closed the connection < 1534185305 367603 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :bf is turing complete because it has nested loops. So the source code necessary to express a bignum can be much smaller than the number, but it will end up with more operations than a straight incrementation program < 1534185422 628046 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1534185486 652958 :Sousapro29!~Sousapro@61.154.33.66 JOIN :#esoteric < 1534185501 240763 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :okay, i guess i was wrong it's actually always a constant number of operations more than the number you can express < 1534185635 529651 :Sousapro29!~Sousapro@61.154.33.66 QUIT :Remote host closed the connection < 1534185776 818891 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :hm it's not constant, i was way off :< < 1534185782 538637 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric : bf is turing complete because it has nested loops. < 1534185784 280803 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :hmmmmmmmmmmmmm < 1534185810 104961 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :that could easily not be true < 1534185811 463196 :int-e!~noone@int-e.eu PRIVMSG #esoteric :loop programs = primitive recursive functions < 1534185860 275708 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :clearly you don't need unbounded nesting because a program that implements a UTM has only bounded loop nesting < 1534185877 886446 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yeah, one loop is enough < 1534185890 135139 :int-e!~noone@int-e.eu PRIVMSG #esoteric :but it has to be unbounded < 1534185893 161747 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :that was going to be my next line of attack < 1534185905 373248 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :I'm not suggesting that _all_ TC languages need nested loops. I am just saying that's what does it for BF < 1534185905 648856 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :why's that < 1534185940 728373 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :in fact that's provably not the case < 1534185950 715125 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :what is the other BF feature that would give it completeness? < 1534185981 210260 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :proof: cap loop length at the max. used by some brainfuck self-interpreter that runs a program encoded on the tape < 1534185987 91761 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well, it's true that you need nesting (2 levels should suffice) to make BF Turing-complete. < 1534186018 851235 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :you can write any finite data without using a loop so you can translate any brainfuck program into this < 1534186062 67322 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :int-e, ok, where's the proof though < 1534186097 226289 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :my gut feeling is that brainfuck without any loop nesting at all is TC < 1534186144 657170 :xkapastel!uid17782@gateway/web/irccloud.com/x-ockrxflfpmczavgk PRIVMSG #esoteric :what does a BF program like that look like? < 1534186148 387305 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Phantom_Hoover: without nesting, the loop body adds a fixed vector at the current pointer position and shifts the pointer by a fixed amount. so you can solve the halting problem (I'm assuming the tape has only finitely many non-zero cells at each point in time) < 1534186164 365638 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :https://esolangs.org/wiki/Brainfuck_minus_-#Depth_two_nesting < 1534186166 568586 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :yeah that's a plausible line of argument < 1534186219 623927 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :While not a proof that it can't be done without nesting, I think that article counts as some evidence < 1534186265 814080 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :i.e. it's been proven to be TC with limited nesting, but not without nesting < 1534186302 669902 :int-e!~noone@int-e.eu PRIVMSG #esoteric :absence of proof is not proof of absence < 1534186338 610336 :bradcomp!~bradcomp@38.104.142.186 PRIVMSG #esoteric :I know that, and explicitly said it isn't a proof < 1534186361 284215 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :yeah ok depth 1 has solvable halting < 1534186371 652341 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :(disregarding input) < 1534186409 669902 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1534186424 472383 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :gah fuck now i'm not sure again < 1534187153 667943 :gurmble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1534187195 436402 :grumble!~grumble@freenode/staff/grumble NICK :Guest76306 < 1534187195 568713 :Guest76306!~grumble@freenode/staff/grumble QUIT :Killed (weber.freenode.net (Nickname regained by services)) < 1534187195 715007 :gurmble!~grumble@freenode/staff/grumble NICK :grumble < 1534187395 682939 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534187886 428324 :lynn_!sid154965@gateway/web/irccloud.com/x-priykhhwbhrfkcyg JOIN :#esoteric < 1534187924 266866 :grumble!~grumble@freenode/staff/grumble QUIT :Quit: It would appear there's a kernel update < 1534188054 428440 :subleq_!~gavin@207.173.246.52 JOIN :#esoteric < 1534188081 355776 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1534188264 321346 :me`!~zeta@unaffiliated/uoy JOIN :#esoteric < 1534188264 686634 :me`!~zeta@unaffiliated/uoy QUIT :Excess Flood < 1534188318 653939 :subleq!~gavin@207.173.246.52 QUIT :*.net *.split < 1534188325 240139 :lynn!sid154965@gateway/web/irccloud.com/x-bchkvpjlrzapffgz QUIT :*.net *.split < 1534188326 224949 :xa0!~zeta@unaffiliated/uoy QUIT :*.net *.split < 1534188329 347270 :me`!~zeta@unaffiliated/uoy JOIN :#esoteric < 1534188329 347329 :me`!~zeta@unaffiliated/uoy QUIT :Excess Flood < 1534188376 305482 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1534188376 565242 :xa0!~zeta@unaffiliated/uoy QUIT :Excess Flood < 1534188437 28994 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1534188437 549855 :xa0!~zeta@unaffiliated/uoy QUIT :Excess Flood < 1534188468 959754 :zzo38!~zzo38@24-207-47-161.eastlink.ca QUIT :Ping timeout: 260 seconds < 1534188515 38249 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1534188515 546093 :xa0!~zeta@unaffiliated/uoy QUIT :Excess Flood < 1534188568 296376 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1534188568 507657 :xa0!~zeta@unaffiliated/uoy QUIT :Excess Flood < 1534188619 393567 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1534188619 855383 :xa0!~zeta@unaffiliated/uoy QUIT :Excess Flood < 1534188673 314664 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1534188673 537424 :xa0!~zeta@unaffiliated/uoy QUIT :Excess Flood < 1534188799 402675 :xa0!~zeta@unaffiliated/uoy JOIN :#esoteric < 1534190749 711807 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric > 1534191243 832668 PRIVMSG #esoteric :14[[07Turi14]]4 10 02https://esolangs.org/w/index.php?diff=57328&oldid=53311 5* 03Osmarks 5* (-49) 10 < 1534191245 401914 :aloril!~aloril@mobile-access-5d6aa5-174.dhcp.inet.fi QUIT :Ping timeout: 240 seconds < 1534191869 684981 :aloril!~aloril@mobile-access-5d6aa5-174.dhcp.inet.fi JOIN :#esoteric < 1534192684 121136 :XorSwap!~XorSwap@brndmb0239w-ppp-80-55.dynamic.bellmts.net JOIN :#esoteric < 1534192732 161094 :XorSwap!~XorSwap@brndmb0239w-ppp-80-55.dynamic.bellmts.net QUIT :Client Quit < 1534193735 35830 :j-bot!eldis4@firefly.nu QUIT :Remote host closed the connection < 1534193745 667222 :j-bot!eldis4@firefly.nu JOIN :#esoteric < 1534193850 955448 :zseri!~zseri@i5E86CD48.versanet.de QUIT :Quit: Leaving < 1534195276 128348 :LKoen!~LKoen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1534195893 428400 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1534196144 805172 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534196805 369980 :impomatic!~digital_w@host109-150-0-69.range109-150.btcentralplus.com QUIT :Read error: Connection reset by peer < 1534196990 633223 :sleepnap!~thomas@2603:3015:260e:1900:8319:87ab:f00:d5de PART :#esoteric < 1534198513 243887 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1534198730 674721 :AnotherTest!~turingcom@ptr-82l26zcb1dmnmcpyztw.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 256 seconds < 1534199037 689741 :aloril!~aloril@mobile-access-5d6aa5-174.dhcp.inet.fi QUIT :Ping timeout: 240 seconds < 1534199344 504475 :aloril!~aloril@mobile-access-5d6aa5-174.dhcp.inet.fi JOIN :#esoteric < 1534199451 572344 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534199704 478165 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 244 seconds < 1534201471 972343 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1534201759 814819 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1534202039 398785 :modin2!~modin@120.35.173.216 JOIN :#esoteric < 1534202042 768564 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 272 seconds < 1534202055 134704 :modin2!~modin@120.35.173.216 QUIT :Remote host closed the connection < 1534202623 303451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo_: olist tomorrow, right? < 1534202732 456320 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :There either will be an olist tomorrow or not, so 50-50 chance. < 1534202851 794 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :I just googled for that hoping to find the Daily Show clip, instead I find people who are actually confused. < 1534202949 808789 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :https://www.reddit.com/r/askphilosophy/comments/3wsj3a/my_chances_are_always_50_for_everything_am_i_wrong/ ISN'T actually that confused, apparently this person just thinks "50-50" is an appropriate name for "may or may not happen" < 1534202978 186606 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :(I only skimmed the comments) < 1534203681 429658 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1534203868 790124 :arseniiv!~arseniiv@136.169.131.121.dynamic.ufanet.ru QUIT :Ping timeout: 260 seconds < 1534204467 668311 :bradcomp!~bradcomp@38.104.142.186 QUIT :Ping timeout: 240 seconds