< 1468886499 0 :augur!~augur@2602:304:cdac:e260:906f:4671:9ffa:654e QUIT :Remote host closed the connection < 1468886539 0 :augur!~augur@2602:304:cdac:e260:906f:4671:9ffa:654e JOIN :#esoteric < 1468886639 0 :fizzie!?@? PRIVMSG #esoteric :Well, what do you think -- should I change the CAPTCHA back to something possible to see if the filter's coping? Or maybe at some later time when I'll be around to watch what happens. < 1468886661 0 :fizzie!?@? PRIVMSG #esoteric :(By the way, did you notice we had a likely spammer come by on the channel to ask for help in creating a new account?) < 1468886673 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: no, I wasn't here I don't think < 1468886681 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :can you give a date so that I can logread it? < 1468886709 0 :fizzie!?@? PRIVMSG #esoteric :Today at 15:00..15:18 BST. < 1468886723 0 :fizzie!?@? PRIVMSG #esoteric :Er, well, yesterday. < 1468886742 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that guy who waited two whole minutes? < 1468886745 0 :fizzie!?@? PRIVMSG #esoteric :Logical today, as it's called where I come from. < 1468886754 0 :fizzie!?@? PRIVMSG #esoteric :myname: No, I think that was possibly someone legitimate. < 1468886815 0 :fizzie!?@? PRIVMSG #esoteric :This one wanted an account "to get information from this website", and left when I asked what sort of edits they wanted to make they needed an account for. < 1468886842 0 :augur!~augur@2602:304:cdac:e260:906f:4671:9ffa:654e QUIT :Ping timeout: 272 seconds < 1468886885 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol < 1468886938 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, I kind of want to create an account. < 1468886951 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But apparently it's impossible. < 1468886998 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :why is it impossible? we have a funge interpreter in the channel :-) < 1468887019 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, the CAPTCHA was changed. < 1468887023 0 :fizzie!?@? PRIVMSG #esoteric :ais523: I switched it back from the Befunge one to the "impossible" one when those two new spam accounts were made today. < 1468887034 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ah right < 1468887043 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :in what sense is it impossible? it doesn't give any information that would help you answer? < 1468887047 0 :fizzie!?@? PRIVMSG #esoteric :Yes. < 1468887051 0 :fizzie!?@? PRIVMSG #esoteric :And it's a random answer. < 1468887067 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it's just a low probability. < 1468887068 0 :fizzie!?@? PRIVMSG #esoteric :I did let at least one person know the string when they messaged me and made sense. < 1468887168 0 :cemulate!467058f4@gateway/web/freenode/ip.70.112.88.244 JOIN :#esoteric < 1468887242 0 :cemulate!467058f4@gateway/web/freenode/ip.70.112.88.244 QUIT :Client Quit < 1468887269 0 :fizzie!?@? PRIVMSG #esoteric :I wonder if that particular visitor wanted an account too. < 1468887287 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :LO AND BEHOLD < 1468887289 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :$ inutility dd conv=swab,ucase obs=2 ibs=3 <<< abcdef < 1468887291 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :BADCFE < 1468887293 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :2+1 records in < 1468887295 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :3+1 records out < 1468887297 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :7 bytes (7.0B) copied, 0.000062s, 110.3K/s < 1468887319 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :conv=swab now works!!!!!!!!!!!!! < 1468887331 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i know you're all excited for this < 1468887452 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :izabera: I was going to say "that seems like a pretty eso use of dd" < 1468887458 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :then realised there was a dd-based esolang already < 1468887471 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric ::o which one? < 1468887531 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ddsh < 1468887548 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it is basically Bourne sh (not bash!) where the only program you're allowed to shell out to is dd < 1468887561 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the CLC-INTERCAL maintainer wrote an editor in it < 1468887572 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric ::o < 1468887602 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :well it's not on the wiki < 1468887608 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :impressive < 1468887646 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1468887695 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :ais523: Does that work in POSIX-compliant sh, or only the historical Bourne sh? < 1468887703 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :(they are not the same thing at all) < 1468887708 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: I'm not sure < 1468887725 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :http://dd-sh.intercal.org.uk/ < 1468887733 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Sadly, ddsh is not a very googlable string. < 1468887736 0 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :looks like the language is defined wrt Bourne sh specifically < 1468887830 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 272 seconds < 1468887923 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :From what I can see, it looks like it's also valid POSIX sh. < 1468887958 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Which makes sense as the differences between Bourne and POSIX sh are mostly in that there's a few unusual strings that in Bourne wouldn't do anything but in POSIX sh do something. < 1468887972 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 244 seconds < 1468888514 0 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl QUIT :Ping timeout: 272 seconds < 1468889048 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1468889366 0 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1468890032 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1468890917 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 244 seconds < 1468892316 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1468892351 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1468892653 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Ping timeout: 252 seconds < 1468892654 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468892847 0 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1468893329 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1468893725 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1468893769 0 :victo!~victo@201.160.73.195.cable.dyn.cableonline.com.mx JOIN :#esoteric < 1468893792 0 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1468893865 0 :victo!~victo@201.160.73.195.cable.dyn.cableonline.com.mx PRIVMSG #esoteric :?. < 1468893865 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Not enough arguments to @. < 1468893927 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :`? heck < 1468893936 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Heck is where you end up if you don't believe in Gosh. < 1468893967 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :`learn Heck is where you end up if you don't believe in Gosh, or are darned for some other reason. < 1468893972 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Relearned 'heck': Heck is where you end up if you don't believe in Gosh, or are darned for some other reason. < 1468894009 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Remote host closed the connection < 1468894266 0 :victo!~victo@201.160.73.195.cable.dyn.cableonline.com.mx QUIT :Quit: Leaving < 1468894288 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468895898 0 :jaboja!~jaboja@vps.jaboja.pl QUIT :Remote host closed the connection < 1468896180 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Remote host closed the connection < 1468896963 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1468896995 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468897490 0 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1468897528 0 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1468904928 0 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1468905851 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com QUIT :Ping timeout: 240 seconds < 1468906497 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1468906668 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48925&oldid=48911 5* 03Darkrifts 5* (+454) 10/* Answered question about loops */ < 1468906681 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48926&oldid=48925 5* 03Darkrifts 5* (+86) 10 < 1468906851 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :$ busybox dd conv=swab bs=3 status=none <<< 1234 < 1468906853 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :213dd: can't swab 3 byte buffer < 1468906857 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :inutility > busybox! < 1468907166 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48927&oldid=48910 5* 03Darkrifts 5* (+147) 10 < 1468909580 0 :augur!~augur@2601:645:c100:63f1:291d:3d8f:a53:97b3 JOIN :#esoteric < 1468909705 0 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Quit: leaving < 1468910035 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48928&oldid=48927 5* 03Darkrifts 5* (+1313) 10 < 1468910259 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 M10 02https://esolangs.org/w/index.php?diff=48929&oldid=48928 5* 03Darkrifts 5* (+400) 10/* Documentation */ < 1468911184 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 M10 02https://esolangs.org/w/index.php?diff=48930&oldid=48929 5* 03Darkrifts 5* (+277) 10 < 1468912824 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Remote host closed the connection < 1468913776 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1468913872 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :So I've read that Pokemon TCG is cheap. But does it avoid pay-to-win? Or at least have a short ceiling? < 1468914009 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :And is the online version better software than MTGO? (I'm assuming yes because everyone says MTGO is terrible) < 1468914038 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mtgo is terrible but have you considered that all software is terrible < 1468914105 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :MTGO is a special kind of terrible. < 1468914110 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :But yes, I have considered that. < 1468914171 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :I forget why I stopped playing Hearthstone. Might have been influenced by my Hearthstone-obsessed coworker stopping < 1468914367 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe it was the pay-to-win aspect < 1468914791 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:4c63:9faf:6e3a:693e JOIN :#esoteric < 1468914897 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :A lot of RNG in Pokemon TCG < 1468914926 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Sounds like an accurate TCG version of the RPG, then. < 1468914950 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :
ACTION doesn't care about the RPG >.>
< 1468914957 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Pokemon, I love you, but stop with some of the randomness. < 1468915018 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :1/8192 odds of something are a real mean thing to put in a game. < 1468915049 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :o.O < 1468915050 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :(odds of a Pokemon being shiny, pre-gen VI) < 1468915068 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, who cares about shiny?  < 1468915070 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Gen VI tweaked it! ... now it's 2/8192. < 1468915072 0 :^^v!~^v@172.58.137.195 JOIN :#esoteric < 1468915074 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :shachaf: Lots of people. < 1468915088 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is it the same as in mtg? < 1468915107 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Where it's purely cosmetic? Yes. < 1468915127 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then I don't care. < 1468915143 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Let them make their money from hats. < 1468915167 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :That's my stance on it. I've caught some shiny Pokemon, but I am *not* gonna spend any time trying to find 'em. < 1468915205 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Keep in mind, the RPGs... don't have anything like a pay-money-to-get-things mechanic. < 1468915231 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Aside from, well, buying the games. < 1468915351 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Hmm. This tutorial would be terrible for colorblind non-Pokemon players < 1468915360 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :It's asking me to find the energy it asks for < 1468915365 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :http://www.pokemon.com/us/pokemon-tcg/play-online/tutorial/ < 1468915380 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :Oh it's actually hilighting the correct answer < 1468915385 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :I think this tutorial is for kids < 1468915405 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :That is the primary audience of nearly everything in the franchise. < 1468915951 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1468915971 0 :^^v!~^v@172.58.137.195 QUIT :Ping timeout: 240 seconds < 1468916476 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468916523 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:4c63:9faf:6e3a:693e QUIT :Ping timeout: 264 seconds < 1468916711 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net JOIN :#esoteric < 1468916762 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1468917259 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1468917899 0 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1468919309 0 :augur!~augur@2601:645:c100:63f1:291d:3d8f:a53:97b3 QUIT :Remote host closed the connection < 1468919607 0 :^^v!~^v@172.58.137.195 JOIN :#esoteric < 1468919898 0 :^^v!~^v@172.58.137.195 QUIT :Ping timeout: 276 seconds < 1468920307 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1468920325 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1468921329 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :...trump just bragged about how humble he is. < 1468921341 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :That's, like, the kind of thing I use as joke fodder < 1468922947 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Are there any cthonic prayers besides Ph’nglui mglw’nafh Cthulhu R’lyeh wgah’nagl fhtagn? < 1468923683 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468923934 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 250 seconds < 1468925041 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net PRIVMSG #esoteric :hppavilion[1]: he obviously doesn't have the same background as you do. what's an overused joke to you might be a great serious innovation to him < 1468925073 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :LKoen: Yes, but bragging about humbility is absurd in any background < 1468925105 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net PRIVMSG #esoteric :well, obviously he hasn't had the same training as you in the subtle art of logical reasoning < 1468925131 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net PRIVMSG #esoteric :or maybe he's not quite sure of the meaning of humility but thought it sounded cool < 1468925875 0 :uberBear!~uberBear@ip186.net2-170.n37.ru JOIN :#esoteric < 1468926172 0 :uberBear!~uberBear@ip186.net2-170.n37.ru QUIT :Quit: Leaving < 1468927143 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1468927359 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 264 seconds < 1468928056 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1468928079 0 :hppavilion[2]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 264 seconds < 1468928264 0 :fizzie!?@? PRIVMSG #esoteric :I think I'll change the esolangs.org CAPTCHA back to the Befunge one, to see if ais523's new filter is catching the spam. Now that I'm mostly around to monitor the situation. < 1468929463 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net QUIT :Remote host closed the connection < 1468929994 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net JOIN :#esoteric < 1468930159 0 :atrapado!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1468931219 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp: btw I convinced Isabelle that your CL fixed point combinator is a fixed point combinator, modulo a tiny encoding trick (I'm using a fresh constant instead of an arbitrary CL term for the equation `Tx = `x`Tx, and I have not proved the corresponding closure of rewriting under substitution) < 1468931402 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net QUIT :Quit: CONTEST CHICKEN < 1468931884 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468931946 0 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl JOIN :#esoteric < 1468932176 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1468933443 0 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 264 seconds < 1468934436 0 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 JOIN :#esoteric < 1468935563 0 :Vorpal!~Vorpal@c83-253-243-173.bredband.comhem.se JOIN :#esoteric < 1468935563 0 :Vorpal!~Vorpal@c83-253-243-173.bredband.comhem.se QUIT :Changing host < 1468935563 0 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1468937151 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468938035 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1468938299 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Spoon14]]4 10 02https://esolangs.org/w/index.php?diff=48932&oldid=37343 5* 03Erikkonstas 5* (+113) 10/* Interpreter? */ new section < 1468938559 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Remote host closed the connection < 1468939667 0 :tromp!~tromp@rtc35-220.rentec.com PRIVMSG #esoteric :int-e: i didnt realize that was a challenge. given how easy it is with a few equations < 1468939680 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : hmmm, Category: low-level added ... where was that policy about new categories? <-- Esolang:Policy hth < 1468939762 0 :Guest7241!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1468939842 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm, boiled fizzie < 1468939857 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@metar ENVA < 1468939858 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ENVA 191320Z 25011KT CAVOK 18/11 Q1015 NOSIG RMK WIND 670FT 29008KT < 1468939874 0 :fizzie!?@? PRIVMSG #esoteric :@metar EGLL < 1468939875 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EGLL 191320Z AUTO 16011KT 9999 NCD 32/14 Q1016 < 1468939877 0 :fizzie!?@? PRIVMSG #esoteric :Very much so. < 1468939894 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :he's alive! < 1468939912 0 :fizzie!?@? PRIVMSG #esoteric :There's air conditioning at work. < 1468939918 0 :fizzie!?@? PRIVMSG #esoteric :I may never leave the building. < 1468939922 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :aha < 1468939937 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :@metar ESSB < 1468939937 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ESSB 191320Z 30006KT 270V350 CAVOK 22/07 Q1017 < 1468940055 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is trying out the automated hydra.
< 1468940081 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> 50000 heads so far. it's really an astoundingly bad strategy. < 1468940083 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:62: < 1468940083 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : parse error (possibly incorrect indentation or mismatched brackets) < 1468940086 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oops < 1468940105 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :automated hydra? < 1468940124 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :http://www.madore.org/~david/math/hydra.xhtml using the automated play < 1468940143 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :manually, i've made it in less than 300. < 1468940150 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net QUIT :Remote host closed the connection < 1468940207 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it always chooses the leftmost head, which is about the worst thing you can do because it almost never prunes the oldest branch. < 1468940257 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and also, when it does, there will be a _lot_ of room for new junk to appear. < 1468940299 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp: it's not much of a challenge... I'm dabbling. But it's not completely trivial to incorporate a rewriting strategy into a proof... and I didn't want to list all the intermediate steps. < 1468940309 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the second oldest branch is getting small though, so maybe soon another cut. < 1468940369 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp: so the fun part was to get the machinery to the point where http://lpaste.net/7970676195693953024 works. < 1468940377 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm the second oldest branch exploded, but has no direness left. < 1468940548 0 :AnotherTest!~turingcom@2a02:2c40:400::1:6e46 QUIT :Ping timeout: 250 seconds < 1468940584 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i guess i'm really talking about the oldest branch of the oldest branch. < 1468940593 0 :tromp!~tromp@rtc35-220.rentec.com PRIVMSG #esoteric :the challenge will be in proving that no smaller combinator works < 1468940655 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Hm, tricky < 1468940723 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Just cut off the highest leftmost head < 1468940739 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :highest first, then pickleftmost at that level < 1468940812 0 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1468940850 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :But direness is important to avoid it exploding in complexity < 1468940890 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but dire heads are always right of normal ones < 1468940911 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Oh hm < 1468940914 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net JOIN :#esoteric < 1468940958 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :my manual strategy is basically never to take a dire one unless everything on top of it is pruned first. i may reconsider that, though. < 1468940988 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(since i haven't tested what happens when i don't) < 1468940991 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :beat it < 1468940999 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :539 heads < 1468941005 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah < 1468941019 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :not my best but better than my average. < 1468941031 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :highest level, leftmost on that level < 1468941062 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION will try something like that when this automated eventually stops
< 1468941112 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :note that afaict a lot of the strategy depends on the program having a limit to how much junk it will produce simultaneously. < 1468941137 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :otherwise it would obviously go on for >>> heat death < 1468941233 0 :copumpkin!~copumpkin@haskell/developer/copumpkin PRIVMSG #esoteric :shachaf: yes I have pooches! < 1468941844 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah now the oldest branch has only the dire subbranch left < 1468942192 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468942295 0 :MoALTz!~no@78-11-183-124.static.ip.netia.com.pl QUIT :Max SendQ exceeded < 1468942451 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1468942909 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : I'll be going to both of those places, and they seem hot. :/ <-- on the basis of a single sample, i can confirm that boston is hot hth < 1468943195 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Currently, yes, but it is also often cold < 1468943209 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :NOT IN MY EXPERIENCE < 1468943505 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1468943734 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the mathematical type of hydras eh < 1468943903 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell ais523 afaict your new filter says it depends on title but actually depends on entire article, is that intended? < 1468943903 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1468944658 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : fizzie: for future reference, the spambots were creating pages and renaming them in order to hide the pages from the page creation log <-- hm that might explain why you got the google warning < 1468944670 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fizzie: ^ < 1468944776 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :makes more sense than google happening to catch it during the spam itself. < 1468944854 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Taneb: What's the advantage of Real Fast Nora's Hair Salon 3: Shear Disaster Download over Binary Lambda Calculus? <-- readability, duh < 1468944979 0 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@ping < 1468944979 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pong < 1468944992 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :6uod < 1468945422 0 :centrinia!~centrinia@107-208-218-105.lightspeed.tukrga.sbcglobal.net QUIT :Quit: Leaving < 1468945479 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Google warning? < 1468945582 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :@ding < 1468945582 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pong < 1468945585 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :@bing < 1468945585 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pong < 1468945591 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :this upsets me < 1468945611 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :@ting < 1468945611 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pong < 1468945616 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :@ring < 1468945616 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pong < 1468945642 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :@marco < 1468945642 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Unknown command, try @list < 1468945668 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :fix this < 1468945694 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :`? ping < 1468945795 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ping? ¯\(°​_o)/¯ < 1468945876 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :FireFly: after the spam flood, fizzie got an email from google's spam detection whatever saying they'd tagged the wiki for spam. < 1468945923 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Ah, I see < 1468945959 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :<\oren\> this upsets me <-- just learn haskell and submit a pull request to fix it hth < 1468946021 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: do commands in lambdabot have access to the uncorrected command name they were called with? < 1468946048 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if so, it should be relatively simple. < 1468946058 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@sting < 1468946059 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pong < 1468946078 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :except maybe what to do if the i is missing. < 1468946108 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@ping hi < 1468946108 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pong < 1468946126 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :maybe it should just s/i/o/ to the whole command < 1468946234 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@gung hi < 1468946234 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Maybe you meant: run ping bug < 1468946238 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bah < 1468946248 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net QUIT :Remote host closed the connection < 1468946288 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@sing song < 1468946288 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :pong < 1468946311 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I don't think so < 1468946313 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1468946323 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm < 1468946346 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but I have not checked... < 1468946372 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :...it's quite possible actually that they get access to the whole IRC message and then they could parse it again themselves < 1468946395 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well that would break in @@ stuff. < 1468946400 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net JOIN :#esoteric < 1468946417 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@echo < 1468946417 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :echo; msg:IrcMessage {ircMsgServer = "freenode", ircMsgLBName = "lambdabot", ircMsgPrefix = "oerjan!~oerjan@hagbart.nvg.ntnu.no", ircMsgCommand = "PRIVMSG", ircMsgParams = ["#esoteric",":@echo"]} target:#esoteric rest:"" < 1468946432 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@@ @show @echo < 1468946432 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "echo; msg:IrcMessage {ircMsgServer = \"freenode\", ircMsgLBName = \"lambdabot\", ircMsgPrefix = \"oerjan!~oerjan@hagbart.nvg.ntnu.no\", ircMsgCommand = \"PRIVMSG\", ircMsgParams = [\"#esoteric\",\":@@ @show @echo\"]} target:#esoteric rest:\"\"" < 1468946465 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well, might be close enough. < 1468946571 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 240 seconds < 1468946755 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net JOIN :#esoteric < 1468947169 0 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1468947185 0 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker PRIVMSG #esoteric :What was the language where I could redefine literals called? < 1468947194 0 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker PRIVMSG #esoteric :LET 2 = 3 < 1468947200 0 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker PRIVMSG #esoteric :> 2+2 < 1468947202 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 4 < 1468947202 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :FORTE < 1468947202 0 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker PRIVMSG #esoteric :6 < 1468947214 0 :Kaynato!~Aedile@cpe-75-187-129-201.neo.res.rr.com JOIN :#esoteric < 1468947224 0 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker PRIVMSG #esoteric :oerjan, thanks < 1468947256 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you're welcome < 1468948005 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :got it in 1101 heads < 1468948024 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :a few missteps. haven't got the strategy yet. < 1468948118 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :why doesnt that page give a proof? i've never seen a proof involving a hydra with dire heads. < 1468948166 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't know either < 1468948291 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i assume you have to define an ordinal for branches somehow. < 1468948608 0 :lynn!sid154965@gateway/web/irccloud.com/x-pqykwtkqrnnqqnvv PRIVMSG #esoteric :GolfScript famously lets you do that, too < 1468948652 0 :lynn!sid154965@gateway/web/irccloud.com/x-pqykwtkqrnnqqnvv PRIVMSG #esoteric :"3:2;" and then "2 2+" prints 6 < 1468948716 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :quintopia: maybe there's a bachelor thesis for someone < 1468948794 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :quintopia: which page? < 1468948813 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :SopaXorzTaker: some dialects of FORTRAN I think < 1468948924 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yay oldest branch finally got some pruning. which increased its direness, but anyway. < 1468948941 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(~ 56000 cuts) < 1468948958 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: with the leftmost strategy? < 1468948959 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i didn't get it in the first place < 1468948961 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :myname: surely it's a known result < 1468948972 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: the automatic one, yeah < 1468948984 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i randonly clicked anywhere and made exactly one initial change < 1468949205 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nice to see some framework-free javascript code... < 1468949221 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(on the hydra page) < 1468949279 0 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1468949285 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1468949312 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: I think most of David's javascript toys (he has quite a few) are like that < 1468949350 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :gah < 1468949353 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :... wrong channel < 1468949418 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468949433 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, maybe I should make an svg version of http://int-e.eu/~bf3/squares/view.html :)\ < 1468949530 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and maybe a version that uses the history less aggressively, hmm < 1468949584 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: hmm, what's that? < 1468949628 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: there's a "back" link at the top with explanations... it's about tiling rectangles with the minimum number of squares. < 1468949641 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or rather, browsing the tilings. < 1468949648 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: I see < 1468949677 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1468949766 0 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 258 seconds < 1468949781 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net PRIVMSG #esoteric :quintopia: 876 heads cut off in my first try < 1468949790 0 :uberBear!~uberBear@ip186.net2-170.n37.ru JOIN :#esoteric < 1468949791 0 :uberBear!~uberBear@ip186.net2-170.n37.ru QUIT :Max SendQ exceeded < 1468949803 0 :LKoen!~LKoen@cor91-7-83-156-198-158.fbx.proxad.net PRIVMSG #esoteric :apparently a normal head segment should only be cut if it's a top depth < 1468949936 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: wait, when you say "Ed Pegg provided results up to n,m ≤ 160!" then the exclamation mark doesn't denote a factorial, right? < 1468949964 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I guess it can't, because there are much smaller numbers than factorial(160) in the next lines < 1468949991 0 :LKoen!~LKoen@cor91-7-83-156-198-158.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.” < 1468950087 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> x < 1468950088 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : x < 1468950092 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :whaet < 1468950097 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> x + y^2 < 1468950099 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : x + y * y < 1468950108 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> print 13 < 1468950109 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : < 1468950115 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Heh < 1468950127 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> help < 1468950129 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘help’ < 1468950141 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> help + unhelp^2 < 1468950142 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘help’Not in scope: ‘unhelp’ < 1468950148 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> w < 1468950150 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : w < 1468950153 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> t < 1468950155 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : t < 1468950156 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> th < 1468950157 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Not in scope: ‘th’ < 1468950157 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Perhaps you meant one of these: < 1468950157 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ‘h’ (imported from Debug.SimpleReflect), < 1468950158 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@help < 1468950158 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands < 1468950274 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :rntz: the single letters have been defined as a kind of symbols, but there's no real symbolic arithmetic. < 1468950295 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> 2^x < 1468950302 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : mueval: ExitFailure 1 < 1468950306 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :c.c < 1468950311 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :@help mueval < 1468950311 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands < 1468950314 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> text "help" + text "unhelp" ^ 2 < 1468950316 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Num Doc) arising from a use of ‘+’ < 1468950316 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In the expression: text "help" + text "unhelp" ^ 2 < 1468950321 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> text "help" + text "unhelp" < 1468950322 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : No instance for (Num Doc) arising from a use of ‘+’ < 1468950322 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In the expression: text "help" + text "unhelp" < 1468950327 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> var "help" + var "unhelp" < 1468950328 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : help + unhelp < 1468950330 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that, yes < 1468950333 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> var "help" + var "unhelp" ^ 2 < 1468950335 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : help + unhelp * unhelp < 1468950350 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> var "help" + var "unhelp" ^ var "exponential" < 1468950359 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : mueval: ExitFailure 1 < 1468950360 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> var "help" + var "unhelp" ^^ var "exponential" < 1468950369 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> var "help" + var "unhelp" ** var "real exponential" < 1468950369 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1468950370 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : help + unhelp**real exponential < 1468950390 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :^ doesn't work because it's not a method so cannot be defined sensibly for its right argument of Expr type < 1468950438 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(it actually does arithmetic and comparisons to 0 or 1 that always fail, thus causing an infinite loop.) < 1468950446 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: right < 1468950453 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, it does work in the sense of < 1468950470 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> var "one more than " ^ 9 + "one" < 1468950471 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Couldn't match expected type ‘Expr’ with actual type ‘[Char]’ < 1468950471 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In the second argument of ‘(+)’, namely ‘"one"’ < 1468950471 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : In the expression: var "one more than " ^ 9 + "one" < 1468950476 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1468950489 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :missed a var < 1468950494 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> (var "one more than ") ^ 9 + var "zero" < 1468950495 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : one more than * one more than * (one more than * one more than ) * (one m... < 1468950532 0 :fizzie!?@? PRIVMSG #esoteric :> x^9 < 1468950533 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : x * x * (x * x) * (x * x * (x * x)) * x < 1468950545 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> x - x < 1468950546 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : x - x < 1468950550 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> x - x == 0 < 1468950551 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : False < 1468950552 0 :fizzie!?@? PRIVMSG #esoteric :Interesting selection of parens there. < 1468950569 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> var"" ^ 15 < 1468950570 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : * * ( * ) * ( * * ( * )) * ( * * ( * ) * ( * * )) < 1468950571 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Indeed, I was expecting a foldl or so but I guess it's slightly more clever < 1468950579 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fizzie: it treats * as left associative < 1468950582 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :when printing < 1468950585 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> let a = x * a in a < 1468950586 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : x * (x * (x * (x * (x * (x * (x * (x * (x * (x * (x * (x * (x * (x * (x * (x... < 1468950603 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 240 seconds < 1468950606 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: which is good, because it is left associative < 1468950611 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :FireFly: it's a divide by 2 algorithm < 1468950625 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :> var "y" ^ 9 < 1468950626 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : y * y * (y * y) * (y * y * (y * y)) * y < 1468950631 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :exponentiation by squaring < 1468950639 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Makes sense < 1468950701 0 :fizzie!?@? PRIVMSG #esoteric :oerjan: Oh, so it's "really" just (((y * y) * (y * y)) * ((y * y) * (y * y))) * y? < 1468950710 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fizzie: yeah < 1468950728 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and the identical subexpressions are shared. < 1468950742 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :they're just not printed that way. < 1468950772 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> 2+2 :: Expr < 1468950773 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2 + 2 < 1468950795 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :huh it doesn't even do arithmetic when they're actual number literals < 1468950813 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> (0 :: Expr) == 0 < 1468950814 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : True < 1468950854 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> var "0" == 0 < 1468950855 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : True < 1468950868 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh it's precisely textual comparison < 1468950890 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> var "0" == 0.0 < 1468950892 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : False < 1468950912 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> var "0.0" == 0.0 < 1468950913 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : True < 1468950935 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> var "0.0" == 0 -- for completeness < 1468950936 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : False < 1468951211 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> let x = show x in take 10 . map ((+1) . length) . filter (/= "\"") $ group x < 1468951213 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [2,4,8,16,32,64,128,256,512,1024] < 1468951239 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> a < -1 < 1468951241 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : True < 1468951243 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> z < -1 < 1468951244 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : False < 1468951423 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :eek < 1468951429 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> sort [-1,a,z] < 1468951430 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [a,negate 1,z] < 1468951435 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh < 1468951444 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :curses < 1468951455 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you figured it out too quickly < 1468951455 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*MWAHAHAHA* < 1468951568 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> --1 < 1468951569 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : : not an expression: ‘--1’ < 1468951572 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> - - 1 < 1468951573 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:3: parse error on input ‘-’ < 1468951576 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> - (-1) < 1468951578 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1 < 1468951583 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :whaet < 1468951586 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> -1 < 1468951588 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : -1 < 1468951591 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> negate 1 < 1468951593 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : -1 < 1468951597 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> [-1] < 1468951598 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [-1] < 1468951602 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> [-1,a,z] < 1468951603 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [negate 1,a,z] < 1468951607 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :what < 1468951610 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :> [-1,a] < 1468951612 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [negate 1,a] < 1468951617 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :rntz: different type, actual Integers behave sensibly. < 1468951618 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :hm < 1468951635 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but a and z are of type Expr. < 1468951639 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :oh, because ghc hard-codes defaults for literals < 1468951646 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :as opposed to being like "which Num did you mean?" < 1468951659 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :rntz: no, that's not it < 1468951665 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :? < 1468951673 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it does in fact depend on which Num you mean < 1468951679 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :yes, that's what I mean < 1468951682 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> (-1 :: Expr, -1 :: Integer) < 1468951684 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (negate 1,-1) < 1468951705 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :yes, but if you don't specify a type it assumes Integer unless you say otherwise < 1468951712 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :right < 1468951712 0 :rntz!~rntz@96.95.216.165 PRIVMSG #esoteric :*unless* it has to unify with something else that isn't integer < 1468951743 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there's a warning you can enable for it < 1468951890 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :rntz: also it's not hardcoded either, you can change which types are defaulted to. < 1468951904 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's just not very common afaik < 1468951930 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The default default is hardcoded. < 1468951944 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :default (Complex Double, Ratio Int) should be a hit < 1468951977 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wait, add Integer to the end. < 1468952035 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: hipumpkin < 1468952098 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait, Ratio Int would probably never be chosen then. < 1468952104 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :rntz: You read _Stories of Your Life and Others_ by Chiang, right? < 1468952121 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Obviously CReal is the best choice. < 1468952127 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tru < 1468952159 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no wait, Ratio Int can be chosen when RealFrac is needed < 1468952160 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's even compatible with the FFI. < 1468952176 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: It's an ordinary exclamation mark. < 1468952179 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which C type does it correspond to? < 1468952187 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION swats shachaf across the channel -----###
< 1468952236 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :is this channel one-dimensional or two? < 1468952242 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :(Or maybe even 4?) < 1468952245 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :in this channel, it's swat or be swatted < 1468952251 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :
ACTION swats shachaf
< 1468952255 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`? #esoteric < 1468952265 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#esoteric is the only channel that doesn't exist. After monqy left it became slightly off-centër. It's about 30 m (100 ft) across. oerjan seems to be making a lawn in the northern part, but it keeps getting dug up by free ranging moons. May contain crude drawings of nuts. < 1468952293 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :"free-ranging moons"? < 1468952294 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think that implies at least 4. < 1468952313 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :including time. < 1468952328 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :it implies there is time, and "north" < 1468952334 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also digging. < 1468952342 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :So 3 dimensions, including time < 1468952355 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and a center. < 1468952367 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: does #esoteric exist in minscowski space < 1468952377 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i suppose it doesn't quite prove there's an east-west direction. < 1468952404 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :I mean, you could imply it I guess based on that east/west would be the "default" for such things? < 1468952410 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1468952412 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :of course, since it doesn't exist, it has all the dimensions you want. < 1468952476 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: the reason was that he had the program running for months.. which surprised me at the time < 1468952514 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :afk until the evening sun sets below the neighbors < 1468952551 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@time oerjan < 1468952551 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Local time for oerjan is Tue Jul 19 19:22:31 2016 < 1468952634 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's particularly annoying now when it's right above the roof there < 1468952792 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: re hydra: i suppose an optimal strategy must involve knowing what rules madore uses to "keep the screen from getting too cluttered". maybe strategies like getting the tree to take up as much horizontal space as possible at a height where it isn't too painful? < 1468952852 0 :hppavilion[2]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric < 1468953031 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 240 seconds < 1468953107 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :quintopia: for an optimal strategy, you might want to decide what your goal is at first. is your goal to kill the hydra fast because you're Hercules, or to kill the hydra without using automation so that king Eurystheus can't find an excuse, or to keep the hydra alive for as long as possible to find an apparent counterexample to the hydra theorem, etc? < 1468953309 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :is the symbol for the integer gird (between 3 and 4) in Unicode < 1468953312 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :? < 1468953453 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :b_jonas, this sounds interesting. How much chat log do I need to read to find out what the question is? < 1468953457 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Also hi < 1468953488 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Deewiant, there? < 1468953496 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Vorpal: pong, < 1468953529 0 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :Vorpal: Yes. < 1468953563 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Deewiant, With regards to the calendar in DATE, it seems my code explicitly skips year 0. But you could aruge that astronomical date numbering (which includes year 0) should be used instead < 1468953568 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google madore hydra < 1468953569 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://www.madore.org/~david/math/hydra.xhtml < 1468953624 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was trying to remember who Madore was. < 1468953626 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Vorpal: I think it concerns David Madore's game http://www.madore.org/~david/math/hydra.xhtml which is related to the Hydra theorem which is one of those often mentioned few examples of easily mentionable theorems provable in ZFC but known to be not provable in Peano Arithmetic, < 1468953636 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and is related to ordinals somehow. < 1468953638 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But now I remember. Unlambda. < 1468953655 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: and more. I think I even added a page on esowiki listing him or something. < 1468953668 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Deewiant, I assume it is unspecified? < 1468953714 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: the recent interesting developments in this area about ordinals is https://johncarlosbaez.wordpress.com/2016/07/07/large-countable-ordinals-part-3/#comment-81550 , comments on John Baez's blog where Baez wrote three entries on topics very similar to what David had written about earlier, < 1468953766 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm still trying to untangle what happened in the comments there, because there are too few links, so it's not obvious which of David's articles are relevant < 1468953780 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :chopping merrily away at a speed of 200 heads per second... < 1468953788 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Deewiant, I was also looking at handling negative julian day numbers, and that doesn't seem to work too well either. When it is less than about year -7000 < 1468953809 0 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :Vorpal: Mh. Given that it only says "Gregorian calendar is assumed for calendar dates" it seems unspecified, yes. < 1468953819 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Oh well < 1468953840 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :DATE is an rcfunge one? < 1468953857 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Hmm I guess leftmost is not the most stupid thing one can do. < 1468953864 0 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :Yes, DATE is from rcfunge. < 1468953875 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but at least http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html (about the hydra), http://www.madore.org/~david/weblog/d.2015-11-16.2337.html , http://www.madore.org/~david/weblog/d.2013-01-16.2104.grands-nombres.html , http://www.madore.org/~david/weblog/d.2011-09-18.1939.nombres-ordinaux-intro.html , http://www.madore.org/~david/weblog/d.2011-10-02.1946.html are relevant < 1468953898 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um, was that truncated? http://www.madore.org/~david/weblog/d.2013-01-16.2104.grands-nombres.html , http://www.madore.org/~david/weblog/d.2011-09-18.1939.nombres-ordinaux-intro.html , http://www.madore.org/~david/weblog/d.2011-10-02.1946.html are relevant < 1468953931 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now I feel like b_jonas has posted links to madore.org before. < 1468953932 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Deewiant, Yeah I hope I remember to fix it to use the same calendar in both directions before you get around to testing that though < 1468953938 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But they were in French so I couldn't read them. < 1468953949 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and wait, I forgot the ordinal browser (whcih is linked from Baez's post already) < 1468953952 0 :^v!~v^@me.pxtst.com QUIT :Ping timeout: 258 seconds < 1468953971 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no wait, http://www.madore.org/~david/weblog/d.2011-10-02.1946.html is the ordinal browser < 1468953975 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: yes < 1468953988 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: http://esolangs.org/wiki/David_Madore < 1468954008 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1468954012 0 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1468954029 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: I'm a big fan of David Madore's blog really. I've been reading it for a very long time, but mind you, I haven't seen like half of it because that blog is OLD, < 1468954054 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and for a while it's on the top of one of my external links page http://math.bme.hu/~ambrus/sc/grn on my homepage < 1468954075 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia: "getting the tree to take up as much horizontal space as possible at a height where it isn't too painful" sounds like about what i've been trying. < 1468954078 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Anyone know if there is any property based testing framework (quickcheck style that is) for C? < 1468954092 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I know there is one for C++ called rapidcheck, but for C I don't know of any < 1468954139 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: oh man < 1468954143 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not sure about this disclaimer < 1468954153 0 :^v!~v^@me.pxtst.com JOIN :#esoteric < 1468954182 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :And there are also at least two old articles on this topic that are probably completely superceded and that I probably didn't link < 1468954187 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :It's complicated < 1468954213 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :<\oren\> is the symbol for the integer gird (between 3 and 4) in Unicode <-- yes, but good luck writing down its codepoint number hth < 1468954217 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :He also has several useful maths articles on the blog that aren't connected to ordinals and infinity < 1468954234 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :b_jonas, is the hydra problem solvable? < 1468954244 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the hydra problem? < 1468954260 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, the one you linked < 1468954266 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : http://www.madore.org/~david/math/hydra.xhtml < 1468954267 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the problem? < 1468954277 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The hydra always dies eventually, if that's what you mean. < 1468954282 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, defeating it? According to the title < 1468954285 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah okay < 1468954301 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It says at the bottom of the page. < 1468954302 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Vorpal: solvable in what sense? < 1468954303 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I only fooled around a bit with it, and it just seemed to keep growing < 1468954313 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Vorpal: yes, it does that < 1468954324 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but it is a game that always ends in finite number of steps, no matter what you do < 1468954327 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google goodstein's theorem < 1468954334 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Vorpal: hth < 1468954339 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: ah, that's what it's called < 1468954346 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1468954357 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not exactly the hydra but it's similar. < 1468954379 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :rumour is, this is connected to how a descending sequence from naturals to ordinals is always eventually constant < 1468954388 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: but what's this about dire hydras? < 1468954402 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how are those different from non-dire hydras? < 1468954423 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(and are there werehydras, celestial and infernal hydras, giant hydras, half-elemental hydras, etc?) < 1468954433 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: have you seen the automatic strategy finish a hydra? < 1468954443 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :AH! < 1468954450 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Hmm I guess leftmost is not the most stupid thing one can do. <-- it isn't? < 1468954459 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :http://www.madore.org/~david/weblog/d.2008-03-27.1537.html is the actual entry for the hydra game! < 1468954466 0 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I've been looking for that for a while < 1468954517 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: not sure. < 1468954523 0 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1468954536 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :b_jonas: But it's in French, and therefore meaningless. < 1468954576 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : But they were in French so I couldn't read them. <-- rings a bell. < 1468954584 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: it just seems that by strategically picking dire branches deep down the tree when the treep is deep should make things worse. < 1468954610 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: but I see that this would prevent those from being duplicated later. It's a tough question. < 1468954611 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: It was something about Hebrew grammar, maybe? < 1468954624 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :as the sun sets, the (other) neighbors start up their subwoofer :( < 1468954669 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Anyway... The hydra currently has: 29 segments, 9 heads, and depth 7. Hercules has cut 175347 heads so far. ... still looking quite healthy. < 1468954997 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:4c63:9faf:6e3a:693e JOIN :#esoteric < 1468955085 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oerjan: have you seen the automatic strategy finish a hydra? <-- not YET hth (it's currently paused at step 56888 although it _did_ make progress on the oldest dire branch around 56000.) < 1468955162 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : how are those different from non-dire hydras? <-- i assume the latter don't have the dire segments from the game? < 1468955259 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and also, without the dire segments the proof looks easy: just give a branch an ordinal equal to { sum(omega^ordinal b) | b child branch } < 1468955305 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :("commutative" sum, i guess) < 1468955413 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: btw i haven't experimented much with trying to cut dire branches eagerly, so i'm not sure if that would actually be worse. < 1468955442 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: no, it was about not reading madore blog links hth < 1468955491 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(24 segments, 11 heads and depth 5 here btw) < 1468955606 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't think those numbers are that important. i think the "ordinal" size of the oldest branch is what really determines progress, the rest is just temporary junk that _will_ disappear as long as there's enough of it. < 1468955616 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :cutting dire branches eagerly is p good, except that it ends up making tall tall green branches, which take forever to clear < 1468955695 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i do suppose using more height means there's more room for junk, which would slow it down. < 1468955759 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :assuming madore's algorithm is about actual fitting into space somehow, rather than just total number of segments or the like. < 1468955796 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm and i should be going < 1468955825 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :if a bettor can bet, why can't a debtor debt? < 1468955848 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later, sorry < 1468956017 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :quintopia: because english is a crappy language that hopefully will die soon < 1468956090 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48933&oldid=48930 5* 03Darkrifts 5* (+111) 10/* Arguments */ < 1468956111 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48934&oldid=48933 5* 03Darkrifts 5* (+12) 10/* Arguments */ < 1468956113 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I bet the programming languages and libraries with english naming schemes will outlive the spoken english language < 1468956134 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :\oren\, oh? What language do you think will replace English? < 1468956163 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Vorpal: whatever English evolves into. < 1468956177 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :\oren\, and is there any indication that is ongoing currently? < 1468956222 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I highly doubt English in one way or another will go away any time soon. Going to take several generations. < 1468956297 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :The fact I can't really understand certain American English dialects, indicates that the spoken language is splitting < 1468956325 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Which sort of English do you speak then? < 1468956347 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Canadian English. < 1468956351 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1468956353 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think that if anything the language is unsplitting. < 1468956409 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :History seems to indicate that written languages can remain the same even after noone speaks their spoken version. < 1468956433 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I'm not a native speaker and I managed to understand most variants of English I came into contact with. Some are harder than others yes. I find Indian English especially difficult, and I have to deal with that (over video conference systems) at work. < 1468956449 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The hydra currently has: 34 segments, 10 heads, and depth 9. Hercules has cut 500325 heads so far. ... still going. < 1468956527 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :isn't it easily going to go to ackermann numbers < 1468956559 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ackermann, ackermann, does whatever an acker cann < 1468956581 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1468956583 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I have not done any anlysis... for all I know this won't finish before the heat death of the universe < 1468956665 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah the rightmost subtree changed. < 1468956727 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://int-e.eu/~bf3/tmp/hydra.png "proof" < 1468956781 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(maybe oerjan can predict how long this will still last ;) < 1468956825 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :re: "proof" - the only thing I changed in the html file is the interval timer (from 750 to 5 milliseconds) < 1468956893 0 :hppavilion[2]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :nog wgah'n ph'nilgh'ri < 1468956910 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hppavilion[2]: what's up with the nick... < 1468956922 0 :hppavilion[2]!?@? NICK :hppavilion[1] < 1468956928 0 :jaboja!~jaboja@vps.jaboja.pl JOIN :#esoteric < 1468956938 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :int-e: Huh? < 1468957112 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48935&oldid=48934 5* 03Darkrifts 5* (+1062) 10/* Documentation */ < 1468957268 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48936&oldid=48935 5* 03Darkrifts 5* (+159) 10 < 1468957411 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist 1045 < 1468957425 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net PRIVMSG #esoteric :hlirtenff: Cthuvian for "frenemy" < 1468957455 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :olist 1045: shachaf oerjan Sgeo FireFly boily nortti b_jonas < 1468957492 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: actually since the tree size is more or less bounded (thanks to a "magic" probability), this implementation can only be exponential in that target tree size... < 1468957492 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :HackEgo: stop being so slow < 1468957528 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I wonder whether HackEgo being slow is HackEgo's fault or CoC's fault (they may be putting a lot of VMs on the same machine...) < 1468957553 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah... I was waiting for this... touch: cannot touch ‘a’: Read-only file system < 1468957580 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(previously: [3193390.301619] Aborting journal on device dm-0-8.) < 1468957634 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :int-e, that sounds really really bad? < 1468957671 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Vorpal: that's my usual experience with CaC (oops, sorry, bad typo/thinko there) < 1468957728 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Call of Cthulhu really doesn't deserve to be confused with Cloud at Cost.) < 1468957887 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 JOIN :#esoteric < 1468957920 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :let's see if it still boots :P < 1468957945 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Quit: Leaving... < 1468957950 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: but, um, what's a "dire segment" then? < 1468957977 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's explained on http://www.madore.org/~david/math/hydra.xhtml < 1468957998 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :ah, I see! < 1468958004 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :also, thanks for the olist < 1468958318 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48937&oldid=48936 5* 03Darkrifts 5* (+301) 10/* Added section on errors */ < 1468958640 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nice, it booted but the web server seems to have suffered... such fun... < 1468958826 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :what booted? < 1468958855 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :... http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1468959169 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :int-e, Cloud at Cost? What is that < 1468959210 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Oh I see < 1468959212 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Rather cheap VM host. < 1468959222 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :One time fee? How on earth does that work < 1468959222 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I suspect it's a lie. < 1468959233 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Vorpal: Poorly. < 1468959257 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1468959266 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pikhq, yeah especially given what I pay for a not-quite-lowest-end linode, that price as a one-time fee is insane < 1468959276 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Mind you, my linode is *rock solid* < 1468959280 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: well, they just don't buy any new hardware is what I think. < 1468959284 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should probably switch away from Linode. < 1468959291 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, from? < 1468959295 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :also, they have NO abuse management whatsoever < 1468959298 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1468959301 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, what is the issue with linode? < 1468959304 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Is it one of those where you have a monthly cap of network use, if you transfer more data than that cap any month then you pay an expensive overuse fee, and there's no way to just ask in advance that you don't want to pay any fees so if you get close to the cap they should automatically shut off the network access or slow it down to very slow? < 1468959308 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They have all these security issues, for one. < 1468959314 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no people involved (just a few developers) = cheap. < 1468959317 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, oh? I have not heard about that < 1468959334 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you get what you pay for, or perhaps a bit less ;) < 1468959335 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I often hear negative things about them. < 1468959341 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :int-e, still the electricity, IP block assignment and all other running costs? < 1468959361 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"just a few developers" doesn't sound very cheap < 1468959363 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Vorpal: as long as they find new customers, they will pay for that < 1468959376 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :int-e, that sounds like a pyramid scheme < 1468959379 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: oh, so it's a pyramid scheme < 1468959381 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Vorpal: and from I read their main business is a telco one. < 1468959383 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Vorpal: YES! < 1468959384 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :yes, what Vorpal says < 1468959391 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it's just a Ponzi scheme. < 1468959404 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468959405 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yeah. I bought one a while back, but I have *not* been impressed. < 1468959406 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :well okay, pyramid, ponzi, something like that < 1468959416 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :there's a difference? < 1468959424 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Thank goodness it's not an ongoing cost? < 1468959429 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :pikhq: I have... the QoS is soooo bad! < 1468959436 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, what better option is there to linode then? Same price class, same performance class < 1468959442 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you get money for your referrals' referrals or something? < 1468959455 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The ongoing cost for this channel is that HackEgo is becoming increasingly slower. < 1468959456 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, I looked at one that seemed really nice, that fizzie used. Forgot the name of it. Until I realized the price was in euros < 1468959468 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure. < 1468959469 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(AFAIK it's on one of the CaC VMs) < 1468959471 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe Digital Ocean? < 1468959484 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe AWS/Google Cloud/Microsoft Azure. < 1468959488 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't remember how the pricing compares. < 1468959490 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, I heard shit things about DO < 1468959497 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :I wonder if there's a Raspberry Pi colo. That might be an upgrade. :P < 1468959502 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :AWS or such is probably pretty good though < 1468959506 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :I'm on prgmr, they're pretty nice though I dunno how the pricing compares to other services < 1468959514 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The reason I don't use Google Cloud is the free trial. < 1468959519 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :pikhq, I heard of such a thing in Sweden. No space for external HDD. Also they sold out iirc < 1468959533 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, oh? < 1468959561 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Well prgmr has quite a spartan site don't they < 1468959606 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FireFly, seems slightly cheaper than linode from what I can see. < 1468959613 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :is it KVM or Xen? < 1468959616 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Xen < 1468959622 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Vorpal: They give you $300 to spend on Google Cloud over 60 days. < 1468959624 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :NICE. could not open mime types config file /etc/mime.types < 1468959631 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah, linode started switching from Xen to KVM recently < 1468959636 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Vorpal: I don't want to squander it, so I haven't even started the trial. < 1468959641 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1468959660 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Vorpal: Which is a shame, because I want to use the plain old virtual machine service, which I don't really need a trial for. < 1468959670 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What I'd want a trial for is all the fancy Google-specific services. < 1468959672 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1468959677 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So really they should let me activate the free trial whenever I want. < 1468959683 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1468959690 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In the end I'm not using it at all. < 1468959699 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :AWS and Azure have similar deals. :-( < 1468959710 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: where's the business sense in that? you'd be willing to pay them then... < 1468959719 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, anyway, so far I found linode to be really solid. And I guess you have as well? < 1468959722 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Though, AWS's free trial is a year long and covers less. < 1468959724 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: What do you mean? < 1468959739 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: I'm willing to pay them now, for the boring service that everyone provides. < 1468959753 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I'm suggesting that letting you start the free trial when you want would be bad for business. < 1468959774 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Or perhaps I'm speculating. Or joking. I haven't decided. < 1468959777 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, setting it up such that I don't even sign up is also bad for business. < 1468959785 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe I'm just unusual. < 1468959842 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, I thought googles cloud only provided rather unusual environments? Like just python "web apps". Or is that google app engine? which is different?? < 1468959853 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: what you're saying sort of makes sense. I mean, it doesn't matter whether it's the boring services or the interesting ones, but if you start the free trial but only use the *cheap* services and so you don't spend all $300 before the timeout, then that might be a waste in some sense < 1468959871 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Vorpal: You might be thinking of an older version of App Engine. < 1468959875 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ah < 1468959886 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Vorpal: I think they still have that but they also have a lot more services. < 1468959891 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, can you set up your own mail server there? Or do you need to use their SMTP sever? < 1468959903 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :because that was one thing for me. I want to run my own mail < 1468959908 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know. < 1468959917 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google google cloud smtp < 1468959918 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://cloud.google.com/compute/docs/tutorials/sending-mail/ < 1468959940 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Google Compute Engine does not allow outbound connections on ports 25, 465, and 587." < 1468959984 0 :alercah!raedford@unaffiliated/alercah PRIVMSG #esoteric :that's a good thing hth < 1468960106 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, so not good for me then < 1468960124 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Since I run my own mail < 1468960144 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I specifically wanted to get away from google seeing it all through gmaik < 1468960146 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :gmail* < 1468960187 0 :fizzie!?@? PRIVMSG #esoteric :26.7 degrees inside. :/ < 1468960209 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :Vorpal: well, I tried running an email server on a home connection, and...: < 1468960218 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :GMail accepts my mail but puts it in the spam folder < 1468960222 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :Hotmail outright rejects it < 1468960227 0 :fizzie!?@? PRIVMSG #esoteric :Vorpal: So far, I've used prgmr.com, tilaa.com and digitalocean.com (in that order) for my VPSen. < 1468960232 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :I think Yahoo does the same as GMail IIRC < 1468960235 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Vorpal: couldn't you use someone else (not gmail, but not self-ran) as a mail provider? < 1468960237 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :(but I'm not sure) < 1468960248 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :gamemanj, right, which is why I have a proper VPS < 1468960292 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google aws smtp < 1468960293 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://docs.aws.amazon.com/ses/latest/DeveloperGuide/send-email-smtp.html < 1468960293 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: Using the Amazon SES SMTP Interface to Send Email - Amazon Simple Email Service < 1468960299 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :wob_jonas, I want to be in control of my own mail. That was the point. Then I might as well pay for a VPS and run other stuff on it too. Since all free email providers obviously need to have some other way to make me a profit < 1468960306 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :(i.e. profiling for ads) < 1468960310 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Vorpal: What, you don't trust Gmail? < 1468960344 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, oh I trust they will deliver my mail and provide a solid service. Certainly. But it is free. How do they make a profit from it do you think? < 1468960351 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Vorpal: some ISPs give you a mail server as a bonus if you pay for net access, isn't that an option for you? < 1468960372 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :wob_jonas, sure, but those services are shittier than shitty < 1468960388 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I think it is like 20 MB limit, POP only, no IMAP < 1468960391 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Vorpal: (I used to work at Google on the team that runs Gmail.) < 1468960392 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Nope! < 1468960411 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :shachaf, okay. Then you probably know how they make money from it, and can't comment on it < 1468960421 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :But I assume it is from targeted ads < 1468960442 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :And even with ad blocking, that profile they build of you can be used elsewhere < 1468960493 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think I can say anything that isn't public. But it's not a great business mystery how it works. < 1468960505 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: I don't completely trust GMail either. It's not really the ads, but that they're a big company that can decide at any time that they don't need me a user and ban my gmail account for any reason, for they can afford some false positives when they're trying to ban actually malicious accounts, and if they do so, I won't be able to do anything < 1468960505 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric : to get that email address back. I need a *stable* email address, one that is likely to work even ten years from now, < 1468960542 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wob_jonas: Good reasoning. < 1468960545 0 :fizzie!?@? PRIVMSG #esoteric :GMail gives me that nasty red lock icon for emails that I send from my own mail server, I really should figure that out. < 1468960566 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: Do you want me to write you an extension that disables the nasty red lock? < 1468960567 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :not necessarily at the same server, but the same address should work. ambrus@math.bme.hu is that stable address, since if that server goes down, I know who I have to bribe or threaten to fix the server, or to point the domain elsewhere if they really don't want to run the server, < 1468960570 0 :fizzie!?@? PRIVMSG #esoteric :Because I thought I set up opportunistic TLS on it, yet it's all "zem.fi did not encrypt this message". < 1468960585 0 :fizzie!?@? PRIVMSG #esoteric :shachaf: I'd rather just have it speak TLS to Google servers. < 1468960586 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, I believe that is due to lack of SSL < 1468960600 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wob_jonas: whoa whoa whoa, is that your name? < 1468960617 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :and also think that even without me doing anything, it's very likely that mail on that domain will be served for a long time in some way, due to other more important people having their mail there. < 1468960622 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: yes < 1468960630 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, set up so your server prefers sending and receiving to/from other servers with SSL when possible (opportunistic encryption) < 1468960643 0 :fizzie!?@? PRIVMSG #esoteric :Vorpal: Because I thought I set up opportunistic TLS on it, yet it's all "zem.fi did not encrypt this message". < 1468960643 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Oh yeah you said that below < 1468960655 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, and I just found that line :P < 1468960668 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, postfix? < 1468960671 0 :fizzie!?@? PRIVMSG #esoteric :Possibly I just misconfigured it. Maybe it lacks root CAs or something. < 1468960680 0 :fizzie!?@? PRIVMSG #esoteric :Yes. < 1468960683 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fizzie: just use end-to-end encryption hth < 1468960692 0 :fizzie!?@? PRIVMSG #esoteric :I'm sure it's something simple, I just never remember to look into it. < 1468960733 0 :fizzie!?@? PRIVMSG #esoteric :My university gave me a "forever" alumnus email forwarding address. < 1468960743 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, something like this should work, replace your certificate paths of course http://termbin.com/ets2 < 1468960747 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, in main.cf < 1468960756 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should switch my email address to a custom domain name instead of gmail.com < 1468960761 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I haven't decided which domain name. < 1468960763 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :So anyway, I do use gmail, but I give a non-gmail email address anywhere I want a future-stable address. < 1468960765 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I think there needs to be a few lines in master.cf as well < 1468960797 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48938&oldid=48937 5* 03Darkrifts 5* (+164) 10/* Misc */ < 1468960806 0 :fizzie!?@? PRIVMSG #esoteric :(Foodtime.) < 1468960813 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@time fizzie < 1468960813 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Local time for fizzie is Tue Jul 19 20:40:13 2016 < 1468960829 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tizzie < 1468960843 0 :fizzie!?@? PRIVMSG #esoteric :Vorpal: Oh, by the way -- I changed the esolangs.org captcha to be Befunge instead of brainfuck. < 1468960876 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? vorpal < 1468960878 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, http://termbin.com/ujog is from master.cf. The only relevant line I could see < 1468960882 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, oh? < 1468960886 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Vorpal writes software for boring machines. Really big ones. < 1468960929 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Hm though that line appears to be about client to server < 1468960933 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Not server to server < 1468960937 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :So may not be relevant < 1468960947 0 :fizzie!?@? PRIVMSG #esoteric :Vorpal: Here's a description I wrote for someone else: It shows you a string of the form 9NNNNNNNNN>\#+:#*9-#\_$.@ (where each N is a random base-9 digit) and asks you to provide the number a Befunge interpreter would output when given that. < 1468960959 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Most of the mail to my main gmail address is public mailing lists by the way. < 1468960971 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Heh < 1468960990 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly gave me a Befunge puzzle. < 1468961035 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :oh, right < 1468961056 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :was it hard? < 1468961064 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, any recent panorams btw? < 1468961068 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not very. But it was slightly harder than you implied. < 1468961114 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :fizzie: whoa, I can't read Befunge, I have no idea what those things mean... < 1468961133 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I think # is a trampoline, but what the heck are those backslashes? < 1468961173 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :wob_jonas, swap top items on stack < 1468961176 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :I think < 1468961185 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :been so long since I wrote a befunge interpreter < 1468961199 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I was wondering if it's a mirror, but that wouldn't make sense there < 1468961216 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48939&oldid=48938 5* 03Darkrifts 5* (+94) 10/* Errors */ < 1468961259 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :wob_jonas, befunge doesn't have those. It does have handle bars though for turning. [ and ] < 1468961275 0 :fizzie!?@? PRIVMSG #esoteric :Funge-98 has those. Befunge-93 doesn't. < 1468961281 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Oh. True < 1468961283 0 :fizzie!?@? PRIVMSG #esoteric :wob_jonas: Backslash is a swap, yes. < 1468961285 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I see < 1468961301 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly: HireyFly < 1468961305 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :hachaf < 1468961314 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you invent any good maths lately < 1468961321 0 :fizzie!?@? PRIVMSG #esoteric :The >\#+:#*9-#\_$.@ part is essentially right swap jump plus dup jump mul 9 sub jump swap if drop print exit. < 1468961331 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :and guessing from the > and the trampolines there's probably a loop there that runs both left and right, oscillating < 1468961338 0 :fizzie!?@? PRIVMSG #esoteric :Where "if" goes right if 0, left otherwise. < 1468961340 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :but I don't know which part turns back < 1468961344 0 :fizzie!?@? PRIVMSG #esoteric :It's the _. < 1468961359 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? befunge < 1468961360 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :befunge? ¯\(°​_o)/¯ < 1468961371 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? funge < 1468961371 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :funge? ¯\(°​_o)/¯ < 1468961372 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :shachaf: I haven't mathsed at all recently, to be honest < 1468961376 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, wait a second... Isn't that program just going to ouput 0 and exit in the end? I see no output instruction prior to the _$.@ < 1468961380 0 :fizzie!?@? PRIVMSG #esoteric :>..._ is the traditional oneliner loop, with judicious use of #s when you need to do different things in different directions. < 1468961389 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I see < 1468961391 0 :fizzie!?@? PRIVMSG #esoteric :Vorpal: Why would it output 0? < 1468961394 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly: what did you invent recently < 1468961413 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Hm < 1468961431 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :I can't think of anything < 1468961439 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you invent any cute cat pictures maybe < 1468961447 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, Hm... Where is the output decimal except right before the @? < 1468961453 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :I didn't; that's more zgrep's department < 1468961467 0 :fizzie!?@? PRIVMSG #esoteric :Vorpal: Nowhere else, but the top of stack is not 0 at the . < 1468961471 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Oh wait I see now. Because it checks if there is a swapped \ < 1468961478 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zgrep: please provide kitten pics twh < 1468961489 0 :zgrep!sid43445@gateway/web/irccloud.com/x-bwwxspzwxaisivku PRIVMSG #esoteric :shachaf: zgrep.org/cats.html < 1468961504 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :what... < 1468961513 0 :zgrep!sid43445@gateway/web/irccloud.com/x-bwwxspzwxaisivku PRIVMSG #esoteric :hint: click space, also try the arrow keys if you want to < 1468961513 0 :fizzie!?@? PRIVMSG #esoteric :(It's just a base-9-to-base-10 converter, essentially.) < 1468961523 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Ah < 1468961564 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :fizzie: yes, I guess it's something like that, but does it also take a 9's complement for converting, or is that only for checking the 9 at the bottom? < 1468961570 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zgrep: Seems like a nonobvious UI. < 1468961582 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zgrep: You should add a spot of text to it that says how to use it. < 1468961600 0 :zgrep!sid43445@gateway/web/irccloud.com/x-bwwxspzwxaisivku PRIVMSG #esoteric :shachaf: But then there will be a spot of text that says how to use it. < 1468961612 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, but it can disappear after you press space. < 1468961620 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48940&oldid=48939 5* 03Darkrifts 5* (+428) 10/* Added section on creating for-like constructs */ < 1468961634 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :shachaf: I did find a silly bug yesterday, does that count as an invention < 1468961650 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Actually I had already found the same bug elsewere before < 1468961655 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :elsewhere, even < 1468961657 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly: yes hth < 1468961673 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :was the bug that a program crashed on argc==0 < 1468961680 0 :zgrep!sid43445@gateway/web/irccloud.com/x-bwwxspzwxaisivku PRIVMSG #esoteric :shachaf: But that takes effort... I'm spending my effort on doing everything else that I'm doing right now. < 1468961717 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :that's so specific < 1468961719 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zgrep: cats are so good though < 1468961728 0 :zgrep!sid43445@gateway/web/irccloud.com/x-bwwxspzwxaisivku PRIVMSG #esoteric :shachaf: cats are better than instructions < 1468961728 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :No, the bug is that all innocents on Foresight items in Disgaea PC are level 1 < 1468961768 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :whoa, game terms < 1468961774 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Turns out it's because the item description field in one of the data files exceeds the width that the field is supposed to be < 1468961796 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :so it overwrote the next column with (string-terminating) 0, which isn't even a legal value for that column < 1468961838 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FireFly, I concur with wob_jonas here, you need to give some context? < 1468961839 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :The PSP port of the game had a similar bug, but even worse because the bytes that went in the column were part of the text string.. which caused even weirder behaviour < 1468961849 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :well < 1468961852 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zgrep: what if it showed more than one cat at a time < 1468961852 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Just a moment < 1468961857 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FireFly, what is this game < 1468961868 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google disgaea < 1468961869 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Disgaea < 1468961881 0 :zgrep!sid43445@gateway/web/irccloud.com/x-bwwxspzwxaisivku PRIVMSG #esoteric :shachaf: Feel free to make thy own ui. It just grabs a URL from zgrep.org/cats . :P < 1468961882 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oops, was that rude? < 1468961888 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sorry. < 1468961892 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :ah, tactical RPG. It makes very slightly more sense now < 1468961900 0 :zgrep!sid43445@gateway/web/irccloud.com/x-bwwxspzwxaisivku PRIVMSG #esoteric :s/a U/the U/ < 1468961942 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :https://twitter.com/FireyFly/status/710549067089252352 the "Rank" column is supposed to only take on values in [1..42] < 1468961958 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :(This is the older of the bugs) < 1468962007 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :It's.. um, well < 1468962044 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :I'm not sure if it'd be interesting to explain how it misbehaves since it essentially just boils down to numbers being off-the-charts < 1468962129 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Anyway, you can see how the item description is cut off and the fields after it seem to have fishy values < 1468962155 0 :izabera!~izabera@unaffiliated/izabera QUIT :Ping timeout: 244 seconds < 1468962163 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`assemble < 1468962165 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: assemble: not found < 1468962331 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :wait wait < 1468962352 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :did Primal Clay change at some point, and if so, was it a functional change? < 1468962357 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :let me check Yawgatog's archive < 1468962487 0 :fizzie!?@? PRIVMSG #esoteric :I heard there's a cat-collecting easter egg in N. < 1468962629 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :...is that supposed to be an attempt to addict me to a game involving a ninja < 1468962633 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :or do I have the wrong N < 1468962638 0 :fizzie!?@? PRIVMSG #esoteric :Where I come from, uppercase single letters are always Android releases if at all possible given the context. < 1468962649 0 :fizzie!?@? PRIVMSG #esoteric :http://www.androidcentral.com/android-70-nougat-developer-preview-5-actually-comes-awesome-easter-egg < 1468962663 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :oh, they ran out of food < 1468962675 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :or not...??? < 1468962689 0 :fizzie!?@? PRIVMSG #esoteric :It's "Nougat". < 1468962701 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :The change I'm looking for was at Shadowmoor. < 1468962729 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :why are they using letters < 1468962736 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :But the bulletin totally doesn't explain anything. < 1468962742 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :the food makes people hungrier for the releases... < 1468962753 0 :fizzie!?@? PRIVMSG #esoteric :Because the name isn't made public until pretty late. < 1468962759 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Is it no longer an effect that changes the copiable values? < 1468962776 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :What happens when they reach "Z"? < 1468962781 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :They'll run out of foodstuffs. < 1468962801 0 :fizzie!?@? PRIVMSG #esoteric :Android Zucchini, very tasty. < 1468962835 0 :fizzie!?@? PRIVMSG #esoteric :Maybe it'll wrap. Did Ubuntu already run out? < 1468962841 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :As in, what happens now if you Cytoshape from Primal Clay as the template? < 1468962858 0 :fizzie!?@? PRIVMSG #esoteric :Apparently they're at Yakkety Yak now. < 1468962887 0 :fizzie!?@? PRIVMSG #esoteric :Or will be, for 16.10. < 1468962889 0 :fizzie!?@? PRIVMSG #esoteric :So they still have Z for the 17.04 release, but then they're out. < 1468962909 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :"Yakkety"? Seriously? < 1468962945 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Maybe they'll use letters other than ascii ones. < 1468962956 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Or they'll follow with a left square bracket. < 1468963008 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :gamemanj: the N game is good too, though < 1468963051 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric : "Yakkety"? Seriously? <-- is that a real word?? < 1468963072 0 :fizzie!?@? PRIVMSG #esoteric :Not according to WordNet. But I'm sure it's colloquial. < 1468963108 0 :fizzie!?@? PRIVMSG #esoteric :I've missed all these recent ones. Utopic Unicorn, Vivid Vervet, Wily Werewolf, Xenial Xerus. < 1468963157 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :fizzie, well since I go on LTS I miss most of them < 1468963166 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :How big is the Toy Story franchise? How long till Debian runs out of release codenames? < 1468963377 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :oh, interesting point < 1468963455 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :
ACTION prepares a thwomp in front of firefly, and waits anxiously with a button...
< 1468963474 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net QUIT :Ping timeout: 258 seconds < 1468963480 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :That seems a bit overkill < 1468963490 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :oerjan usually sticks to a good ol' swatter < 1468963498 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :swatters are boring < 1468963510 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you play "Spider and Web"? < 1468963511 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :if you're going to turn someone into a flattened mess, you have to do it with class! < 1468963513 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's a pretty good game. < 1468963564 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I prefer to use an electric racket to kill bugs < 1468963584 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :much less messy < 1468963610 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :and you don't have to wait till they land on something < 1468963641 0 :fizzie!?@? PRIVMSG #esoteric :wob_jonas: The Pixar wiki "Toy Story Characters" category has 58 pages, though some are groups, and some aren't really that suitable for code names. < 1468963652 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :
ACTION gives the thwomp button to FireFly
< 1468963655 0 :fizzie!?@? PRIVMSG #esoteric :wob_jonas: Thought I'd certainly install Debian Woman on Pizza Planet P.A. system. < 1468963657 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :FireFly: Hold this for a sec < 1468963667 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :
ACTION then puts a sign in front of the Thwomp, saying "firefly food here"
< 1468963693 0 :fizzie!?@? PRIVMSG #esoteric :(And that category is for the first film alone, I think.) < 1468963705 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :
ACTION buzzes toward the supposed firefly food
< 1468963746 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :* The thwomp activates on it's own because someone wasn't keeping the button deactivated, and gamemanj is thwomped. FireFly manages to escape. < 1468963764 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :phew < 1468963764 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :fizzie: I see < 1468963772 0 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1468963793 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48941&oldid=48940 5* 03Darkrifts 5* (+220) 10Added information on using Calcutape < 1468963800 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :(the intention was that FireFly would press the button and thus doom me...) < 1468963805 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly: did you play that game < 1468963806 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Ah < 1468963810 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :N? < 1468963812 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Yes < 1468963814 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or fizzie < 1468963816 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :fizzie: so when they get close to exhausting that, they can start collecting money to pay for some new supplementary novels or something (new novels are cheaper than feature films) < 1468963819 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fi* < 1468963821 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FireFly, what game is that < 1468963830 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Old flash platformer game thing < 1468963841 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What? < 1468963855 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Oh, sounds vaguely familiar now < 1468963856 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Or did you mean Disgaea? < 1468963861 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FireFly, isn't there an N+? < 1468963862 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :I've played that too < 1468963864 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :On steam < 1468963867 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :or something < 1468963869 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Dunno < 1468963869 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Or N++ < 1468963874 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :I've only played the original < 1468963890 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :http://www.freewarefiles.com/screenshot/N.jpg looks approximately so < 1468963891 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Think there is a remake with more levels and such < 1468963901 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Remember seeing something about it maybe a year ago or so < 1468963910 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Yeah < 1468963915 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :Like that but better looking < 1468963930 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FireFly, if you liked it, that might be worth checking out < 1468963946 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly: No, Spider and Web. < 1468963947 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Hmm, maybe < 1468963955 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :(as everybody knows, N++ is like N but with classes and templates.) < 1468963976 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :FireFly, http://store.steampowered.com/app/230270/ < 1468963977 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :shachaf: nope, hadn't heard of it before but it sounds a bit interesting < 1468963985 0 :Vorpal!~Vorpal@unaffiliated/vorpal PRIVMSG #esoteric :May be available on GoG or similar, I have not checked < 1468963998 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly: It's TG. < 1468964004 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And pretty short. < 1468964021 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google spider and web < 1468964022 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://eblong.com/zarf/zweb/tangle/ < 1468964022 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: Spider And Web < 1468964193 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :by the way, efnet/#mtgrules tells me that the Primal Clay ability still modifies the copiable values of the type, subtype, ability, p/t < 1468964416 0 :Cale!~Cale@2607:fea8:9840:324:6193:2406:905c:d4d6 QUIT :Ping timeout: 250 seconds < 1468964563 0 :Cale!~Cale@2607:fea8:9840:324:75cf:9a95:1c70:419a JOIN :#esoteric < 1468964618 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there, this way (prefer the deepest head) the Hydra dies much faster... http://int-e.eu/~bf3/tmp/hydra.xhtml < 1468964782 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Another way to make it die faster is to make the auto-clicked 7.5 times faster. < 1468964802 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :clicker < 1468964948 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and http://int-e.eu/~bf3/tmp/hydra2.xhtml is faster still. < 1468964973 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: did you pull that number out of your hat at random? < 1468964985 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: what's the difference? does it cheat? < 1468965004 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wob_jonas: no, it just uses a different strategy to select the heads to cut < 1468965014 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: No, I compared "autoInterval = window.setInterval(autoPlay,750);" with "autoInterval = window.setInterval(autoPlay,100);" < 1468965053 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: okay. it seemed a bit unlikely indeed :) < 1468965088 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: one sort of cheating strategy to defeat the hydra faster is to start by clicking on "Restart" until you get a short enough starting hydra < 1468965135 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :meanwhile... The hydra currently has: 28 segments, 8 heads, and depth 7. Hercules has cut 1328805 heads so far. < 1468965149 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(that's the leftmost strategy still going at 200 chops per second) < 1468965209 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Argh! I've forgotten English grammar! < 1468965236 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :\oren\: are you sure you have ever known it? < 1468965254 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I just legit wrote "This a circular dependency isn't?" < 1468965320 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it should have been "isn't this a circular dependency" < 1468965434 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :but it didn't even look wrong until after I sent the email < 1468965460 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48942&oldid=48941 5* 03Darkrifts 5* (+245) 10/* Misc */ < 1468965473 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :package "isn't this a circular dependency?" depends on "circdep" < 1468965488 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :package "circdep" depends on "isn't this a circular dependency?" < 1468965536 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`? recursion < 1468965542 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :You might expect a reference to recursion here, but to make it interesting you'll actuallSTACK OVERFLOW < 1468965554 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? corecursion < 1468965555 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION mutters to himself "english is never SOV, english is never SOV"
< 1468965557 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :corecursion? ¯\(°​_o)/¯ < 1468965581 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :\oren\: it never is < 1468965585 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Except when it is. < 1468965596 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :that't SV with no O < 1468965660 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: I hope I didn't do anything too embarrassing in that Javascript code :) < 1468965703 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: I didn't read it. < 1468965707 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should I? < 1468965719 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no? < 1468965734 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can send me a CL if you want to. < 1468965746 0 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: reboot < 1468965779 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? CL < 1468965780 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :CL? ¯\(°​_o)/¯ < 1468965799 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :computational logic, combinatory logic... I'm confused. < 1468965805 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :checklist? < 1468965808 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq: Is there a general-purpose word for a CL? < 1468965826 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :computational linguistics < 1468965835 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07FOSCode14]]4 10 02https://esolangs.org/w/index.php?diff=48943&oldid=48942 5* 03Darkrifts 5* (+235) 10/* Documentation */ < 1468965847 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :capslock centiliter < 1468965879 0 :FireFly!~firefly@firefly.xen.prgmr.com PRIVMSG #esoteric :Common Lisp? < 1468965889 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nice number: The hydra currently has: 0 segments, 0 heads, and depth 0. Hercules has cut 555 heads so far. < 1468965924 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nice number: 16 < 1468965936 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so smooth < 1468965953 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: It means "Change List". In this case a CL contains code to be reviewed before committing. < 1468965961 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it can also mean code that has already been reviewed and committed. < 1468965986 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oh, a changelog < 1468965999 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not really. < 1468966146 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :shachaf: It matches somewhat to the git concept of "commit". < 1468966156 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Somewhat. < 1468966168 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Particularly as used in Linux kernel development. < 1468966179 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But the concept of code review doesn't really exist in git in the same way. < 1468966181 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :At least on its own. < 1468966185 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Yeah. < 1468966193 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which is a shame. < 1468966223 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't appreciate code review until I used Google's system. < 1468966225 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Though to be fair, that particular bit isn't part of P4's CLs, just google3's. < 1468966227 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now I think it's essential. < 1468966243 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq: whoa whoa whoa, you mean google[redacted]'s < 1468966260 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :Nah, that much is public knowledge. < 1468966291 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it is now. < 1468966323 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :wait, both of you worked at google? < 1468966329 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :It already was. I saw the presentation that was approved by legal and given to a bunch of students at RIT. < 1468966331 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I didn't know < 1468966332 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :wob_jonas: Yes. < 1468966357 0 :atrapado!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1468966380 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :how many people here are known to have worked there? < 1468966390 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :3 or 4, I think? < 1468966403 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do you count interns and contractors? < 1468966413 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How about people who are no longer in this channel? < 1468966462 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: dunno < 1468966640 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hydraz: What do you make of int-e's strategy? < 1468966648 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :do we know whether any of you worked on the super-secret military or medicine industry research projects that are so secret that you're not even allowed to say you're working on them? < 1468966658 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`welcome hydraz < 1468966662 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hydraz: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) < 1468966677 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1468966678 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wob_jonas: i can neither confirm nor deny htdnh < 1468966704 0 :hydraz!matheus@unaffiliated/demhydraz PRIVMSG #esoteric :Whose stategy now? < 1468966719 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Hmm, I don't think I've seen "htdnh" in here before. < 1468966741 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Though it might be the most accurate of all the acronyms in that family. < 1468966746 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hydraz: int-e < 1468966750 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bertram < 1468966778 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :strangely as a change I'm now working (not at google) on a project where the project itself is quite non-secret, so much that you can probably even find out what project it is with some clever internet searches < 1468966787 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :this is the first such project for a while < 1468966793 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :all the previous ones were much more secret < 1468966811 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :of course the details of this one are secret too, but not the project goals themselves < 1468966825 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is the project? < 1468966899 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :shachaf: just because I'm allowed to tell doesn't mean I want to tell < 1468966926 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That sounds like a secret. < 1468966940 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :http://www.nerdcore.de/2016/07/19/live-action-futurama-trailer/ wat < 1468966947 0 :tromp_!~tromp@ool-944bc34f.dyn.optonline.net QUIT :Ping timeout: 258 seconds < 1468967144 0 :hydraz!matheus@unaffiliated/demhydraz PRIVMSG #esoteric :The best way to kill a hydra is to flatten that tree into a list then kill it using foldr. < 1468967188 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hydraz: yes, but that's not how Hercules kills the hydra < 1468967226 0 :hydraz!matheus@unaffiliated/demhydraz PRIVMSG #esoteric :He traverses it depth-first parallely, I know. < 1468967237 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hydraz: this time, Hercules wants a solution that king Euthingy accepts < 1468967265 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Indian variant of the legend is much worse. < 1468967286 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's why it's called hydrabad < 1468967307 0 :hydraz!matheus@unaffiliated/demhydraz PRIVMSG #esoteric :I assume this Euthingy fella doesn't fork enough to see a parallel solution as acceptable? < 1468967421 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Can the hydra dodge/evade? < 1468967438 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Does it have invincibility frames? < 1468967449 0 :hydraz!matheus@unaffiliated/demhydraz PRIVMSG #esoteric :Yes and I don't think so < 1468967670 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hydrazello < 1468967892 0 :Guest7241!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1468968407 0 :AnotherTest!~turingcom@2a02:1811:d22:cc00:4c63:9faf:6e3a:693e QUIT :Quit: ZNC - http://znc.in < 1468968558 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :so http://www.madore.org/~david/math/hydra0.xhtml is the ordinary hydra, and http://www.madore.org/~david/math/hydra.xhtml is the dire hydra < 1468968631 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the ordinary hydra looks so tame now... < 1468968667 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :
ACTION cuddles the hydra~
< 1468968671 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(well, one reason is that its depth doesn't increase) < 1468968705 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :killed it in 99 steps < 1468968719 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :poor hydra :( < 1468968727 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's revenge time < 1468968738 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :yes < 1468968739 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :it is < 1468968748 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :
ACTION gets out a head-removal device, and aims it in izabera's general direction
< 1468968758 0 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :D: < 1468968793 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :You will pay for your crimes against the ** As gamemanj did not know, the device was aimed backwards. ** < 1468968796 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: the gcd dragon is much tamer. That dragon is parametrized by two relative prime positive integers m and n. It starts with exactly one head. In each step, you can use an acid sword to cut off m heads (but only if the dragon has at least m head), or an ordinary sword to cut off one head, but in that case n+1 heads immediately grow (even if you < 1468968796 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric : just cut off the last head). < 1468968873 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net PRIVMSG #esoteric :Well, on the other hand, at least it can never sustain >m heads. < 1468969000 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wob_jonas: ah, but the gcd dragon can survive an unskilled attack forever... the hydra can't. < 1468969020 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: yes, that's true < 1468969023 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(assuming it has at least two heads initially) < 1468969819 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :When you cut a dire neck, that permanently decreases the number of possible consecutive dire necks. < 1468969868 0 :gamemanj!~gamemanj@cpc84817-aztw28-2-0-cust142.18-1.cable.virginm.net QUIT :Ping timeout: 258 seconds < 1468969923 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :similarly, the regualr hydra without dire necks can never increase in height < 1468969934 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :this limits its growth < 1468970044 0 :boily!~alexandre@cable-192.222.252.9.electronicbox.net JOIN :#esoteric < 1468970090 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Also, on the regualr hydra, the maximum number of heads attached to any node on the second highest level, can never be increased < 1468970199 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :so perhaps a good strategy would be to seek to ratchet down these invariants < 1468970253 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :attack the dire heads. attack heads with the most brothers first. attack the highest heads. < 1468970292 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :\oren\: I thought a good strategy would be to just look for a ready-made proof in articles referenced by http://www.madore.org/~david/weblog/d.2008-03-27.1537.html or http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html < 1468970374 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The leftmost hydra has survived 1.5 million chops... I stopped there. < 1468970394 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah you need to attack highest heads < 1468970423 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yeah, I automated that (see above) and it works pretty well < 1468970676 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the question is which rules should be evaluated first? < 1468970877 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :dire heads > highest heads > heads with most siblings? < 1468970896 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :highest heads > dire heads > heads with most siblings? < 1468970994 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :my best attempt weighs dire edges by 2 and normal edges by 1 and takes the (leftmost) deepest one according to that measure... but mainly it's just easy to implement and slightly better than the version without weights. < 1468971103 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :int-e: just try forking the staet, deleting each head, playing the game from there recursively, see which one leads to the fastest completion of the game, and delete that head < 1468971123 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's possible that the optimal strategy would start with creating a very wide subtree (which in Madore's implementation causes growth to become very much restricted) and then prune the rest before trimming that subtree < 1468971155 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wob_jonas: how about you implement that and come back here with the results? < 1468971188 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION needs to sleep... and anyway it's approaching the point where this is no longer fun.
< 1468971210 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hmm, are we on browsers where the javascript random function isn't cryptographically secure? what if you break that and roll until you believe the hydra will roll favorably for you < 1468971240 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :wob_jonas: the code comes with its own random number generator... I guess you could peek at its state < 1468971245 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the number of sibling dire heads can only indrease when you kill O-o=o heads < 1468971268 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but good night < 1468971279 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :yes, good night < 1468971348 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1468971525 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :which imples that dire heads first might be the primary rule < 1468971639 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1468971811 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :actually, you might want to kill the LOWEST dire heads first < 1468971823 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :they have the most potential < 1468971948 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1468972147 0 :deltab_!~deltab@ds6266.dedicated.turbodns.co.uk JOIN :#esoteric < 1468972211 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, something along the lines of computing the heads that are most dangerous and attakcing them < 1468972320 0 :Sgeo!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :I assumed the ping was for olist? < 1468972464 0 :adu!~ajr@pool-71-178-208-237.washdc.fios.verizon.net JOIN :#esoteric < 1468972708 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hmm yeas... "seek to cut the lowest dire neck segment in the tree"