< 1473724820 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :zzo38: sorry, I'm not going to try to understand that now < 1473724857 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :OK < 1473725057 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1473725496 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Sigh. There's this language I'm creating... I think I'm calling it Tokiber. < 1473725496 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :This language is experimental and will probably never be implemented. < 1473725522 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's kind of funny how it's turning out so far. < 1473725555 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Examples of things I have figured out how to define: monoids, groups, rings, categories, functors, natural transformations. < 1473725564 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Example of something I haven't figured out how to define: addition. < 1473725816 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tunes isn't loading :( < 1473727095 0 :hydraz!?@? NICK :hydPaz < 1473729114 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1473729663 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Try defining subtraction; then you just do a-(0-b) < 1473729695 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That would be great, except that I've only defined the natural numbers, not the integers. < 1473729702 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: laaaaaaame < 1473729711 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(What's the language like?) < 1473729724 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's like a deranged version of Haskell. < 1473729731 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :If all nuclear powers made a no-first-use policy, would nuclear weapons even be useful? < 1473729767 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(How about "no-first-use, but only for countries that have the same policy or a total no-first-use policy?) < 1473729770 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, if everyone is obeying a no-first-use policy, then nobody can ever use nuclear weapons. < 1473729779 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :s/\)/"\)/ < 1473729784 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Excellent, excellent < 1473729791 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: What's the policy on chemical weapons? < 1473729792 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Making them useless. < 1473729807 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :tswett: I have a definition of integer addition in Haskell at http://www.math.bme.hu/~ambrus/pu/Bin.hs , maybe try to derange that < 1473729873 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Can you do 2-tuples? < 1473729878 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :And booleans? < 1473729886 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, it has 2-tuples and booleans. < 1473729889 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: nuclear weapons are useful to prevent others from changing their minds about using them hth < 1473729900 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Yeah, that's what I figured < 1473729906 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The definition of booleans is a little weird. < 1473729937 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: OK, then an integer is (Nat, Bool). If the boolean is true, it's negative, if it's false, it's the same as the Nat < 1473729940 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :theory BoolType { sort Bool; true : Bool; false : Bool; } < 1473729978 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, how do I define subtraction on integers without already having defined addition on natural numbers? < 1473730164 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :tswett: see the definitions I linked? it defines addition and subtraction independetly. though you can also define them together, if you want shorter definitions, like < 1473730247 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :in http://www.perlmonks.com/?node_id=849296 where I define addition, subtraction, and comparison all together, although that only works for natural numbers < 1473730257 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :"General of the Armies" is apparently the highest available military rank (basically a 6-star general). George Washington was posthumously promoted; only one American has ever received it while alive < 1473730266 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(Well, highest army rank) < 1473730269 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :but that latter is cheating, it uses a lot of perl's builtins < 1473730289 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :so look at the haskell one, which defines the operations straight with pattern matching on algebraic types < 1473730351 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Note that I think the hard part here is defining the *language*. < 1473730383 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm not having trouble defining addition; I'm having trouble deciding which language features to add in order to allow myself to define addition. < 1473730392 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :tswett: ok < 1473730412 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :0.5+sqrt(1.25)-star general < 1473730448 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :then it's easier, I prefer languages that have arithmetic built-in, so why don't you add arithmetic as a language feature? < 1473730477 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Because I don't have to. < 1473730533 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :All right. I think I've figured it out. < 1473730547 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I'm gonna post some stuff. < 1473730556 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Paste some stuff, rather. < 1473730561 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :but if you don't want any arithmetic built-ins, then I recommend my haskell code, because it shows how to define addition and subtraction and multiplication and division of integers represented in binary from the ground up < 1473730665 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 276 seconds < 1473730702 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Huh, legally, George Washington outranks everyone forever. < 1473730756 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: how can he outrank everyone forever? can't people just invent higher ranks later? like, if I take over the world and name myself dictator, then I give myself whatever titles and ranks I want. < 1473730804 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: Yeah, but if a higher rank is created he gets promoted to it < 1473730823 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :not if I'm a dictator < 1473730824 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(It may take them a while to remember to do that though) < 1473730829 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He doesn't outrank me. < 1473730841 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: Well if you're a dictator, the US no longer exists so that law is void < 1473730870 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :http://lpaste.net/192258 - addition and multiplication defined in my language. < 1473730888 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: Also, outranks in the army. Dictator is political < 1473730900 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :
ACTION . o O ( Does a dictator count as a politician? )
< 1473730913 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yeah, dictators decide policy. That makes them politicians. < 1473731067 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: It just doesn't feel right to call them that though; they don't have to worry about "approval ratings" or "not being evil" < 1473731328 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Right. < 1473731331 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Lemme look up the definition... < 1473731371 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :"One engaged in politics, especially an elected or appointed government official." https://en.wiktionary.org/wiki/politician < 1473731389 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Google says: "a person who is professionally involved in politics, especially as a holder of or a candidate for an elected office." < 1473731407 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So the holder of an elected political office is definitely a politician. < 1473731421 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I think I'd say that you're still a politician even if the office isn't elected. < 1473731895 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :tswett: so does this language have deranged GADT so you can define types with higher-rank polymorphism and non-uniform recursive functions on them? < 1473731932 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :No, I mean, does it have deranged GADT so you can define types with deranged higher-rank polymorphism and deranged non-uniform recursive functions on them? < 1473731936 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :So far I don't think I have any kind of polymorphism at all. I don't know what a non-uniform recursive function is. < 1473731963 0 :7GHAB0D05!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1473731963 0 :7F1AB7QLJ!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1473731973 0 :7F1AB7QLJ!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Client Quit < 1473731973 0 :7GHAB0D05!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Client Quit < 1473731985 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1473731985 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Client Quit < 1473731996 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1473732271 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Hmm. My next challenge will be defining lists. < 1473732306 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :tswett: I think you'll need polymorphism to define lists in general < 1473732353 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :...wait, why is the UK not called the United Queendom? < 1473732396 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :wob_jonas: yup. Lists are kind of inherently a polymorphic thing. < 1473732411 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: they'd have to change their name every time the monarch changes genders. < 1473732445 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Their national anthem is "God Save the Queen" < 1473732471 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :If their monarch was a cross-dressing man, would it still be "God Save the [Drag] Queen"? < 1473732500 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Wikipedia says that the name of the national anthem *does* change every time the monarch changes genders. < 1473732514 0 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1473732522 0 :Caesura!~Aedile@cpe-174-100-169-144.neo.res.rr.com JOIN :#esoteric < 1473732666 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Also, they change the portrait of the queen on coins < 1473732811 0 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Rebooting < 1473733003 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Quit: Zarutian < 1473733162 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm so do norwegians. not sure about the song thing (it's not our national anthem, but we have a king song with the same melody as the english one. in two generations we might get our first modern queen, too. i can see a slight scansion problem with changing the lyrics...) < 1473733162 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :If one were to personify countries and other government (and non-government) organizations, how would subdivisions and such work? < 1473733184 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Would US states be younger siblings or children of the US? And what about the Confederacy? < 1473733224 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(they use to play both songs when the king holds his new year speech) < 1473733258 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*modern queen regnant < 1473733269 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I feel like the Confederacy should be a child of the US (and the US the child of the UK), but then the US states can't be that because a rebellion is distinctly different from a subsidiary government (duh) < 1473733348 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(the scansion problem is that the norwegian equivalents of "him" and "her" don't have the same number of syllables.) < 1473733415 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: That was my point < 1473733449 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Your language is terrible hth < 1473733473 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: "ham" vs "henne" is terrible? < 1473733510 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Yes. The syllables of common words with almost identical meaning that only vary by context must be equal < 1473733534 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :the confederacy and the union should be like in fight club obv. < 1473733616 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Phantom_Hoover: Wat? < 1473733620 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: that doesn't sound like a big problem. I mean, the poets who write the text of these anthems and other songs can work that around and make lyrics for both version. < 1473733622 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Phantom_Hoover: I'm going for familial relations < 1473733640 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :well your alternate personality is surely a family member < 1473733648 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :True... < 1473733649 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: the lyrics for the male version is already traditional, though. < 1473733651 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Ooooooh < 1473733673 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Phantom_Hoover: You mean like [SPOILERS FOR THOSE WHO ARE TERRIBLE] how Brad Pitt is all in his head? < 1473733686 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :y < 1473733697 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1473733702 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :That makes some sense I guess < 1473733704 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*are < 1473733751 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: they'd work like Steven Universe. < 1473733764 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I suppose that works? But it doesn't feel right, because if the confederacy had succeeded it'd be a distinct country < 1473733779 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :The United States is a single person that can split into 50 people (and a bunch of territories). < 1473733788 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: which reminds me that russian is also terrible: он vs. она < 1473733789 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Nopenopenopenopenope < 1473733791 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And they can fuse back into one person. < 1473733793 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: so what's the solution? < 1473733802 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Successor/splinter nations have to be children, I feel, but constituent states should be too... < 1473733803 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :tswett: oh, a superhero! < 1473733806 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and so is latin: is vs. ea < 1473733842 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Also, what if I need Texas to talk to the US as a whole? < 1473733867 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I mean, I guess I could just not be particularly clear as to how it works, but that doesn't seem as fun < 1473733947 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(And there's also the problem of other things- what the hell are the Democratic Party and the Republican Party? I guess they could be siblings?) < 1473733954 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hppavilion[1]: go, went, gone < 1473734003 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I suppose I could add some non-human stuff to it; both states AND rebellions would be be children, but rebellions are distinct in that they can just kind of separate < 1473734087 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: solution? i dunno. they've got a generation or so to find out. < 1473734159 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: wait by "traditional", you don't mean it's been used for so long that there's been many kings and queens since, right < 1473734202 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wob_jonas: there hasn't been a queen regnant since medieval times < 1473734219 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :I see < 1473734223 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :long before the song was composed. < 1473734234 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :makes sense < 1473734267 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1473734278 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in fact, it's only with the current generation the laws were changed to make a queen regnant _legal_ < 1473734289 0 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :hppavilion[1]: I don't really know how that works. < 1473734300 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :previously it was agnatic primogeniture < 1473734364 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: have you considered that the answer to "how does this work" is "it doesn't" hth < 1473734441 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Yeah, I think Hungary has only had one queen too, queen Mária Terézia, and that was way back when people were traditionally very gender-biased, so she needed some special stuff done by her ancestors so that she can be queen. < 1473734551 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Nope, I'm wrong, she wasn't the only queen. < 1473734585 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :There was another queen before her in the Anjou dynasty < 1473734614 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the king had elder sisters who were simply left out of the line; the crown prince has an elder sister who is in the line but _after_ him and his descendants. only the next generation will have complete equality. < 1473734639 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(of succession) < 1473734738 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the only queen regnant in norwegian history was Margrete I, who was also queen of denmark and sweden. < 1473734866 0 :fizzie!?@? PRIVMSG #esoteric :Moreover, in Númenor of old the sceptre descended to the eldest child of the king, whether man or woman. It is true that the law has not been observed in the lands of exile ever troubled by war; but such was the law of our people, to which we now refer, seeing that the sons of Ondoher died childless. < 1473735061 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1473735128 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :apparently the mezzacotta people have decided to keep doing privately the puzzle competitions they used to do on behalf of the company http://www.mezzacotta.net/puzzle/ < 1473735150 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION has never tried them, just felt like passing on
< 1473735247 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :oerjan: yup < 1473735286 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :dammit now tunes loads but not in the browser < 1473735391 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hah it was probably my own demonstration of a lambdabot trick that triggered it. < 1473735645 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well that and quintopia's massive `unidecode line right after < 1473735969 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Nabjol (opposite of Lojban): All sentences are exactly the same ("Ph'nglui mglw'nafh Cthulhu R'lyeh wgah'nagl fhtagn") < 1473736322 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@tell izalove why is there no link bot in this chan? <-- because i banned the last one hth < 1473736322 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1473736334 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: tdh thx hand < 1473736379 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :"You know who ELSE used laws to stop debates‽ HILTER!" < 1473736404 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yw̼ < 1473736421 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`unidecode w̼ < 1473736424 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0077 LATIN SMALL LETTER W] [U+033C COMBINING SEAGULL BELOW] < 1473736426 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: v. clever < 1473736435 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I didn't get it last time. < 1473736443 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and you got it on only my third try! < 1473736454 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :look < 1473736459 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :my terminal gets messed up all the time < 1473736473 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fiendish < 1473736555 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`learn HILTER is what happens when someone combines argumentum ad hitlerum, shouting, and muphry's law in one glorious clusterfuck. < 1473736558 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'hilter': HILTER is what happens when someone combines argumentum ad hitlerum, shouting, and muphry's law in one glorious clusterfuck. < 1473737204 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03XxXEliteXxx 5* 10New user account < 1473737219 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :looks promising < 1473737260 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you think < 1473737279 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :XxXYesXxx < 1473737292 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hasn't managed to get snagged in the filter yet < 1473737331 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :have i been pinger < 1473737369 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :dunno, read the logs < 1473737412 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :quintopia: barely. < 1473737463 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm looks like a vandal rather than a spammer so far < 1473737482 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that thing i was unidecoding renders fine for me, but i couldn't even tell what the underlying letters were < 1473737527 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`döts fiendish < 1473737529 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fïëndïsḧ < 1473737616 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :okay...turns out trying to find the optimal tokenization for this coder is REALLY SLOW. even if it compresses like 20% better it won't be worth this ridiculous wait... < 1473737621 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: you are fondish of that word < 1473737657 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i am fondish of fondue. it's a fun dish. < 1473737750 0 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(when i go hiking, i prefer a foon dish.) < 1473737801 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 M10 02https://esolangs.org/w/index.php?diff=49713&oldid=49681 5* 03XxXEliteXxx 5* (+200) 10 < 1473737815 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Deadfish14]]4 M10 02https://esolangs.org/w/index.php?diff=49714&oldid=49631 5* 03XxXEliteXxx 5* (-89) 10Removed unnecessary comment < 1473737958 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Deadfish14]]4 M10 02https://esolangs.org/w/index.php?diff=49715&oldid=49714 5* 03XxXEliteXxx 5* (-62) 10 < 1473738948 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: shocking < 1473739083 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Deadfish14]]4 10 02https://esolangs.org/w/index.php?diff=49716&oldid=49715 5* 03Oerjan 5* (+89) 10Undo revision 49714 by [[Special:Contributions/XxXEliteXxx|XxXEliteXxx]] ([[User talk:XxXEliteXxx|talk]]) (This comment is by the language inventor and therefore sacred HTH) < 1473739205 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i'm still not sure it's promising, but at least it's not a spammer. < 1473739957 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1473740963 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net JOIN :#esoteric < 1473741126 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Wait, would EU be the child or the parent of several countries? < 1473741172 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(The merging of two countries- e.g. East and West Germany- is of course caused by them having a child and then that child getting batman'd < 1473741173 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :) < 1473741202 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(Or maybe they'll just adorably merge. Not sure how much I want to real-world it) < 1473741255 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :De jure East and West Germany didn't merge, instead East Germany was entirely dissolved and its constituent territories joined West Germany. < 1473741272 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :It wasn't an adorable merge. < 1473742082 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :quintopia: What coder is that? < 1473742146 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :@messages < 1473743221 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :pikhq: Yeah; they merged and WG stuck. < 1473743230 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :EG was absorbed into WG < 1473743483 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: Was it majestic? < 1473743499 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Magic: the Gathering has Urza's Avenger and the variant Jodah's Avenger but I would want to make up this new variant: {0}: ~ gets -1/-1 and gains your choice of banding, flanking, skulk, or menace until end of turn. < 1473743749 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Science: The Agriculturing < 1473743932 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Fuckin morons... < 1473743971 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Pearson Education only lets your password be a-zA-Z0-9@._- < 1473743979 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :It also has a MAXIMUM length < 1473743995 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: what's the maximum length? < 1473744010 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :a maximum length of 1024 bytes or something can be reasonable < 1473744021 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: 32 < 1473744025 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :32 characters < 1473744030 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :though I'd prefer 4096 bytes < 1473744036 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :32? that's too low < 1473744037 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :And it encourages the ones humans can't remember but computers can guess < 1473744041 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: Yeah. Fucking idiots. < 1473744071 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :If you use a random string for that then at least you get a reasonable 193 bits of entropy. < 1473744073 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :who are these... oh, Pearson Education! yes, I've met the website of those idiots < 1473744076 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b PRIVMSG #esoteric :But, ugh. < 1473744124 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :it has other problems than that < 1473744140 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :32 characters should be enough f < 1473744219 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Oh, but "may we spam you" is unchecked by default < 1473744247 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: It's mandatory for AP Physics < 1473744340 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Your password should have a very long maximum length (at least 255, preferably much more), a minimum of perhaps four or five, and allow any sequence of bytes including control characters and invalid UTF-8 sequences and whatever else you want. < 1473744360 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :zzo38: agreed < 1473744379 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Oh well, at least I used a password I've never used before < 1473744427 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Any sequence *longer than a certain length < 1473744429 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :except it shouldn't allow tXqW0J9TC . That's a bad password, especially since it's now in the logs. < 1473744468 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I think these sites should have a minlength and NO other requirements; if you get hacked because someone guesses it, it's your fault for choosing a shitty password < 1473744487 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(There's no way they could just know what is obvious to people who know you) < 1473744500 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: no no, I think it's completely fine to have SOME max length. I recommend 4096 bytes. < 1473744501 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Of course you shouldn't select that password now it is in logs, but I think it shouldn't check anything except the length, and it is up to the user what password they want even if duplicating someone else's password by coincidence. < 1473744502 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Minmax = 4096 bytes; all bits in the byte are independent < 1473744510 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: Well yeah, and a max < 1473744514 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :A maximum length is needed, although it should be very high. < 1473744528 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Preferably at least 4096 bytes. < 1473744549 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Yes, the "NO other requirements" was practical, not technical < 1473744589 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(For the average user, "your password can't be more than 4096 bytes" isn't a requirement; it's just assumed because who would ever have a password that long? It's not like there are programs that make absurd passwords for you < 1473744589 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :If the system cannot handle that, lower it to 255, but you should try to avoid needing to lower it that much I think < 1473744604 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Yes; you CAN lower it, but if you do you aren't using a very good system < 1473744618 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes I agree, it isn't a very good system if you have to do < 1473744620 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: In fact, any sort of max length is kind of weird; you're hashing the password anyway < 1473744638 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Or if you aren't, YOU ARE DOING THIS WRONG START HASHING THOSE PASSWORDS STAT < 1473744645 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :AND ADD SOME SALT < 1473744654 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes, and what kind of hashing? Yes, hashing and salt should be used. < 1473744657 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :AND MEGA-ENCRYPT THE HINTS, DAMMIT < 1473744683 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Good hashing; arguably, any hash works, but a cryptographic hash is what you should use < 1473744685 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :No mandatory password hints. < 1473744694 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Of course, and no security questions < 1473744697 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :*mandatory < 1473744709 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes, no mandatory security questions either. < 1473744724 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :That defeats the purpose of a secure password because people can just check your biography < 1473744741 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Security questions should be optional, and you should be able to add your own < 1473744742 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes, it does, especially if your security question is that easy! < 1473744762 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :And yes I agree, if security questions are provided at all, it should be optional and you are allowed to write your own question. < 1473744794 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :What is your mother's maiden name? What is the name of your first pet? What was your favourite class in school? < 1473744796 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Yes, and if it's a bad question it's your own fault < 1473744826 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes you are right it is your own fault < 1473744837 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :Oh, and your bank card pin code should be the year and month of your child's birthdate. < 1473744903 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Four digits maximum is a too short password. < 1473744909 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: I wouldn't use bank card pins unless they let me make them (a) hex (b) 32 digits < 1473744925 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: I don't think it's even a real password; the security is in "don't walk off with your card" < 1473744927 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :The password for your bank card and credit card and whatever should have a much larger maximum than just four digits. < 1473744936 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :s/walk off/let other people walk off/ < 1473744943 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :hpp: how do you convince everyone with a POS terminal to allow that? < 1473744976 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: Anyone who doesn't will be taken into the woods and shot < 1473744983 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :I think the current system is insecure even if they did make passwords longer actually. < 1473744999 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :I did propose my own system and protocol, and the customer is allowed to provide their own keypad. < 1473745011 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :This can also prevent the merchant from cheating by making it display the wrong price. < 1473745036 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Display the wrong price where? < 1473745057 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :On the keypad for the credit card transaction < 1473745064 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Ah? < 1473745070 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Sounds a little suspicious, but OK < 1473745081 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: You should also be able to set up a separate duress pin that works like the "enter your pin backwards" myth, but actually works < 1473745097 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :That is why customer should be allowed to use their own keypad with their own software. < 1473745135 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :And then, based on their own software and on the credit card company's service, other things might be possible such as passwords that automatically change every day if you want to. < 1473745166 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :(Or alphanumeric passwords, or keypads that move the digits around to make it difficult to watch, or whatever) < 1473745252 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: You should also be able to configure your garage door opener to lock/unlock the garage and disable certain remotes at will < 1473745255 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :And then, the same protocol is used for the purchase by internet by credit cards; either by connecting your own keypad to the computer or by having a program on your computer tat emulates it. < 1473745288 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th JOIN :#esoteric < 1473745289 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :(e.g. "Your remote will only open my garage after 8:00, so you don't use it for non-booty-call-related purposes") < 1473745291 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: Possibly someone might figure out such things < 1473745337 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Reprogramming the garage mechanism in that way does not seem to be way too difficult, although you may need to install your own computer hardware to control it with < 1473745350 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Yeah, probably < 1473745359 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Also, I want my router to be scriptable < 1473745372 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I want to be able to put a Python program on the router and control how things work < 1473745388 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :("This computer can use the internet, but all images get flipped vertically") < 1473745422 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :That might be too difficult since it has to figure out what is a picture; there are different formats, different protocols, and different kinds of encryption. < 1473745539 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: upside-down-ternet < 1473745608 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Just turn the monitor upsidedown; now the picture is upsidedown and it work regardless of the file format and protocols in use. < 1473745643 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: No, but I want it to work on unsuspecting victims < 1473745650 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Like, conditionallky < 1473745658 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :I want my router to be scriptable at will < 1473745704 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :I too want router to be reprogrammable, but I described why that won't work anyways. < 1473745762 0 :Caesura!~Aedile@cpe-174-100-169-144.neo.res.rr.com QUIT :Ping timeout: 250 seconds < 1473745807 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :What you can think of the Magic: the Gathering card I made up shown above? < 1473745902 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :zzo38: that {0} activation morphling? you didn't tell what it costs, the types and p/t < 1473745917 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :can you show the full card? < 1473745992 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: In fact, I think many of them are reprogrammable < 1473746278 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :Hm, Squid (http://www.squid-cache.org/) does something like this, it looks like < 1473746312 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :wob_jonas: Look at Urza's Avenger and Jodah's Avenger; I intended to be similar to that, although such details could differ from those possibly. Those ones cost six mana to cast and are 4/4 < 1473746354 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`card-by-name Urza's Avenger < 1473746355 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Urza's Avenger \ 6 \ Artifact Creature -- Shapeshifter \ 4/4 \ {0}: Urza's Avenger gets -1/-1 and gains your choice of banding, flying, first strike, or trample until end of turn. (Any creatures with banding, and up to one without, can attack in a band. Bands are blocked as a group. If any creatures with banding you control are blocking or being bl < 1473746361 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :`card-by-name Jodah's Avenger < 1473746362 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Jodah's Avenger \ 5U \ Creature -- Shapeshifter \ 4/4 \ {0}: Until end of turn, Jodah's Avenger gets -1/-1 and gains your choice of double strike, protection from red, vigilance, or shadow. (A creature with shadow can block or be blocked by only creatures with shadow.) \ PLC-U < 1473746855 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Now do you know if you think of what I wrote? < 1473746981 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: What would be the uses of fully-scriptable routers do you think? < 1473747070 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :hppavilion[1]: Program more versatile incoming and outgoing filters, logs, automatic dynamic DNS update, automatic time update, port knocking, etc. < 1473747120 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Dynamic Wi-Fi passwords (if you have a wireless router), and perhaps even to alter which services are available depending which password is used. < 1473747174 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :no, sorry < 1473747194 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :from a router, I prefer low latency and high bandwidth of transferring data on the network over versatile filters < 1473747244 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes, although sometimes having more filters can be more useful especially if written in C or whatever instead of Python. < 1473747290 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Program can be recompiled if you want to alter the filters. < 1473747302 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :no, routers shouldn't mess with filters. they should just transfer my data in the right route < 1473747330 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Sometimes the filter is needed in order to decide what route, though. < 1473747371 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :no way. finding the right route is done by magic, not filters. < 1473747374 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 PRIVMSG #esoteric :filters can't do that. < 1473747419 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Then allow it to be reprogrammed by magic and then recompiled if the setting needs changed, instead of by filters. < 1473747632 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :zzo38: Ooooh < 1473747651 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net PRIVMSG #esoteric :wob_jonas: Then you use the low-latency high-bandwidth password < 1473747869 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa JOIN :#esoteric < 1473750145 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th QUIT :Quit: This computer has gone to sleep < 1473750285 0 :wob_jonas!59858794@gateway/web/cgi-irc/kiwiirc.com/ip.89.133.135.148 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1473750418 0 :hppavilion[1]!~Doslowdow@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1473752063 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1473753157 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th JOIN :#esoteric < 1473753412 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th QUIT :Ping timeout: 244 seconds < 1473753643 0 :danofthedeep!~danofthed@c-174-50-100-100.hsd1.ga.comcast.net QUIT :Read error: Connection reset by peer < 1473753672 0 :augur!~augur@noisebridge130.static.monkeybrains.net QUIT :Remote host closed the connection < 1473757498 0 :augur!~augur@2601:640:8001:4222:5d21:d155:c9cf:d811 JOIN :#esoteric < 1473759105 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg6q7wl5uwqwgtb.ip6.access.telenet.be JOIN :#esoteric < 1473759295 0 :heroux!sandroco@gateway/shell/insomnia247/x-okqtroosrxchawxj QUIT :Remote host closed the connection < 1473759306 0 :heroux!sandroco@gateway/shell/insomnia247/x-ffhtbtbbpdgjnnnx JOIN :#esoteric < 1473759381 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th JOIN :#esoteric < 1473760523 0 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :https://twitter.com/Verbalneurotik/status/756743574276956160 dafuq did i just watch < 1473761572 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th QUIT :Ping timeout: 240 seconds < 1473761613 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th JOIN :#esoteric < 1473761703 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 240 seconds < 1473761725 0 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1473762363 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th QUIT :Quit: This computer has gone to sleep < 1473763038 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1473765796 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Kenrube 5* 10New user account < 1473765878 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th JOIN :#esoteric < 1473766200 0 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 250 seconds < 1473766217 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1473766662 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=49717&oldid=49713 5* 03Kenrube 5* (+166) 10/* Introductions */ < 1473766686 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Polyglot14]]4 10 02https://esolangs.org/w/index.php?diff=49718&oldid=49118 5* 03Kenrube 5* (-44) 10 < 1473766998 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1473769488 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th QUIT :Quit: This computer has gone to sleep < 1473769642 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th JOIN :#esoteric < 1473771229 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1473773294 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th QUIT :Quit: This computer has gone to sleep < 1473776733 0 :Sgeo!~Sgeo@ool-43500d4c.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1473777823 0 :augur!~augur@2601:640:8001:4222:5d21:d155:c9cf:d811 QUIT :Remote host closed the connection < 1473778309 0 :Caesura!~Aedile@casewireless03.CWRU.Edu JOIN :#esoteric < 1473778743 0 :Caesura!~Aedile@casewireless03.CWRU.Edu QUIT :Ping timeout: 240 seconds < 1473778991 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th JOIN :#esoteric < 1473779919 0 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1473780910 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: Textual IRC Client: www.textualapp.com < 1473781258 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th QUIT :Ping timeout: 255 seconds < 1473781264 0 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1473781454 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl JOIN :#esoteric < 1473781540 0 :`^_^v!~nycs@ppp-223-24-18-161.revip6.asianet.co.th JOIN :#esoteric < 1473783011 0 :diginet!~diginet@107.170.146.29 QUIT :Quit: diginet has quit! < 1473783024 0 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1473783121 0 :pelegreno!~cinch@107.170.175.57 QUIT :Remote host closed the connection < 1473783151 0 :pelegreno_!~cinch@107.170.175.57 JOIN :#esoteric < 1473783221 0 :Yurume_!23f9939a@121.78.85.35 QUIT :Ping timeout: 265 seconds < 1473783299 0 :Yurume_!23f9939a@121.78.85.35 JOIN :#esoteric < 1473783932 0 :`^_^v!~nycs@ppp-223-24-18-161.revip6.asianet.co.th QUIT :Read error: Connection reset by peer < 1473784106 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th JOIN :#esoteric < 1473784618 0 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 265 seconds < 1473784670 0 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1473785517 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1473786680 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :A new custom Magic: the Gathering card (cost, name, and type, currently unknown): Cast ~ only during your precombat main phase. ;; Creatures can't attack players. ;; Phasing < 1473788625 0 :LKoen!~LKoen@2a01:e35:2eed:a430:64d4:7f7b:2220:8775 JOIN :#esoteric < 1473789048 0 :FireFly!?@? NICK :EvilFly < 1473789773 0 :`^_^v!~nycs@cm-58-10-238-206.revip7.asianet.co.th QUIT :Quit: This computer has gone to sleep < 1473789788 0 :LKoen!~LKoen@2a01:e35:2eed:a430:64d4:7f7b:2220:8775 QUIT :Remote host closed the connection < 1473790552 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1473790597 0 :Reece`!~Ner@cpc88067-wiga13-2-0-cust35.18-3.cable.virginm.net JOIN :#esoteric < 1473791181 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :does js even distiguish between when obj.member is not present versus present and set to null? < 1473791238 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes < 1473791261 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Also, if not present in the object or in its prototype chain, the value will be undefined, which is different from null. < 1473791319 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Try: Object.keys({y:undefined,x:undefined,z:null}) < 1473791354 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can always "undefined = null" < 1473791409 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes, since "undefined" is not a keyword < 1473791462 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :You can write void(0) instead < 1473791479 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Or you can write (()=>{})() < 1473791489 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :the point is can you test whether obj has the member x? < 1473791503 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes you can test that! < 1473791527 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ok, so what I'm doing makes sense then. < 1473791547 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :You can use the "in" operator, and you can use Object.keys < 1473791566 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I'm using a member being present as opposed to absent to signal the client ot do something < 1473791587 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :even if that member is null < 1473791613 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :Yes, although the default value of a nonexistent property is undefined instead of null. < 1473791882 0 :EvilFly!znc@freenode/staff/firefly PRIVMSG #esoteric :Lua is the one that doesn't distinguish between the two < 1473791885 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca PRIVMSG #esoteric :(Although, the "in" operator checks in the entire prototype chain and not just the object itself. You can use Object.getOwnPropertyDescriptor to check for the existence on only the object itself.) < 1473791903 0 :EvilFly!znc@freenode/staff/firefly PRIVMSG #esoteric :(setting a member to nil is how you "delete" the member; they're intetionally not distinguishable from inside the language as far as I know) < 1473793775 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Remote host closed the connection < 1473794259 0 :EvilFly!?@? NICK :FireFly < 1473795385 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org JOIN :#esoteric < 1473795531 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1473796336 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1473796381 0 :Zarutian!~zarutian@168-110-22-46.fiber.hringdu.is QUIT :Read error: Connection reset by peer < 1473796383 0 :Zarutian_!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1473796388 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hippavilion[!] < 1473796457 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :man the usa is turning into a giant basket of deplorable frogs < 1473796484 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly: why are you evil twh < 1473796496 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(the wolves howl) < 1473796508 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :Well I felt evil for a while, but then it passed < 1473796530 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: are you a deplorable frog yet? < 1473796536 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What? < 1473796545 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Wouldn't an evil person also claim that it passed? < 1473796574 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.hillaryclinton.com/post/donald-trump-pepe-the-frog-and-white-supremacists-an-explainer/ < 1473796607 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :hillary clinton's campaign now claims that pepe the frog is an official mascot of deplorable white supremacists < 1473796642 0 :Slereah!~Slereah@LFbn-1-3085-42.w90-79.abo.wanadoo.fr PRIVMSG #esoteric :Well it kinda is < 1473796644 0 :APic!apic@apic.name PRIVMSG #esoteric :Why would any Person be evil? < 1473796691 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly is a firefly, I think. < 1473796737 0 :FireFly!znc@freenode/staff/firefly PRIVMSG #esoteric :
ACTION glows
< 1473796739 0 :APic!apic@apic.name PRIVMSG #esoteric :Ok. < 1473796751 0 :APic!apic@apic.name PRIVMSG #esoteric :
ACTION is mostly polymorphed into a grinning Cat.
< 1473796761 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :APic: I believe few people consider themselves to be evil. < 1473796767 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :Slereah: I can't beleive it's gotten to this point. us canadians should just invade, declare martial law, and feed americans tim hortons until they regain sanity < 1473796777 0 :APic!apic@apic.name PRIVMSG #esoteric :int-e: True. < 1473796785 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i US Canadians < 1473796867 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :you know, like a UN intervention deal type thing < 1473796884 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :canadians are good at that < 1473796900 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Canada is too big. < 1473796926 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 276 seconds < 1473796928 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But Canadians are all right next to the US border. Probably all wishing they could get in. < 1473796952 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :nah, we're preparing for the invasion < 1473797012 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :like as soon as the us governemnt fully collapses. < 1473797037 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :you're about, oh, frog percent collapsed right now < 1473797061 0 :APic!apic@apic.name PRIVMSG #esoteric :Many People cannot count, yes. < 1473797830 0 :fizzie!fis@selene.zem.fi JOIN :#esoteric < 1473797839 0 :digitalcold!~redacted@192.73.232.206 JOIN :#esoteric < 1473797897 0 :pelegreno_!~cinch@107.170.175.57 JOIN :#esoteric < 1473798107 0 :heroux!sandroco@gateway/shell/insomnia247/session JOIN :#esoteric < 1473798111 0 :Reece`!~Ner@cpc88067-wiga13-2-0-cust35.18-3.cable.virginm.net QUIT :Read error: Connection reset by peer < 1473798179 0 :vifino!~vifino@tty.sh JOIN :#esoteric < 1473798179 0 :nortti!nortti@ayu.smar.moe JOIN :#esoteric < 1473798179 0 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1473798179 0 :mtve!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1473798179 0 :APic!apic@apic.name JOIN :#esoteric < 1473798179 0 :diginet!~diginet@107.170.146.29 JOIN :#esoteric < 1473798179 0 :iaglium!~i@45.63.97.181 JOIN :#esoteric < 1473798179 0 :ybden!~ybden@unaffiliated/ybden JOIN :#esoteric < 1473798179 0 :7IZAAJA7S!znc@freenode/staff/firefly JOIN :#esoteric < 1473798179 0 :shachaf!~shachaf@unaffiliated/shachaf JOIN :#esoteric < 1473798179 0 :erdic!~erdic@unaffiliated/motley JOIN :#esoteric < 1473798179 0 :tromp__!~tromp@ool-944bc34f.dyn.optonline.net JOIN :#esoteric < 1473798179 0 :zgrep!sid43445@gateway/web/irccloud.com/x-dwdwfqfllnkkshmz JOIN :#esoteric < 1473798179 0 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1473798179 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg6q7wl5uwqwgtb.ip6.access.telenet.be JOIN :#esoteric < 1473798179 0 :Yurume_!23f9939a@121.78.85.35 JOIN :#esoteric < 1473798179 0 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1473798179 0 :kragniz!~kragniz@nyaa.kragniz.eu JOIN :#esoteric < 1473798179 0 :jameseb!~jameseb_@runciman.hacksoc.org JOIN :#esoteric < 1473798179 0 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1473798179 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de JOIN :#esoteric < 1473798179 0 :kline!~kline@freenode/staff/enucs.kline JOIN :#esoteric < 1473798179 0 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1473798179 0 :Akaibu!uid118096@gateway/web/irccloud.com/x-taijjlcweqkjrwmg JOIN :#esoteric < 1473798179 0 :Melvar!~melvar@dslb-092-072-184-058.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1473798179 0 :j-bot!~j-bot@li1285-84.members.linode.com JOIN :#esoteric < 1473798179 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org JOIN :#esoteric < 1473798179 0 :shikhin!shikhin@unaffiliated/shikhin JOIN :#esoteric < 1473798179 0 :puckipedia!~puck@irc.puckipedia.com JOIN :#esoteric < 1473798179 0 :Slereah!~Slereah@LFbn-1-3085-42.w90-79.abo.wanadoo.fr JOIN :#esoteric < 1473798179 0 :staffehn!~quassel@2001:41d0:52:d00::1d3 JOIN :#esoteric < 1473798179 0 :Warrigal!~tswett@192.241.237.138 JOIN :#esoteric < 1473798179 0 :clog!~nef@bespin.org JOIN :#esoteric < 1473798179 0 :ineiros_!ineiros@kapsi.fi JOIN :#esoteric < 1473798179 0 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1473798179 0 :yorick!~yorick@oftn/oswg-member/yorick JOIN :#esoteric < 1473798179 0 :olsner!~salparot@c80-217-126-39.bredband.comhem.se JOIN :#esoteric < 1473798179 0 :espes!~espes@205.185.120.132 JOIN :#esoteric < 1473798179 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com JOIN :#esoteric < 1473798179 0 :Robdgreat!~rob@unaffiliated/robdgreat JOIN :#esoteric < 1473798179 0 :cnr!~connor@unaffiliated/conehead JOIN :#esoteric < 1473798179 0 :zzo38!~zzo38@24-207-47-170.eastlink.ca JOIN :#esoteric < 1473798179 0 :xfix!~xfix@unaffiliated/xfix JOIN :#esoteric < 1473798179 0 :sirnaysayer!~naysayer@104.244.72.181 JOIN :#esoteric < 1473798179 0 :ski!~ski@remote11.chalmers.se JOIN :#esoteric < 1473798179 0 :JX7P!~IRIX@freebsd/user/kastengraeber JOIN :#esoteric < 1473798179 0 :myname!~myname@84.200.43.57 JOIN :#esoteric < 1473798179 0 :pdxleif!~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com JOIN :#esoteric < 1473798179 0 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 JOIN :#esoteric < 1473798179 0 :Guest66666!~kragniz@nyaa.kragniz.eu JOIN :#esoteric < 1473798179 0 :pikhq!~pikhq@2601:647:4b00:63aa:eade:27ff:fe08:b48b JOIN :#esoteric < 1473798179 0 :Tiktalik!~tiktalik@unaffiliated/tiktalik JOIN :#esoteric < 1473798179 0 :gniourf!~gniourf@pdm-l03.insa-lyon.fr JOIN :#esoteric < 1473798191 0 :pelegreno_!~cinch@107.170.175.57 QUIT :Max SendQ exceeded < 1473798202 0 :relrod_!~relrod@new.elrod.me JOIN :#esoteric < 1473798202 0 :MDude!~MDude@c-73-187-225-46.hsd1.pa.comcast.net JOIN :#esoteric < 1473798202 0 :idris-bot!~idris-bot@dslb-092-072-184-058.092.072.pools.vodafone-ip.de JOIN :#esoteric < 1473798202 0 :aloril!~aloril@dsl-tkubrasgw1-54fa3f-129.dhcp.inet.fi JOIN :#esoteric < 1473798202 0 :jix!~jix@jixco.de JOIN :#esoteric < 1473798202 0 :nitrix!~nitrix@unaffiliated/nitrix JOIN :#esoteric < 1473798202 0 :paul2520!~paul2520@unaffiliated/paul2520 JOIN :#esoteric < 1473798202 0 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1473798212 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1473798212 0 :Alcest!~alcest@69.64.40.177 JOIN :#esoteric < 1473798212 0 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1473798212 0 :Frooxius!~Frooxius@194.108.5.201 JOIN :#esoteric < 1473798212 0 :izalove!~izabera@unaffiliated/izabera JOIN :#esoteric < 1473798214 0 :newsham!~chat@udp217044uds.hawaiiantel.net JOIN :#esoteric < 1473798219 0 :hydraz!matheus@heddw.ch JOIN :#esoteric < 1473798219 0 :feliks!JC7vwVmfaH@sabic.uberspace.de JOIN :#esoteric < 1473798219 0 :FreeFull!~freefull@bcdffda8.skybroadband.com JOIN :#esoteric < 1473798219 0 :rodgort!~rodgort@68.ip-149-56-14.net JOIN :#esoteric < 1473798219 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1473798219 0 :Hoolootwo!~Hoolootwo@hooloovoo.blue JOIN :#esoteric < 1473798219 0 :choochter!choochter@nat/ibm/session JOIN :#esoteric < 1473798219 0 :zemhill___!bfjoust@selene.zem.fi JOIN :#esoteric < 1473798219 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa JOIN :#esoteric < 1473798219 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz JOIN :#esoteric < 1473798220 0 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1473798220 0 :Zarutian_!~zarutian@168-110-22-46.fiber.hringdu.is JOIN :#esoteric < 1473798220 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl JOIN :#esoteric < 1473798220 0 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1473798220 0 :lambdabot!~lambdabot@haskell/bot/lambdabot JOIN :#esoteric < 1473798220 0 :Cale!~cale@CPEc8d3a35c2cdd-CM0c473de9d680.cpe.net.cable.rogers.com JOIN :#esoteric < 1473798220 0 :tromp!~tromp@rtc35-082.rentec.com JOIN :#esoteric < 1473798220 0 :deltab!~deltab@ds6266.dedicated.turbodns.co.uk JOIN :#esoteric < 1473798227 0 :7IZAAJA7S!?@? NICK :EvilFly < 1473798227 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :that was a big netsplit < 1473798228 0 :heroux!sandroco@gateway/shell/insomnia247/session QUIT :Changing host < 1473798228 0 :heroux!sandroco@gateway/shell/insomnia247/x-arsyudhfyantakdq JOIN :#esoteric < 1473798228 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mmm < 1473798228 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :ah, there you are, lambdabot! < 1473798228 0 :\oren\!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :@messages- < 1473798228 0 :choochter!choochter@nat/ibm/session QUIT :Changing host < 1473798228 0 :choochter!choochter@nat/ibm/x-wtptqzrplrjgzyfh JOIN :#esoteric < 1473798229 0 :hydraz!matheus@heddw.ch QUIT :Changing host < 1473798229 0 :hydraz!matheus@unaffiliated/demhydraz JOIN :#esoteric < 1473798238 0 :copumpkin!~copumpkin@haskell/developer/copumpkin JOIN :#esoteric < 1473798248 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 11d 20h 38m 23s ago: yes, yes (in nynorsk), neither (en:egg = no:egg) < 1473798248 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 11d 20h 38m 4s ago: in fact i vaguely recall english borrowed it from us hth < 1473798248 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :oerjan said 11d 19h 56m 36s ago: there's a bug so you cannot `revert a new file creation properly hth < 1473798250 0 :FreeFull!?@? NICK :Guest68061 < 1473798262 0 :pelegreno__!~cinch@107.170.175.57 JOIN :#esoteric < 1473798275 0 :relrod_!~relrod@new.elrod.me QUIT :Changing host < 1473798275 0 :relrod_!~relrod@redhat/relrod JOIN :#esoteric < 1473798286 0 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi JOIN :#esoteric < 1473798423 0 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1473798467 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1473798721 0 :EvilFly!?@? NICK :FireFly < 1473798749 0 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric < 1473798851 0 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Quit: leaving < 1473798851 0 :dingbat!uid70835@gateway/web/irccloud.com/x-nblyjjvrqpspqdft JOIN :#esoteric < 1473799013 0 :trn!jhj@trnsz.com JOIN :#esoteric < 1473799055 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 265 seconds < 1473799056 0 :relrod_!?@? NICK :relrod < 1473799101 0 :Guest68061!~freefull@bcdffda8.skybroadband.com QUIT :Changing host < 1473799101 0 :Guest68061!~freefull@defocus/sausage-lover JOIN :#esoteric < 1473799113 0 :Guest68061!?@? NICK :FreeFull < 1473799237 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net JOIN :#esoteric < 1473799921 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :So e := summ(0, inf, λ k -> 1/fact(k)) < 1473799968 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :Is there a use for se := summ(0, inf, λ k -> 1/subfact(k))? < 1473800020 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :(let's call it u (e is the 0th letter of euler; u is the 1th)) < 1473800051 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :(Wait, subfact(1) = 0, so it's undefined unless we drop 1) < 1473800106 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :(I'll just say n/0 is 0 for now) < 1473800174 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? bug < 1473800222 0 :fractal!~fractal@unaffiliated/scounder JOIN :#esoteric < 1473800299 0 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :apparently we don't have an entry for "bug". http://codu.org/projects/hackbot/fshg/index.cgi/file/70f188fce734/wisdom/bugbear is the closest one. < 1473800335 0 :sewilton!sid32560@gateway/web/irccloud.com/x-oxepxtofvojaegyn JOIN :#esoteric < 1473800587 0 :incomprehensibly!sid3405@gateway/web/irccloud.com/x-oecitbvespbopssh JOIN :#esoteric < 1473800741 0 :lynn!sid154965@gateway/web/irccloud.com/x-pqlmkfnvbocbrrgy JOIN :#esoteric < 1473800765 0 :lynn!?@? NICK :Guest81040 < 1473801295 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :Calculated; u ~= 2.6382270745053713 < 1473801351 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :i did shuf -n 10000000 -r /usr/share/dict/words > /tmp/src which takes my words file with ~100k words and produces a file with 10M words from it < 1473801385 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :then i wrote a program that reads a million lines and inserts them in a hash table, then loops over the remaining lines and searches them in that table < 1473801406 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and it does insert and search twice and compares my hash table with gcc's std::unordered_map < 1473801414 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :https://arin.ga/sQLCpu/raw this is the result < 1473801418 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :what's better? < 1473801621 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :Is there any use for u? < 1473801651 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that's... not very nice < 1473801668 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :ln(x) := log(x, e); ld(x) := log(x, u) < 1473801893 0 :Guest81040!?@? NICK :lynn < 1473801900 0 :lynn!sid154965@gateway/web/irccloud.com/x-pqlmkfnvbocbrrgy QUIT :Changing host < 1473801900 0 :lynn!sid154965@unaffiliated/lynn JOIN :#esoteric < 1473801900 0 :lynn!sid154965@unaffiliated/lynn QUIT :Changing host < 1473801900 0 :lynn!sid154965@gateway/web/irccloud.com/x-pqlmkfnvbocbrrgy JOIN :#esoteric < 1473801901 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :(based on the assumption "ln" is short for "logarithm natural" ("natural logarithm" properly, probably translated from French where it would be french('logarithm')+' '+french('natural')), so "ld" is "logarithm deranged" or "deranged logarithm", because u is the deranged Euler constant) < 1473801901 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :subfact? < 1473801918 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: Subfactorial; derangement < 1473801978 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :fact(n) is the number of ways to arrange n objects, whereas subfact(n) is the number of ways to rearrange n objects (that already have a set order) such that no object is in the same place as in the starting order < 1473802006 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :(e.g. if you want to have students grade each others' tests, but you obviously don't want anyone to grade their own because they can cheat) < 1473802136 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let subfact n = fromIntegral (round (product [1..n] / exp 1)) in map subfact [0..10] < 1473802138 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [0,0,1,2,9,44,265,1854,14833,133496,1334961] < 1473802158 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: That isn't right < 1473802161 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let subfact 0 = 1; subfact n = fromIntegral (round (product [1..n] / exp 1)) in map subfact [0..10] < 1473802164 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [1,0,1,2,9,44,265,1854,14833,133496,1334961] < 1473802182 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :There you go < 1473802192 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let fact n = product [1..n]; subfact 0 = 1; subfact n = fromIntegral (round (product [1..n] / exp 1)) in map subfact [0..10] < 1473802192 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Parse failed: Parse error: in < 1473802197 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bah. < 1473802199 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let fact n = product [1..n]; subfact 0 = 1; subfact n = fromIntegral (round (product [1..n] / exp 1)) < 1473802204 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Defined. < 1473802214 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> sum [1/fact n | n <- [0..100]] < 1473802218 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 2.7182818284590455 < 1473802222 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> sum [1/subfact n | n <- [0..100]] < 1473802224 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: Since e is equal to the sum of 1/fact(n) for n = 0 -> inf, u ("deranged euler constant") is the same but with subfactorial < 1473802224 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Infinity < 1473802231 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> sum [1/subfact n | n <- [0..10]] < 1473802233 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : Infinity < 1473802236 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :shachaf: Remmber that subfact 1 = 0 < 1473802247 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org PRIVMSG #esoteric :1/1? = infinity (or undefined) < 1473802356 0 :teuchter!choochter@nat/ibm/x-uzprboedhqnzqkuf JOIN :#esoteric < 1473802534 0 :hppavilion[1]!~Doslowdow@74-114-87-85.dynamic.asdk12.org QUIT :Ping timeout: 255 seconds < 1473802574 0 :choochter!choochter@nat/ibm/x-wtptqzrplrjgzyfh QUIT :Ping timeout: 260 seconds < 1473802601 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1473802618 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> sum [1/subfact n | n <- [0..20], n /= 1] < 1473802627 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1473802627 0 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : mueval: ExitFailure 1 < 1473802639 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't even know. < 1473802654 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The problem is that I've started using my /query lambdabot window to keep a todo list. < 1473802661 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So now I don't /msg lambdabot anymore. < 1473802984 0 :fizzie!?@? PRIVMSG #esoteric :Huh, where's HackEgo. < 1473802995 0 :fizzie!?@? PRIVMSG #esoteric :Trying to hide. < 1473803014 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :HideEgo < 1473803038 0 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1473803145 0 :MoALTz!~no@78-11-247-26.static.ip.netia.com.pl QUIT :Quit: Leaving < 1473803600 0 :DHeadshot!~DHeadshot@cpc88301-woki8-2-0-cust688.6-2.cable.virginm.net QUIT :Ping timeout: 244 seconds < 1473804098 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`snackego < 1473804100 0 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​:) < 1473804622 0 :AnotherTest!~turingcom@ptr-2hj4tbos9tbg6q7wl5uwqwgtb.ip6.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1473805269 0 :fizzie!?@? PRIVMSG #esoteric :A while ago, there was someone using the emoticon :) which always used to freak me out. (If you filter out formatting codes, that may not make sense.) < 1473805304 0 :teuchter!choochter@nat/ibm/x-uzprboedhqnzqkuf QUIT :*.net *.split < 1473805328 0 :teuchter!choochter@nat/ibm/x-aevlmqkmxowdvifb JOIN :#esoteric < 1473805363 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::) < 1473805365 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::) < 1473805369 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::) < 1473805370 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hm < 1473805384 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's too subtle in this terminal. < 1473805408 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::-) < 1473805412 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::-) < 1473805421 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::—) < 1473805424 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::—) < 1473805428 0 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, that's too spammy. < 1473805672 0 :teuchter!choochter@nat/ibm/x-aevlmqkmxowdvifb QUIT :*.net *.split < 1473805672 0 :sewilton!sid32560@gateway/web/irccloud.com/x-oxepxtofvojaegyn QUIT :*.net *.split < 1473805672 0 :Elronnd!elronnd@znc.dank.ninja QUIT :*.net *.split < 1473805673 0 :hydraz!matheus@unaffiliated/demhydraz QUIT :*.net *.split < 1473805673 0 :feliks!JC7vwVmfaH@sabic.uberspace.de QUIT :*.net *.split < 1473805673 0 :rodgort!~rodgort@68.ip-149-56-14.net QUIT :*.net *.split < 1473805673 0 :FreeFull!~freefull@defocus/sausage-lover QUIT :*.net *.split < 1473805673 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :*.net *.split < 1473805673 0 :zemhill___!bfjoust@selene.zem.fi QUIT :*.net *.split < 1473805673 0 :Hoolootwo!~Hoolootwo@hooloovoo.blue QUIT :*.net *.split < 1473805674 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa QUIT :*.net *.split < 1473805674 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz QUIT :*.net *.split < 1473805679 0 :_46bit!~fortysix@sirius.46b.it JOIN :#esoteric < 1473805679 0 :_46bit!~fortysix@sirius.46b.it QUIT :Changing host < 1473805679 0 :_46bit!~fortysix@pdpc/supporter/student/mmokrysz JOIN :#esoteric < 1473805681 0 :zemhill___!bfjoust@selene.zem.fi JOIN :#esoteric < 1473805684 0 :hydraz!matheus@heddw.ch JOIN :#esoteric < 1473805684 0 :hydraz!matheus@heddw.ch QUIT :Changing host < 1473805684 0 :hydraz!matheus@unaffiliated/demhydraz JOIN :#esoteric < 1473805686 0 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1473805690 0 :Hoolootwo!~Hoolootwo@hooloovoo.blue JOIN :#esoteric < 1473805692 0 :carado!~carado@2a01:e34:ec1e:2390:8341:b3f5:2d6:41fa JOIN :#esoteric < 1473805694 0 :teuchter!choochter@nat/ibm/x-vwgsqnwralirdnwf JOIN :#esoteric < 1473805697 0 :feliks!HmYAoESrAn@unaffiliated/feliks JOIN :#esoteric < 1473805711 0 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1473805712 0 :rodgort!~rodgort@68.ip-149-56-14.net JOIN :#esoteric < 1473805821 0 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1473806080 0 :sewilton!sid32560@gateway/web/irccloud.com/x-nyegzmigyvtvquvy JOIN :#esoteric < 1473806842 0 :Sgeo!~Sgeo@ool-43500d4c.dyn.optonline.net JOIN :#esoteric < 1473807856 0 :izalove!~izabera@unaffiliated/izabera PRIVMSG #esoteric :turns out my hash table uses about 30x as much space as std::unordered_map < 1473807876 0 :digin4!~digin4@unaffiliated/digin4 JOIN :#esoteric < 1473808004 0 :digin4!~digin4@unaffiliated/digin4 QUIT :Remote host closed the connection < 1473808113 0 :tromp_!~tromp@rtc39-094.rentec.com JOIN :#esoteric < 1473808136 0 :tromp!~tromp@rtc35-082.rentec.com QUIT :Ping timeout: 244 seconds < 1473808507 0 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1473808627 0 :copumpkin!~copumpkin@haskell/developer/copumpkin QUIT :Quit: My MacBook Pro has gone to sleep. ZZZzzz… < 1473808861 0 :tromp!~tromp@rtc35-082.rentec.com JOIN :#esoteric < 1473808886 0 :tromp_!~tromp@rtc39-094.rentec.com QUIT :Ping timeout: 265 seconds < 1473809619 0 :augur!~augur@noisebridge130.static.monkeybrains.net JOIN :#esoteric < 1473810316 0 :hppavilion[1]!~Doslowdow@58-0-174-206.gci.net JOIN :#esoteric