< 1525219295 431608 :pikhq!~pikhq@c-73-181-126-9.hsd1.co.comcast.net QUIT :Ping timeout: 240 seconds < 1525219575 849847 :xkapastel!uid17782@gateway/web/irccloud.com/x-zsufalksdibbwjfw JOIN :#esoteric < 1525219792 679073 :pikhq!~pikhq@c-73-181-126-9.hsd1.co.comcast.net JOIN :#esoteric < 1525219919 770023 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 276 seconds < 1525220010 29219 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525221048 61933 :wob_jonas!b03f18f8@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.248 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1525223667 163280 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1525223829 126947 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 263 seconds < 1525223833 368195 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1525226021 808254 :Guest1_!~textual@2601:644:8201:64cb:9c:54dc:4a21:2ea3 JOIN :#esoteric < 1525226217 287986 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`aglist < 1525226217 963402 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :aglist: b_jonas shachaf < 1525226569 23648 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`python -cprint "Test" < 1525226569 954697 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Test < 1525227177 884751 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 264 seconds < 1525227273 466336 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525227548 460345 :moei!~moei@softbank221078042071.bbtec.net JOIN :#esoteric < 1525227928 588652 :Guest1_!~textual@2601:644:8201:64cb:9c:54dc:4a21:2ea3 PRIVMSG #esoteric :`python -cprint(__import__('os').getcwd())` < 1525227929 428736 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​ File "", line 1 \ print(__import__('os').getcwd())` \ ^ \ SyntaxError: invalid syntax < 1525227939 784841 :Guest1_!~textual@2601:644:8201:64cb:9c:54dc:4a21:2ea3 PRIVMSG #esoteric ::( < 1525227944 303779 :Guest1_!~textual@2601:644:8201:64cb:9c:54dc:4a21:2ea3 NICK :Downgoat < 1525227946 306418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` pwd < 1525227947 175669 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​/hackenv < 1525227948 457839 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hth < 1525228003 787514 :Downgoat!~textual@2601:644:8201:64cb:9c:54dc:4a21:2ea3 PRIVMSG #esoteric :`` sudo apt-get install nodejs && npm i -g cheddar-lang && cheddar -c "print 'foo'" < 1525228004 578963 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :sudo: effective uid is not 0, is /usr/bin/sudo on a file system with the 'nosuid' option set or an NFS file system without root privileges? < 1525228179 473179 :Downgoat!~textual@2601:644:8201:64cb:9c:54dc:4a21:2ea3 PRIVMSG #esoteric :well thats disappointing < 1525228191 627773 :Downgoat!~textual@2601:644:8201:64cb:9c:54dc:4a21:2ea3 PRIVMSG #esoteric :does the bot spawn a new container or something every command? < 1525228199 53038 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1525228207 707351 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`relcome Downgoat < 1525228209 423249 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​02Downgoat: 06Welcome 13to 04the 07international 08hub 09for 02esoteric 06programming 13language 04design 07and 08deployment! 09For 02more 06information, 13check 04out 07our 08wiki: 09. 02(For 06the 13other 04kind 07of 08esoterica, 09try 02#esoteric 06on 13EFnet 04or 07DALnet.) < 1525228222 869403 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oops, shouldn't've reled. < 1525228228 758926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? hackego < 1525228229 861755 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. HackEgo is the slowest bot in all Mexico! < 1525228232 253962 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? hackeso < 1525228233 447994 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :HackEso is almost but not quite unlike HackEgo. < 1525228301 673382 :Downgoat!~textual@2601:644:8201:64cb:9c:54dc:4a21:2ea3 PRIVMSG #esoteric :`help < 1525228301 935430 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch [] " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1525228316 754097 :Downgoat!~textual@2601:644:8201:64cb:9c:54dc:4a21:2ea3 PRIVMSG #esoteric :interesting < 1525228329 940852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That link is broken. < 1525228337 731383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`cat bin/help < 1525228338 403657 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :​\? "$(echo "$1" | sed 's/^[^`]/`&/')" < 1525228368 973023 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think that one is built-in? < 1525228503 705439 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@tell fizzie to fix the URL in `help twh < 1525228503 782998 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1525229647 954091 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525232396 116303 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :Downgoat: there also isn't any network access from the sandbox < 1525232424 296153 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`wget < 1525232425 627430 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Sorry, HackEgo's sandbox currently has no web access. However, see `? `fetch < 1525232456 417456 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that was slow... < 1525232458 427615 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`wget < 1525232459 655718 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Sorry, HackEgo's sandbox currently has no web access. However, see `? `fetch < 1525232471 86893 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :maybe just coming up < 1525234202 288985 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1525235151 956216 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1525236192 463475 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... < 1525238663 820970 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you know you're doing good haskell golfing when you're turning "" into {-#LANGUAGE CPP#-}(\(_:_:_:_:_:_:_:_:z)->z)__TIME__ < 1525238702 612296 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(there _might_ be some slight restrictions applying, like not being able to use the character ") < 1525238727 607898 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1525238766 516013 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(or =, or any lower case vowel, to mention some other important ones) < 1525238826 819322 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the upshot being, that you can actually write 3 haskell quines that have no common characters. < 1525239058 129712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: [] isn't permitted either? < 1525239068 767174 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no, that was used in quine 2 < 1525239387 54282 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quine 1, incidentally, is putStr`mappend`print`id`"putStr`mappend`print`id`" < 1525239396 297396 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the others are quite a bit longer < 1525239421 605898 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is this a programming pooch code goldfish? < 1525239427 93992 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yep < 1525239443 131466 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i haven't posted it yet, though, needs some more golfing < 1525239509 256144 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I posted another M: https://math.stackexchange.com/questions/2762669/how-to-think-of-the-trace-of-a-linear-map-as-connecting-its-output-back-to-its-o < 1525239516 864121 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe you know? < 1525239792 848645 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :nope < 1525239800 874377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was going to suggest any number of empty programs. < 1525239808 752773 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But apparently that's a forbidden loophole. < 1525239820 176292 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :funny that < 1525239845 120219 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :even one character is forbidden < 1525239887 475844 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :two is a bit borderline < 1525240555 552598 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: a haskell quine requires main= hth < 1525240587 171218 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1525241043 811853 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: this challenge allows function submissions < 1525241074 419814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it does. < 1525241077 351298 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which i'm interpreting to include IO actions, although i do hopefully have a workaround if someone quibbles on that. < 1525241113 871775 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You have the Haskell Report's support for that interpretation. < 1525241121 733734 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :good, good < 1525241135 617053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://www.haskell.org/onlinereport/haskell2010/haskellch7.html#x14-1430007.1 < 1525241406 112689 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`h testing < 1525241407 135365 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :tehstihng < 1525241603 144810 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1525241782 439427 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :Ping timeout: 265 seconds < 1525241971 987152 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525242101 490479 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1525242696 128804 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1525243401 443290 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1525244953 317383 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1525245229 486292 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1525245355 993550 :xkapastel!uid17782@gateway/web/irccloud.com/x-zsufalksdibbwjfw QUIT :Quit: Connection closed for inactivity < 1525246954 245983 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1525247009 410135 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 248 seconds < 1525247102 365969 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525247131 757593 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1525247575 688637 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1525247619 709140 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1525247645 670303 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1525250391 296861 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1525252661 522394 :izabera!~izabera@133.57.227.35.bc.googleusercontent.com QUIT :Changing host < 1525252661 598877 :izabera!~izabera@unaffiliated/izabera JOIN :#esoteric < 1525255547 341878 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 256 seconds < 1525255645 171866 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525256169 54673 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru JOIN :#esoteric < 1525256764 334469 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1525257446 873438 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`5 w < 1525257449 577536 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1/2:olist//olist is update notification for the webcomic Order of the Stick. http://www.giantitp.com/comics/ootslatest.html \ welcome.is//Halló og verið velkomin á hinn alþjóðlegann miðpunkt fyrir esoteríska forritunarmálshönnun og dreifingu. Meiri upplýsingar er hægt að nálgast á wikinu . (Fyrir annarskonar esoterík prufið #esoteric á EFnet eða DALnet.) \ e//e is a freenode admin. e is not known to be an Agor < 1525257626 975602 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`n < 1525257627 751748 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :2/2:a player. \ beer//Beer never ships from Québec. \ cooperate//"Cooperate" is a common misspelling of "cōöperāte". < 1525257720 435577 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`le/rn beer//Beer always ships from strange lands. It just has to be thawed first. < 1525257724 140644 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Relearned 'beer': Beer always ships from strange lands. It just has to be thawed first. < 1525258652 546843 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: UNBELIEVABLE CHICKEN < 1525260109 353589 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1525260833 20754 :lldd_!~atrapado@unaffiliated/atrapado JOIN :#esoteric < 1525265818 222563 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru QUIT :Quit: gone completely :o < 1525266026 480178 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1525266054 342086 :doesthiswork!~Adium@207.55.82.87 QUIT :Client Quit < 1525267419 493265 :xkapastel!uid17782@gateway/web/irccloud.com/x-nowfpvvdbmozcwbj JOIN :#esoteric < 1525267773 842629 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru JOIN :#esoteric < 1525269203 428569 :myname!~myname@ks300980.kimsufi.com PRIVMSG #esoteric :"In mathematics, two objects [...] are called cryptomorphic if they are equivalent but not obviously equivalent." i should bring that one up more often in proofs < 1525270273 568809 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1525272825 143359 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 264 seconds < 1525272910 210268 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525273740 330461 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net QUIT :Quit: ZNC 1.6.5+deb2build2 - http://znc.in < 1525273774 151673 :danieljabailey!~danieljab@cpc75709-york6-2-0-cust725.7-1.cable.virginm.net JOIN :#esoteric < 1525274761 755060 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1525275146 466489 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1525275164 160272 :xkapastel!uid17782@gateway/web/irccloud.com/x-nowfpvvdbmozcwbj QUIT :Quit: Connection closed for inactivity < 1525275297 264795 :xkapastel!uid17782@gateway/web/irccloud.com/x-ylozwdgzfuhrgsbc JOIN :#esoteric < 1525275770 707010 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1525276405 870751 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1525276430 252340 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1525277564 702538 :APic!apic@apic.name QUIT :Ping timeout: 268 seconds < 1525277635 481105 :LKoen!~LKoen@2a01:e35:2eed:a430:9c0:1c2e:93d7:ef6d JOIN :#esoteric < 1525277637 384792 :APic!~apic@apic.name JOIN :#esoteric < 1525280229 453015 :grumble!~grumble@freenode/staff/grumble NICK :xn--3s9h < 1525280460 480151 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1525282469 406323 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com QUIT :Ping timeout: 265 seconds < 1525282869 96815 :impomatic!~digital_w@host86-144-18-81.range86-144.btcentralplus.com QUIT :Ping timeout: 264 seconds < 1525283029 640961 :xn--3s9h!~grumble@freenode/staff/grumble QUIT :Read error: Connection reset by peer < 1525283071 710367 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1525283227 231072 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com JOIN :#esoteric < 1525284635 138070 :LKoen!~LKoen@2a01:e35:2eed:a430:9c0:1c2e:93d7:ef6d 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.” < 1525284669 108389 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 264 seconds < 1525284746 812949 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525286357 494322 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net QUIT :Quit: Going offline, see ya! (www.adiirc.com) < 1525287789 897070 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1525287982 999294 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Quit: reboot < 1525288469 109320 :grumble!~grumble@freenode/staff/grumble QUIT :Quit: 🦄 < 1525288502 528248 :grumble!~grumble@freenode/staff/grumble JOIN :#esoteric < 1525289281 435198 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 248 seconds < 1525289491 349096 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric > 1525291225 62522 PRIVMSG #esoteric :14[[07Grawlix14]]4 M10 02https://esolangs.org/w/index.php?diff=54961&oldid=54871 5* 03DMC 5* (-38) 10/* Description */ > 1525292537 289764 PRIVMSG #esoteric :14[[07Talk:Alphabet Stew14]]4 N10 02https://esolangs.org/w/index.php?oldid=54962 5* 03DMC 5* (+117) 10Created page with "[[User:DMC]] I think somebody, somewhere, has probably created a language called Alphabet Soup. So I didn't use that." < 1525294227 355999 :lldd_!~atrapado@unaffiliated/atrapado QUIT :Quit: Leaving < 1525294944 319644 :arseniiv_!~arseniiv@185.131.67.103 JOIN :#esoteric < 1525295157 385983 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru QUIT :Ping timeout: 256 seconds < 1525295189 405967 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1525295299 430262 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru JOIN :#esoteric < 1525295312 172601 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 260 seconds < 1525295361 390345 :arseniiv_!~arseniiv@185.131.67.103 QUIT :Ping timeout: 256 seconds < 1525295423 680413 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 276 seconds < 1525295485 429776 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525296797 482776 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1525297239 505774 :brandonson!~brandon@208.91.114.1 QUIT :Quit: leaving < 1525297355 413877 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525297580 179807 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep < 1525298487 436993 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1525299475 352275 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 256 seconds < 1525300412 884502 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1525300511 582655 :chris120!~chris120@adsl-72.91.140.90.tellas.gr JOIN :#esoteric < 1525300744 403166 :aloril!~aloril@80.246.146.6 QUIT :Ping timeout: 260 seconds < 1525300781 869375 :chris120!~chris120@adsl-72.91.140.90.tellas.gr QUIT :Quit: Ex-Chat < 1525300843 12083 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: nostril. < 1525300843 79483 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: also, as described in this < 1525300854 550612 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :fungot: your nostrils are very describable. < 1525300854 627146 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: a notice of delegation, the > 1525302624 140510 PRIVMSG #esoteric :14[[07Procedural Footnote Language14]]4 10 02https://esolangs.org/w/index.php?diff=54963&oldid=54959 5* 03Ais523 5* (+1227) 10computational class < 1525302651 44002 :int-e!~noone@int-e.eu PART #esoteric :"KALEIDOSCOPIC CHICKEN" < 1525302651 141511 :int-e!~noone@int-e.eu JOIN :#esoteric < 1525302674 498509 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :int-ello! < 1525302778 781756 :int-e!~noone@int-e.eu PRIVMSG #esoteric :lambdabot: you're more trouble than you're worth, you know that? < 1525302924 440985 :fizzie`!fis@unaffiliated/fizzie JOIN :#esoteric < 1525303007 375794 :fizzie!fis@unaffiliated/fizzie QUIT :*.net *.split < 1525303039 774295 :int-e!~noone@int-e.eu PRIVMSG #esoteric :lambdabot: I mean look at this wonderful build failure, https://travis-ci.org/lambdabot/lambdabot/jobs/374182215 < 1525303070 350100 :int-e!~noone@int-e.eu PRIVMSG #esoteric :fungot: rub it in < 1525303070 517590 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :int-e: ( -v) when a rule requires a player assigns a judgement to a slc is that card's holder and holds that office < 1525303127 933980 :lambdabot!~lambdabot@haskell/bot/lambdabot QUIT :Remote host closed the connection < 1525303133 754096 :int-e!~noone@int-e.eu PRIVMSG #esoteric :boily: welcome to the twilight zone. < 1525303135 743290 :int-e!~noone@int-e.eu PRIVMSG #esoteric :huh < 1525303182 877126 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I did not do that to lambdabot. The log reports a ping timeout. < 1525303253 42546 :fizzie`!fis@unaffiliated/fizzie NICK :fizzie < 1525303275 93904 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1525303300 828129 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@bot < 1525303307 120512 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::) < 1525303383 187444 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru PRIVMSG #esoteric :thank spirits there’s no mubot or nubot (that especially) < 1525303424 494770 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru PRIVMSG #esoteric :lest the channel would become codata < 1525303491 195916 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru PRIVMSG #esoteric :OTOH a like infinity : νx.1+x, infinity = inr inr inr … < 1525303627 720176 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru PRIVMSG #esoteric :it’s charming, and extended naturals (νx.1+x) allows to abstract over timeout or “step timeout” in evaluators/launchers/etc.: you can specify a finite timeout/step count, or you can specify ∞, and the code of the evaluating thing would be the same, < 1525303679 115600 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru PRIVMSG #esoteric :and it will be using a destructor of νx.1+x, prec: νx.1+x → 1 + (νx.1+x) < 1525303724 234634 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru PRIVMSG #esoteric :so either you finally prec to ∗ : 1 (step zero reached, there is no more) or you prec infinitely < 1525303731 813402 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru PRIVMSG #esoteric :as I say, charming < 1525303901 49388 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru PRIVMSG #esoteric :oh, also could I say something to some bot here to them reminding me to look at the logs when I’m back? < 1525303965 481064 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1525304255 411264 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru QUIT :Ping timeout: 240 seconds < 1525304735 431567 :Melvar!~melvar@dslb-002-203-000-049.002.203.pools.vodafone-ip.de QUIT :Ping timeout: 240 seconds < 1525304763 401041 :Melvar!~melvar@dslb-002-203-000-049.002.203.pools.vodafone-ip.de JOIN :#esoteric