< 1553731374 869208 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :man < 1553731381 744082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so much work put into the HackEso ux < 1553731428 847952 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1553731508 891137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :one day archeologists will find its remains and wonder why the rest of the 21st century internet's ux wasn't as sane < 1553732162 237207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my current favorite norwegian comic strip https://www.dagbladet.no/tegneserie/dunce/ < 1553732270 259948 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(admittedly i'm not really following any other than those at that website) < 1553733401 842581 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1553733466 774317 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1553733577 107675 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 245 seconds < 1553733611 631373 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life < 1553733672 726449 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 250 seconds < 1553735121 187614 :Remavas!~Remavas@unaffiliated/remavas QUIT :Quit: Leaving < 1553735546 613852 :LKoen!~LKoen@2a01cb0407597a005832fa7e47d5befb.ipv6.abo.wanadoo.fr 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.” < 1553736699 82996 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1553739982 558263 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net PRIVMSG #esoteric :`ping < 1553739983 281817 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :pong < 1553740059 515764 :sftp!~sftp@unaffiliated/sftp QUIT :Ping timeout: 252 seconds < 1553740152 69465 :sftp!~sftp@unaffiliated/sftp JOIN :#esoteric < 1553744005 851805 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1553746404 276748 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite > 1553757722 704148 PRIVMSG #esoteric :14[[07TrumpScript14]]4 M10 02https://esolangs.org/w/index.php?diff=60739&oldid=46220 5* 03Salpynx 5* (+89) 10remove unused "massive stub" template ref and add better categories > 1553758726 622005 PRIVMSG #esoteric :14[[07D.U.C.K.14]]4 M10 02https://esolangs.org/w/index.php?diff=60740&oldid=57504 5* 03Salpynx 5* (+133) 10remove link to bad year category, correct spelling < 1553759743 649303 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1553759756 866004 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1553759923 324208 :b_jonas!~x@catv-176-63-24-5.catv.broadband.hu PRIVMSG #esoteric :oerjan: I see < 1553759993 317367 :b_jonas!~x@catv-176-63-24-5.catv.broadband.hu PRIVMSG #esoteric :oerjan: I just found that bin/\? doesn't work when you cd to a different directory first < 1553762942 160082 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1553763628 41428 :AnotherTest!~turingcom@ptr-82l26zfgz2ng38e2jxt.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1553763631 957037 :arseniiv!~arseniiv@136.169.234.16 JOIN :#esoteric < 1553763771 539436 :b_jonas!~x@catv-176-63-24-5.catv.broadband.hu QUIT :Quit: leaving < 1553764716 746311 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1553765345 45587 :AnotherTest!~turingcom@ptr-82l26zfgz2ng38e2jxt.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 258 seconds > 1553768226 964357 PRIVMSG #esoteric :14[[07Top-based turning14]]4 N10 02https://esolangs.org/w/index.php?oldid=60741 5* 03A 5* (+357) 10Created page with "[[Top-based turning]] is an [[esoteric programming language]] influenced by [[The Waterfall Model]] and [[Befunge]]. [[Category:Languages]] [[Category:2019]] Category:Unknow..." > 1553768492 332896 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60742&oldid=60741 5* 03A 5* (+570) 10 > 1553768767 239856 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60743&oldid=60742 5* 03A 5* (+739) 10/* The language */ < 1553768928 326461 :danieljabailey!~danieljab@cpc115608-york6-2-0-cust168.7-1.cable.virginm.net QUIT :Ping timeout: 245 seconds > 1553768978 431926 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60744&oldid=60743 5* 03A 5* (+357) 10/* Commands */ > 1553769085 569741 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60745&oldid=60744 5* 03A 5* (+228) 10 < 1553769099 660601 :danieljabailey!~danieljab@cpc115608-york6-2-0-cust168.7-1.cable.virginm.net JOIN :#esoteric > 1553769115 274078 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60746&oldid=60745 5* 03A 5* (+33) 10/* Commands */ < 1553769145 360623 :arseniiv!~arseniiv@136.169.234.16 PRIVMSG #esoteric :maybe I could stand A’s creations, if only they didn’t claim completeness and other serious things erroneously > 1553769222 301784 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60747&oldid=60746 5* 03A 5* (+190) 10/* Example program */ > 1553769319 510238 PRIVMSG #esoteric :14[[07Powder14]]4 10 02https://esolangs.org/w/index.php?diff=60748&oldid=60723 5* 03A 5* (-1207) 10This article is long enough. This is unneccesary. > 1553769387 991173 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60749&oldid=60747 5* 03A 5* (+30) 10/* The language */ > 1553769483 207437 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60750&oldid=60749 5* 03A 5* (+188) 10/* Example program */ > 1553769570 814811 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60751&oldid=60750 5* 03A 5* (+41) 10/* Example program */ > 1553769596 102645 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60752&oldid=60751 5* 03A 5* (-27) 10/* Commands */ > 1553769756 431328 PRIVMSG #esoteric :14[[07Talk:Powder14]]4 10 02https://esolangs.org/w/index.php?diff=60753&oldid=60724 5* 03A 5* (+245) 10/* Fibonacci sequence, factorials etc. */ > 1553769769 787432 PRIVMSG #esoteric :14[[07Talk:Powder14]]4 10 02https://esolangs.org/w/index.php?diff=60754&oldid=60753 5* 03A 5* (+1) 10 > 1553770206 510874 PRIVMSG #esoteric :14[[07Talk:Powder14]]4 M10 02https://esolangs.org/w/index.php?diff=60755&oldid=60754 5* 03Arseniiv 5* (+132) 10/* Fibonacci sequence, factorials etc. */ < 1553770266 200334 :arseniiv!~arseniiv@136.169.234.16 PRIVMSG #esoteric :is there a wiki template to mark a claim as unfounded? > 1553771115 853074 PRIVMSG #esoteric :14[[07Powder14]]4 10 02https://esolangs.org/w/index.php?diff=60756&oldid=60748 5* 03A 5* (-14989) 10/* Fibonacci sequence */ > 1553771116 624299 PRIVMSG #esoteric :14[[07Nope.14]]4 M10 02https://esolangs.org/w/index.php?diff=60757&oldid=60718 5* 03Arseniiv 5* (+80) 10link to discussion about an unexistent cat program > 1553771152 890981 PRIVMSG #esoteric :14[[07Powder14]]4 10 02https://esolangs.org/w/index.php?diff=60758&oldid=60756 5* 03A 5* (-27757) 10/* Factorial */ > 1553771290 393754 PRIVMSG #esoteric :14[[07Talk:Powder14]]4 10 02https://esolangs.org/w/index.php?diff=60759&oldid=60755 5* 03A 5* (+253) 10 > 1553771475 748852 PRIVMSG #esoteric :14[[07Talk:Powder14]]4 10 02https://esolangs.org/w/index.php?diff=60760&oldid=60759 5* 03A 5* (-870) 10Blanked the page < 1553772077 122274 :bobby!~Bob@76.202.115.164 QUIT :Ping timeout: 245 seconds < 1553772232 274571 :bobby!~Bob@2600:1700:31f0:8180:95e3:c08f:de79:a550 JOIN :#esoteric < 1553772802 20431 :Bob-!~Bob@76.202.115.164 JOIN :#esoteric < 1553772866 122854 :bobby!~Bob@2600:1700:31f0:8180:95e3:c08f:de79:a550 QUIT :Ping timeout: 258 seconds < 1553773138 534800 :arseniiv!~arseniiv@136.169.234.16 PRIVMSG #esoteric :and again, it’s cleaning time < 1553773543 937345 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1553773547 930468 :arseniiv!~arseniiv@136.169.234.16 QUIT :Ping timeout: 246 seconds < 1553773572 65978 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric > 1553773657 25359 PRIVMSG #esoteric :14[[07Talk:Powder14]]4 10 02https://esolangs.org/w/index.php?diff=60761&oldid=60760 5* 03Ais523 5* (+870) 10Undo revision 60760 by [[Special:Contributions/A|A]] ([[User talk:A|talk]]): please do not blank mainspace/talkspace pages which have non-minimal content from other users < 1553773736 70367 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru JOIN :#esoteric < 1553773948 867934 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :on a positive things, I now think about an ideas akin to https://esolangs.org/wiki/Entropy about resources that become unusable over time, but without loss of precision, simply breaking and raising an error on use/access. Though, in a straight-forward implementation this will end in boring copying all over the place and not much else < 1553773966 589191 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :s/things/side > 1553774408 499055 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60762&oldid=60752 5* 03A 5* (+39) 10/* Example program */ > 1553774441 803920 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60763&oldid=60762 5* 03A 5* (+2) 10/* Example program */ > 1553774508 530702 PRIVMSG #esoteric :14[[07Top-based turning14]]4 10 02https://esolangs.org/w/index.php?diff=60764&oldid=60763 5* 03A 5* (+14) 10Another small edit... < 1553776285 718648 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :> Iexp has an incredible and innovative syntax which replaces all need for parentheses, called the dot notation. The precedence of an operator is determinated from the number of dots before it. More dots, higher precedence. < 1553776287 804411 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:85: error: parse error on input ‘,’ < 1553776300 581412 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :haha I’ve seen that in ye olden logic books < 1553776333 865629 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :though there were dots on both sides of operators. But in other regards it should be the same idea :D < 1553776348 597131 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :sorry lambdabot > 1553776399 472875 PRIVMSG #esoteric :14[[07Pxem14]]4 10 02https://esolangs.org/w/index.php?diff=60765&oldid=57783 5* 03YamTokWae 5* (+141) 10pronounciation < 1553776437 341103 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :oh! is there an esolang based on what is known about Turing-completeness of word-equality problem for some semigroups (IIRC)? < 1553776447 357556 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :I bet it is < 1553776858 733792 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 250 seconds < 1553776912 278788 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric > 1553776939 141950 PRIVMSG #esoteric :14[[07Pxem14]]4 10 02https://esolangs.org/w/index.php?diff=60766&oldid=60765 5* 03YamTokWae 5* (+220) 10/* Hello, world! */ > 1553777179 398219 PRIVMSG #esoteric :14[[07PPAP++14]]4 10 02https://esolangs.org/w/index.php?diff=60767&oldid=50099 5* 03YamTokWae 5* (+36) 10 > 1553777641 29891 PRIVMSG #esoteric :14[[07Z14]]4 10 02https://esolangs.org/w/index.php?diff=60768&oldid=57109 5* 03YamTokWae 5* (+12) 10Too bad, dead link.... > 1553777797 102277 PRIVMSG #esoteric :14[[07Y (programming language)14]]4 10 02https://esolangs.org/w/index.php?diff=60769&oldid=46618 5* 03YamTokWae 5* (+73) 10 > 1553778060 930538 PRIVMSG #esoteric :14[[07Template:Stub14]]4 10 02https://esolangs.org/w/index.php?diff=60770&oldid=36025 5* 03YamTokWae 5* (+45) 10Why not categorize? < 1553778273 654749 :danieljabailey!~danieljab@cpc115608-york6-2-0-cust168.7-1.cable.virginm.net QUIT :Ping timeout: 268 seconds < 1553778484 930450 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1553778497 656138 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: http://www.madore.org/~david/weblog/d.2015-12-28.2347.html#d.2015-12-28.2347 the details get subtle < 1553778646 707803 :danieljabailey!~danieljab@cpc115608-york6-2-0-cust168.7-1.cable.virginm.net JOIN :#esoteric < 1553778791 111528 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :wob_jonas: mmm < 1553779434 33375 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :another idea about breaking: we have an infinite graph whose edges are labeled with operations (assume concatenative language), and a program is a simple path, < 1553779513 516261 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :. The graph should have to some degree a regular structure to allow Turing-completeness < 1553779574 800197 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :it is like we burn vertices and edges on our way, so we can’t pass through them a second time < 1553779859 361515 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1553780036 690673 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :but if the graph is plain enough, e. g. its vertices are A → N and there’s an edge from f to g iff g(x) = f(x) + [x == c], labeled c, then we can map any string on A to even a unique simple path, and that’s not interesting at all < 1553780077 25233 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :oops, unique if we are bound to start in the same vertex each time < 1553780127 152554 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :we should probably require that vertex to be fixed < 1553780146 639925 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :so the ultimate question is, what graph > 1553780188 748996 PRIVMSG #esoteric :14[[07Template:Distinguish14]]4 10 02https://esolangs.org/w/index.php?diff=60771&oldid=55621 5* 03YamTokWae 5* (+943) 10WTF the useless template was.... Now it's useful now! > 1553780417 438349 PRIVMSG #esoteric :14[[07Template:Distinguish/Confusion14]]4 10 02https://esolangs.org/w/index.php?diff=60772&oldid=55616 5* 03YamTokWae 5* (+1022) 10 > 1553780509 937244 PRIVMSG #esoteric :14[[07Y14]]4 10 02https://esolangs.org/w/index.php?diff=60773&oldid=9601 5* 03YamTokWae 5* (+112) 10 > 1553780543 526941 PRIVMSG #esoteric :14[[07Template:Distinguish14]]4 10 02https://esolangs.org/w/index.php?diff=60774&oldid=60771 5* 03YamTokWae 5* (-943) 10Undo revision 60771 by [[Special:Contributions/YamTokWae|YamTokWae]] ([[User talk:YamTokWae|talk]]) (Sorry, I accidentally misread pagename.) > 1553780619 318335 PRIVMSG #esoteric :14[[07Y (programming language)14]]4 10 02https://esolangs.org/w/index.php?diff=60775&oldid=60769 5* 03YamTokWae 5* (+115) 10 < 1553780967 395973 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 JOIN :#esoteric < 1553780972 496142 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: try the graph of colors in Piet > 1553781099 330621 PRIVMSG #esoteric :14[[07Template:Realstub14]]4 M10 02https://esolangs.org/w/index.php?diff=60776&oldid=8410 5* 03YamTokWae 5* (+2) 10SORTKEY plz.... > 1553781133 42726 PRIVMSG #esoteric :14[[07Template:Realstub14]]4 M10 02https://esolangs.org/w/index.php?diff=60777&oldid=60776 5* 03YamTokWae 5* (+0) 10How should it be categorized? > 1553781284 215494 PRIVMSG #esoteric :14[[07Category:Stubs14]]4 10 02https://esolangs.org/w/index.php?diff=60778&oldid=8091 5* 03YamTokWae 5* (+48) 10 > 1553781294 358719 PRIVMSG #esoteric :14[[07Template:Stub14]]4 10 02https://esolangs.org/w/index.php?diff=60779&oldid=60770 5* 03YamTokWae 5* (+2) 10 > 1553781312 358269 PRIVMSG #esoteric :14[[07Template:Stub14]]4 10 02https://esolangs.org/w/index.php?diff=60780&oldid=60779 5* 03YamTokWae 5* (+18) 10 < 1553781550 128226 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 JOIN :#esoteric < 1553781559 189391 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :Hello? < 1553781569 608461 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :1st time 2 use IRC < 1553781591 986371 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :\help < 1553781619 849521 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :!delete above message < 1553781623 268375 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :...? < 1553781645 850858 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :YamTokWae: you can't delete or edit past IRC messages < 1553781655 415513 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :`welcome YamTokWae < 1553781656 579847 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :YamTokWae: 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.) < 1553781670 244579 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :I'm active there < 1553781675 25884 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :(sometimes < 1553781692 26126 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :What do you usually talk here? < 1553781701 415236 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :Weird programming stuff < 1553781709 961575 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 PRIVMSG #esoteric :And other assorted CS and/or puzzly things < 1553781728 96956 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :i see < 1553781738 247082 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :btw do you discuss policy of wiki? < 1553781802 42907 :AnotherTest!~turingcom@ptr-82l26zfgz2ng38e2jxt.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1553781873 615376 :int-e!~noone@int-e.eu PRIVMSG #esoteric :We do, on occasion. esowiki (a bot) reports on edits so that's a constant reminder. < 1553781875 109934 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :Hi :AnotherTest < 1553781970 409395 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :I see.... < 1553782171 402168 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PRIVMSG #esoteric :leaving, bye < 1553782173 552961 :YamTokWae!3d2d105f@gateway/web/freenode/ip.61.45.16.95 PART :#esoteric < 1553782258 809149 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :hm which of b_jonas nicknames should I use to @tell him… < 1553782307 935770 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 PRIVMSG #esoteric :arseniiv: tell it to wob_jonas < 1553782350 399715 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :wait, it you’re still here why my client couldn’t add your name to the post field, wierd < 1553782373 476895 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :weird* < 1553782439 707615 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :(and I thought I specifically cannot make a typo in this word) < 1553782545 411873 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :wob_jonas: okay, I think Piet colors is a neat idea, but once again if there are edges of all colors going out of any vertex, then it’s quite bland, and if there aren’t, then for TC-ness we should carefully pick a graph < 1553785424 59947 :AnotherTest!~turingcom@ptr-82l26zfgz2ng38e2jxt.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 258 seconds < 1553785512 171894 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1553785714 39088 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1553786082 686853 :Sgeo__!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1553786252 68822 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1553786686 41193 :pikhq!~pikhq@c-73-181-126-9.hsd1.co.comcast.net QUIT :Ping timeout: 255 seconds < 1553786763 740086 :pikhq!~pikhq@c-73-181-126-9.hsd1.co.comcast.net JOIN :#esoteric < 1553787574 971005 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1553787791 157722 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : is there a wiki template to mark a claim as unfounded? <-- {{fact}} < 1553787828 256980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although that's not quite appropriate for erroneous proofs... < 1553787928 428430 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unless you identify an actually wrong assumption. < 1553788128 162367 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : haha I’ve seen that in ye olden logic books <-- i remember that too, i think in russell/whitehead's principia mathematica < 1553788260 308806 :wob_jonas!25bf3cd1@gateway/web/cgi-irc/kiwiirc.com/ip.37.191.60.209 QUIT :K-Lined < 1553789013 961012 :int-e!~noone@int-e.eu PART #esoteric :"LAW-ABIDING CHICKEN" < 1553789014 48784 :int-e!~noone@int-e.eu JOIN :#esoteric < 1553789523 931872 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas got K-Lined? < 1553789555 907569 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and int-e is displaying signs of boily withdrawal < 1553789913 813475 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com JOIN :#esoteric < 1553789929 85706 :Essadon!~Essadon@81-225-32-185-no249.tbcn.telia.com QUIT :Max SendQ exceeded < 1553790743 865188 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1553791868 119308 :AnotherTest!~turingcom@ptr-82l26zfgz2ng38e2jxt.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1553793260 38695 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1553794259 62878 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1553794463 632888 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :@tell oerjan in case of A, I think there rarely are proofs at all < 1553794463 713143 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1553794584 665040 :arseniiv!~arseniiv@95.105.1.23.dynamic.ufanet.ru PRIVMSG #esoteric :ah I see, {{fact}} is equivalent to {{cn}}, which is “[citation needed]”, which is quite not applicable here < 1553798251 110806 :b_jonas!~x@catv-176-63-24-151.catv.broadband.hu JOIN :#esoteric < 1553798336 289697 :b_jonas!~x@catv-176-63-24-151.catv.broadband.hu PRIVMSG #esoteric :oerjan: looks like so < 1553798699 157595 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1553798714 322488 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1553799702 102706 :b_jonas!~x@catv-176-63-24-151.catv.broadband.hu PRIVMSG #esoteric :`? garlic < 1553799703 351412 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :garlic? ¯\(°​_o)/¯ < 1553799710 313356 :b_jonas!~x@catv-176-63-24-151.catv.broadband.hu PRIVMSG #esoteric :`? underneath < 1553799711 515602 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :underneath? ¯\(°​_o)/¯ < 1553799711 745831 :b_jonas!~x@catv-176-63-24-151.catv.broadband.hu PRIVMSG #esoteric :`? overneath < 1553799712 923386 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :overneath? ¯\(°​_o)/¯ < 1553799714 775268 :b_jonas!~x@catv-176-63-24-151.catv.broadband.hu PRIVMSG #esoteric :`? besidesneath < 1553799716 67899 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :besidesneath? ¯\(°​_o)/¯ < 1553799720 409621 :b_jonas!~x@catv-176-63-24-151.catv.broadband.hu PRIVMSG #esoteric :`? nextneath to < 1553799721 724414 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :nextneath to? ¯\(°​_o)/¯ < 1553799891 52192 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1553800437 749021 :b_jonas!~x@catv-176-63-24-151.catv.broadband.hu PRIVMSG #esoteric :`? behindneath < 1553800438 951108 :HackEso!~HackEso@techne.zem.fi PRIVMSG #esoteric :behindneath? ¯\(°​_o)/¯ < 1553802050 199921 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1553804429 579605 :skizzy!~pi@172.56.13.26 JOIN :#esoteric > 1553806431 386874 PRIVMSG #esoteric :14[[07Control character14]]4 10 02https://esolangs.org/w/index.php?diff=60781&oldid=60737 5* 03EnilKoder 5* (-3647) 10Blanked the page < 1553806452 288385 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :I haven't seen boily in a while :( > 1553806464 70826 PRIVMSG #esoteric :14[[07Control character14]]4 10 02https://esolangs.org/w/index.php?diff=60782&oldid=60781 5* 03EnilKoder 5* (+3647) 10 > 1553806504 717955 PRIVMSG #esoteric :14[[07Special:Log/move14]]4 move10 02 5* 03EnilKoder 5* 10moved [[02Control character10]] to [[Control Character]]: Capitalization of the first C in Character > 1553806546 429212 PRIVMSG #esoteric :14[[07Control character14]]4 10 02https://esolangs.org/w/index.php?diff=60785&oldid=60784 5* 03EnilKoder 5* (-31) 10Blanked the page < 1553806654 70373 :Phantom_Hoover!~phantomho@cpc108439-cowc8-2-0-cust785.14-2.cable.virginm.net JOIN :#esoteric < 1553806654 110276 :Phantom_Hoover!~phantomho@cpc108439-cowc8-2-0-cust785.14-2.cable.virginm.net QUIT :Changing host < 1553806654 110319 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric > 1553806810 155533 PRIVMSG #esoteric :14[[07Control character14]]4 10 02https://esolangs.org/w/index.php?diff=60786&oldid=60785 5* 03EnilKoder 5* (+371) 10 < 1553806920 998894 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1553807802 822421 :b_jonas!~x@catv-176-63-24-151.catv.broadband.hu PRIVMSG #esoteric :kmc: yes, we haven't seen him in a while either > 1553808293 729666 PRIVMSG #esoteric :14[[07Control Character14]]4 10 02https://esolangs.org/w/index.php?diff=60787&oldid=60783 5* 03EnilKoder 5* (+215) 10 < 1553808501 47341 :oren!~oren@ec2-18-212-11-99.compute-1.amazonaws.com PRIVMSG #esoteric :anyone else play poly bridge < 1553808686 918521 :skizzy!~pi@172.56.13.26 PART #esoteric :"Leaving" < 1553810563 857884 :b_jonas!~x@catv-176-63-24-151.catv.broadband.hu QUIT :Quit: leaving < 1553810903 984896 :moei!~moei@softbank221078042071.bbtec.net QUIT :Quit: Leaving... > 1553811236 620014 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Prof Apex 5* 10New user account < 1553811480 831538 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :hope he's doing well < 1553812069 276720 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :what is poly bridge < 1553812078 747500 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :is that when i play bridge with my wife and my girlfriend < 1553812251 152454 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think it might've been a poly*gon*-oriented bridge-building game? < 1553812260 235467 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Faintly recall saw something about that. < 1553812909 274626 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1553812921 775231 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1553813700 810118 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1553814724 831550 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1553815860 122201 :AnotherTest!~turingcom@ptr-82l26zfgz2ng38e2jxt.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 268 seconds < 1553816157 534321 :Cale!~cale@2607:fea8:995f:fb71:80e4:4cde:2f4c:fbfc QUIT :Ping timeout: 252 seconds < 1553816899 86636 :Cale!~cale@2607:fea8:995f:fb71:c1cd:b679:2768:c42a JOIN :#esoteric < 1553817243 721903 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1553817418 726507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages-cloudy < 1553817418 809070 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :arseniiv said 6h 22m 35s ago: in case of A, I think there rarely are proofs at all < 1553817549 537484 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I haven't seen boily in a while :( <-- he sometimes posts on reddit. < 1553817594 324087 :kmc!~beehive@li521-214.members.linode.com PRIVMSG #esoteric :cool