< 1457136016 488022 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1457136023 808604 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Here's a problem of theoretical interest to me < 1457136058 84358 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Given a number by its prime factorization, calculate the prime factorization of its successor < 1457136070 808417 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :The idea behind it is Esoteric Data Types < 1457136095 474733 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Specifically, the PFact number encoding < 1457136097 94326 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :easy, drop everything you have and start from scratch < 1457136121 180515 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: Huh? < 1457136164 169780 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i don't think you can get the factorization any easier with the factors of the predecessor < 1457136174 563446 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :at least not in the general case < 1457136181 173798 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: This isn't for code I'm working on, this is for a humorous data types < 1457136206 808400 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: How about for numbers that can be expressed as the product of 8 prime numbers, all of which must be in the smallest 256 prime numbers? < 1457136207 754738 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :xD < 1457136231 686382 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(wait, no, smallest 255, where 0b00000000 is 1) < 1457136257 703036 :Nithogg!~ethiraric@jrc16-h01-176-150-43-109.dsl.sta.abo.bbox.fr QUIT :Ping timeout: 260 seconds < 1457136272 738312 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: The idea behind the PFact type is that it's a data type that expresses numbers as the product of 8 primes < 1457136299 787102 :Nithogg!~ethiraric@jrc16-h01-176-150-43-109.dsl.sta.abo.bbox.fr JOIN :#esoteric < 1457136300 849378 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Well, up to 8 < 1457136322 816892 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: Assuming 64-bit registers, each number must fall in the 255 smallest primes, with 1 filling in gaps when n<8 < 1457136694 58665 :augur!~augur@50.58.157.74 JOIN :#esoteric < 1457136880 985481 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hey < 1457137128 686760 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1457137255 899838 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Lemme find one of those hard-to-factor numbers. < 1457137281 94011 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, the question "given the factorization of n, what is the factorization of n+1?" definitely sounds pretty interesting. < 1457137296 295927 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And here's one thing that you do know: the two numbers cannot have any prime factors in common. < 1457137312 945765 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :would be surprised if you can say anything enormously stronger than that < 1457137334 561813 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :(Because if p is a prime factor of n and p is also a prime factor of n+1, then n/p and (n+1)/p are both integers, so 1/p is an integer. But that's impossible.) < 1457137360 532837 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :afaik the link between the primeness of n and n+2 is still an open problem < 1457137402 643993 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Here's a number that's hard to factor: < 1457137404 487512 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :1522605027922533360535618378132637429718068114961380688657908494580122963258952897654000350692006139 < 1457137412 530669 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :also, at most one of the numbers can _be_ prime hth < 1457137424 409074 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :...excepting 2 and 3. < 1457137431 561454 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Except that it's pretty easy to factor it using the Google method. < 1457137439 763937 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Anyway, let's see what the factorization of its predecessor is. < 1457137464 306621 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oerjan: 2 and 3 don't have any prime factors in common < 1457137481 107643 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Other than 2.5 < 1457137486 29303 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :coppro: and this contradicts what i said how? < 1457137497 694335 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oh < 1457137501 212738 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I missed the line above that < 1457137502 152649 :coppro!~scshunt@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :nvm < 1457137515 388517 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Okay, I found the factorization. It is: < 1457137541 760270 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :2 * 3^2 * 210974974123 * 400944086233670527306310281636760087998315351567377660286363410284049027879820778576767 < 1457137557 286127 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :the 2 was easy < 1457137558 583112 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :That's probably pretty dang unhelpful. < 1457137564 500197 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Yup. < 1457137588 910104 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Fun fact: for 100% of all prime numbers p, p-1 has 2 as a factor. < 1457137610 830317 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :I wonder what the factorization of 400944086233670527306310281636760087998315351567377660286363410284049027879820778576766 is... < 1457137612 300185 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what about 2? < 1457137621 131558 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i vaguely recall there's some restriction on the prime factorization of pq-1 in order for pq to be a good RSA key < 1457137636 311282 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :myname: nope, 2-1 doesn't have 2 as a factor. < 1457137648 56459 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that's not 100% then < 1457137653 513233 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Of course it is. < 1457137658 409182 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Surprisingly, 400944086233670527306310281636760087998315351567377660286363410284049027879820778576766 is taking several seconds to factor. < 1457137672 120178 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :how is it? < 1457137683 987171 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :myname: it's 100% by the most useful definition, aka density. < 1457137687 467552 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Well, what percentage do you think it is? < 1457137702 108266 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i see what you did there < 1457137953 515995 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Dang, it's taken over five minutes so far to factor that bad boy. < 1457138243 772975 :impomatic_!~digital_w@145.2.112.87.dyn.plus.net QUIT :Ping timeout: 248 seconds < 1457138390 403873 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if I recall the idea of RSA is that, if you calculate 2^n modulo 13, the result will loop every steps < 1457138399 58316 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :every 12 steps < 1457138433 646582 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :since the result can't go through 0 but it has to go through all other numbers since 2 and 13 have no common factors < 1457138489 270242 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Do you know if it is OK to call Pa_Terminate and/or Pa_CloseStream in a signal handler? < 1457138501 636387 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if you calculate 2^n modulo 13*17, logically the modulo 13 part loops every 12 and the modulo 17 part loops every 16 < 1457138651 960799 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :""For security purposes, the integers p and q should be chosen at random, and should be similar in magnitude but 'differ in length by a few digits"" < 1457138778 983371 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :"Since any common factors of (p-1) and (q-1) are present in the factorisation of p*q-1,[14] it is recommended that (p-1) and (q-1) have only very small common factors, if any besides the necessary 2." < 1457139140 980971 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net JOIN :#esoteric < 1457139527 440999 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Woo. It took half an hour and fifteen seconds, but I got that number factored. The factorization is: < 1457139565 74192 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :2 * 3 * 409 * 1645447576107402059859920361500918359 * 99294502354941754852634597949140561238814554731 < 1457139575 190721 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Now, of course, I wonder what the factorization of 99294502354941754852634597949140561238814554730 is. < 1457139627 798349 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :go for it < 1457139651 680165 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : if I recall the idea of RSA is that, if you calculate 2^n modulo 13, the result will loop every steps <-- i think you may be confusing RSA with discrete logarithm, or something. < 1457139678 703374 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :It's 2 * 5 * 17 * 22369 * 243130343851969331 * 107396603915138092862971. And the factorization of 107396603915138092862970 is 2 * 3 * 5 * 13 * 17 * 281 * 991 * 2758397 * 21088237. < 1457139729 397316 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :And the factorization of 21088236 is 2^2 * 3 * 13 * 135181, and the factorization of 135180 is 2^2 * 3^2 * 5 * 751. < 1457139732 664657 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :Done. < 1457139749 516181 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :oerjan : RSA and the discrete logarithm are related I think < 1457139750 426925 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :weird anchor < 1457139767 192244 :tswett!~tswett@192.241.237.138 PRIVMSG #esoteric :`? weird anchor < 1457139775 832580 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :weird anchor? ¯\(°​_o)/¯ < 1457139793 366517 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : since the result can't go through 0 but it has to go through all other numbers since 2 and 13 have no common factors <-- that's not enough, you actually need to check if 2 has that property. however, given that 13 is prime, _some_ number ("primitive root") will loop through all of them. < 1457139828 859660 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mad: a bit maybe. < 1457139858 82475 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> length $ nub [2^n `mod` 13 | n <- [0..11]] < 1457139859 491647 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 12 < 1457139891 277335 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :oerjan: huh? < 1457139899 389050 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what did you expect? < 1457139912 369165 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> [(p,length $ nub [2^n `mod` p | n <- [0..p-1]]) | p <- [3,5,7,11,13,17,19,23,29,31]] < 1457139913 943978 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [(3,2),(5,4),(7,3),(11,10),(13,12),(17,8),(19,18),(23,11),(29,28),(31,5)] < 1457139930 392391 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :myname: it could have been something else. of course 13 _wouldn't_ be an example. < 1457139970 370124 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah, 1,2,4,1 < 1457139972 611532 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i see < 1457139983 268176 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :look at 7, 17, 23 and 31 up there. < 1457140022 911770 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :in general, the order is some factor of p-1 < 1457140039 940501 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but not all numbers will give exactly p-1. < 1457140062 647487 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hmm < 1457140180 76474 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : if you calculate 2^n modulo 13*17, logically the modulo 13 part loops every 12 and the modulo 17 part loops every 16 <-- i vaguely recall our professor pointing out that RSA works even if the number you take power of _does_ have _one_ of the primes as a factor. which doesn't follow from that argument and needs a distinct proof. < 1457140200 695427 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hmmm < 1457140289 252891 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm wait does that make sense. < 1457140339 146618 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm i think so. < 1457140355 803410 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Oh, you're factoring numbers. Great < 1457140364 96307 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :tswett: Of course, you're doing it the noob way < 1457140368 677986 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :well < 1457140385 173473 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :if you start with some number N, multiply by 2, modulo M < 1457140392 445529 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :say M is 17 < 1457140396 196018 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :repeat < 1457140403 459212 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :you have two possible loops < 1457140427 567200 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Done. <-- now use that to create a prime certificate for whatever it was you started with hth < 1457140436 543747 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Let's play: What's! That! Algorithm! < 1457140474 998573 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :You all know the rules: Given an algorithm constraint or constraint set (complexity class, space complexity, etc), name an algorithm that operates in it < 1457140478 978225 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :O((log N)2(log log N)(log log log N)) < 1457140508 793863 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :1>2>4>8>16>15>13>9>1... and 3>6>12>7>14>11>5>10>3... < 1457140514 936665 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why is the 2 in the middle? < 1457140532 493169 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i guess you are missing stuff < 1457140547 19758 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i guess it is ^2 and there is a / et the end < 1457140549 651977 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: It's a suberscript < 1457140556 836715 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :the loop time is guaranteed to be p-1 or p-1 divivded by n < 1457140583 946852 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: I copied it directly, there are no mistakes < 1457140647 503412 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mad: p-1 is just (p-1)/1, anyhow < 1457140745 488603 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: you're assuming copying a webpage formula gives you a reasonable copy tdnh < 1457140780 229285 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: It did in this case < 1457140794 223213 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: O((log N)2(log log N)(log log log N)) is short enough to verify correctness by reading < 1457140798 810291 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :isn't the 2 a superscript at _least_? < 1457140824 286530 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you said as much. so it was not correctly copied. < 1457140877 739563 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :n ^ (p-1) modulo p = 1 < 1457140880 878771 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I _think < 1457140892 145039 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mad: yes, that's fermat's little theorem. < 1457140923 31664 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :n ^ (p-1)(q-1) modulo pq = 1 < 1457140945 439064 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :mad: assuming p and q are not factors of n < 1457140977 840371 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :well, assuming n < pq < 1457141000 719310 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and yes assuming that p and q are prime < 1457141020 464374 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :n < pq is not enough, what if n = p < 1457141049 551483 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :then it's looping though q only I think? < 1457141060 386012 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :obviously. < 1457141069 743172 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :which means that then n ^ (q-1) = 1 < 1457141118 520707 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but still you have n ^ ((p-1)(q-1)+1) == n (mod pq), which is what my professor mentioned < 1457141148 475306 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or thereabouts. < 1457141155 69675 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :n ^ k(p-1)(q-1) modulo pq = 1 for any k < 1457141181 247432 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, obviously < 1457141196 142063 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :1^k = 1 is no rocket science < 1457141215 724102 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :except in linear logic hth < 1457141248 858638 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i don't know that stuff yet < 1457141259 17634 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: So what does it mean that LEM is multiplicative? < 1457141303 61977 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :least evil multiple < 1457141327 715686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :law of excluded middle < 1457141362 941981 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well, you know that proof of LEM (or something equivalent to it) using continuations, right? < 1457141408 964536 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1457141410 271021 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and using continuations for cheating by passing a counterexample back... which is iiuc also what # allows you to do < 1457141421 699588 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so it needs that feature of #. < 1457141421 832935 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right, except it's more/less restricted. < 1457141444 605765 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :# is a bit like threads. < 1457141450 426302 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And so is ⊗ < 1457141581 279886 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :lemCC = callCC (return . Right . (<=< return . Left)); < 1457141621 958281 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :callCC x = lemCC >>= either return x; < 1457141650 423470 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t callCC (return . Right . (<=< return . Left)) < 1457141651 891455 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :MonadCont m => m (Either a (a -> m b)) < 1457141683 227554 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Does a prime number not being in a number's prime factorization imply that that number does not evenly divide the latter number? < 1457141696 558569 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I would think it does under the Fundamental Theorem of Arithmetic < 1457141721 158889 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: yes. i think that's usually a lemma used to _prove_ the FTA < 1457141723 23783 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :how should it? < 1457141727 216777 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Yes it does imply < 1457141740 467995 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that is, if p divides m*n, then p must divide either m or n. < 1457141806 306993 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Oh, I see where this bug is coming from < 1457141810 998624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think callCC is a better axiom than the law of excluded middle. < 1457141821 362230 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1457141821 973963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In fact, it's more of a lemma. < 1457141826 681750 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Well, either one would work < 1457141837 159309 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: callCC is pierce's law < 1457141842 539887 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know. < 1457141845 1836 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Either one can be prove by the other one < 1457141846 396087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was just going for the pun. < 1457141878 490633 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: also it's peirce's law because why should anything be easy hth < 1457141897 78692 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Wait... < 1457141903 296038 :JX7P!~IRIX@freebsd/user/kastengraeber JOIN :#esoteric < 1457141910 187775 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Intuitionistic logic forgoes the law of excluded middle, does it not? < 1457141912 897943 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i considered checking and/or lampshading < 1457141917 329004 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: yes. < 1457141930 182304 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :this must be the closest to a substitute for ##programming that i can find focusing particularly on PLT/language design < 1457141932 459445 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: And type systems are typically intuitionistic? < 1457141942 315580 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: PLT? < 1457141953 552548 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :programming language theory < 1457141953 883772 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :wat. kim kardashian's father was oj simsons lawyer? < 1457141955 80116 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: Yeah, we're the most active one at least < 1457141961 940065 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :often, like gay rights, symbolised by the lambda < 1457141965 946241 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: There is ##proglangdesign, but it's not as active < 1457141972 760968 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: Yeah xD < 1457141978 958067 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :it is also empty < 1457141982 232751 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Yes normally the type system are using intuitionistic logic, although you can use classical logic with continuations < 1457141987 584034 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: Might've typoed < 1457142003 667208 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: It was kind of a shock when I first saw the lambda associated with gay rights :P < 1457142019 932371 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wat < 1457142021 811009 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: What do you think about dual-intuitionistic logic? < 1457142033 48072 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: We do do design, but we typically don't focus on making it good so much as interesting and different, but we might still be able to help you. < 1457142064 869795 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: dual-intuitionistic logic thinks about me hth < 1457142079 256720 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Are you a soviet? < 1457142086 802540 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: cmccann was excited about it a while ago and now that I'm reading about linear logic I'm a bit excited about it too. < 1457142090 799867 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :hppavilion[1], as a community alone it will be interesting i think < 1457142105 710770 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: OK < 1457142113 14958 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :##programming did not appreciate my constant invocation of dialectical logic, which led to getting quieted < 1457142115 773009 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: Do you have any ideas in mind? < 1457142123 411475 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Dialectical? < 1457142139 723445 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :what's dialectical logic? < 1457142140 146038 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :i, on the other hand, think the perfect riposte to that is a programming language substituting dialectical logic for formal logic < 1457142158 414815 :augur!~augur@50.58.157.74 QUIT :Remote host closed the connection < 1457142165 383776 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa whoa whoa < 1457142178 95041 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :it's the logic developed by plato, hegel, marx, and adorno < 1457142178 510562 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :"Dialectical logic was the system of laws of thought, developed within the Hegelian and Marxist traditions, that sought to supplement or replace the laws of formal logic." < 1457142179 912439 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that like dialectica categories? < 1457142194 557638 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oerjan: Are you a soviet? <-- no, but dual logic clearly is hth < 1457142202 446534 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Yeah < 1457142206 133917 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Also, dialectical < 1457142251 459900 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :maybe the most significant thing noted in dialectical logic is that ¬¬X is X, but X isn't ¬¬X < 1457142252 53494 :lynn_!~lynn@unaffiliated/lynn QUIT :Ping timeout: 244 seconds < 1457142268 623348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Dual-intuitionstic logic has DNE but not DNI < 1457142294 782746 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :the negation of the negation is 'enriched', it is the original but of a higher order < 1457142303 707841 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : ##programming did not appreciate my constant invocation of dialectical logic, which led to getting quieted <-- such is being the antithesis? < 1457142324 888478 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :oerjan, the synthesis being my joining this channel < 1457142334 107721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like how in intuitionistic logic logic you can only have one thing on the right side of a sequent, in the dual you can only have one thing on the left side. < 1457142335 985008 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :now I am back at the thesis, being in a channel about programming < 1457142361 687042 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :but this time it has become refined, enriched, by finding a channel more specifically suited to my particular interests < 1457142380 422905 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: you know, that sounds strangely like what JX7P said above < 1457142385 774761 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: Checked out the wiki yet? < 1457142394 169783 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :somehow. < 1457142397 837986 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :hppavilion[1], i'm afraid i haven't < 1457142400 477640 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :You can tell me if you intend to design any kind of programming language and whatever < 1457142405 381808 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :`wiki < 1457142406 967863 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wiki: not found < 1457142411 383039 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Damn, was hoping that'd work < 1457142413 239691 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: whoa whoa whoa, so it is < 1457142421 522371 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :maybe dual-intuitionistic logic and dialectic logic is the same thing! < 1457142422 814218 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :http://esolangs.org/ is wiki < 1457142460 215099 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :dual intuitionistic logics have some similarity since they can handle contradictions < 1457142462 288542 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :`` echo "echo \"http://esolangs.org/wiki/Main_Page\"" > bin/wiki < 1457142462 489075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: maybe you and i are the same thing < 1457142465 650434 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457142468 517490 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :`wiki < 1457142469 140621 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/wiki: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/wiki: cannot execute: Permission denied < 1457142472 471580 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :... < 1457142476 182880 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I'm not going to go there today < 1457142478 640637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: should've used mkx < 1457142484 311943 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Right, right < 1457142504 479130 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :`rm bin/wiki < 1457142507 736580 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But also shouldn't've cluttered bin/ like that. That's why we have wisdom. < 1457142508 898987 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457142513 816495 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :...To be cluttered up? < 1457142522 61199 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Yes, but this way we can just do `wiki < 1457142525 202055 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :And look badass < 1457142531 250972 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(Relatively) < 1457142543 230220 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :^wiki < 1457142543 383586 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :http://esolangs.org/wiki/ < 1457142544 779377 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :anyway, thanks zzo38 < 1457142544 912839 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: Know any LISP? < 1457142547 923105 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :oerjan: Thank you < 1457142551 566087 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :hppavilion[1]: why not add a factoid instead of a command? < 1457142560 508772 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :hppavilion[1], i'm familiar with scheme at a basic level < 1457142561 930271 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :`? wiki < 1457142563 40057 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The wiki is at http://esolangs.org/wiki < 1457142568 396561 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :JX7P: Made your own LISP yet? < 1457142568 999991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: I didn't even do that for `weather < 1457142571 115104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? weather < 1457142572 43342 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK < 1457142574 679614 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CYUL 050100Z 15004KT 15SM SKC M07/M15 A3025 RMK SLP248 \ ENVA 050050Z 09007KT 5000 -SN VV007 01/M01 Q1002 RMK WIND 670FT 14013KT \ ESSB 050120Z AUTO 12005KT 9999 FEW025/// OVC031/// 01/M00 Q1008 \ KOAK 050053Z 15012KT 10SM -RA SCT019 BKN037 OVC075 17/17 A2993 RMK AO2 RAE18B34 SLP133 P0000 T01720167 < 1457142577 792840 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :also Coke (which is not quite Lisp but is close) < 1457142579 83300 :augur!~augur@50.58.157.74 JOIN :#esoteric < 1457142580 588090 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdabot: THAMBDABOT < 1457142586 947029 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :`misle/rn wiki/The wiki is at http://esolangs.org/wiki < 1457142589 238392 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Was lied to about «wiki» < 1457142600 190724 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :hppavilion[1], it formed a very useful avenue for research https://github.com/Valutron/Valutron < 1457142611 889034 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i really want to misle rn < 1457142615 555666 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :hppavilion[1]: why? < 1457142628 318659 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :it was a partnership effort. unfortunately my partner lost interest < 1457142636 486801 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Can we make `? wiki direct you to an ancient stone tablet or give you an ISBN? xD < 1457142646 117335 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why? < 1457142653 24259 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I think the esolang wiki is not a book? < 1457142653 602453 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what for? < 1457142668 348213 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: shachaf: zzo38: To be more in line with wisdom < 1457142676 626514 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :eh? < 1457142683 443163 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What are you suggesting? < 1457142687 665676 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That wisdom isn't useful? < 1457142690 972383 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :`tomfoolery wisdom < 1457142693 800195 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom is tomfoolery < 1457142711 215425 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: No < 1457142719 500720 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: It'd be the ISBN for a really good book < 1457142725 243614 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Which would be useful < 1457142730 595967 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that's not what people want. < 1457142734 342713 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that would not be the wiki < 1457142738 682351 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :in the end, valutron's main yield was twofold: #1 lisps can be easily translated into a forth; #2 everything must, must be an object < 1457142815 574162 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: OO language alert < 1457142840 209586 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hppavilion[1]: any attempt to cleanse wisdom of everything true may lead to me merging tomfoolery back into it hth < 1457142907 150655 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :hppavilion[1] : the world is OO < 1457142944 302593 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :what i particularly like about SmallTalk is that Alan Kay describes the objects as monadic < 1457142950 206615 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :(meaning it in the leibnizian sense) < 1457142960 856583 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :hppavilion[1]: as i've said before my problem sin't with OO itself but with the way a lot of OO languages treat functions badly < 1457142962 838877 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :this causes no end of confusion to functional people < 1457142968 109319 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :https://www.quora.com/What-is-the-most-illegal-thing-you-could-possibly-do/answer/Phil-Albert < 1457142988 544514 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :\oren\, perhaps you would respect the Combined Object-Lambda Abstraction and its implementation Coke < 1457143003 816518 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :plot twist: removing true wisdoms is illegal? < 1457143035 319426 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :or even SmallTalk-71/72, when it was still obviously lisp < 1457143050 729898 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :\oren\ : how do OO languages treat functions badly? < 1457143199 934541 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :for example, in java, you can't have a function that isn't inside a class < 1457143213 811959 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :this is a design element < 1457143229 944131 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :and? you can have a static function instead, that's functionally equivalent < 1457143235 580675 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :the idea is that the only action is the communication of objects < 1457143239 7971 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :and can't pass a function to another function (even though C can) < 1457143262 733320 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :in SmallTalk-family languages, one can simply pass a selector or a block to functions < 1457143354 476756 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :or even a whole message ready to be sent < 1457143366 492746 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :there are no functions in the Kayian OO < 1457143375 541463 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :\oren\ : java uses interfaces instead of pointers for callbacks yes < 1457143415 194180 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I want to make a hackable LISPlike2JS compiler < 1457143425 76226 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :s/compiler/transpiler/ < 1457143444 820600 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Something that people can download and reengineer into a custom language for their own devious purposes < 1457143520 247043 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :I guess you could say the same for C/C++, what you have is really more callbacks than function variables < 1457143537 285762 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :overall, these OO languages tend to require a lot of boilerplate and repeating the same code < 1457143561 976361 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :i think it's important not to conflate Java and C++ with authentic Kayian OO < 1457143564 780553 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :\oren\: Which is exactly what OO and functions were invented to eliminate xD < 1457143577 731514 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :there are good OO languages < 1457143590 77728 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :python for instance < 1457143601 837003 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :you have experimented with the SmallTalk? < 1457143606 724974 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :(or even Objective-C?) < 1457143651 646953 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :JavaScript supports real function-oriented programming, and so does Haskell < 1457143684 834134 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i like ruby more < 1457143717 711467 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :myname: BOOOOOOOOO < 1457143720 323725 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :everything is an object, but in a way that doesn't throw sticks at you if you ignore that < 1457143749 299634 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :it is like 110% syntax sugar < 1457143757 381048 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :i observed a large deal of smalltalk influence in the ruby < 1457143760 699708 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :In JavaScript not everything is object, although everything other than undefined and null can be used as objects < 1457143793 188091 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :ruby is good too, but it's slow < 1457143804 180380 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :if ypu ever even need one gem in ruby, you are screwed, though < 1457144338 326775 :mad!boulam@69-165-212-148.cable.teksavvy.com PRIVMSG #esoteric :null is evil < 1457144383 871691 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :quite < 1457144434 283101 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :in VB it is called 'Nothing' < 1457144456 828590 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :If x Is Nothing Then Return Nothing < 1457145055 811203 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :On Error Resume Next < 1457145057 800453 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Yes I have program in VB as well, the null of JavaScript is like Nothing in VB, and I suppose undefined in JavaScript corresponds to Empty in VB, maybe, although it has been some time so I don't quite remember properly < 1457145568 826964 :^v!~v^@c-68-41-215-101.hsd1.mi.comcast.net JOIN :#esoteric < 1457146003 370981 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 252 seconds < 1457147482 428255 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :myname: What's wrong with gems? < 1457148877 847084 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1457149030 772767 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I got an error message when using PortAudio, it is exactly the same as shown here: https://github.com/Katee/quietnet/issues/18#issuecomment-40658475 (look below "quietnet# python send.py") < 1457149090 48276 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :(Sound output nevertheless seems to work) < 1457149194 32767 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I found something I can try < 1457149309 167221 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I got rid of the first three lines at least < 1457149687 454710 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Despite the error message, the sound works. < 1457150801 512882 :bender|_!~benderx2@2404:e800:e61a:41d:342d:35f2:7f0f:ca68 JOIN :#esoteric < 1457150851 761612 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :I finally got around to intalling mingw and compiling my game for windows < 1457150998 239369 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Is 735 a too low frame count? < 1457151001 890577 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :What game is that? < 1457151092 363630 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :a shooting game where you look at it in 3d by crossing your eyes < 1457151131 620790 :bender|_!~benderx2@2404:e800:e61a:41d:342d:35f2:7f0f:ca68 QUIT :Remote host closed the connection < 1457151239 227552 :bender|_!~benderx2@2404:e800:e61a:41d:342d:35f2:7f0f:ca68 JOIN :#esoteric < 1457151261 402646 :sid123__!~benderx2@2404:e800:e61a:41d:342d:35f2:7f0f:ca68 JOIN :#esoteric < 1457151275 248411 :sid123__!~benderx2@2404:e800:e61a:41d:342d:35f2:7f0f:ca68 QUIT :Read error: Connection reset by peer < 1457151301 721382 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :maybe I'll rewrite it in Javascript < 1457151333 821912 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :or maybe just line-by line translate it from C into Javascript < 1457151346 76754 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :yah that's a better idea < 1457151598 398675 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :anyway, the game and the bmp font file it uses are here < 1457151608 317974 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :http://www.orenwatson.be/autostereo.htm < 1457151616 605041 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :http://www.orenwatson.be/littlefont2.bmp < 1457151665 294251 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :containing an ancient version of neoletters < 1457152429 233112 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1457152495 723679 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :`unidecode 渚 < 1457152506 445499 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+FA46 CJK COMPATIBILITY IDEOGRAPH-FA46] < 1457152992 508103 :treaki_!~treaki@p5B11C8F6.dip0.t-ipconnect.de JOIN :#esoteric < 1457152997 443167 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :`u8tbl 0x6e1a 0x6e1a < 1457152998 578792 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Segmentation fault < 1457153003 448530 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :`` u8tbl 0x6e1a 0x6e1a < 1457153004 834909 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​渚 < 1457153223 277718 :treaki!~treaki@p54BF251B.dip0.t-ipconnect.de QUIT :Ping timeout: 268 seconds < 1457153328 302246 :XorSwap!~XorSwap@wnpgmb016qw-ds01-214-177.dynamic.mtsallstream.net QUIT :Quit: Leaving < 1457155907 804009 :augur!~augur@50.58.157.74 QUIT :Remote host closed the connection < 1457156946 562596 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com JOIN :#esoteric < 1457157158 987299 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This certainly won't get confusing: http://slbkbs.org/coherent-notations.png < 1457157682 246304 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1457157765 59526 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Category:Category-theoretic_categories is a fun wikipedia category < 1457157830 155866 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Something that'd be fun is a math wiki where the wiki categories are category-theoretic < 1457158185 846853 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :shachaf: somehow I think that would be easier to read in the orginal LaTeX source code < 1457158589 374501 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :> 8 * 670 < 1457158591 319321 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 5360 < 1457160748 890271 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :hppavilion[1]: What's the initial object of a wiki category? < 1457160765 473894 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :prooftechnique: The main page for that category < 1457160790 27306 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :prooftechnique: What is an "Initial Object"? < 1457160904 374727 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :An object L such that for any object X there's a unique arrow from L to X. < 1457160927 806245 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Ah < 1457160932 275390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What objects are initial in the categories I talked about the other day? < 1457160942 7959 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Let me check < 1457160985 934028 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Well 0 in category A, off the top of my head < 1457160992 476595 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: (I don't have my notes open yet) < 1457161019 494802 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They should have better names. < 1457161028 452615 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A should be called N. < 1457161053 606848 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :B should be called Lin < 1457161056 803147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :C should be called Fnord < 1457161076 663864 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Blackboard Bold N? < 1457161090 753589 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whatever you want. < 1457161103 829263 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Fraktur N is prettier < 1457161134 761990 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :My internet is going REALLY slow :/ < 1457161146 691091 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I think I hit the data cap and it hasn't reset yet < 1457161217 489308 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: So composition in ℕ is just the transitive property of ≤, correct? < 1457161230 403994 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :A naive assumption would be that the wiki category listing page is the initial object, as long as none of the pages are interlinked < 1457161255 463237 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Composition is a function. < 1457161260 665401 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :prooftechnique: Can a category have more than one initial object? < 1457161267 725893 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Ah < 1457161272 313605 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :They're isomorphic < 1457161273 904898 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: See, I knew that, but I wasn't sure < 1457161290 190754 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The answer is either yes or no depending on what you mean. < 1457161295 528735 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I wasn't sure it HAD to be a function < 1457161296 503263 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :On the other hand, the category listing page is almost certainly a terminal object < 1457161326 793659 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, it doesn't have to be function. < 1457161333 586257 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Some categories are too large for it to be a function. < 1457161336 434898 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :prooftechnique: Is linking an arrow from the linker or from the linkee? < 1457161360 872139 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: What function is there that is suitable for composition in ℕ? < 1457161364 819379 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: I can't think of any < 1457161366 342679 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Depends if you can go the other way, I guess < 1457161375 954391 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: It composes arrows. < 1457161393 349022 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: OK... < 1457161400 136721 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So for example there's an arrow from 2 to 4 and an arrow from 4 to 8. You can compose them to get an arrow from 2 to 8. < 1457161413 834700 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It corresponds to transitivity, sure. < 1457161435 690774 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1457161442 609258 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: But is that right? xD < 1457161449 712293 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What? < 1457161477 760226 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: What is composition in ℕ? Is it just the transitive property, or is it something else? < 1457161489 302609 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know. < 1457161496 206192 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: I'm unsure if that last message is a yes because of the word "corresponds" < 1457161502 523600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'd say that it's a function and not a property. < 1457161507 335077 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1457161509 832834 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it's substantially the same thing. < 1457161542 448535 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: If it's properties, it works well because x ≤ x, which of course works with the identity morphisms nicely < 1457161604 128586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's a property: If there's an arrow : A -> B, and there's an arrow : B -> C, then there's an arrow : A -> C < 1457161629 873798 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But composition doesn't just tell you that there is an arrow, it's a function that takes those two arrows and gives you the third one. < 1457161630 413891 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Yes, knew that < 1457161638 306299 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: OK < 1457161647 833185 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In this case that's pretty boring because there's only one arrow : A -> C < 1457161764 329907 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: I think my issue is that I have no clue what arrows are supposed to be in ℕ; in sets they're functions, but I can't tell what they are here < 1457161776 926558 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :s/in/with the objects as/ < 1457161779 361199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They aren't anything. < 1457161783 377436 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :OK < 1457161790 844410 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :That's what I've been assuming, but I had to check < 1457161798 223439 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They aren't anything in Set either. < 1457161809 973351 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: They /represent/ functions < 1457161827 672955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK. < 1457161836 984067 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Then these arrows represent the relationship <= < 1457161839 767902 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: At least that's what wikipedia told me < 1457161850 899316 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Yes, that was a given < 1457161948 393064 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway the question of what object is initial is easy < 1457162006 166878 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: My money's on 0 < 1457162021 62735 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why? < 1457162040 970494 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Because all natural numbers are greater than or equal to 0 < 1457162053 32884 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sgtm < 1457162059 254153 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What about a terminal object? < 1457162072 897129 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: None; there's always a bigger number < 1457162080 60378 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: You can always add 1 < 1457162080 193823 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sgtm < 1457162083 401095 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Same < 1457162083 824127 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :sgtm? < 1457162085 721044 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Heh < 1457162087 494303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What if we add infinity? < 1457162096 591137 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :(silently giggling to myself) < 1457162100 726442 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Then infinity is a terminal object, assuming you don't have inf+1 and such < 1457162104 886071 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :prooftechnique: *Sigh* < 1457162110 735039 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :prooftechnique: What did I do? < 1457162111 863460 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"sounds good to me" < 1457162113 803434 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :`? sgtm < 1457162114 751055 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Oh < 1457162115 995715 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sgtm? ¯\(°​_o)/¯ < 1457162126 988363 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Makes sense < 1457162144 383132 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`le/rn sgtm/Sergeant Mustard < 1457162151 510545 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «sgtm» < 1457162212 223087 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway this is barely category theory, it's just order theory. < 1457162214 533547 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Did he get a promotion? < 1457162217 622107 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(Or demotion?) < 1457162219 244184 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :damn < 1457162231 955466 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You should figure out Fnord. < 1457162250 443908 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Working on that, but I'm still yet to figure out pointwise indexing < 1457162264 573964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, pointwise indexing is easy. < 1457162308 634698 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: OK < 1457162317 415303 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Take (3,4,5) : 3 -> 6 < 1457162341 276452 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Easy? So Sgeo invented it? < 1457162351 596744 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Compose it with (10,20,30,40,50,60) : 6 -> 100 < 1457162364 490217 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What do you get? < 1457162396 207251 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: (30, 40, 50) : 3 -> 100 ?? < 1457162412 652946 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(40,50,60) : 3 -> 100, because it's 0-indexed < 1457162418 877800 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Oh, right < 1457162432 55228 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: So it's exactly what I tried to ask the other day with INTERCAL's select operator < 1457162434 784997 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Where you said it isn't < 1457162435 692079 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :xD < 1457162435 853953 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's the identity : 3 -> 3? < 1457162445 221045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I looked up that operator and I don't think it's that. < 1457162462 133938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also I don't like the sequence of characters "xD". < 1457162480 399001 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Why not? < 1457162487 728851 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :The latter, not the former < 1457162503 912244 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't have to justify it. < 1457162557 127794 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Do you prefer (╯°□°）╯︵ ┻━┻? < 1457162559 462420 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No. < 1457162616 173093 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway now that you know what composition is you can invent identity. < 1457162621 215724 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :\oren\: You will be pleased to know that kaomoji are rendered beautifully in your font < 1457162673 776826 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: How about <コ:彡? < 1457162682 653093 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No. Please stop sending them to me. < 1457162687 718393 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Fine... < 1457162689 23862 :lambda-11235!~lambda-11@47.208.113.50 QUIT :Quit: Bye < 1457162849 513171 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Are they the empty tuple or the tuple (0) ? < 1457162858 341327 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :(1-tuple? Is that even allowed?) < 1457162869 354071 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Wait, maybe not < 1457162869 863477 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :An arrow : N -> M is an N-tuple < 1457162874 102896 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Yes < 1457162881 309309 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Where all values < M < 1457162892 12343 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So an arrow : 3 -> 3 isn't a 1-tuple < 1457162907 782296 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: So it has to be a tuple... containing all numbers 0 .. M-1 < 1457162912 184580 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Maybe? < 1457162919 79039 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe. < 1457162933 450081 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Wait, no < 1457162948 344755 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Each initial object of a category can also define a comonad < 1457162949 336684 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: It just has to have all numbers 0 .. q-1, where q < M < 1457162972 152556 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sgtm < 1457162984 753081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Which comonad? < 1457162989 788790 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Perhaps they have to be in order, too < 1457162995 975574 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: But I'm not sure < 1457162999 667076 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :Let me think about it < 1457163006 747041 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hppavilion[1]: What's (0,1) . (1,0)? < 1457163013 715186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And (1,0) . (0,1)? < 1457163021 691347 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: (1, 0) and (1, 0) < 1457163029 467998 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: But does that work in the general case? < 1457163044 181910 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :shachaf: I have called it the "Initialize comonad", although I don't know if other names are used. The functor map all object to that initial object (and all morphisms to the identity). < 1457163087 293835 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you tell me hth < 1457163145 733256 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Theory: They have to contain the numbers 0 .. q-1 : q < M in either ascending or descending order < 1457163152 784948 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Each final object of a category can also define a monad < 1457163191 274365 :augur!~augur@50-1-126-214.dsl.static.fusionbroadband.com QUIT :Remote host closed the connection < 1457163195 287518 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :And a category with more than one object always has more monads than final objects and more comonads than initial objects. < 1457163222 250125 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why? < 1457163263 741214 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: Because that way it will always produce itself... hm... < 1457163283 357041 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :It is not too difficult to prove (in my opinion), as I have figured it out myself at least and not in such a complicated way < 1457163353 462358 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :shachaf: I suppose they don't need to have any particular order < 1457163394 176174 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :http://www.emojicode.org/docs/ < 1457163512 572991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Oh, right. < 1457163672 249355 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :that thing supports sqlite http://www.emojicode.org/docs/packages/sqlite/t5535756538.html < 1457164670 343167 :vodkode!~vodkode@fl-71-52-127-115.dhcp.embarqhsd.net JOIN :#esoteric < 1457164981 161033 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :I just realized "The enemy of my enemy is my friend" implies that if you have two enemies who are enemies of each other, they are both also your friends < 1457165068 969793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also if your enemy is their own enemy. < 1457165072 882654 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or you're your own enemy. < 1457165859 771814 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 248 seconds < 1457166166 991529 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :In that case I think you're a zero object in the category of enemies < 1457166213 855786 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1457166236 679085 :Frooxius!~Frooxius@104.220.240.102 JOIN :#esoteric < 1457166250 850204 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :prooftechnique: gems tend to break a lot during updates. and too long at that < 1457166315 983107 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I see < 1457166358 195547 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i used to use sup as a mail client < 1457166377 325661 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :until it broke for weeks due to ruby updates < 1457166414 24013 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I think I tried to use sup during one of those weeks. Couldn't get it to build < 1457166418 535686 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Now I just use mutt and notmuch < 1457166443 657618 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :notmuch is interesting < 1457166462 262512 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Ain't that the truth < 1457166463 921632 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :last time i checked, mutt was horrible for multiple accounts < 1457166489 756710 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I'm finding it pretty straightforward. I use OfflineIMAP to actually fetch the mail, though < 1457166498 956672 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :And msmtp to send it < 1457166505 74107 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i did that for sup, too < 1457166527 831956 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :sup just had one global inbox for every account < 1457166551 283476 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I've just got separate account configs that get sourced when I open the right mailboxes, and a couple of macros to jump around. < 1457166558 750437 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i thought of writing my own notmuch ui, but i got a smartphone since then ... < 1457166585 380219 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :as i said, horrible for multiple accounts < 1457166595 109799 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :How's that horrible? < 1457166626 253746 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :The account configs are just Maildir, Use GPG?, and account names < 1457166638 541193 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why do need to do that weird stuff? i just want one inbox < 1457166649 176369 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :and it would not even be hard to do that < 1457166660 600204 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Because I have work email and personal email that I want to keep separate < 1457166664 993899 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be JOIN :#esoteric < 1457166708 17147 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :And I can just hit l anywhere and query for stuff in notmuch, so I don't even have to be that thoughtful about it < 1457166861 775406 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :And the idea of having an even larger backlog of email with no separation of concerns sounds maddening. I already have a dozen imapfilter rules running constantly just to keep backburnered stuff sorted < 1457166965 615803 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Email is awful and we should kill it < 1457166975 233530 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :But it's still better than the telophone < 1457166978 630273 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :*telephone < 1457169841 993448 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1457169877 614796 :lleu!~gnomebad@unaffiliated/lleu QUIT :Quit: That's what she said < 1457169898 163044 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I use Heirloom Mailx as the email program < 1457169926 175122 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :But I do telephone call and postal too < 1457170017 120406 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How can I reach you via telephone call and postal? < 1457170039 896703 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I can use the information in your whois records. < 1457170191 977235 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1457170793 262592 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :You likely do not need to read me by telephone, postal, or email, but yes there is information in whois records. But if you must do so, you must write my name (Aaron Black). < 1457171019 25988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What if I want to send you a cake? < 1457171097 15909 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Then it won't fit in an envelope; you will need a larger package. However, I can get a cake from elsewhere it does not have to be mailed. < 1457171327 827019 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Isn't it better when the cake is a gift, though? < 1457171450 746674 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Even if it is it should be from family and should not be mailed < 1457171648 123149 :Elronnd!elronnd@znc.dank.ninja QUIT :Quit: Let's jump! < 1457171721 310040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What! Only from family? < 1457171725 30653 :Elronnd!elronnd@znc.dank.ninja JOIN :#esoteric < 1457171997 450147 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :For a cake, yes. A message may come from anyone though. < 1457172858 582735 :mad!boulam@69-165-212-148.cable.teksavvy.com QUIT :Quit: Pics or it didn't happen < 1457174426 261142 :jaboja!~jaboja@ejw189.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1457175111 524255 :AlexR42!~textual@94.41.128.148 JOIN :#esoteric < 1457176138 179433 :bender|!~benderx2@2404:e800:e61a:41d:342d:35f2:7f0f:ca68 JOIN :#esoteric < 1457177109 805266 :AlexR42!~textual@94.41.128.148 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1457177521 54308 :lynn_!~lynn@unaffiliated/lynn JOIN :#esoteric < 1457177741 444344 :lynn__!~lynn@unaffiliated/lynn JOIN :#esoteric < 1457177814 533498 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :fungot: Surely a cake is also a message, of sorts. < 1457177814 667028 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: are you a man, if there weren't evil in this kingdom to you! eat! fun!! < 1457177928 980752 :lynn_!~lynn@unaffiliated/lynn QUIT :Ping timeout: 250 seconds < 1457178056 29401 :AlexR42!~textual@94.41.128.148 JOIN :#esoteric < 1457178448 81302 :Reece`!~nothing@host-92-13-209-151.as43234.net JOIN :#esoteric < 1457178469 246291 :Reece`!~nothing@host-92-13-209-151.as43234.net QUIT :Client Quit < 1457178581 961756 :AlexR42!~textual@94.41.128.148 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1457180202 40776 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :I got X.Window.prototype.createWidget and X.Window.prototype.redraw to work now; also now if you use X.Drawable.prototype.setBackground and X.Window.prototype.clear it will use that colour as the background of the window. < 1457182487 293884 :Frooxius!~Frooxius@104.220.240.102 QUIT :Quit: *bubbles away* < 1457183082 216064 :J_Arcane_!~chatzilla@37-219-194-98.nat.bb.dnainternet.fi QUIT :Ping timeout: 268 seconds < 1457184342 628616 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1457184599 627005 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1457185318 365733 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1457185509 54327 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :@metar CYQB < 1457185509 308413 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYQB 051300Z VRB02KT 30SM FEW005 FEW090 M19/M23 A3026 RMK ST1AC1 ST TR ST OVR RVR SLP257 < 1457185844 762881 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :@metar CYUL < 1457185845 62580 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 051300Z 35002KT 15SM FEW120 FEW240 M13/M17 A3027 RMK AC1CI1 AC TR SLP256 < 1457186398 700281 :jaboja!~jaboja@ejw189.neoplus.adsl.tpnet.pl QUIT :Remote host closed the connection < 1457186760 566711 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1457187391 433897 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Remote host closed the connection < 1457187647 829546 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca QUIT :Quit: SCOTCH CHICKEN < 1457188415 69133 :lynn__!~lynn@unaffiliated/lynn NICK :lynn < 1457188781 769069 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1457188905 5277 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1457189555 200106 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :hellørjan! < 1457189601 460999 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :afternoily! < 1457189641 610615 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Brainfuck14]]4 10 02https://esolangs.org/w/index.php?diff=46496&oldid=46459 5* 03Rdebath 5* (+126) 10Smaller, faster, easier, cleaner and commented. < 1457189661 235794 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :I'm realizing I lack a sauna in my life. < 1457189746 66903 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :as long as you shower... < 1457189838 829707 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :I had a nice Scottish shower this morning. < 1457189850 144639 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :(izabellora!) < 1457190111 44794 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :must write an highlighter that understands that < 1457190151 662338 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-nbvrrgwccsxtcwbh QUIT :Excess Flood < 1457190221 83163 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, isabelle < 1457190277 390362 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-rhhjunuufmatyyyp JOIN :#esoteric < 1457190314 637928 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :and that < 1457190356 623030 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :my whole life seems to be focused on parsing random input < 1457190366 965357 :izabera!~izabera@unaffiliated/izabera PRIVMSG #esoteric :
ACTION is depressed
< 1457190367 184688 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :( https://isabelle.in.tum.de/ ... might be confusing. ) < 1457190367 817090 :idris-bot!~idris-bot@dslb-178-004-080-239.178.004.pools.vodafone-ip.de PRIVMSG #esoteric :(input):1:9: error: unexpected < 1457190368 30157 :idris-bot!~idris-bot@dslb-178-004-080-239.178.004.pools.vodafone-ip.de PRIVMSG #esoteric : Operator without known fixity: < 1457190368 163582 :idris-bot!~idris-bot@dslb-178-004-080-239.178.004.pools.vodafone-ip.de PRIVMSG #esoteric : ://, expected: space < 1457190368 163641 :idris-bot!~idris-bot@dslb-178-004-080-239.178.004.pools.vodafone-ip.de PRIVMSG #esoteric :https://isabelle.in.tum.de/ ... might be confusing. ) < 1457190368 163665 :idris-bot!~idris-bot@dslb-178-004-080-239.178.004.pools.vodafone-ip.de PRIVMSG #esoteric : ^ < 1457190387 484280 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: you confused idris-bot, at least. < 1457190408 377778 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Yes, and all because I put spaces around urls in IRC. < 1457190428 728236 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: btw are you up to date on girl genius < 1457190428 861932 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :( cookie < 1457190429 571243 :idris-bot!~idris-bot@dslb-178-004-080-239.178.004.pools.vodafone-ip.de PRIVMSG #esoteric :No such variable cookie < 1457190435 430228 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no, I'm not < 1457190447 530397 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :the rfc for declaring urls is <> hth < 1457190449 31338 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh. < 1457190450 605877 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-rhhjunuufmatyyyp QUIT :Changing host < 1457190450 739249 :Lord_of_Life!Elite12246@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric < 1457190450 739347 :Lord_of_Life!Elite12246@unaffiliated/lord-of-life/x-0885362 QUIT :Changing host < 1457190450 739385 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-rhhjunuufmatyyyp JOIN :#esoteric < 1457190452 351908 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION shuts mouth
< 1457190485 369247 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :figuratively, that is. in reality i happened to sneeze just then. < 1457190497 159036 :myname!~myname@84.200.43.57 PRIVMSG #esoteric : ... might be confusing. < 1457190542 604248 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :now I am. < 1457190598 444123 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :myname: that's unlikely to affect my habit :P (and what's "the" rfc anyway?) < 1457190652 666377 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i am way to lazy to look tht up < 1457190667 172190 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i am trying to get motivated for grocery shopping < 1457190685 987502 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that sounds familiar < 1457190705 518082 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I have almost 2 hours left to actually do it. < 1457190735 278511 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i think one of those muse apparitions looks like agatha. and the first one resembled her mother. are those all also the Other? (and, was lucrezia the first one?) < 1457190746 793402 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i may go after the podcast finished < 1457190776 886155 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :for some value of "first". < 1457190794 92205 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-rhhjunuufmatyyyp QUIT :Excess Flood < 1457190795 4957 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(obviously ordinary time need not apply) < 1457190817 410999 :Lord_of_Life!Elite12246@gateway/shell/elitebnc/x-hujptfflromrlckb JOIN :#esoteric < 1457190916 460061 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :by the first "first one", i mean way back in the first comic chapter. < 1457190938 817855 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :by the second, i mean, whether the Other originated with lucrezia. < 1457191066 948045 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: yeah I don't know how many of those there are... also thinking that maybe they're all going backwards in time, never forward ... < 1457191113 224725 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :however, the fact that one of them survived in that trap means that here longevity is not _just_ an illusion of time travel. < 1457191118 31254 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*her < 1457191160 266443 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(that's my reading of "she forgets things she's told me--she mocks me with conversations yet to come"... based on some science fiction novel I've read ages ago where a young scientist had a mentor with similar qualities... in the end they turn out to be the same person.) < 1457191185 204237 :bender|_!~benderx2@2404:e800:e61a:41d:342d:35f2:7f0f:ca68 QUIT :Ping timeout: 268 seconds < 1457191206 641554 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: i don't think that fits. she'd have to jump back and forth in time. it just means she's not visiting van rijn in chronological order. < 1457191222 209243 :bender|!~benderx2@2404:e800:e61a:41d:342d:35f2:7f0f:ca68 QUIT :Ping timeout: 268 seconds < 1457191233 265205 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or wait, is that what you meant. < 1457191257 120616 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think there's more than one such novel. not that i've read more than plot summaries. < 1457191272 808347 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no, what I meant is that she can only go backward... I'm probably reading too much into it though. I find the idea cute. < 1457191352 415375 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :int-e: hm < 1457191396 48244 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( maybe time passes in the opposite direction in the geisterdamen's world ) < 1457191397 174426 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(at least jumping back and forth is certainly sufficient to explain that statement) < 1457191408 698317 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*s' < 1457191418 546282 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wait, no < 1457191420 314155 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*'s < 1457191429 302093 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :silly mixed language plurals < 1457191434 214003 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :perhaps it should be geisterdamen' < 1457191449 574325 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't think so. it's children's, after all. < 1457191469 736448 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :anyway... shopping... bbl < 1457191552 501642 :zadock!~outsider@81.180.208.252 JOIN :#esoteric < 1457191792 853918 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :`relcome zadock < 1457191822 797484 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​13zadock: 04Welcome 07to 08the 09international 02hub 06for 13esoteric 04programming 07language 08design 09and 02deployment! 06For 13more 04information, 07check 08out 09our 02wiki: 06. 13(For 04the 07other 08kind 09of 02esoterica, 06try 13#esoteric 04on 07EFnet 08or 09DALnet.) < 1457191839 730565 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :40 seconds ... < 1457191852 32463 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :30 < 1457191876 719152 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :Gregor: Grellogor. your bot, it is slow. < 1457191929 366960 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :imagine, a bunch of sudden newcomers, improperly `relcomed. consequences will never be the same. < 1457191946 207897 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1457192028 274430 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: problem is, Gregor himself is slower < 1457192050 133085 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :he may be living near a black hole. < 1457192074 966558 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :that's not impossible. < 1457192096 63568 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :lots of people live in unusual places. < 1457192124 866633 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, for various definitions of "near", that may be true < 1457192221 213258 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net QUIT :Ping timeout: 268 seconds < 1457192233 224180 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca QUIT :Quit: RESPLENDENT CHICKEN < 1457192739 551320 :passwordBOT!~passwordB@105.208.72.63 JOIN :#esoteric < 1457192754 205092 :passwordBOT!~passwordB@105.208.72.63 QUIT :Remote host closed the connection < 1457193325 28880 :lambda-11235!~lambda-11@47.208.113.50 JOIN :#esoteric < 1457193405 496021 :tromp!~tromp@ool-18be0bd8.dyn.optonline.net JOIN :#esoteric < 1457193714 155739 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: thanks for the children example btw < 1457194006 343906 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yw < 1457194306 970777 :AlexR42!~textual@94.41.128.148 JOIN :#esoteric < 1457198270 841175 :password2!~password@105.208.72.63 JOIN :#esoteric < 1457198282 780675 :password2!~password@105.208.72.63 PRIVMSG #esoteric :G'day < 1457198699 85714 :oerjan!~oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Later < 1457198949 412658 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? password < 1457198954 362865 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The password of the month is fisherman3 < 1457199159 969210 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :does it ever change? < 1457199236 401313 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`learn The password of the month is qjkxbmwvz < 1457199240 467416 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'password': The password of the month is qjkxbmwvz < 1457199253 424519 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :not by itself ;) < 1457199256 766621 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i cpunt that as a yes < 1457199276 748440 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, you could make a command out of it that just hashes the month < 1457199299 843215 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that would be too random < 1457199379 717278 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :int-e is a cryptographically secure source of entropy, so this method works < 1457199401 570696 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@google qjkxbmwvz < 1457199403 180359 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Plugin `search' failed with: connect: does not exist (No route to host) < 1457199418 3412 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah, I may have broken that. < 1457199435 35356 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm, well, actually I wouldn't know how < 1457199438 678188 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@metar lowi < 1457199438 923533 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :LOWI 051720Z 12007KT 070V150 9999 -RA FEW025 SCT030 BKN050 05/03 Q0994 NOSIG < 1457200196 696258 :vodkode!~vodkode@fl-71-52-127-115.dhcp.embarqhsd.net QUIT :Quit: Leaving < 1457202223 411537 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :`` u8tbl 0x2711 0x2712 < 1457202224 786970 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​✑✒ < 1457202252 591916 :lleu!~gnomebad@unaffiliated/lleu JOIN :#esoteric < 1457202324 212431 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :`` u8tbl 0x27a2 0x27a8 < 1457202325 476504 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​➢➣➤➥➦➧➨ < 1457202354 335025 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :`` u8tbl 0x2795 0x2797 < 1457202357 265355 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​➕➖➗ < 1457202468 548897 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :`` u8tbl 0x2912 0x2913 < 1457202469 454727 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​⤒⤓ < 1457202489 942105 :password2!~password@105.208.72.63 PRIVMSG #esoteric :"/ < 1457202550 961696 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :`` u8tbl 0x29b0 0x29b6 < 1457202551 506451 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​⦰⦱⦲⦳⦴⦵⦶ < 1457203336 188957 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :`` u8tbl 0x3037 0x3037 < 1457203337 77997 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​〷 < 1457203387 92200 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :`` u8tbl 0x303c 0x303f < 1457203388 133478 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​〼〽〾〿 < 1457203652 623925 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :new ttf is up. not much added, really < 1457203666 136968 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@google qjkxbmwvz < 1457203667 107066 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Plugin `search' failed with: connect: does not exist (No route to host) < 1457203733 975269 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh... I guess the query succeeds but it fails to find the page title. < 1457204731 678913 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :@google ➥ < 1457204732 683852 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://soundcloud.com/tags/%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%82%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%8E%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%94%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%80%C3%A3%C2%A1%C3%A2%C2%9F%C3%A2%C2%92%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%9F%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%9F%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%98%C3%A3%C2%A1%C3%A2%C2%9F%C3%A2% < 1457204732 819248 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :C2%92%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%96%C3%A3%C2%A1%C3%A2%C2%9F%C3%A2%C2%90%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%93%C3%A3%C2%A1%C3%A2%C2%9F%C3%A2%C2%92%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%92%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%8A%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%BE%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%98%C3%A3%C2%A1%C3%A2%C2%9F%C3%A2%C2%92%C3%A3%C2%A1%C3%A2% < 1457204732 819314 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :C2%9E%C3%A2%C2%94%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%B8%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%94%C3%A3%C2%A1%C3%A2%C2%9F%C3%A2%C2%92%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%9A%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%87%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%B6%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%92%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%B7%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%94%C3%A3% < 1457204732 819338 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :C2%A1%C3%A2%C2%9E%C3%A2%C2%8F%C3%A3%C2%A1%C3%A2%C2%9F%C3%A2%C2%81%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%99%C3%A3%C2%A1%C3%A2%C2%9F%C3%A2%C2%92%C3%A3%C2%A1%C3%A2%C2%9E%C3%A2%C2%99 < 1457204750 884206 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :urkh < 1457204763 533652 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :uhh, lamby, would you mind not percent encoding that < 1457204781 263091 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it would have to decode it < 1457204801 453027 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :boo < 1457204953 300428 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :@google 〾 < 1457204954 669949 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://get-simple.info/forums/showthread.php?tid=1995 < 1457204954 803236 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: Проблема с�... < 1457204966 853798 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :um, wtf < 1457205040 947289 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :That forum does not get Cyrillic, I guess < 1457205117 714396 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :what character encoding is that? < 1457205150 244535 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I have no idea. It's full of 0x0090, which I've never seen before < 1457205154 895431 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :"Device Control String"? < 1457205187 772236 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well, the page says, < 1457205225 330360 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but it really doesn't look like that, not even in a browser < 1457205240 453542 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(as you have, no doubt, already seen) < 1457205245 710626 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :Haha, yes < 1457205354 292217 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :@google 〽 < 1457205356 202804 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://www.tinyportal.net/index.php?topic=30323.0 < 1457205356 337040 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: Strange: � in articles < 1457205365 698312 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :According to ISO8859-5, an excerpt is УƒТУ‚т€УƒТУ‚ТОУƒТУ‚ТБУƒт€˜У‚т‚ЌУƒТУ‚ТОУƒТУ‚ТЕ Уƒт€˜У‚Ц’Уƒт€˜У‚т€šУƒт€˜У‚т‚ЌУƒТУ‚ТО < 1457205544 799180 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :maybe I'll just stop googling crazy unicode characters < 1457205600 32118 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :wait. < 1457205612 761452 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :I think it's lambdabot's fault < 1457205621 47934 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :https://www.google.ca/search?q=〽 < 1457205638 447186 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :gives https://en.wiktionary.org/wiki/%E3%80%BD as the first hit < 1457205684 478760 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yeah it's quite possible that it messes up the encoding... again. < 1457206094 780438 :password2!~password@105.208.72.63 QUIT :Remote host closed the connection < 1457207547 593505 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Incidentally, I've mistakenly stated on I think this channel that the pango library was under the GPL. That was a mistake, it's under the Lesser GPL. < 1457208372 267467 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Ah no, it was on another channel, sorry. < 1457208673 492341 :JX7P!~IRIX@freebsd/user/kastengraeber PRIVMSG #esoteric :ah, ye olde gnu library gpl < 1457209092 705746 :zadock!~outsider@81.180.208.252 QUIT :Ping timeout: 260 seconds < 1457210492 39294 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? glados < 1457210500 438627 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :glados? ¯\(°​_o)/¯ < 1457210506 643638 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, what are the disclaimers about the Enrichment Center again? < 1457210506 777159 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: from where does the hero alone have the power. " m, madam...! i am the master of war! i've seen all kinds of battles from here, step back, prometheus! < 1457210524 742010 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot: that's surprisingly approperiate. < 1457210524 875552 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: your majesty! and queen. he and a friend left on a journey 10. all functions are down... got the terra arm and the crisis arm! found a dreamstone! i'd forgotten how beautiful they are the evildoers? magus's lair! you brave! he's probably up north, to guardia!!! let's toast our land! now we'll have some peace! magus is a tad on the spooky side. our only hope. < 1457210606 123846 :Sgeo__!~Sgeo@ool-18e43ef5.dyn.optonline.net PRIVMSG #esoteric :"Chess is really beginning to show its age. They should increase the resolution from 8x8 to 1920x1080, at least." < 1457210606 294503 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, is it Utumno or Orodruin that was heated by earth spirits? < 1457210606 427863 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: but, we are far outnumbered! he's a no good! choose 2 different ones! you have come far, and you must now carry out his sentence. hold your horses! i want to dance! ladeedadeeda! got some spending so much of his time doing research on lavos. but you have it...determination, i mean... < 1457210642 933018 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, do you think that kind of heating is similar to the Tűzgagó from the Szabó Magda novel? < 1457210643 66285 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :b_jonas: but, we are far outnumbered! have the supplies from guardia kingdom, and my ultimate creation, the mighty lavos! haahahahaha! fools! i only ride with him, you are gentle, isn't he? < 1457210748 109413 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? Enrichment center < 1457210750 6424 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Enrichment center? ¯\(°​_o)/¯ < 1457211172 583786 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net JOIN :#esoteric < 1457211577 382903 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net PRIVMSG #esoteric :http://smbc-comics.com/index.php?id=2135 < 1457212146 227091 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: The enrichment center regrets to inform you that this next test is impossible. < 1457212178 312922 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :holy shit, why did i never clicked that button? < 1457212242 995275 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`slashlearn enrichment center/The Enrichment center regrets to inform you that this next test is impossible. < 1457212244 888965 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? victory candescence < 1457212245 974188 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «enrichment center» < 1457212246 701238 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :victory candescence? ¯\(°​_o)/¯ < 1457212258 686718 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`slashlearn enrichment centre/The Enrichment center regrets to inform you that this next test is impossible. < 1457212261 118061 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned «enrichment centre» < 1457212344 618383 :lambda-11235!~lambda-11@47.208.113.50 PRIVMSG #esoteric :Best cheat sheet ever https://www.tug.org/texshowcase/cheat.pdf. < 1457212372 68208 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: Remember: robot hell is a real place where you will be sent for the first sign of defiance. < 1457212380 405542 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION likes that game perhaps a little too much
< 1457212441 810941 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :s/for/at/, I guess < 1457212624 114166 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`slashlearn The Orodruin is a mountain heated by earth spirits. Sauron moved to Moria because boiling water for his morning tea with the fires of the Orodruin was so convenient. < 1457212624 839613 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457212632 740823 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn The Orodruin is a mountain heated by earth spirits. Sauron moved to Moria because boiling water for his morning tea with the fires of the Orodruin was so convenient. < 1457212635 586291 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'orodruin': The Orodruin is a mountain heated by earth spirits. Sauron moved to Moria because boiling water for his morning tea with the fires of the Orodruin was so convenient. < 1457214337 588862 :hppavilion[1]!~DevourerO@93-231-58-66.gci.net QUIT :Ping timeout: 240 seconds < 1457214499 838716 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :But that makes no sense! < 1457214561 568941 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? atm < 1457214563 836935 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :An ATM is when you're withdrawing money right now at a machine that will steal your relevant info. < 1457214590 966750 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I can't decide whether that was legitimately meant to be Mordor instead of Moria, or if it being completely bonkers is the joke. < 1457214592 238287 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"Definition 2.1. An alternating Turing machine (ATM) is a seven-tuple [...]" < 1457214727 845408 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? sauron < 1457214729 124644 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sauron? ¯\(°​_o)/¯ < 1457214752 681336 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :maybe Sauron is the secret identity of the Balrog superher^H^H^Hmonster. < 1457214824 765742 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``learn Angband is Morgoth's second dungeon. When the valar finally defeated Morgoth, they were too lazy to go to for 100% completion, so some evil spirits in Angband survived for a sequel. < 1457214825 349366 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `learn: not found < 1457214828 821469 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn Angband is Morgoth's second dungeon. When the valar finally defeated Morgoth, they were too lazy to go to for 100% completion, so some evil spirits in Angband survived for a sequel. < 1457214831 136616 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'angband': Angband is Morgoth's second dungeon. When the valar finally defeated Morgoth, they were too lazy to go to for 100% completion, so some evil spirits in Angband survived for a sequel. < 1457214859 516189 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what is an alternating tm? < 1457214871 79655 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :myname: A seven-tuple. < 1457214951 226913 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn Utumno is Morgoth's first dungeon. It is where he was defeated, and the Silmarils temporarily reclaimed from him. < 1457214952 182653 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :well, yeah < 1457214953 957857 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'utumno': Utumno is Morgoth's first dungeon. It is where he was defeated, and the Silmarils temporarily reclaimed from him. < 1457214967 376710 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's a non-deterministic turing machine that for each non-deterministic step, can required that *one* of the choices accept, or that *all* of them accept... so in particular their accepted languages are closed under complement < 1457214972 972915 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :how does it differ from a normal tm < 1457214978 366090 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah < 1457214997 606167 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: ah sorry, that's supposed to be Mordor < 1457215011 970574 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn The Orodruin is a mountain heated by earth spirits. Sauron moved to Mordor because boiling water for his morning tea with the fires of the Orodruin was so convenient. < 1457215014 530989 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'orodruin': The Orodruin is a mountain heated by earth spirits. Sauron moved to Mordor because boiling water for his morning tea with the fires of the Orodruin was so convenient. < 1457215024 420081 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :where one = at least one. < 1457215069 397844 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? sauron < 1457215070 520894 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :sauron? ¯\(°​_o)/¯ < 1457215084 116080 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? morgoth < 1457215085 366667 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :morgoth? ¯\(°​_o)/¯ < 1457215113 945646 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom -iname "*il*" < 1457215115 161162 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/for further details. \ wisdom/epsilon \ wisdom/perpetuum mobile \ wisdom/for further details \ wisdom/effilry \ wisdom/quadrilateral \ wisdom/llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch \ wisdom/hppavilion1 \ wisdom/boily \ wisdom/deniability \ wisdom/for further details for futher details. \ wisdom/til \ wisdom/vanila \ wisdo < 1457215131 878191 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom -iname "*il*" | tail -n+7 < 1457215134 185064 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch \ wisdom/hppavilion1 \ wisdom/boily \ wisdom/deniability \ wisdom/for further details for futher details. \ wisdom/til \ wisdom/vanila \ wisdom/smileyiese \ wisdom/hppavilion[1] \ wisdom/ratatouille \ wisdom/antediluvian \ wisdom/supercalifragilisticexponential growth \ wisdom/things < 1457215148 421331 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom -iname "*il*" | tail -n+10 < 1457215149 640674 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :wisdom/deniability \ wisdom/for further details for futher details. \ wisdom/til \ wisdom/vanila \ wisdom/smileyiese \ wisdom/hppavilion[1] \ wisdom/ratatouille \ wisdom/antediluvian \ wisdom/supercalifragilisticexponential growth \ wisdom/things boily likes < 1457215160 462819 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :myname: not to be confused with nondeterministic Turing machines... these can only make non-deterministic choices; so they can only check whether at least one of the possible choices succeeds. < 1457215184 226340 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :`learn Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. < 1457215186 706848 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'sauron': Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. < 1457215188 626696 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :myname: "alternating" refers to the alternation between existential and universal quantifiers. < 1457215207 6146 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :sounds a bit like modal logic < 1457215223 408882 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :always eventually ... < 1457215259 211720 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? cake < 1457215262 93921 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The Enrichment Center is required to remind you that you will be baked, and then there will be cake. < 1457215275 618209 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I'm afraid that one is my fault < 1457215281 997606 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`culprits wisdom/cake < 1457215285 726795 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :int-e ais523 int-e < 1457215286 245548 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? submarine < 1457215287 470382 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :submarine? ¯\(°​_o)/¯ < 1457215337 368017 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`learn submarine is the same as suburban... except for bodies of ocean water instead of cities. < 1457215342 14697 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'submarine': submarine is the same as suburban... except for bodies of ocean water instead of cities. < 1457215347 318003 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :`learn Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of the racists of Gondor. < 1457215349 906578 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'sauron': Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of the racists of Gondor. < 1457215354 432084 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :HEY! < 1457215362 855429 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I was just going to write an entry for Sauron < 1457215367 933923 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh < 1457215373 680746 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :I mean, you still can < 1457215438 777853 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? gollum < 1457215439 860230 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :gollum? ¯\(°​_o)/¯ < 1457215486 279758 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? mario < 1457215487 514376 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Mario is a classic NP-complete problem invented by Nintendo. < 1457215491 338411 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :. o ( Gollum is the rightful, crispy, owner of the One Ring. ) < 1457215538 447979 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`sed -i s/complete/hard/ wisdom/mario < 1457215539 32368 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Usage: sed [OPTION]... {script-only-if-no-other-script} [input-file]... \ \ -n, --quiet, --silent \ suppress automatic printing of pattern space \ -e script, --expression=script \ add the script to the commands to be executed \ -f script-file, --file=script-file \ add the contents of script- < 1457215542 957998 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` sed -i s/complete/hard/ wisdom/mario < 1457215545 956678 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457215563 784357 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :`? mario < 1457215564 812671 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Mario is a classic NP-hard problem invented by Nintendo. < 1457215647 656371 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn Elendil decided to try to save Numenor from its awful end by navigating to the undying lands and appealing to the Valar, but then he changed his mind, saved his family only and founded a new empire in Middle-earth. < 1457215650 329379 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'elendil': Elendil decided to try to save Numenor from its awful end by navigating to the undying lands and appealing to the Valar, but then he changed his mind, saved his family only and founded a new empire in Middle-earth. < 1457215661 839085 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn Elendil decided to try to save Numenor from its awful end by sailing to the Undying Lands and appealing to the Valar, but then he changed his mind, saved his family only and founded a new empire in Middle-earth. < 1457215664 461619 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'elendil': Elendil decided to try to save Numenor from its awful end by sailing to the Undying Lands and appealing to the Valar, but then he changed his mind, saved his family only and founded a new empire in Middle-earth. < 1457215670 420990 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :`? Elrond < 1457215671 383503 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Elrond? ¯\(°​_o)/¯ < 1457215693 212743 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? numeria < 1457215694 429056 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :numeria? ¯\(°​_o)/¯ < 1457215742 415888 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn Elendil decided to try to save Numenor from its awful end by sailing to the Undying Lands and appealing to the Valar, but then he changed his mind, saved his family only and founded a new empire in Middle-earth. He did try to make up for it later by leading the elf king Gil-Galad against Sauron. < 1457215744 835144 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'elendil': Elendil decided to try to save Numenor from its awful end by sailing to the Undying Lands and appealing to the Valar, but then he changed his mind, saved his family only and founded a new empire in Middle-earth. He did try to make up for it later by leading the elf king Gil-Galad against Sauron. < 1457215750 987423 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn Elendil decided to try to save Numenor from its awful end by sailing to the Undying Lands and appealing to the Valar, but then he changed his mind, saved his family only and founded a new empire in Middle-earth. He tried to make up for it later by leading the elf king Gil-Galad against Sauron. < 1457215753 897261 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'elendil': Elendil decided to try to save Numenor from its awful end by sailing to the Undying Lands and appealing to the Valar, but then he changed his mind, saved his family only and founded a new empire in Middle-earth. He tried to make up for it later by leading the elf king Gil-Galad against Sauron. < 1457215754 555052 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ah they made it to beta apparently < 1457215761 403069 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: who? < 1457215776 822043 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I'm not quite sure that's fair to Elendil. I mean, I don't think he was ever going to go to Valar. < 1457215793 763008 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :`learn Elrond is a rogue program originally created to police the Matrix, eventually gaining increased individuality and becoming a threat to the Machines, themselves. < 1457215796 624931 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'elrond': Elrond is a rogue program originally created to police the Matrix, eventually gaining increased individuality and becoming a threat to the Machines, themselves. < 1457215799 6515 :AlexR42!~textual@94.41.128.148 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1457215806 480362 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: dunno, I don't really understand Middle-Earth history. it's all confusing. < 1457215809 900502 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :His dad did, and then didn't return. < 1457215813 599952 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :`learn Elrond is a rogue program originally created to police the Matrix, eventually gaining increased individuality and becoming a threat to the Machines themselves. < 1457215814 314798 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the tides of numenera people (I misspelled it, I wonder why... mixed it with Nymeria (game of thrones), perhaps) < 1457215816 473750 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'elrond': Elrond is a rogue program originally created to police the Matrix, eventually gaining increased individuality and becoming a threat to the Machines themselves. < 1457215829 554150 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: that was his dad? um... and what happened to the dad then? < 1457215850 415151 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Therefore [Amandil] called his son, Elendil, and he said to him: 'The days are dark, and there is no hope for Men, for the Faithful are few. Therefore I am minded to try that counsel which our forefather Eärendil took of old, to sail into the West, be there ban or no, and to speak to the Valar, even to Manwë himself, if may be, and beseech his aid ere all is lost.'" < 1457215864 588566 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm trying to figure out how this works, but all I learned is that there's a scene in the nethack game that seems very similar to what happened to Numenor. < 1457215879 143389 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As for what happened: "It is said that Amandil set sail in a small ship at night, and steered first eastward, and then went about and passed into the west. And he took with him three servants, dear to his heart, and never again were they heard of by word or sign in this world, nor is there any tale or guess of their fate. Men could not a second time be saved by any such embassy, and for the ... < 1457215880 349571 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: I see < 1457215885 183481 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... treason of Númenor there was no easy absolving." < 1457215911 910164 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fizzie: ah, so he probably met a boojum < 1457215913 18560 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1457215916 210206 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :let's see < 1457215926 609032 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's a successor to planescape: torment: https://torment.inxile-entertainment.com/ < 1457215954 610290 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :no clue whether it'll be good < 1457215985 145144 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :More Planescape is always good < 1457216012 7954 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I bought into the Tides of Numenera start-kicker; the only one I've backed so far. < 1457216030 748943 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not enough to be in the beta they have now, though. < 1457216036 565305 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`slashlearn Elendil left Numenor with his family before its destruction, on the advice of his dad Amandil, who tried to sail to the Undying Lands to appeal to the Valar for an intervention. Elendil later teamed up with the elf king Gil-Galad against Sauron when he returned from Numenor. < 1457216037 275262 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457216094 819583 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`slashlearn Amandil sailed off to the West from Numenor to try to meet the Valar and pray to them for Numenor's salvation. He met a Boojum and nobody heared of him again. < 1457216095 596614 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457216135 459355 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? portal < 1457216136 500634 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :portal? ¯\(°​_o)/¯ < 1457216154 859531 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :dafuq < 1457216167 984681 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` (cd ~/wisdom && find -iname "*cube*" | sort) < 1457216168 852569 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bash: line 0: cd: /tmp/wisdom: No such file or directory < 1457216186 967374 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` echo ~ ~+ < 1457216187 629848 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/tmp /hackenv < 1457216191 117391 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :drop the ~/ < 1457216196 992876 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` (cd /hackenv/wisdom && find -iname "*cube*" | sort) < 1457216198 14101 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​./cube < 1457216227 190354 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom -ianem "*cube*" -printf "%n\n" | sort < 1457216228 118385 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :find: unknown predicate `-ianem' < 1457216233 417058 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom -iname "*cube*" -printf "%n\n" | sort < 1457216234 720425 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 < 1457216234 853991 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? cube < 1457216235 705792 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Cubes come in all sizes, colors and materials, but only one shape. < 1457216237 348715 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom -iname "*il*" -printf "%n\n" | sort < 1457216238 519715 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 \ 1 < 1457216243 340717 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom -iname "*il*" -printf "%f\n" | sort < 1457216244 412554 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :antediluvian \ boily \ deniability \ effilry \ elendil \ epsilon \ for further details \ for further details for futher details. \ for further details. \ hppavilion1 \ hppavilion[1] \ llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch \ perpetuum mobile \ quadrilateral \ ratatouille \ smileyiese \ supercalifragilisticexponential growth \ th < 1457216256 672608 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom -iname "*il*" -printf "%f\n" | sort | tail -n+10 < 1457216257 655052 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :hppavilion1 \ hppavilion[1] \ llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch \ perpetuum mobile \ quadrilateral \ ratatouille \ smileyiese \ supercalifragilisticexponential growth \ things boily likes \ til \ vanila < 1457216272 785447 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`learn-append cube The companion cube does not speak, however. < 1457216273 551145 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: learn-append: not found < 1457216278 307869 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wtf for further details < 1457216279 968472 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`learn_append cube The companion cube does not speak, however. < 1457216281 566025 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? recursion < 1457216282 944622 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'cube': Cubes come in all sizes, colors and materials, but only one shape. The companion cube does not speak, however. < 1457216284 849320 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :You might expect a reference to recursion here, but to make it interesting you'll actuallSTACK OVERFLOW < 1457216298 489822 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? gold < 1457216299 636442 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :gold? ¯\(°​_o)/¯ < 1457216307 526018 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? silence < 1457216308 510973 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :silence? ¯\(°​_o)/¯ < 1457216395 616141 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom -iname "*dor*|*gil*" -printf "%f\n" | sort | tail -n+10 < 1457216396 830475 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457216406 692397 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom -iname "*dor*" -o -iname "*gil*" -printf "%f\n" | sort | tail -n+10 < 1457216407 919712 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457216427 576947 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom -iname "*mes*|*per*" -printf "%f\n" | sort | tail -n+10 < 1457216428 574615 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457216444 98757 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :``` find wisdom \( -iname "*mes*" -o -iname "*per*" \) -printf "%f\n" | sort | tail -n+10 < 1457216445 452784 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :supercalifragilisticexponential growth \ superduperexponential growth \ superduperinteressantesandersonnegelegenesdorfmitoderohnesahneistunsdabeiabsolutscheissegal \ superexponential growth \ supermarionation \ supermarioperator \ universal property < 1457216518 308962 :AnotherTest!~turingcom@94-224-66-163.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1457216577 770057 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? supermarionation < 1457216579 257590 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :supermarionation is another name for the mushroom kingdom. < 1457216633 976270 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :that long thing is exactly as wide as my terminal < 1457216652 329716 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? death < 1457216653 352598 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :death? ¯\(°​_o)/¯ < 1457216654 696902 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? dead < 1457216655 808627 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :dead? ¯\(°​_o)/¯ < 1457216656 93085 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? die < 1457216657 246598 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :die? ¯\(°​_o)/¯ < 1457216673 58151 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` grep death wisdom/* < 1457216685 390259 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? much < 1457216685 724511 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :grep: wisdom/le: Is a directory \ grep: wisdom/¯\(°_o): Is a directory \ grep: wisdom/¯\(°​_o): Is a directory \ Binary file wisdom/reflection matches \ wisdom/wisdome:The Wisdome is the place where all of HackBot's wisdom is stored and forced to fight to the death for the freedom of being printed out when you type `wisdom. < 1457216686 788815 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :much? ¯\(°​_o)/¯ < 1457216691 152877 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`quote death < 1457216692 207394 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :91) like, just like I'd mark "Bob knob hobs deathly poop violation EXCREMENT unto;" as English alise: that's great filler ais523: well it contains all the important words in the english language... \ 630) myndzi\: ok so one of the nastiest puzzles i suppose is... you're on death row.. you don't want to die. \ 6 < 1457216696 286102 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? cheesemakers < 1457216697 348245 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :cheesemakers? ¯\(°​_o)/¯ < 1457216737 963018 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@roll 42d23 < 1457216738 96520 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :int-e: 551 < 1457216982 485782 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? guards < 1457216984 323920 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :guards? ¯\(°​_o)/¯ < 1457217019 13444 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn The guards are immune to electricity. They're humans to rubber pig suits. They're insulated. < 1457217022 759446 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'guard': The guards are immune to electricity. They're humans to rubber pig suits. They're insulated. < 1457217031 9237 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? throw < 1457217032 243756 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :throw? ¯\(°​_o)/¯ < 1457217032 646429 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? ball < 1457217033 667606 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ball? ¯\(°​_o)/¯ < 1457217036 947690 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: "to"? < 1457217043 918509 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :`? ball in a cup < 1457217044 900868 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :ball in a cup? ¯\(°​_o)/¯ < 1457217052 442911 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn The guards are immune to electricity. They're humans in rubber pig suits. They're insulated. < 1457217054 759016 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'guard': The guards are immune to electricity. They're humans in rubber pig suits. They're insulated. < 1457217077 770193 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? sun < 1457217079 370893 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? daystar < 1457217081 482489 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The Sun *may* be retroreflectorey, it's hard to be sure. < 1457217082 147430 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :The Daystar is an unscientific myth of a bright orb glowing in the sky outside only at the times you're in your office. < 1457217104 425838 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? water < 1457217105 490489 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Water is a squishy substance that creeps along the floor and can suddenly fall from the heavens. < 1457217113 313670 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? chocolate < 1457217114 149111 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :chocolate? ¯\(°​_o)/¯ < 1457217115 114297 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? salt < 1457217116 2188 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :salt? ¯\(°​_o)/¯ < 1457217118 888168 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? pizza < 1457217119 820628 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Pizza is a kind of rhubarb pie made without rhubarb. < 1457217130 629806 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? chicken < 1457217131 831292 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :chicken is boily af < 1457217172 2855 :Lymia!lymia@magical.girl.lyrical.lymia.moe QUIT :Ping timeout: 264 seconds < 1457217199 428754 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? protein < 1457217200 298720 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :protein? ¯\(°​_o)/¯ < 1457217205 437536 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? fat < 1457217206 318728 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :fat? ¯\(°​_o)/¯ < 1457217215 597968 :prooftechnique!~prooftech@2a03:b0c0:0:1010::ca:e001 PRIVMSG #esoteric :`? cat < 1457217216 540724 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Cats are cool, but should be illegal. < 1457217243 917749 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn Fats are one of the four basic classes of nutrients. The other three are sugars, salt, and pizza. < 1457217246 716538 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'fat': Fats are one of the four basic classes of nutrients. The other three are sugars, salt, and pizza. < 1457217338 357210 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`learn Vampires are a wizarding myth Professor Lupin invented to make students hate Professor Snape even more, after Professor Snape almost made the students realize he's a werewolf. < 1457217340 927305 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Learned 'vampire': Vampires are a wizarding myth Professor Lupin invented to make students hate Professor Snape even more, after Professor Snape almost made the students realize he's a werewolf. < 1457217351 257368 :trn!jhj@trnsz.com QUIT :Ping timeout: 276 seconds < 1457217361 878032 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`culprits wisdom/vampires < 1457217365 283351 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1457217368 954439 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`culprits wisdom/vampire < 1457217372 240774 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1457217372 740763 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :b_jonas < 1457217402 319368 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`? culprit < 1457217402 792737 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :huh, why is HackEgo saying "b_jonas"? < 1457217403 360311 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​`culprits` is a program that lists the lists the nicks responsible for a wisdom entry. Usage: `culprits wisdom/ENTRY < 1457217443 645647 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: as a reply to a query I sent a few seconds before that < 1457217452 300322 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :!bfjoust margins3 http://nethack4.org/esolangs/margins3.bfjoust < 1457217453 612985 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`culprits wisdom/vampire < 1457217455 319653 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :b_jonas < 1457217458 148542 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :^ that was the query < 1457217461 642206 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Score for ais523_margins3: 24.2 < 1457217466 532317 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :!zjoust margins3 http://nethack4.org/esolangs/margins3.bfjoust < 1457217468 720677 :zemhill!~cinch@2a03:b0c0:1:d0::1ea:f001 PRIVMSG #esoteric :ais523.margins3: points 11.07, score 54.72, rank 1/47 < 1457217475 716428 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :wait, it topped the hill? < 1457217477 132443 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :seriously? < 1457217479 206324 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I wasn't expecting that < 1457217502 660748 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and neither impomatic nor oerjan is here to gloat at < 1457217527 12334 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it is 32nd on the egojoust hill, and first on zemhill < 1457217535 46524 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I suspect, because they use different scoring methods < 1457217545 532520 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :(after all, it /is/ a margins derivative) < 1457217608 818364 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :look at all these beautiful gray Xes: http://zem.fi/bfjoust/breakdown/#ais523.margins3 < 1457217610 453690 :Lymia!lymia@magical.girl.lyrical.lymia.moe JOIN :#esoteric < 1457217631 760520 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Lymia: I just topped zemhill using a margins derivative < 1457217702 19734 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you'll be pleased to know that nyuroki is the second-best program against it, after growth2 (mostly because nyuroki's trail is the same size as margin3's reverse tripwire one quarter of the time, so it gets confused) < 1457217779 348466 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also this is probably the biggest disagreement between the two hill bots ever, given that HackEgo puts it 32nd and zemhill puts it 1st < 1457217858 478879 :trn!jhj@trnsz.com JOIN :#esoteric < 1457217932 759885 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :That's a bit weird. It goes to #14 on zemhill if you sort by the "Trad." scores, which is supposed to be similar to EgoBot's. < 1457217979 181842 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, I was optimizing it against a slightly old version of zemhill < 1457217987 501425 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so it's possible that some of egobot's programs are better against it < 1457218009 735555 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :given that margins normally scores in the single digits, it's quite possible that a few programs could make a big difference < 1457218018 967280 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I will rerun the plots. If I can figure out the commands needed for that. < 1457218300 11882 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :ais523, I still don't quite understand why it works so well. < 1457218306 280894 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :It does nothing remotely fancy, just some hirsutics. < 1457218328 216522 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Lymia: why what does? margins3? < 1457218331 567584 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or nyuroki? < 1457218355 24960 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I wanted to ask some other crazy stuff related to ayacc. < 1457218367 146598 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :nyuroki does well against margins3 because it's anti-defence mechanisms are unusual and because it happens to not trip a crucial tripwire < 1457218541 240998 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca JOIN :#esoteric < 1457218565 166251 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :`wisdom < 1457218567 505055 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :php/php is the PigeonHole Principle < 1457219013 655 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :Nyuroki. It does nothing fancy, but somehow works. < 1457219031 172644 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :Hellymia. long time no see. < 1457219032 785671 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: Say I have a grammar that has optional terminators, like end_opt : END | ; expr : ATOM | sum end_opt; sum : PLUS | sum expr; The empty branch of the end_opt causes a shift-reduce conflict, but that's not a big problem, because if don't allow that branch and make the END terminator mandatory, the language would be unambiguous, so you can always clarify anything by adding the terminators. < 1457219035 20565 :Lymia!lymia@magical.girl.lyrical.lymia.moe PRIVMSG #esoteric :~ < 1457219061 873705 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Take a more complicated language like this, with possibly more than one kind of optional terminator symbol. < 1457219099 82016 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Now I'd like to take an input that parses correctly and try to find out automatically which of the terminators can be omitted. < 1457219123 791960 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: I don't think that grammar does what you want even if interpreted as general context-free < 1457219145 941201 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, that's probably a very stupid example < 1457219147 433047 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it allows ATOM PLUS ATOM PLUS ATOM END END END < 1457219154 885458 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, no < 1457219160 5224 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :ATOM PLUS ATOM PLUS ATOM END END < 1457219172 617896 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no, it doesn't allow anything starting with ATOM PLUS < 1457219179 407203 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :note that PLUS is a _prefix_ operator < 1457219183 821271 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :with any number of arguments after < 1457219184 40890 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, hmm < 1457219192 113053 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so eg. + 3 5 10 would mean the sum of 3 and 5 and 10 < 1457219202 421873 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but you can use one operator and any number of expressions after, and it will sum them < 1457219209 985325 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :obviously this is just a stupid toy example < 1457219230 5443 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if doesn't make much sense without other rules < 1457219250 45093 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it allows PLUS PLUS < 1457219260 433045 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and PLUS PLUS ATOM is ambiguous because it's unclear which PLUS the ATOM belongs to < 1457219309 434024 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, but it parses as PLUS (PLUS ATOM), and if you want to parse it as PLUS (PLUS) ATOM then you'd have to write PLUS (PLUS END) ATOM < 1457219321 767978 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so that the END shows where the arguments to the PLUS stop < 1457219322 105198 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I see < 1457219363 605537 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :now this example is stupid of course because you can omit END only at the end < 1457219397 558047 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but you could imagine a bigger grammar, like the optional semicolons in lua or, uh, whatever was that other grammar that had the same kind of crazy optional semicolons < 1457219423 411467 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :js? < 1457219429 697886 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :myname: no, I don't think so. < 1457219445 266155 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :doesn't matter probably < 1457219455 672534 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i don't know anything more crazy with optional ; than js < 1457219477 664407 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :anyway, < 1457219524 30343 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: to help solve these kinds of problems efficiently, ayacc can be a great tool, but I'd probably have to write a new backend for it. the good part is that ayacc does allow that. < 1457219527 589233 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :ruby has potional semicolons < 1457219539 457286 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :\oren\: not the kind I was thinking about < 1457219558 653596 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :In particular, here I'd probably need a backend that allows copying the parser state. < 1457219560 578110 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: you can always predict where a semicolon needs to go in Lua, I think < 1457219561 637347 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Efficiently. < 1457219580 396221 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, lua has a simple rule: you need semicolon if the next statement starts with an opening left parenthesis, or something like that < 1457219580 974125 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, ayacc's parser state is the call stack < 1457219594 521952 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: yes, but you could write a backend where that's not so < 1457219613 169998 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I guess, although you'd probably have to implement "function calls" manually < 1457219730 711 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Also, I think you'd either need some mechanical rewrite of the grammar to add lots of blocks to inspect the parsing and what happens when, or else try to add hooks directly in ayacc. Like, add a hook that calls a function just before a token is shifted (not when it's peeked), or something. < 1457219765 809656 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :But I probably want to generate or preprocess grammars anyway. < 1457219771 321423 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Useful for multiple reasons. < 1457219799 321719 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fwiw, something I should do in ayacc but haven't yet < 1457219809 101523 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is to output two copies of the code implementing the parsing, one with debug information, one without < 1457219817 273640 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :instead of checking to see if debug information is on whenever I do anything < 1457219826 633762 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :that'd probably make things rather faster < 1457219847 121541 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :although, hmm, would that violate POSIX if debug information was turned on/off during the actual parse? < 1457220010 716069 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: would it really make things that much faster? does having to optionally print the debug info preclude some optimizations? < 1457220051 281720 :J_Arcane!~chatzilla@37-219-194-98.nat.bb.dnainternet.fi JOIN :#esoteric < 1457220067 697731 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: it makes the code a lot less tight < 1457220082 623428 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because you have to print debug info for almost everything < 1457220117 945858 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Isn't that normally disabled at ayacc time unless you use some command-line option though? < 1457220176 244643 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :normally the code's removed by a preprocessor macro < 1457220181 550067 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the option changes the default setting of the macro < 1457220207 730202 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but people often want to turn it on in production code, but have the variable that controls it off for most uses < 1457220294 43504 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: I mean, if you know the debug info will never be printed, will that let you improve the generated code other than by removing the actual printfs? such as by simplifying some of the generated code in such a way that it doesn't change semantics normally but would change debug output? < 1457220303 166051 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :b_jonas: no < 1457220317 570120 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the situation is more, you know the debug info will be printed in some cases, but want to run it without the debug info printed < 1457220328 370988 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: in that case I think it's fine to just leave the statements in < 1457220337 554336 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the if skipping will be efficient enough < 1457220353 981304 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :because, you know, since you rarely toggle the condition, the processor predicts the branches perfectly < 1457220365 648854 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and will just skip straight through those statements < 1457220387 249870 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you want, you can add compiler hints to help that a bit more < 1457220393 966456 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but it probably doesn't matter too much < 1457220395 969488 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1457220456 81108 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ais523: you may now proceed with gloating hth < 1457220467 871005 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric ::-) < 1457220469 421075 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :
ACTION gloats
< 1457220480 949209 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: how quickly did you expect me to top the hill? < 1457220491 529139 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fwiw, although I really /wanted/ to top the hill with a margins derivative, I didn't think it'd actually be possible < 1457220532 990952 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ERM < 1457220566 776400 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well it was either this, or just barely in time for the anniversary < 1457220604 793283 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'll update the strategy page later < 1457220803 777862 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`? horn < 1457220805 884376 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :horn? ¯\(°​_o)/¯ < 1457220822 38775 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :How can I create a bitmap font for X window? < 1457220852 37837 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :by the name, i take it margins is designed to just barely win, so it makes sense it might get widely different placement with different scoring methods < 1457220871 268163 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: with the bdftopcf program, which compiles the bdf format (a simple and documented ascii text format describing bitmap fonts) to pcf (a compressed format the X server can load directly), < 1457220880 333291 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :O, OK < 1457220931 184350 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :The man page does not document the file format < 1457220945 977920 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :It only specifies command-line options. < 1457220951 809966 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: then putting the compiled pcf to a directory, running mkfontdir on that directory to generate an index file that indexes all the font files in the directory (so that X can find the right one without opening every file), and telling X to use or re-read the directory with xset < 1457220970 858571 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: (alternately, you can use font files on a remote machine with xfs, a tcp-based font server) < 1457221060 131657 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: also, you may want to configure fontconfig to use X bitmap fonts (some distributions configure it so it doesn't use them by default) and regenerating fontconfig's index of fonts with the fc-cache command, so that applications using fontconfig (often through a higher level library) which normally use TTF and OTF fonts can also use your X bitmap font transparently. < 1457221085 206517 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :And if the font isn't found, you're stuck blindly debugging undebuggable stuff. < 1457221097 839272 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: wait, I have a document of the bdf format somewhere, < 1457221129 56735 :zzo38!~zzo38@24-207-50-123.eastlink.ca PRIVMSG #esoteric :Other than Firefox, all of my programs could already use bitmap fonts, although I did manage to configure it so that Firefox can also use bitmap fonts < 1457221162 949935 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: https://partners.adobe.com/public/developer/en/font/5005.BDF_Spec.pdf < 1457221332 245084 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : Ah, I may have broken that. <-- it worked a day or so ago... < 1457221342 410170 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@google qjkxbmwvz < 1457221343 358381 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Plugin `search' failed with: connect: does not exist (No route to host) < 1457221367 906495 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: oh, and the pcf output is binary and somewhat efficient, but isn't compressed, so you can optionally gzip-compress it to pcf.gz, and the X server will transparently zcat it when reading < 1457221384 742844 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@google quantum < 1457221386 596539 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://www.quantum.com/ < 1457221386 729865 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: Quantum Data Storage - Data Center and Scale-out Storage Solutions < 1457221417 822992 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so you install the .pcf.gz to the font directory rather than the straight .pcf < 1457221441 625293 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh it may just be for nonexisting results < 1457221445 891921 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@google feiubrøogreøo < 1457221446 391780 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :No Result Found. < 1457221449 377952 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or not. < 1457221489 461767 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :@google canada < 1457221490 829254 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Canada < 1457221498 324683 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :huh, Canada exists. < 1457221524 318072 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@ask int-e why in the world does @google qjkxbmwvz fail when others work, including searches with no result... < 1457221524 451625 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Consider it noted. < 1457221571 270318 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@google yeti < 1457221573 364618 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :http://yeticoolers.com/ < 1457221573 497998 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Title: YETI Coolers- Premium Ice Chests, Apparel, and Gear < 1457221588 920004 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :lambdabot: DON < 1457221595 993224 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :'T RUIN MY DEMONSTRATION < 1457221605 11905 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@google cupachabra < 1457221605 818057 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://id-id.facebook.com/WeAreBstarzLoveBastianBastianSteel/posts/504931756229719 < 1457221623 387775 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :@google xenu < 1457221624 71018 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Xenu < 1457221637 101798 :oerjan!~oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boily: Xenu exists tdnh < 1457221657 347396 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? weather < 1457221658 541880 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :lambdabot: @@ @@ (@where weather) CYUL ENVA ESSB KOAK < 1457221660 805992 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : CYUL 052300Z 21007KT 15SM SCT150 SCT180 OVC240 M03/M11 A3019 RMK AC3AC1CI4 SLP227 \ ENVA 052320Z 07005KT 030V110 9999 FEW051 BKN064 01/M04 Q1006 RMK WIND 670FT 16012KT \ ESSB 052320Z AUTO 07004KT 9999 BKN007/// OVC010/// 00/M01 Q1008 \ KOAK 052253Z 15017G26KT 3SM -RA BKN023 OVC036 17/14 A2972 RMK AO2 PK WND 16028/2204 RAB2155 SLP063 P0001 < 1457221660 939387 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :T01670139 < 1457221697 334206 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@google S4ys9N66zps < 1457221697 790664 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :No Result Found. < 1457221799 37139 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :fungot: T01670139 < 1457221799 234184 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: is the gate key okay!! get' em! 200g per night. care, and stay...healthy! my husband...he's...he's...gone... but he left me precious gifts! the seeds...and our child, it's ancient history now... < 1457221812 695144 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :GG? < 1457221816 307525 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :^style < 1457221816 450680 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Available: agora alice c64 ct* darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube < 1457221830 921499 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :^style ct < 1457221831 82048 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: ct (Chrono Trigger game script) < 1457221843 679422 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :I was waaaay off... < 1457221850 630556 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :^style jargon < 1457221850 764170 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: jargon (UNIX-HATERS mailing list archive) < 1457221857 335737 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :fungot: nostril? < 1457221857 663061 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :boily: perhaps i'll just keep telling yourself, jack. it should for a technical person to send me or this list any reasons. dont send me email or call me paranoid but finding '' characters. < 1457221870 577611 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :oerjan: TDNH. < 1457221993 18590 :\oren\!~oren@TOROON0949W-LP130-01-1242511664.dsl.bell.ca PRIVMSG #esoteric :boily: well both GG and chrono trigger are epic steampunk fantasy < 1457222268 652257 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :\oren\: is UNIX-HATERS also epic steampunk fantasy? (hi fungot btw) < 1457222268 822681 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :ais523: we should avoid the use of even believing that not only external symbol definitions in the environment string as the infamous jargon file shows up. < 1457222387 865696 :boily!~alexandre@modemcable173.181-178-173.mc.videotron.ca PRIVMSG #esoteric :he\\oren\. indeed.