< 1451347339 282065 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :FreeFull: Well yeah. How else would it work? < 1451347354 879427 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :FreeFull: Have any ideas for esoteric hashing functions? < 1451347367 897395 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :My personal favorite is the Large Hashon Collider < 1451347375 433008 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :`return 0` is its output < 1451347376 297266 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: return: not found < 1451347491 625455 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :There's also the "Just pretend it's an int" hashing function for floats < 1451347560 704777 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :hppavilion[1]: I think it'd be fun to write a C function which has a return 0; at the end, no other return statements, and yet returns something different from 0 < 1451347635 861077 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :FreeFull: Is that even possible? < 1451347660 778724 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I think so, if you try hard enough < 1451347685 349142 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :The problem is that executable memory usually isn't writeable < 1451347689 675396 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :So you'd need to do something about that < 1451347957 934642 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Are there any number systems that do /not/ include the Reflexive Property? Or the transitive property? <-- IEEE 754 HTH < 1451347968 363021 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You could also go by the route of doing something that's both undefined and sufficiently confusing to the compiler. < 1451347985 195799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: hppavilion[1] said "number systems" hth < 1451348001 110365 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Number systems. Like the reals or complexes. < 1451348002 773272 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait, maybe it's still transitive. < 1451348023 287036 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which relation are you talking about? equality? < 1451348026 793318 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: "or" was boolean there < 1451348030 303402 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i'm sure IEEE 754 counts as a number system in some horrible reality. < 1451348032 289065 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, "equality" < 1451348041 852826 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Yes, I already talked about that on ##math < 1451348078 678773 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Reflexive Property of > < 1451348082 33800 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :btw i think that "nullity" thing that went around a few years ago counts? < 1451348099 534442 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :scowllity < 1451348100 342563 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :For any number a, a>a < 1451348107 220623 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: nullity? < 1451348196 368956 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: it was a rather lousy attempt to define division by 0 that someone made. honestly i don't think i actually read it, but i recall it mentioned it wasn't even equal to itself. < 1451348219 273015 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you mean it was a solution to a 1200-year-old problem < 1451348229 519093 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1451348236 73665 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Would you happen to have a linky for a poor, bad-at-googling soul? < 1451348246 291675 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ACTION points hppavilion[1] to shachaf as the expert < 1451348253 887994 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.bbc.co.uk/berkshire/content/articles/2006/12/06/divide_zero_feature.shtml hth < 1451348263 182425 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: how can i have a link when i never read it that makes no sense hth < 1451348273 861680 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Oh god < 1451348277 470408 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/James_Anderson_(computer_scientist)#Transreal_arithmetic < 1451348279 620403 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Caversham actually taught it in schools < 1451348284 741062 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe this belongs in the other #esoteric < 1451348294 327364 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Oh, you said you /didn't/ read it < 1451348392 833 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Oh god, he added infinity and minus infinity (and nullity) < 1451348403 951233 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :But he didn't add, for example, 2*infinity or sqrt(infinity) < 1451348406 210113 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Idiot < 1451348461 930529 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1451348471 322528 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there's nothing wrong with compactifications, yo < 1451348490 516172 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :for a better attempt, see https://en.wikipedia.org/wiki/Wheel_theory < 1451348504 18183 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that's not messing with equality, though. < 1451348505 196116 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Extended_real_number_line and stuff, man < 1451348589 733903 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Mathematics needs a symbol for "x is not necessarily equal to y, but it could be if you tried /really/ hard" < 1451348605 652743 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :(e.g. x!=x in most cases, but there are a few cases where it is.) < 1451348703 726806 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Oh good, the wheel thingy is an idea already. < 1451348707 109313 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :I thought it was. < 1451348800 929098 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :"If your heart pacemaker divides by zero, you're dead" < 1451348812 333180 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Apparently, he's never heard of a try..except statement < 1451348822 449464 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Or, y'know, if x != 0 < 1451348880 758950 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ugh < 1451348891 776977 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :They have the schoolchildren actually convinced this is mathematical fact < 1451348904 126806 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I mean, sure, math allows you to just make shit up if you feel like it < 1451348911 984396 :hppavilion[1]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :But teaching this is just stupid < 1451349626 426944 :hppavilion[2]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1451349707 285637 :j-bot!~j-bot@li1285-84.members.linode.com JOIN :#esoteric < 1451349794 60599 :hppavilion[1]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 276 seconds < 1451349976 844023 :earenndil!elronnd@znc.dank.ninja NICK :Elronnd < 1451350769 173705 :hppavilion[2]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 276 seconds < 1451352571 848032 :diginet!~diginet@107.170.146.29 QUIT :Quit: diginet has quit! < 1451352590 637666 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1451352652 907861 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :well i mean in ieee floats, 1/0 is infinity < 1451352713 778878 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :and -1/0 is -infinity < 1451352858 24209 :diginet!~diginet@107.170.146.29 QUIT :Client Quit < 1451352884 845884 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :and ieee complexes have 8 different infinities < 1451352923 842601 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :and a shitload of NaN < 1451354059 554543 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1451355525 786495 :andrew!~andrew@61.141.94.190 JOIN :#esoteric < 1451355744 970334 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1451355916 56555 :andrew!~andrew@61.141.94.190 QUIT :Remote host closed the connection < 1451356012 894699 :andrew!~andrew@61.141.94.190 JOIN :#esoteric < 1451356143 483608 :andrew!~andrew@61.141.94.190 QUIT :Remote host closed the connection < 1451356241 946580 :andrew!~andrew@61.141.94.190 JOIN :#esoteric < 1451356862 848712 :diginet!~diginet@107.170.146.29 QUIT :Quit: diginet has quit! < 1451356888 736178 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1451356980 617083 :dcentral!~IGLC@2601:681:500:165a:909f:3320:82ee:560 QUIT :Ping timeout: 260 seconds < 1451357078 239308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: http://gatherer.wizards.com/Pages/Card/Details.aspx?multiverseid=247365 hth < 1451357106 748264 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net QUIT :Quit: mihow < 1451357234 707044 :jaboja64!~jaboja@erx94.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 245 seconds < 1451357526 682731 :jaboja!~jaboja@erx94.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1451357538 428624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: turns out the thing my cat ate wasn't a placenta but an amnion hth < 1451357543 601225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Amnion < 1451357686 479285 :hppavilion[2]!~Devourero@93-231-58-66.gci.net JOIN :#esoteric < 1451357900 329736 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Ugh < 1451357913 528453 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :This Dr. Anderson is a fucking idiot < 1451357930 578672 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :According to BBC, "He has also reinvented computing..." < 1451357961 241404 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The perspex can be understood in many ways. ...and an instruction for a machine that is more powerful than the Turing machine. < 1451357990 458830 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :s/(^|$)/"/ < 1451358039 62626 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, no, that was The Guardian < 1451358073 730934 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The Guardian can't even work up the effort to represent 0^0 using proper exponents < 1451358125 25173 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :The Guardian claims that mathematicians are different from computer scientists < 1451358194 264981 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :"Anyway, we eagerly await his contribution to the knotty problem of the square root of -1." < 1451358202 290894 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :OH MY GOD THE GUARDIAN IS MADE OF IDIOTS < 1451358351 938814 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Yes, that's often the case with journalism. < 1451358367 954222 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :I'll have to remember that, when writing fiction, to have in-universe news articles be written poorly. < 1451358377 895326 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :"Anderson has been trying to market his ideas for transreal arithmetic and "Perspex machines" to investors. He claims that his work can produce computers which run "orders of magnitude faster than today's computers".[7][12] He has also claimed that it can help solve such problems as quantum gravity,[7] the mind-body connection,[13] consciousness[13] and free will.[13]" < 1451358383 125915 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :... < 1451358387 889823 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I am going to go hang myself now < 1451358397 551607 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Better yet, I think I'll hang Anderson. < 1451358593 466640 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Dr. Anderson sounds like a cool guy and I reccomend he keep on being completely ridiculous. < 1451358604 841978 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :Hahah. < 1451358613 788305 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Though Perspex sounds more like a brand of deodorant. < 1451358627 449502 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :I think it is... < 1451358667 513111 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :If it's such a good computer, I suggest making a server farm first and offering remote services on it. < 1451358721 531082 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :That way he doens't need to worry about selling the machine itself, just its capacity to compute. < 1451358729 409811 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Mine bitcoins on it maybe. < 1451358840 662450 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Where can I find a paper that goes WAY too far with Peano Arithmetic? < 1451358849 295137 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Like, to-the-complex-numbers far? < 1451358851 304732 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :MDude: Wouldn't it be better to simply factor giant numbers? < 1451358882 86269 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :s/better/more fun, exciting, and valuable/ < 1451358912 689800 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :I don't know that quantum computing even helps with Bitcoin. < 1451358923 89936 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Possibly, at first anyway. < 1451358945 782252 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :If bitcoins are based on factoring, it will. < 1451358951 262271 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :They aren't. < 1451358960 93703 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :isn't it based on elliptic curves? < 1451358978 64396 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Oh, wait, there is the ECDSA signature thing. < 1451359009 229850 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :popular tech media reporting on quantum computing makes me rage < 1451359011 709278 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :That actually is vulnerable to quantum computers. < 1451359015 979867 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :yeah < 1451359043 542047 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :I was just thinking SHA-256. < 1451359049 93070 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :pikhq: wait, I thought most hash functions as of yet are quantum-secure? < 1451359056 492272 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Everything is vulnerable to rock-based cellular automaton computers, given long enough < 1451359063 710329 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :isn't ECDSA just an implementation detail of its protocol? < 1451359086 403635 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :I'm increasingly skeptical quantum computers will ever come to fruition < 1451359088 350286 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :No, ECDSA is used for wallets. < 1451359091 511623 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :ahh < 1451359140 994595 :pikhq!~pikhq@2601:647:4b00:63aa::f63 PRIVMSG #esoteric :Still, I think that's one of the less interesting uses of breaking almost all crypto on the planet. < 1451359153 207043 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :pikhq: no kidding < 1451359404 830592 :andrew!~andrew@61.141.94.190 QUIT :Ping timeout: 250 seconds < 1451360231 623696 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :I've decided to do a playthrough of the λ-calculus xD < 1451360379 726475 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :diginet: Why's that? (re: increasingly skeptical) < 1451360403 744271 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :zgrep: I don't necessary have a good reason, just a hunch < 1451360410 999208 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :mostly because one hasn't appeared yet < 1451360425 611830 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :Well, laptops didn't appear immediately either. We first had computers that filled an entire room. < 1451360426 815353 :andrew!~andrew@61.141.94.190 JOIN :#esoteric < 1451360446 49054 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :true, although I don't think it's quite comparable < 1451360454 600933 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :quantum computers, as a concept, are fairly old < 1451360494 438145 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :Though it's not quite comparable, so was the concept of a computer. :P < 1451360538 971303 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Where `1 = λx.x`, would `2 = λs.1` be correct in λ-calculus? < 1451360561 703927 :diginet!~diginet@107.170.146.29 PRIVMSG #esoteric :zgrep: true, I dunno, I'm willing to be disproven, I'm just not as confident as I once was < 1451360580 388007 :v^!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1451360590 781623 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :diginet: Well, progress is slowly, but I think most definitely, being made. Remain hopeful! :P < 1451360633 490447 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, got that wrong < 1451360715 775791 :^v^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 240 seconds < 1451360743 939221 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :1 = λs.0, 0 = λs.I, I = λx.x < 1451360747 889139 :hppavilion[2]!~Devourero@93-231-58-66.gci.net PRIVMSG #esoteric :Did I get that right? < 1451360972 733796 :jaboja!~jaboja@erx94.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 265 seconds < 1451361650 107099 :hppavilion[2]!~Devourero@93-231-58-66.gci.net QUIT :Ping timeout: 276 seconds < 1451362264 576120 :^v^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1451362415 680340 :v^!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Ping timeout: 246 seconds < 1451362949 779501 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 255 seconds < 1451363116 670668 :jaboja!~jaboja@erx94.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1451363462 421534 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Oh, the thing Anderson was doing is different from projective infinity, which seems more like what I was thinking. < 1451363612 529397 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :I wonder if it would make sense to further extend that with irrational numbers to make a number dougnut. < 1451364771 976172 :nisstyre_!~yourstrul@li611-52.members.linode.com NICK :nisstyre < 1451364795 992023 :nisstyre!~yourstrul@li611-52.members.linode.com QUIT :Changing host < 1451364796 151102 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1451365192 588917 :andrew!~andrew@61.141.94.190 QUIT :Ping timeout: 272 seconds < 1451365881 512676 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDream < 1451365922 419991 :andrew!~andrew@119.137.94.51 JOIN :#esoteric < 1451366160 678880 :hppavilion[2]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric < 1451369730 160479 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :MDream: Fun fact: I've had Anderson teach one of my modules for Computer Science < 1451369879 141364 :hppavilion[2]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :I'm doing a λ-calculus playthrough. I don't know why I keep being surprised when things work < 1451370280 643129 :dcentral!~IGLC@2601:681:500:165a:909f:3320:82ee:560 JOIN :#esoteric < 1451372621 712765 :hppavilion[2]!~Devourero@58-0-174-206.gci.net QUIT :Ping timeout: 246 seconds < 1451372686 281863 :jaboja!~jaboja@erx94.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1451372750 158259 :jaboja!~jaboja@erx94.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1451373141 998138 :ski!~ski@remote11.chalmers.se QUIT :Remote host closed the connection < 1451373699 775988 :qpwoeiruty!ac624330@gateway/web/freenode/ip.172.98.67.48 JOIN :#esoteric < 1451373735 956978 :qpwoeiruty!ac624330@gateway/web/freenode/ip.172.98.67.48 PRIVMSG #esoteric :Is it possible to do strlen with Brainfuck? < 1451373801 959114 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yees < 1451373803 980558 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :*yes < 1451373881 733696 :qpwoeiruty!ac624330@gateway/web/freenode/ip.172.98.67.48 PRIVMSG #esoteric :Any idea how to implement it... I have been reading the assembly pseudo code < 1451373932 532887 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :eh, haven't thought about it < 1451373934 523129 :qpwoeiruty!ac624330@gateway/web/freenode/ip.172.98.67.48 PRIVMSG #esoteric :Kind of new to esoteric < 1451373936 774992 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but BF is TC so it's doable < 1451373971 223487 :qpwoeiruty!ac624330@gateway/web/freenode/ip.172.98.67.48 PRIVMSG #esoteric :coppro: would it take a lot of time in your opinion? < 1451373985 184598 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I could probably do it in 10 minutes? < 1451373994 753180 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :plus debugging time < 1451374062 481242 :qpwoeiruty!ac624330@gateway/web/freenode/ip.172.98.67.48 PRIVMSG #esoteric :Well I was just hoping for a rough idea...any help is great. < 1451374086 224633 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you will probably need to move the string as you process it < 1451374094 771675 :jaboja!~jaboja@erx94.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 250 seconds < 1451374097 663437 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you can't easily move back to your data, so you need to move the data with you < 1451374162 246721 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I'd start with something like [count][scratch][string], and at each stage move the count+1 to the scratch, zero the count, move the first character of the string to the count space, then zero the first character of the string < 1451374166 252171 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :then move forward one cell and repeat < 1451374316 544683 :qpwoeiruty!ac624330@gateway/web/freenode/ip.172.98.67.48 PRIVMSG #esoteric :Ok, thanks. Kinda late here. Maybe I'll be back another time. Just a project idea. < 1451374321 897682 :qpwoeiruty!ac624330@gateway/web/freenode/ip.172.98.67.48 PART :#esoteric < 1451375093 773547 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 JOIN :#esoteric < 1451375119 813708 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Unary relations over geometry FTW < 1451375136 12496 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :>trianlgle[(0, 0), (0, 1), (1, 0)] < 1451375862 668189 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1451376286 344073 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :I want to make a production-strength programming language < 1451376291 983421 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Based on Combinatory Logic < 1451377115 378633 :bb010g!uid21050@gateway/web/irccloud.com/x-ziwbyjornqbwxrfu QUIT :Quit: Connection closed for inactivity < 1451377429 798639 :andrew_!~andrew@116.25.144.3 JOIN :#esoteric < 1451377630 596605 :andrew!~andrew@119.137.94.51 QUIT :Ping timeout: 260 seconds < 1451378310 455086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What's {P}? < 1451379046 880632 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Wait < 1451379054 300756 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :So Combinatory Logic is binary trees < 1451379064 593034 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :What happens if we do it with DiGraphs instead? < 1451379138 417161 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A graph is just a compact representation of a tree. < 1451380230 429623 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :shachaf: What context? How are you meaning? < 1451380237 899224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :{P/W}, I mean < 1451380241 152841 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or was it {W/P}? < 1451380251 153338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(W/P) < 1451380252 438771 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It is a Phyrexian mana symbol. < 1451380265 599564 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :You can pay either one mana of that color, or you can pay 2 life. < 1451380358 200184 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :It is even mentioned in the rules for Magic: the Gathering. < 1451380458 354057 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I see. < 1451380462 958211 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I forgot about that. < 1451380488 130100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a bit odd that it's on all colors. Seems like a pretty black ability to me. < 1451380599 338882 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Yes I suppose so, but it is on all colors, and is still meaningful in such case too. Anyways, all colors can be in lands that damage you for activating them. < 1451380640 380142 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :The oldest Phyrexian cards were black, but this was before Phyrexian mana was invented, and now you can find Phyrexian cards in all colors (including black). < 1451380686 44412 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :shachaf: don't forget that the Phyrexian blight is spreading. in SOM, infect is only on black and green; in MBS and NPH, it's on all colors. < 1451380710 360078 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I never played during that block so I didn't keep track. < 1451380768 641908 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :shachaf: the story of the block is that the Phyrexians attack Mirrodin, and by the end of the block, they _win_ < 1451380800 31808 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :so they start to turn everything on mirrodin, artifacts and things colored by all five suns, to a twisted phyerxian counterpart < 1451380832 282548 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :including Darksteel Colossus to Blightsteel Colossus < 1451381152 356501 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://howdns.works/ < 1451381231 364238 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`/bin/ping howdns.works < 1451381232 243143 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ping: unknown host howdns.works < 1451381233 503385 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :badly hth < 1451381235 408480 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :well, it uses some sort of UDP and TCP thingies and servers and... I dunno < 1451381250 335706 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :it's a great read < 1451381253 526729 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and it's free < 1451381275 645563 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :it's that kind of DNS right, not the other, because the other is called DNA in English? < 1451381280 239128 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :shachaf, I am aware of Teneb the Harvester < 1451381288 913227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Teneb the Hervester < 1451381299 225171 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? teneb < 1451381300 218553 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :teneb? ¯\(°​_o)/¯ < 1451381946 521915 :zgrep!~zgrep@zgrep.org PRIVMSG #esoteric :Question to those of you who know, how would a language based on dependent types do stuff with input that's unknown, say user input or from a TCP connection... would it just implement the checks into the program so that it checks it at runtime for unknown stuff? < 1451381969 755977 :atslash!~atslash@94.127.221.13 JOIN :#esoteric < 1451382009 292936 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it would do similar things to other languages with types that can express things you want. < 1451382045 234146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or how do you mean? < 1451382621 764348 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 QUIT :Ping timeout: 252 seconds < 1451382627 213080 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :shachaf: If you wanted an account on my card file (in order to add your own comments) then please notify me. < 1451382629 907054 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :If you have the program "htdigest" on your computer then you can make the hash code needed to send a comment on my custom card file, by the command "htdigest -c /dev/stdout CustomMTG_zzo38" and then your username. (Otherwise, you can figure out your own way to do the calculation I mentioned.) < 1451382647 824453 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(Send the result to me by private message.) < 1451382722 826833 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have read of different kind of arguments that the universe is or is not infinite, although I have also thought of one (but am not sure about its validity). < 1451382737 50757 :atslash!~atslash@94.127.221.13 QUIT :Quit: This computer has gone to sleep < 1451382782 383084 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That sounds like too much work to me. < 1451382790 593387 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why not use a typical account registration system? < 1451382795 232358 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or not require accounts to be registered? < 1451382808 829956 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :shachaf: In order to avoid spam messages < 1451382824 371716 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Have you gotten spam messages? < 1451382849 842354 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have before, in a different webpage that did not require registration < 1451382894 442941 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :Possibly though a JavaScript program can also be written to perform the calculation and then you can tell me the response of that instead; there can be more than one program to do. < 1451382945 587008 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :If you are trying to move yourself forward, it takes some amount of energy; to move everything else in the universe backward by the same amount instead would require more energy, but the infinite sum might result in a finite total. < 1451382958 130002 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(Probably this is all wrong.) < 1451383030 991093 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :(Actually I am sure it is, but nevertheless it is what I thought of one day) < 1451383140 799110 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :shachaf: I know that b_jonas has made that calculation already, and hopefully you have the software to do too, isn't it? < 1451383153 759085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I do, but it seems like too much trouble. < 1451383160 997367 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I haven't had a great need to comment. I can use IRC. < 1451383279 757591 :atslash!~atslash@94.127.221.13 JOIN :#esoteric < 1451383299 569070 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :I have found other way to require the registration to often be complicated so I do this way instead; this way I can process the registration by myself and don't need to worry about spam registration account either, since they will not be registration generally (and if it is, I can delete it anyways). < 1451383344 90847 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl JOIN :#esoteric < 1451383478 580134 :zzo38!~zzo38@24-207-56-9.eastlink.ca PRIVMSG #esoteric :If we put comment in there then even other people can make the reply of comment too in the same file. < 1451383901 685300 :atslash!~atslash@94.127.221.13 QUIT :Quit: This computer has gone to sleep < 1451384143 419072 :atslash!~atslash@94.127.221.13 JOIN :#esoteric < 1451384995 761146 :^v^v!~^v@c-68-41-215-101.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1451386733 668075 :atslash!~atslash@94.127.221.13 QUIT :Quit: This computer has gone to sleep < 1451386813 824185 :atslash!~atslash@94.127.221.13 JOIN :#esoteric < 1451388619 226613 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:LegionMammal978/Interpreters/Kangaroo14]]4 N10 02http://esolangs.org/w/index.php?oldid=46024 5* 03LegionMammal978 5* (+1868) 10Created page with "
 using System; using System.Collections.Generic; using System.IO; using System.Text.RegularExpressions;  /* Error codes:  * 0 - success  * 1 - non-existant source file  *..."
< 1451389766 131480 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Remote host closed the connection
< 1451390614 861090 :atslash!~atslash@94.127.221.13 QUIT :Ping timeout: 272 seconds
< 1451390668 669692 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric
< 1451390673 721450 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric
< 1451390683 61543 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 250 seconds
< 1451390706 356464 :ocharles__!sid30093@gateway/web/irccloud.com/x-hhbeljcnisvblcuz QUIT :Ping timeout: 240 seconds
< 1451390780 559764 :ocharles__!sid30093@gateway/web/irccloud.com/x-qkilnnvouyunlpox JOIN :#esoteric
< 1451391311 669581 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds
< 1451391665 603344 :dcentral!~IGLC@2601:681:500:165a:909f:3320:82ee:560 QUIT :Ping timeout: 260 seconds
< 1451392306 865690 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`wisdom
< 1451392322 786684 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ghoul/Ghouls are undead that eat BRAINS. So basically, bog standard undead like zombies or wights, but with some fancy back story in the book that nobody reads.
< 1451392327 129040 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`wisdom
< 1451392328 604794 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :yeeeeeeeesh/See yeeeeeeesh.
< 1451392332 302671 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`wisdom
< 1451392333 677089 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :for further details for futher details./See `? for further details for futher details.
< 1451392342 249662 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? yeeeeeeesh.
< 1451392343 281327 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :yeeeeeeesh.? ¯\(°​_o)/¯
< 1451392344 616966 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? yeeeeeeesh
< 1451392345 749875 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :See yeeeeeesh.
< 1451392349 545562 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? yeeeeeesh
< 1451392351 161934 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :See yeeeeesh.
< 1451392354 187456 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? yeeeeesh
< 1451392355 172124 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :See yeeeesh.
< 1451392357 712763 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? yeeeesh
< 1451392358 607308 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :See yeeesh.
< 1451392360 801851 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? yeeesh
< 1451392361 882824 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :See yeesh.
< 1451392363 845788 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? yeesh
< 1451392364 734742 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :yeesh? ¯\(°​_o)/¯
< 1451392387 712461 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`wisdom
< 1451392389 455750 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :vi/vi is in a relationship with emacs.
< 1451392389 814788 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? parenthesis
< 1451392390 837525 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :parenthesis? ¯\(°​_o)/¯
< 1451392398 778133 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? bracket
< 1451392400 5165 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bracket? ¯\(°​_o)/¯
< 1451392564 777174 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`wisdom
< 1451392566 376232 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :password/The password of the month is 'PlayItSweetly,TakeMeDown,Oh,Jazzman'
< 1451392612 259212 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`culprits wisdom/password
< 1451392615 500775 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :mroman oerjan oerjan oerjan mroman_
< 1451392643 407288 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I somehow doubt that it is actually updated monthly
< 1451392699 220978 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? correcthorsebatterystaple
< 1451392700 266510 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :correcthorsebatterystaple? ¯\(°​_o)/¯
< 1451392711 200946 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? Tr0ub4dor&3
< 1451392712 334606 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Tr0ub4dor&3? ¯\(°​_o)/¯
< 1451392851 490531 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? d41d8cd98f00b204e9800998ecf8427e
< 1451392853 698794 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :d41d8cd98f00b204e9800998ecf8427e? ¯\(°​_o)/¯
< 1451392887 469408 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? 5f4dcc3b5aa765d61d8327deb882cf99
< 1451392888 558725 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :5f4dcc3b5aa765d61d8327deb882cf99? ¯\(°​_o)/¯
< 1451393563 745265 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ABCD14]]4 10 02http://esolangs.org/w/index.php?diff=46025&oldid=44545 5* 03LegionMammal978 5* (-2) 10
< 1451394479 763836 :andrew_!~andrew@116.25.144.3 QUIT :Remote host closed the connection
< 1451395001 65215 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Jelly14]]4 10 02http://esolangs.org/w/index.php?diff=46026&oldid=46023 5* 0378.52.164.106 5* (+25) 10
< 1451396315 675338 :trn!jhj@trnsz.com QUIT :Ping timeout: 264 seconds
< 1451396351 675643 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :Ping timeout: 264 seconds
< 1451396560 346418 :Deewiant_!~deewiant@de1.ut.deewiant.iki.fi NICK :Deewiant
< 1451397313 589836 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric
< 1451397420 736610 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric
< 1451397781 706919 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric
< 1451397958 496825 :trn!jhj@trnsz.com JOIN :#esoteric
< 1451398128 102980 :trn!jhj@trnsz.com QUIT :Excess Flood
< 1451398238 764734 :mauris_!~mauris@unaffiliated/nooodl JOIN :#esoteric
< 1451398263 165183 :trn!jhj@trnsz.com JOIN :#esoteric
< 1451398310 932671 :trn!jhj@trnsz.com QUIT :Excess Flood
< 1451398400 737098 :mauris!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 255 seconds
< 1451398432 315331 :trn!jhj@trnsz.com JOIN :#esoteric
< 1451398432 606375 :trn!jhj@trnsz.com QUIT :Excess Flood
< 1451398514 410359 :trn!jhj@trnsz.com JOIN :#esoteric
< 1451398559 716972 :trn!jhj@trnsz.com QUIT :Excess Flood
< 1451398740 616225 :trn!jhj@trnsz.com JOIN :#esoteric
< 1451398741 628765 :trn!jhj@trnsz.com QUIT :Excess Flood
< 1451398881 654646 :trn!jhj@trnsz.com JOIN :#esoteric
< 1451398940 74627 :trn!jhj@trnsz.com QUIT :Excess Flood
< 1451400049 78409 :MDream!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net NICK :MDude
< 1451401040 620014 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 256 seconds
< 1451402752 274673 :nisstyre!~yourstrul@li611-52.members.linode.com JOIN :#esoteric
< 1451406386 626949 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric
< 1451407932 766738 :spiette!~spiette@72-53-140-195.cpe.distributel.net JOIN :#esoteric
< 1451409072 298083 :trn!jhj@trnsz.com JOIN :#esoteric
< 1451409418 735330 :TieSoul!~TieSoul@2a02:a448:4a62:0:548d:2bb6:e105:b48e JOIN :#esoteric
< 1451411614 758707 :jaboja!~jaboja@erx94.neoplus.adsl.tpnet.pl JOIN :#esoteric
< 1451411956 953338 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :@metar CYQB
< 1451411957 602963 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYQB 291745Z 06016G24KT 1 1/4SM R06/5000FT/U -SN DRSN VV011 M10/M13 A3032 RMK SN8 SLP277
< 1451411967 138679 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :DRSN indeed.
< 1451412004 354790 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :@metar CYYZ
< 1451412004 836184 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYYZ 291741Z 05006KT 5SM -DZ BR OVC006 03/02 A2980 RMK ST8 SLP100
< 1451412833 332539 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Hello world program in esoteric languages14]]4 10 02http://esolangs.org/w/index.php?diff=46027&oldid=45965 5* 0370.190.166.108 5* (+782) 10add Barely, Hanoi Love, Linguine, Numberix, Spaghetti
< 1451412942 13148 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Thue14]]4 10 02http://esolangs.org/w/index.php?diff=46028&oldid=38057 5* 03B jonas 5* (+198) 10
< 1451413958 703861 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@metar EGLL
< 1451413959 359496 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :EGLL 291820Z AUTO 19012KT 150V230 9999 FEW022 10/07 Q1021
< 1451413975 119227 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Apparently it'll start getting colder now.
< 1451414006 764751 :spiette!~spiette@72-53-140-195.cpe.distributel.net QUIT :Ping timeout: 255 seconds
< 1451414198 4280 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@metar ESSA
< 1451414198 417135 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ESSA 291820Z 12005KT 9999 SCT029 M04/M06 Q1042 R01L/410165 R08/410156 R01R/410163 NOSIG
< 1451414215 436309 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@metar ESSB
< 1451414216 57582 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :ESSB 291820Z 13003KT 9999 SCT034 M06/M06 Q1042 R12/19//63
< 1451414293 989612 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :hmm
< 1451414298 955051 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@metar ESCN
< 1451414299 592587 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :No result.
< 1451414302 653186 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :makes sense
< 1451414370 172367 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :damn Sir Andrew Lloyd Webber
< 1451414385 664198 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`wisdom
< 1451414388 60882 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :the/the Toe of Harriness's Enclosure
< 1451415687 270425 :trn!jhj@trnsz.com QUIT :Quit: quit
< 1451416365 725097 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Quit: This computer has gone to sleep
< 1451416598 787997 :heroux!sandroco@gateway/shell/insomnia247/x-uxudofztfoqpcujf QUIT :Ping timeout: 255 seconds
< 1451416688 426122 :heroux!sandroco@gateway/shell/insomnia247/x-wmbexvkuioiwdtlu JOIN :#esoteric
< 1451417531 577638 :mihow!~mihow@50-206-98-70-static.hfc.comcastbusiness.net JOIN :#esoteric
< 1451417930 887514 :J_Arcane!~chatzilla@37-219-215-88.nat.bb.dnainternet.fi QUIT :Ping timeout: 250 seconds
< 1451418101 411549 :trn!jhj@trnsz.com JOIN :#esoteric
< 1451418676 754151 :J_Arcane!~chatzilla@37-219-29-107.nat.bb.dnainternet.fi JOIN :#esoteric
< 1451418928 997464 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@wn gander
< 1451418930 549657 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :*** "gander" wn "WordNet (r) 3.0 (2006)"
< 1451418930 708421 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :gander
< 1451418930 708493 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :    n 1: mature male goose
< 1451418937 953406 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :If that's the only sense of the word, where does "take a gander" come from? 
< 1451418946 528821 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh.
< 1451418951 461970 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I somehow skipped over a row.
< 1451418956 478540 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"First recorded in 1887, based on craning the neck like a goose."
< 1451419254 270924 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Object-Oriented Brainfuck14]]4 10 02http://esolangs.org/w/index.php?diff=46029&oldid=44541 5* 0378.52.164.106 5* (+9) 10three months, no edit, two sentences, stub
< 1451419977 406619 :dcentral!~IGLC@2601:681:500:165a:d579:8b85:6bfb:4f9c JOIN :#esoteric
< 1451420013 760291 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 JOIN :#esoteric
< 1451420028 33626 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :How do I do Church Numerals in SK?
< 1451420060 826642 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Or more generally, how do I simply convert between λ-calculus and SK?
< 1451420097 431951 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i think there's an article on the wiki that says how
< 1451420202 506541 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://esolangs.org/wiki/S_and_K_Turing-completeness_proof
< 1451420244 404827 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it's a proof by conversion from λ calculus to ski logic
< 1451420387 692399 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :which works by having expressions which are half λ and half ski, and applyin rules until there's noting left but ski. 
< 1451420467 879511 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :so really it's a proof that any expression composed of λ and sk, including expressions that are entirely sk, can be converted to entirely λ
< 1451420476 374863 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :or entirely sk
< 1451420498 351263 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I hink we've ;earned somthing today
< 1451420739 118195 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :hppavilion[1]: see also the Mockingbird book, as well as http://www.madore.org/~david/programs/unlambda/
< 1451420772 624693 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :b_jonas: Right, should have thought to check there given that I already have that tab open xD
< 1451420836 486568 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07S and K Turing-completeness proof14]]4 10 02http://esolangs.org/w/index.php?diff=46030&oldid=35768 5* 03B jonas 5* (+159) 10
< 1451421668 527644 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I got my new zipper headphones1
< 1451421977 422975 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :he\\oren\. what are zipper headphones?
< 1451422205 209651 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :headphones that have a zipper between the two wires leading to your ears
< 1451422281 774149 :Welo!~hato@546A4E77.cm-12-3b.dynamic.ziggo.nl QUIT :Quit: Leaving
< 1451422342 686951 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I got two sets for a dollar each
< 1451422493 455108 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :a reasonable price.
< 1451422495 780176 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :@metar CYQB
< 1451422496 196673 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYQB 292039Z 07022G29KT 3/4SM R06/4000VP6000FT/D -SN BLSN BKN006 OVC015 M10/M12 A3027 RMK SN6SF1SC1 /S02/ SLP258
< 1451422557 18028 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Huh. Sounds like a rather neat idea, why have I never seen that before?
< 1451422564 956821 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :headphones with zippers, I mean
< 1451422651 721080 :mauris!~mauris@unaffiliated/nooodl JOIN :#esoteric
< 1451422687 146506 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :FirelloFly.
< 1451422725 155787 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :I have seen them a few times, but they don't seem to be very popular here. nearly everybody with something around their ears is on a pair of Beats or Sony.
< 1451422808 787000 :mauris_!~mauris@unaffiliated/nooodl QUIT :Ping timeout: 255 seconds
< 1451422902 419197 :jaboja64!~jaboja@esg214.neoplus.adsl.tpnet.pl JOIN :#esoteric
< 1451422916 16873 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Whoo!
< 1451422951 781326 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :I figured out how to implement OR in combinatory logic, given the standard constructions of T and F as T=K, F=K(SKK)
< 1451422969 508500 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :Which is obviously not a huge achievement but it made me happy!
< 1451422995 682849 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :(I did have to find a combinator that did something I needed, specifically one of the form `?abc  = bca`)
< 1451423036 494330 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :hppavellon[1]. have you explored the B, C and W combinators?
< 1451423053 976074 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :bohily
< 1451423086 265770 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Helge Von Koch 5*  10New user account
< 1451423090 566558 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I see quite a few porta pro's here
< 1451423097 223215 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :of course, that's not in-ear
< 1451423105 262441 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I don't like in-ear headphones myself though
< 1451423116 214275 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :boily: Yes, I already have those. Or do you mean explored them alone?
< 1451423132 767607 :jaboja!~jaboja@erx94.neoplus.adsl.tpnet.pl QUIT :Ping timeout: 255 seconds
< 1451423141 114377 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :My solcution was actually C [R True], where R is the aforementioned combinator I needed
< 1451423199 161649 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :And True is, of course, K (I named it True instead of T because there was a T combinator needed to implement R)
< 1451423213 890479 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 PRIVMSG #esoteric :(One which doesn't equal True)
< 1451423304 82530 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :FireFly: I was a in-ear user while I was in school (small, portative), but they are far from being confortable. and they snag on everything. and during winter they conduct painful ESDs to your sensitive earlobes.
< 1451423332 668309 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric
< 1451423341 974359 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I saw one of them cat-ear headphones recently when commuting
< 1451423380 830222 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :But that's more a novelty thing I guess
< 1451423603 46283 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :I'm looking for a pair of undisintegrating headphones, without any bluetooth, usb, gimmicks, mikes, buttons...
< 1451423626 504145 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :something well-built, comfy, and with a good frequency profile.
< 1451423634 192902 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :and of course, under 200$.
< 1451423912 841841 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the zipper headphones are pretty damn strudy
< 1451423934 966528 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :s/ru/ur/g
< 1451424269 618939 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :huh?
< 1451424299 206730 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric
< 1451424565 366244 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: I don't know if you want big or small, open or closed, but I've been quite happy with my Sennheiser HD 558's.
< 1451424596 95534 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 276 seconds
< 1451424617 999975 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :myname: sturdy
< 1451424650 970694 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what headphones?
< 1451424659 272265 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric
< 1451424659 431477 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i do speak sed
< 1451424692 101876 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :zipper headphones
< 1451424709 723105 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Admittedly I haven't had these for terribly long, so I can't be entirely sure whether they'll start disintegrating. Also I didn't read any of the previous discussion; I don't think these would be very good for portabilizing around.
< 1451424711 819155 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :tdnh
< 1451424740 822769 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.ebay.com/sch/items/?_nkw=zipper+headphones
< 1451424758 624829 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I bought them for a dollar
< 1451424766 436458 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :free shipping
< 1451424832 638276 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I don't think I've seen zipper headphones live, but there was a mention of the concept as a novel idea somewhere.
< 1451425016 595436 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :in china you can get things prototyped in like a week from what I hear
< 1451425137 870735 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :so someone in shenzhen might have heard about it and gone "I know who to call to get that made."
< 1451425166 366698 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 240 seconds
< 1451425180 208042 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric
< 1451425184 943175 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`wisdom
< 1451425186 327878 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :eliot/Eliot inverted cats, then Taneb stole his inversion.
< 1451425188 244201 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :`? necronomicon
< 1451425189 207427 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :necronomicon? ¯\(°​_o)/¯
< 1451425221 51754 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Maybe if I have an idea, it would be easier to mass-email chinese manufacutrers it, then buy it on ebay, than to start a company.
< 1451425233 931560 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :nomnomnomicron
< 1451425262 501651 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I'll have to see if that works some time
< 1451425316 996686 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :fizzie: fizziello. on the smaller end, closed.
< 1451425361 734061 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :mynamello: https://nomnomnomicon.wordpress.com/ ?
< 1451425444 278363 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :nice
< 1451425580 856876 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :boily: I used to have HD 280 Pro's from the same company (not so small, but closed), but the headband padding started to go all bad after a scant decade.
< 1451425699 294078 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :And I got a pair of Sony "Pro" (it's always about pro) MDR7506 headphones for work (closed since I thought it'd be a noisier place), and they've been fine so far.
< 1451425756 131474 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It says "Professional" on a sticker right there on the headphones, and the box has a schematic diagram on it, that's how you know it's a serious tool instead of a frivolous toy.
< 1451425766 645567 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :I got a pair of MDR-V55 at work. cheap, useful, and solid.
< 1451425813 271092 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :are there any products out there that are recursively professional? like proprofessional?
< 1451426607 374972 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :First, I'd look for something that's called professional but not considered professional enough.
< 1451426624 759965 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Since then there'd be demand for an extra professional version.
< 1451426678 708354 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Maybe there are people who proffesionally train professionalism.
< 1451426731 618488 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :I also considered having things I want made by Chinese manufacturers, but I think they might not go for just any idea.
< 1451426774 942569 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :Since if it's not already getting sold lucratively, then how do they know it's worth copying?
< 1451426789 971024 :MDude!~fyrc@pa-67-235-0-195.dhcp.embarqhsd.net PRIVMSG #esoteric :I haven't tried though, so maybe they'd give it a shot if it looks cool.
< 1451427303 779000 :hppavilion[1]!ceae003a@gateway/web/freenode/ip.206.174.0.58 QUIT :Ping timeout: 252 seconds
< 1451427489 984636 :Warrigal!~tswett@192.241.237.138 NICK :tswett
< 1451427715 568556 :dcentral!~IGLC@2601:681:500:165a:d579:8b85:6bfb:4f9c QUIT :Quit: Leaving
< 1451428168 626199 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's already a term for "professional but not quite professional": those are "prosumer" things.
< 1451428849 217747 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I just thought of another one of those stupid Magic card ideas.
< 1451428887 897648 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Block Out. 2U. Enchantment - Aura. Enchant spell. If enchanted spell would resolve, exile it instead.
< 1451428897 271058 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :...It should have flash, too.
< 1451428932 909024 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :tswett: isn't that generally worse than a Cancel?
< 1451428936 60789 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :wait wait
< 1451428937 563875 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :for 2U?
< 1451428941 222637 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah.
< 1451428941 813717 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :that's undercosted
< 1451428955 16492 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :it can counter any spell, it's only slightly weaker than Cancel
< 1451428966 367086 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :it should cost the same
< 1451428973 337978 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :(or more, but then it's useless)
< 1451428973 804079 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, you're probably right.
< 1451428994 627721 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :maybe add some restriction to it, then you can cost it lower. there's a lot of restricted counterspells out there.
< 1451429047 70494 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :Thoughtbind for example
< 1451429063 230980 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :you don't need severe restrictions to make it 2U
< 1451429073 331164 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :the counterspells for {1U} are more restricted, obviously
< 1451429132 800432 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Magnet. 2UU. Enchantment - Aura. Enchant Aura enchantment. When Magnet enters the battlefield, attach enchanted enchantment to Magnet. Enchanted enchantment has "Enchant enchantment named 'Magnet'" and loses all other enchant abilities.
< 1451429225 622894 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Wait, I don't think that would work as worded.
< 1451429233 403347 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :there's a lot of soft-counters that counter a spell unless the opponent pays some amount of generic mana, with some advantage, for 2U
< 1451429306 64295 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :When you play Magnet on an enchantment, that enchantment will become unable to enchant whatever it's enchanting (unless it's enchanting a Magnet) and go to the graveyard as a state-based action.
< 1451429315 266340 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=46031&oldid=45914 5* 03Luis Mendo 5* (+110) 10/* Language specification and compiler */
< 1451429361 161967 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=46032&oldid=46031 5* 03Luis Mendo 5* (+2) 10/* Fibonacci sequence */
< 1451429387 456387 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07MATL14]]4 10 02http://esolangs.org/w/index.php?diff=46033&oldid=46032 5* 03Luis Mendo 5* (-1) 10/* Fibonacci sequence */
< 1451429422 953926 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think there are several problems, actually.
< 1451429482 318133 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Quit: Leaving
< 1451429525 541655 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Magnet. 2UU. Enchantment - Aura. Enchant Aura enchantment. Enchanted enchantment has "Enchant object or player" and loses all other enchant abilities. When Magnet enters the battlefield, attach enchanted enchantment to Magnet, and that enchantment loses "Enchant object or player" and gains "Enchant enchantment named 'Magnet'".
< 1451429573 370038 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And don't forget...
< 1451429599 573191 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :tswett: does this really need two steps of changing the ability? why wouldn't you just change the ability first, then attach. 
< 1451429632 554764 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Mm... good point. Revision three.
< 1451429632 713866 :dcentral!~IGLC@2601:681:500:165a:d579:8b85:6bfb:4f9c JOIN :#esoteric
< 1451429633 821471 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :tswett: mind you, I think even that could have problems, toying with enchant abilities is dangerous, but I don't see why you need the extra step.
< 1451429644 560141 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :also, drop the apostrophes
< 1451429660 167142 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :M:tG uses quotation marks around abilities, but not around names
< 1451429665 334382 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Magnet. 2UU. Enchantment - Aura. Enchant Aura enchantment. When Magnet enters the battlefield, attach enchanted enchantment to Magnet, and that enchantment gains "Enchant enchantment named Magnet" and loses all other enchant abilities.
< 1451429699 732095 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :tswett: shouldn't that be in the opposite order?
< 1451429707 78812 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :that is, first change the ability, then attach
< 1451429717 824414 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Uh, lemme see.
< 1451429721 662285 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric
< 1451429734 4616 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :hmm
< 1451429735 725278 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :actually
< 1451429741 139019 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :maybe they have to be simultanous
< 1451429753 493283 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :so maybe you do need the two steps or simultanouity
< 1451429754 935146 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :I dunno
< 1451429763 290727 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think you were right the first time.
< 1451429765 381446 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :I wouldn't dare to do something like this
< 1451429767 474626 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :First change the ability, then attach.
< 1451429771 689082 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :I mean
< 1451429793 368029 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's not possible to attach an Aura to an illegal target, but it's possible for an Aura to *be* attached to an illegal target.
< 1451429805 862270 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It just dies as a state-based action.
< 1451429831 785461 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :tswett: I'm not sure it's possible. isn't there a "can't" somewhere, so it can't even stay attached, but dies only later/
< 1451429882 162354 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :But my bigger problem isn't how it stays attached. It's that the enchantment might have an ability that normally refers to an object in another zone or a player or something else, and now will try to refer to a permanent. 
< 1451429885 274267 :TieSoul!~TieSoul@2a02:a448:4a62:0:548d:2bb6:e105:b48e QUIT :Read error: Connection reset by peer
< 1451429886 277818 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :That might end badly.
< 1451429929 818951 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Looks like no, there's nothing prohibiting an Aura from momentarily enchanting an illegal target.
< 1451429956 905419 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The text of Animate Dead has it momentarily enchanting an illegal target.
< 1451429977 644058 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :If you turned the enchantment to a copy of something, so it definitely doesn't have any abilities remaining, then it would be fine, but that's usually a bit of an overkill compared to just exiling it.
< 1451429980 292067 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :When it enters the battlefield, it changes its own enchant ability and then changes what it's attached to.
< 1451430000 971528 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :Animate Dead... ouch. 
< 1451430011 167375 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :that's the card with the longest oracle text these days
< 1451430015 909827 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :or maybe not
< 1451430018 290656 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :but among the longest
< 1451430036 73529 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :maybe some double-faced planeswalkers have more text
< 1451430048 391172 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Ooh boy, now I want to find the card with the longest Oracle text.
< 1451430055 392297 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :but yes, you're probably right
< 1451430072 390475 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :But still, I don't like this card even if it does usually stay attached.
< 1451430118 592281 :hppavilion[2]!~Devourero@58-0-174-206.gci.net JOIN :#esoteric
< 1451430149 686101 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"Variable Colorless, Tap: Put a charge counter on Ice Cauldron and exile a nonland card from your hand. You may cast that card for as long as it remains exiled. Note the type and amount of mana spent to pay this activation cost. Activate this ability only if there are no charge counters on Ice Cauldron.
< 1451430149 845269 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Tap, Remove a charge counter from Ice Cauldron: Add Ice Cauldron's last noted type and amount of mana to your mana pool. Spend this mana only to cast the last card exiled with Ice Cauldron."
< 1451430216 877689 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :tswett: yes, that's among the longest too. but I think you mangled its text.
< 1451430234 918511 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :you probably mean "{X}, {T}:" instead of "Variable Colorless, Tap:"
< 1451430238 578621 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Nah.
< 1451430240 295454 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :then it's slightly less long
< 1451430354 313171 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :Chandra, Fire of Kaladesh has lots of oracle text if you count it together with the flip side
< 1451430360 865091 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Properly, they should be the Unicode characters U+24CD VARIABLE COLORLESS and U+27F3 TAP.
< 1451430404 427247 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :ouch
< 1451430484 103553 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :the other double-sided planeswalkers are long too (Kytheon, Hero of Akros; Jace, Vryn's Prodigy; Liliana, Heretical Healer; Nissa, Vastwood Seer)
< 1451430490 206499 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :I don't know which one is the longest
< 1451430515 12903 :b_jonas!~x@152.66.83.24 PRIVMSG #esoteric :Then there's Greater Morphling of course
< 1451431131 426473 :hppavilion[2]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :Your Hacker Name: The color of shirt you're wearing right now, concatenated with your email password
< 1451431143 102733 :hppavilion[2]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :NoneWalrusesAreAmazing
< 1451431164 817124 :hppavilion[2]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :(OK, that's not my REAL email password. I'm not THAT incredibly stupid)
< 1451431208 268792 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :BlackWalrusesAreAmazingToo
< 1451431370 15878 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :WhiteIThinkThereAreAlbinoWalruses
< 1451431624 762809 :hppavilion[2]!~Devourero@58-0-174-206.gci.net PRIVMSG #esoteric :BlackWalrusLivesMatter
< 1451431674 454633 :ais523!~ais523@unaffiliated/ais523 QUIT :
< 1451431795 329497 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :blackcharmander
< 1451431830 732367 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :well charmander was my email password during public school
< 1451431846 380033 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :now it's not a pokemon anymore
< 1451431857 482366 :haavard!freebsd@haavard.me PRIVMSG #esoteric :Hi, my name is Yellow *******
< 1451432019 182620 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :nor does my email adress end in @watson.math.yorku.ca anymore
< 1451432138 360897 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it is a digimon now?
< 1451432164 912628 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :\oren\: you had a watson after the @?
< 1451432165 71564 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :it was garumon for a few weeks then i changed it back
< 1451432170 620111 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :yes
< 1451432174 629289 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :neat.
< 1451432192 598828 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :i had an address on my dad's server, which still exists.
< 1451432209 358207 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :probably the address also still exists
< 1451432377 667253 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric
< 1451432379 974615 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :\oren\: I'm pretty sure Charmander is still a pokemon
< 1451432413 755009 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :lol
< 1451432468 385306 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: O KAY
< 1451432493 787683 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :HELLOKAYRJAN.
< 1451432500 849215 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what?
< 1451432507 618508 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh, that
< 1451432513 992666 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's kind of like an onion
< 1451432518 95772 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :there are 151 pokémons. Charmander is one of them.
< 1451432586 922635 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :BELLRIGHTILY
< 1451432689 636885 :gde33!kvirc@546A0B75.cm-12-3a.dynamic.ziggo.nl QUIT :Ping timeout: 265 seconds