< 1508458000 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :thue can TC because you can force away the nondeterminism. < 1508458340 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1508458364 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :boily: like enforcing a linear order to the rewrite rules? < 1508458375 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :because I swear to god there's some way to do that with NDF. < 1508458406 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :QUINTHELLOPIA! < 1508458431 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :imhellode. something like that. < 1508458514 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :got any examples of that? I don't see many examples for Thue. < 1508458646 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :on the esolang page, the example right after the hello world. this shows a way to work around nondeterminism, by marking strings with delimiters. < 1508458690 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :by "cheating" with an alphabet of tags, you can guarantee that some steps always happen in order. < 1508458754 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :I figured as much. last night I was trying to do the equivalent problem but with multisets. naively I thought that I could enforce a linear ordering by just prepending every rule with a check for a state register. < 1508460642 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1508461306 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: nostril. < 1508461307 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: mr president, ladies and gentlemen, that preparing the budget of the union's foreign policy is directed at solving all disputes with neighbouring countries. this has always fallen through, however, this motion does contain elements which are vital if economic and monetary union, the european union < 1508461567 0 :Cale_!~cale@2607:fea8:98e0:6f5:e40c:2025:c259:34c6 JOIN :#esoteric < 1508461570 0 :Cale!~cale@2607:fea8:98e0:6f5:79a7:bdd6:1b8d:4834 QUIT :Quit: Leaving < 1508461937 0 :Cale_!~cale@2607:fea8:98e0:6f5:e40c:2025:c259:34c6 QUIT :Quit: Leaving < 1508461947 0 :Cale!~cale@2607:fea8:98e0:6f5:e40c:2025:c259:34c6 JOIN :#esoteric < 1508462343 0 :fizzie!?@? PRIVMSG #esoteric :fungot: What do you think would be the right solution for the post-Brexit Northern Ireland border? < 1508462343 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: the three reports we are debating a report by my colleague, who is an expert from the directorate-general on competition is removed from the original text of the commission's audacity when we see that the single currency because that is not a disaster. this is hardly dignified. it is also our duty to take back funds which could be managed without any major advantages for the regions in the european union < 1508462539 0 :Cale!~cale@2607:fea8:98e0:6f5:e40c:2025:c259:34c6 QUIT :Remote host closed the connection < 1508462587 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1508462953 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1508464192 0 :Cale!~cale@2607:fea8:98e0:6f5:e40c:2025:c259:34c6 JOIN :#esoteric < 1508464282 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1508464480 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: TARGET CHICKEN < 1508465233 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 248 seconds < 1508465803 0 :jaboja!~jaboja@jaboja.pl QUIT :Ping timeout: 252 seconds < 1508467887 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1508469173 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1508469520 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :NRRD does not have a "page" kind < 1508471645 0 :trn!jhj@prone.ws QUIT :Remote host closed the connection < 1508472146 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1508472858 0 :trn!jhj@prone.ws JOIN :#esoteric < 1508474381 0 :Cale!~cale@2607:fea8:98e0:6f5:e40c:2025:c259:34c6 QUIT :Quit: Leaving < 1508474423 0 :Cale!~cale@2607:fea8:98e0:6f5:e40c:2025:c259:34c6 JOIN :#esoteric < 1508478942 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 258 seconds < 1508479532 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1508480397 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :anybody got any literature on nondeterministic register machines? shot in the dark. < 1508480411 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :actually make that nondeterministic counter machines. < 1508481204 0 :Bowserinator!~Bowser@unaffiliated/bowserinator QUIT :Quit: ZNC Sucks >_> < 1508481320 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I do not have any < 1508481687 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1508483822 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Nondeterministic has multiple meanings, I guess. < 1508483869 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Yes, that is one of the thing that I thought too, and, therefore, should need the example? < 1508483895 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi zzo38 < 1508483918 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How's everything been? What's been going on in zzo38land? < 1508483932 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I bet it's something interesting and oddly specific. < 1508484077 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@metar KSFO < 1508484078 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :KSFO 200556Z 20017G23KT 10SM FEW008 BKN016 BKN027 17/14 A2986 RMK AO2 SLP113 60000 T01720139 10172 20161 58009 < 1508484128 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I have received the latest 2600 issue. I have also played GURPS game on the past weekend. Now, maybe we should need to make hole so that the room can be surveillance from the outside. Also, I worked more on XYZABCDE.ZZT game. < 1508484174 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is the hole in your GURPS game or outside of it? < 1508484217 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :In the wall, in the story, in the event of the GURPS game. < 1508484899 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Although, maybe that isn't necessary and there is a better way to do something. < 1508484947 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Do you like category theory? < 1508484969 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :I think so. < 1508485123 0 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1508485393 0 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 248 seconds < 1508487121 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1508487250 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1508487438 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :OMG this song is just kyary pamyu pamyu slow and distorted < 1508487441 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://youtu.be/25YqRRvl9gk?t=4m20s < 1508490605 0 :augur!~augur@2601:645:c100:1132:f16b:7ac3:87be:8b6e JOIN :#esoteric < 1508490814 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 264 seconds < 1508492604 0 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1508492855 0 :iovoid!~iovoid@unaffiliated/iovoid QUIT :Ping timeout: 240 seconds < 1508493162 0 :iovoid!~iovoid@2a07:1c44:3900::1 JOIN :#esoteric < 1508493162 0 :iovoid!~iovoid@2a07:1c44:3900::1 QUIT :Changing host < 1508493162 0 :iovoid!~iovoid@unaffiliated/iovoid JOIN :#esoteric < 1508494229 0 :augur!~augur@2601:645:c100:1132:f16b:7ac3:87be:8b6e QUIT :Remote host closed the connection < 1508494477 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1508498959 0 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 255 seconds < 1508499296 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1508502088 0 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: GLOWING CHICKEN < 1508502537 0 :AnotherTest!~turingcom@ptr-82l26zcfapjo07eqrsv.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1508507916 0 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1508509808 0 :iovoid!~iovoid@unaffiliated/iovoid QUIT :Ping timeout: 255 seconds < 1508509874 0 :iovoid!~iovoid@185.140.54.17 JOIN :#esoteric < 1508509874 0 :iovoid!~iovoid@185.140.54.17 QUIT :Changing host < 1508509874 0 :iovoid!~iovoid@unaffiliated/iovoid JOIN :#esoteric < 1508511000 0 :moony!~moony@unaffiliated/moonythedwarf QUIT :Remote host closed the connection < 1508511053 0 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1508511365 0 :iovoid!~iovoid@unaffiliated/iovoid QUIT :Ping timeout: 240 seconds < 1508511881 0 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1508512316 0 :ATMunn!ATMunn@unaffiliated/atmunn26 QUIT :Quit: lol rip < 1508512330 0 :ATMunn!ATMunn@unaffiliated/atmunn26 JOIN :#esoteric < 1508515051 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :http://www.explainxkcd.com/wiki/index.php/1000:_1000_Comics/1000_characters HAHAHAHAHAHA < 1508516168 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1508516203 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oof < 1508518064 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1508518257 0 :jaboja!~jaboja@jaboja.pl QUIT :Remote host closed the connection < 1508518552 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? happy eyeballs < 1508518569 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`ping < 1508518576 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, is HackEgo here? < 1508518577 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: mr president, commissioner, ladies and gentlemen, we are in the third pillar and in the fundamental question is, in spite of everything and without denying the differences there may be effective. < 1508518675 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: wait if you're in the third pillar then who's holding up the other two? < 1508518676 0 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: mr president, mr purvis. i congratulate mrs jeggle on her report which contains figures mostly relating to the fact that the spanish presidency for appearing here so quickly, and also, i believe that, from the point with the rapporteur is correct to propose simplifying the rules of procedure, which we did not do so then we can also quote fnord of but which is not entirely coincidental. i wonder, will the commission prese < 1508520241 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Hehe, libcurl has an option CURLOPT_PROTOCOLS to limit what protocol of urls it accepts. This has the set of protocols described as a bitmask in a C long. I wonder what they'll do when they have more than 31 protocols supported. Currently 28 bits are used. < 1508520936 0 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1508521567 0 :Cale!~cale@2607:fea8:98e0:6f5:e40c:2025:c259:34c6 QUIT :Remote host closed the connection < 1508521600 0 :Cale!~cale@2607:fea8:98e0:6f5:e40c:2025:c259:34c6 JOIN :#esoteric < 1508522436 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :turns out that if you extend NDF to checking for zeros, it is turing complete. < 1508522451 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :meaning if I can check if a register is empty, it becomes equivalent to a petri net with an inhibitor arc. < 1508522456 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :and that is turing complete. < 1508522479 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :but without that (or without some equivalent without extending it), it is too weak. < 1508523333 0 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 JOIN :#esoteric < 1508523333 0 :Phantom_Hoover!~phantomho@2a02:c7d:485a:3300:1061:fc6d:8307:32a2 QUIT :Changing host < 1508523333 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1508524774 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 252 seconds < 1508525843 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1508526715 0 :augur!~augur@2601:645:c100:1132:f094:2736:cef7:1757 JOIN :#esoteric < 1508526985 0 :augur!~augur@2601:645:c100:1132:f094:2736:cef7:1757 QUIT :Ping timeout: 252 seconds < 1508527399 0 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1508527484 0 :imode!~imode@unaffiliated/imode PRIVMSG #esoteric :actually now that I think about it, what's the difference between checking for something >= 0 and having all your registers assume a default value of zero... and checking for >= 1 while having your registers be set to 1. < 1508527691 0 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1508527699 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@bot < 1508527703 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1508527716 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :screen-- < 1508527730 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@karma screen < 1508527737 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :screen has a karma of -1 < 1508527757 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :b_jonas: I thought perhaps they should change to "unsigned long long", might be better, then. (But, then, won't be suitable if the compiler doesn't implement that.) < 1508528038 0 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(Apparently, screen -X is not 100% reliable.) < 1508528413 0 :int-e!~noone@int-e.eu QUIT :Remote host closed the connection < 1508528484 0 :int-e!~noone@int-e.eu JOIN :#esoteric < 1508528931 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://i.imgflip.com/1xyq25.jpg < 1508529870 0 :jaboja!~jaboja@jaboja.pl JOIN :#esoteric < 1508530133 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1508530194 0 :Bowserinator!~Bowser@bowserinator.tk JOIN :#esoteric < 1508530218 0 :Bowserinator!?@? NICK :Guest30421 < 1508530253 0 :Guest30421!?@? NICK :Bowserinator < 1508530266 0 :Bowserinator!~Bowser@bowserinator.tk QUIT :Changing host < 1508530266 0 :Bowserinator!~Bowser@unaffiliated/bowserinator JOIN :#esoteric < 1508530666 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1508530702 0 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 264 seconds < 1508534265 0 :augur!~augur@2600:380:c018:20ab:f556:20c3:a397:294f JOIN :#esoteric < 1508534338 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Now I added a "ff-uniq" program, to remove duplicate tiles from a vertical strip. < 1508534350 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :(Use ff-strip at first if it isn't already a vertical strip.) < 1508534415 0 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1508534585 0 :zzo38!~zzo38@24-207-56-48.eastlink.ca PRIVMSG #esoteric :Do you like this? < 1508534587 0 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 260 seconds < 1508535341 0 :augur!~augur@2600:380:c018:20ab:f556:20c3:a397:294f QUIT :Remote host closed the connection < 1508536282 0 :augur!~augur@2600:380:c018:20ab:5cdf:1cb8:c74a:40f2 JOIN :#esoteric < 1508536978 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.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.” < 1508539415 0 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1508540625 0 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 248 seconds < 1508540962 0 :AnotherTest!~turingcom@ptr-82l26zcfapjo07eqrsv.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 264 seconds < 1508541147 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :@tell boily https://i.redd.it/pj7ssi2nwzsz.jpg < 1508541147 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1508541835 0 :augur!~augur@2600:380:c018:20ab:5cdf:1cb8:c74a:40f2 QUIT :Ping timeout: 252 seconds < 1508543206 0 :augur!~augur@2600:380:4556:77c9:5179:113f:a1d9:c923 JOIN :#esoteric < 1508543315 0 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 240 seconds < 1508543793 0 :sleffy!~sleffy@173-8-158-238-SFBA.hfc.comcastbusiness.net JOIN :#esoteric