< 1581467305 945784 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1581467607 282448 :xkapastel!uid17782@gateway/web/irccloud.com/x-dnpazkvijsmolzcg JOIN :#esoteric < 1581469351 971608 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION somewhat hopes that Agatha will reject this hare-brained scheme, after which it is revealed the great Akhnokanth knew it all and was testing them. also, those little hovering fishes were listening to everything they said. < 1581469471 987483 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this may be due to my visceral revulsion against drawn-out embarassment-based comedy. < 1581469602 565174 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :* +r < 1581470007 189233 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Oh, phew, not an early update. < 1581470089 304485 :int-e!~noone@int-e.eu PRIVMSG #esoteric :She's up against the Foglios though. I don't think she has much of a chance, unless there's an even more embarrassing scheme to avoid the current one. < 1581470332 596365 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`learn The password of the month is always set on the 12th of the month. < 1581470335 439820 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Relearned 'password': The password of the month is always set on the 12th of the month. < 1581470386 996093 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Seriously?! < 1581470394 766982 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`revert < 1581470395 907567 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :Done. < 1581470428 972633 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`undo 12307 < 1581470432 188514 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :patching file wisdom/password < 1581470453 75096 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's enough for me. < 1581470476 395282 :shachaf!~shachaf@unaffiliated/shachaf PART #esoteric :"everything is terrible" < 1581470515 416477 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm. That went well. < 1581471051 928791 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: aww < 1581471077 132090 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru QUIT :Ping timeout: 272 seconds < 1581471116 122861 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1581471151 22778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf was here? < 1581471172 762257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? password < 1581471174 130446 :HackEso!~h@unaffiliated/fizzie/bot/hackeso PRIVMSG #esoteric :The password of the month is leapfrogging rats. < 1581471209 447207 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Well, for 15 hours. < 1581471236 424061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: those little hovering fishes can still be listening to everything, right? < 1581471409 426516 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Hmm, hovering fish? < 1581471445 400208 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :either they're hovering, or akhnokanth's chamber in some kind of superposition between air and water. < 1581471451 608653 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*is in < 1581471488 409735 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't know what you're talking about. < 1581471683 532438 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. it seems i misremembered them getting inside the submarine < 1581471886 690086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :last panels here, although then they were still careful what they were saying http://www.girlgeniusonline.com/comic.php?date=20200129 < 1581471983 986029 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also i just refound http://www.giantitp.com/comics/oots0301.html while archive trawling. thor's mention of that one world seems to have been a callback. < 1581472626 958511 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(here http://www.giantitp.com/comics/oots1140.html) < 1581472649 926333 :tromp_!~tromp@2a02:a210:ca3:2800:75bb:cfc7:5e76:3634 QUIT :Ping timeout: 246 seconds < 1581472719 859816 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1581472727 393018 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a sequel, now that i compare them < 1581473246 99976 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1581473681 789245 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Oh I guess the comment in goodstein.hs is a good starting point. <-- is that the one that was made to show goodstein can be calculated in System F? < 1581473732 624448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :after we discussed how that can do anything in second order logic < 1581473738 972171 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc < 1581473747 651370 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Read error: Connection timed out < 1581476353 757887 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: Quite possibly. < 1581478298 908943 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 240 seconds < 1581478311 213724 :xkapastel!uid17782@gateway/web/irccloud.com/x-dnpazkvijsmolzcg QUIT :Quit: Connection closed for inactivity < 1581478330 655891 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1581479591 638348 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1581479665 45030 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1581480235 127814 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Ping timeout: 272 seconds < 1581480909 658253 :int-e!~noone@int-e.eu PRIVMSG #esoteric :oerjan: the file is here, btw: https://github.com/tromp/AIT/blob/master/goodstein.hs (and I just added another comment which may be useful) < 1581481900 787590 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1581482232 266416 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric < 1581482545 876457 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1581483544 360482 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Read error: Connection timed out < 1581483965 413361 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1581484719 520893 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1581484805 832414 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1581485702 457785 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1581485841 322017 :tromp!~tromp@2a02:a210:ca3:2800:d956:dc6b:20ba:57e8 JOIN :#esoteric < 1581486847 269346 :tromp!~tromp@2a02:a210:ca3:2800:d956:dc6b:20ba:57e8 QUIT :Ping timeout: 240 seconds < 1581487113 136146 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 272 seconds < 1581487824 920721 :xkapastel!uid17782@gateway/web/irccloud.com/x-ytrxkblmgxcmhcav JOIN :#esoteric < 1581488189 200879 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net JOIN :#esoteric < 1581488445 56507 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 265 seconds < 1581488793 211186 :erdic!~erdic@unaffiliated/motley QUIT :Ping timeout: 265 seconds < 1581488852 747819 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1581490644 633623 :diverger!~div@180.149.231.124 QUIT :Ping timeout: 268 seconds < 1581490656 821813 :diverger!~div@81.19.209.53 JOIN :#esoteric < 1581491436 751519 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1581495286 857232 :tramplefoot!~Tramplefo@134.3.148.125 JOIN :#esoteric < 1581495334 105686 :tromp_!~tromp@2a02:a210:ca3:2800:6162:f62c:f421:8296 JOIN :#esoteric < 1581495431 123529 :tromp!~tromp@ip-213-127-95-129.ip.prioritytelecom.net QUIT :Read error: Connection reset by peer < 1581495872 564296 :tramplefoot!~Tramplefo@134.3.148.125 QUIT :Quit: Leaving. < 1581499421 720273 :b_jonas!~x@catv-176-63-13-184.catv.broadband.hu QUIT :Quit: leaving < 1581499697 217938 :APic!apic@apic.name QUIT :Ping timeout: 265 seconds < 1581500539 286804 :APic!apic@apic.name JOIN :#esoteric < 1581502464 454629 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Read error: Connection reset by peer < 1581502637 190972 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1581503541 690789 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1581503557 625676 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 268 seconds < 1581503632 865462 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1581504722 866650 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1581504782 861462 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1581505143 261737 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1581506280 77747 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com QUIT :Ping timeout: 265 seconds < 1581506439 924089 :egelbot!~egelbot@ip56522cc1.speed.planet.nl QUIT :Remote host closed the connection < 1581506654 988212 :xkapastel!uid17782@gateway/web/irccloud.com/x-ytrxkblmgxcmhcav QUIT :Quit: Connection closed for inactivity < 1581506696 120755 :egelbot!~egelbot@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1581506698 725947 :egelbot!~egelbot@ip56522cc1.speed.planet.nl QUIT :Remote host closed the connection < 1581506751 12661 :egelbot!~egelbot@ip56522cc1.speed.planet.nl JOIN :#esoteric < 1581509772 922486 :arseniiv!~arseniiv@95.105.12.17.dynamic.ufanet.ru JOIN :#esoteric < 1581513325 723803 :aloril!~aloril@mobile-access-2e8466-240.dhcp.inet.fi QUIT :Ping timeout: 268 seconds < 1581514143 394876 :aloril!~aloril@mobile-access-b0485e-98.dhcp.inet.fi JOIN :#esoteric < 1581515858 874657 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1581518359 264840 :imode!~linear@unaffiliated/imode JOIN :#esoteric < 1581519695 707140 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1581520355 265792 :imode!~linear@unaffiliated/imode QUIT :Ping timeout: 260 seconds < 1581521655 188601 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 272 seconds < 1581521691 370943 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1581521842 314922 :joast!~rick@cpe-98-146-112-4.natnow.res.rr.com JOIN :#esoteric < 1581522309 75040 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1581522538 722617 :sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 268 seconds < 1581522613 274984 :rain1!~debian@unaffiliated/rain1 JOIN :#esoteric < 1581523876 309888 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1581523948 349843 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1581523983 678891 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Ping timeout: 240 seconds < 1581524023 327666 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Ping timeout: 260 seconds < 1581524095 673147 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos JOIN :#esoteric < 1581525802 4716 :rain1!~debian@unaffiliated/rain1 QUIT :Quit: Lost terminal < 1581525873 948618 :wib_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Remote host closed the connection > 1581528175 76273 PRIVMSG #esoteric :14[[07StupidStackLanguage14]]4 10 02https://esolangs.org/w/index.php?diff=69833&oldid=69593 5* 03Lebster 5* (+9) 10/* Operations */ > 1581528198 354476 PRIVMSG #esoteric :14[[07StupidStackLanguage14]]4 M10 02https://esolangs.org/w/index.php?diff=69834&oldid=69833 5* 03Lebster 5* (-1) 10/* Print the Fibonacci Sequence */ < 1581529885 360540 :kspalaiologos!~kspalaiol@176.221.122.71 JOIN :#esoteric > 1581531453 347011 PRIVMSG #esoteric :14[[07Golden sunrise14]]4 10 02https://esolangs.org/w/index.php?diff=69835&oldid=69766 5* 03Hakerh400 5* (+165) 10/* Interpreters */ Added random source code generator link > 1581531495 114225 PRIVMSG #esoteric :14[[07Golden sunrise14]]4 M10 02https://esolangs.org/w/index.php?diff=69836&oldid=69835 5* 03Hakerh400 5* (+5) 10/* Interpreters */ < 1581533180 67529 :kritixilithos!~kritixili@gateway/tor-sasl/kritixilithos QUIT :Quit: quit < 1581533507 324608 :LKoen!~LKoen@81.255.219.130 JOIN :#esoteric < 1581535191 172752 :sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric > 1581536668 387175 PRIVMSG #esoteric :14[[07Marz14]]4 10 02https://esolangs.org/w/index.php?diff=69837&oldid=68596 5* 03SoundOfScripting 5* (+5171) 10Fleshed out Numbers and added Booleans. Minor other edits < 1581536718 686391 :ais523!~ais523@unaffiliated/ais523 QUIT :Quit: sorry for my connection < 1581537250 154716 :LKoen!~LKoen@81.255.219.130 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.” < 1581539929 259286 :b_jonas!~x@catv-176-63-14-63.catv.broadband.hu JOIN :#esoteric < 1581540736 317220 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric < 1581541368 975828 :kspalaiologos!~kspalaiol@176.221.122.71 QUIT :Quit: Leaving > 1581541425 785262 PRIVMSG #esoteric :14[[07PlusOrMinus14]]4 M10 02https://esolangs.org/w/index.php?diff=69838&oldid=69271 5* 03PythonshellDebugwindow 5* (-3) 10/* Commands */ > 1581541490 71372 PRIVMSG #esoteric :14[[07Exp14]]4 M10 02https://esolangs.org/w/index.php?diff=69839&oldid=67456 5* 03PythonshellDebugwindow 5* (-10) 10/* "Hello World" (all caps) */ < 1581541887 387665 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 260 seconds > 1581541903 630122 PRIVMSG #esoteric :14[[07Exp14]]4 M10 02https://esolangs.org/w/index.php?diff=69840&oldid=69839 5* 03PythonshellDebugwindow 5* (+185) 10/* Expressions */ < 1581545392 865266 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1581551000 627224 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca QUIT :Disconnected by services < 1581551006 410667 :zzo38!~zzo38@host-24-207-50-7.public.eastlink.ca JOIN :#esoteric < 1581551041 959008 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 252 seconds