< 1525394047 480002 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1525394650 870571 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :I made a lot more work on "Game of XYZABCDE" (although still is not quite finish being made, yet). You have fallen from the sky because your wing suddenly broke when you were trying to go to Mornington Crescent and now you are badly injured. But, this is ZZT so there are magic diamonds that can help you! < 1525394756 383737 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: helloerjan < 1525394787 790185 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oops, I was going to suggest a golf but I just realized it doesn't work. < 1525395174 378820 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru QUIT :Ping timeout: 260 seconds < 1525395412 754617 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :If you push zero to try to call the operator, they call the operetta instead. < 1525395507 91779 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i just tested something with ghci (still on 8.0.1 something so might have been fixed), apparently ^G is a legal identifier character, i think that's a bug. < 1525395541 931443 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(i was seeing if there were any control characters that could work instead of newline, might have shortened quine 2) < 1525395551 794585 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :but no < 1525395585 238119 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :time to check the response... < 1525395593 271687 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Are you disallowing __LINE__ because it depends on the context? < 1525395701 242193 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :actually i didn't think too much about it, after i saw __TIME__ had a guaranteed length < 1525395747 712601 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 240 seconds < 1525395805 292220 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm no one's commented, i guess that means no one's worried about the few half-fishy things i did < 1525395859 690816 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(in particular not having any delimiter after the pragma) < 1525395860 735987 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You mean having both an IO action and functions of one unused argument? < 1525395868 290147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And that. < 1525395894 6544 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not just that there's no delimiter, really. The pragma and the rest of the program need to be separated. < 1525395898 982694 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the IO action, but other do the same thing so i didn't really expect any trouble. < 1525395909 458600 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: it actually doesn't, check the TIO < 1525395939 779364 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :TIO? < 1525395943 36544 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? tio < 1525395943 139161 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's completely legal to put a definition on the same line, although it wreaks havoc on the indentation < 1525395944 207312 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :tio? ¯\(°​_o)/¯ < 1525395952 101633 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the Try it online link < 1525395966 895170 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(legal haskell, that is) < 1525395968 759509 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Oh, right, I was thinking of the other thing which was an IO action. < 1525396235 561393 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: my reason was that usually, a PPCG answer with an anonymous function + some other definitions looks like a number of definitions except for leaving out the "f=" or whatever for the anonymous function < 1525396241 270263 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*reasoning < 1525396284 747195 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :and if that's the general way of formatting it, you shouldn't need a delimiter if you don't need one when the f= _is_ there. < 1525396298 110140 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although i haven't actually seen that written anywhere < 1525396391 150925 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: oh i see what you mean with line, if i know it's the first line it's a much shorter pattern match < 1525396397 202565 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :* __LINE__ < 1525396400 6457 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1525396411 336711 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or even a two- or three-digit number. < 1525396415 362125 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :still, that feels a bit cheaty with an anonymous function < 1525396435 550709 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which is sort of "copy this anywhere" < 1525396440 80289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, there ought to be a standard specification for what it means to define a function. < 1525396446 349790 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :heh < 1525396447 949993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What context it's defined in. < 1525396469 864813 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's hard to make anything that fits all the languages used on PPCG < 1525396488 879237 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sure, you can define it per-language. < 1525396514 756741 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :there might be something about using __LINE__, many languages have CPP < 1525396520 654675 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or something similar < 1525396551 613389 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm i recall a challenge that came up in < 1525396557 42666 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I was trying to figure out a way to make mempty work. < 1525396564 370393 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But thata'd be too much of a change. < 1525396574 187537 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :heh you can't use e < 1525396582 762616 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or p < 1525396588 423758 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :too many letters from the first one < 1525396609 241638 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Getting rid of mappend in the first one is doable but there are too many other letters. < 1525396619 30161 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it's a miracle that the functions used in 1 don't overlap with the show used in 2, already < 1525396635 475948 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :ah rid of mappend? < 1525396661 339219 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i had a brief period when i forgot mappend was there, and was trying to think up some crazy stuff with lex and cycle < 1525396662 501092 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually maybe it's too tricky. < 1525396675 491076 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(which were the functions that were then left) < 1525396693 764665 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :concatMap isn't available, and list comprehensions aren't either < 1525396712 456053 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the original quine 1 was adapted from used <>, but > is too essential < 1525396719 46848 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(for quine 3) < 1525396726 104422 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, right. < 1525396838 376982 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the lex and cycle thing was for getting the empty string in 3, btw < 1525396865 166808 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although it required _some_ `String` value to start with, but it could have been undefined < 1525396889 370792 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :unfortunately i don't think undefined can be made with just lambdas. oh wait... < 1525396904 527709 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> 'a':(:){} < 1525396906 388822 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "a*Exception: :3:5-9: Missing field in record construction < 1525396941 324788 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(:){} gives a nearly undefined string, and could be used in 3. < 1525396948 767202 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :however, still mappend is there in 1. < 1525396957 828638 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :lessee, how would that work... < 1525396968 805173 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(just in principle) < 1525396979 69357 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> lex ")test" < 1525396981 94624 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [(")","test")] < 1525396989 477638 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :I just checked Kaplan's book on little languages from the university library < 1525397000 70298 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :is there a way to get lex to fail... < 1525397041 367381 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> lex "\btest" < 1525397043 332407 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [] < 1525397049 149379 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hah there is. < 1525397053 515897 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh don't have b < 1525397092 259147 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> lex "\vtest" < 1525397094 376238 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [("test","")] < 1525397096 933708 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1525397134 556313 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :bah that was the only short one with only quine 3 chars < 1525397136 147456 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> lex "\xEtest" < 1525397138 22187 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [] < 1525397154 107768 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i mean with just 2 bytes < 1525397164 367866 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :unless there's something else that fails... < 1525397174 872240 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> lex "\"test" < 1525397176 796207 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [] < 1525397189 344389 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, right. < 1525397200 343033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's not helpful. < 1525397206 626792 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> [c | c <- ['\NUL'..'\DEl'], lex (c:"test") == []] < 1525397208 781412 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:22: error: < 1525397208 781454 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : lexical error in string/character literal at character 'D' < 1525397212 801416 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :wat < 1525397219 146495 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> [c | c <- ['\NUL'..'\DEL'], lex (c:"test") == []] < 1525397220 853647 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "\NUL\SOH\STX\ETX\EOT\ENQ\ACK\a\b\SO\SI\DLE\DC1\DC2\DC3\DC4\NAK\SYN\ETB\CAN\... < 1525397230 516016 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hum a bit too much < 1525397240 104552 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> [c | c <- ['\CAN'..'\DEL'], lex (c:"test") == []] < 1525397242 424976 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : "\CAN\EM\SUB\ESC\FS\GS\RS\US\"'\DEL" < 1525397250 178802 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> [ord c | c <- ['\NUL'..'\DEL'], lex (c:"test") == []] < 1525397251 932743 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [0,1,2,3,4,5,6,7,8,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,34,... < 1525397256 380188 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh ' might work < 1525397291 693057 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> lex ("''" ++ undefined) < 1525397292 534960 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lex('\'':__LINE__) < 1525397293 784403 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [] < 1525397302 155819 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that worked < 1525397321 799726 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: we don't want __LINE__ < 1525397334 336573 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :this was hypothetical for getting rid of the CPP < 1525397339 148326 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, sure. < 1525397358 691485 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> lex('\'':'\'':(:){}) < 1525397360 516620 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [] < 1525397369 904743 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hah i was just typing that < 1525397381 588441 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :however, that has the wrong type... < 1525397394 817772 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t lex('\'':'\'':(:){}) < 1525397395 935396 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :[(String, String)] < 1525397398 494742 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you have fst < 1525397404 353793 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, no, you don't < 1525397405 575829 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :better < 1525397416 787735 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t lex('\'':'\'':(:){})>>(:){} < 1525397418 62040 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :[b] < 1525397422 971379 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> lex('\'':'\'':(:){})>>(:){} < 1525397425 103000 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [] < 1525397454 809042 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :so just lex is enough. sorry about that e... < 1525397518 568055 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And that's just used for mappend? < 1525397665 370922 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 248 seconds < 1525397772 877070 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: man, haskell is scow for golfing < 1525397881 238747 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yep (to the mappend) < 1525397911 497617 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :haskell does pretty well on these restricted source challenges for a "mainstream" language < 1525397922 516074 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I suppose so. < 1525397937 400159 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A lot of languages would require { or ( for everything. < 1525397948 149941 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have you considered a special kind of golfing where your goal is to reduce execution time instead of source code size < 1525397955 278951 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i hear that type is in high demand hth < 1525397966 848769 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :you could say i've just proved haskell contains 3 separate languages with disjoint character sets :P < 1525397997 217091 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: fastest-code is a PPCG tag, but it doesn't really interest me < 1525398042 238270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: now prove these languages tc hth < 1525398126 132237 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1525398172 439253 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i think the language of quine 2 obviously is < 1525398181 448921 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :If I want to improve speed I can use assembly language for the specific computer that the program is designed for, if the program is designed for only one computer < 1525398188 631361 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it has top level equations and list notation < 1525398207 35720 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :the language of quine 3 may have trouble doing non-terminating stuff < 1525398234 975193 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :because with only lambdas, everything must be simply typed < 1525398239 457114 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hezzo38 < 1525398254 997453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Of course code written in assembly still has nondeterministic runtime. < 1525398286 393886 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :language of quine 1, tricky to say, it'll probably have to steal some more letters from the others at least < 1525398286 864262 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Not if it is written for a reasonable computer. < 1525398377 46815 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if language 2 can lose "show", language 1 might be in better shape < 1525398395 905131 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :then it has basically any builtins it wants < 1525398404 745196 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :(alphanumeric ones) < 1525398408 66431 :MDude!~MDude@pa-67-234-118-37.dhcp.embarqhsd.net JOIN :#esoteric < 1525398417 941744 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :although hm, it might not have any way to bracket things < 1525398418 422624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Which reasonable computers do you write for? < 1525398450 983659 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: maybe you can use fmap fmap fmap hth < 1525398460 484001 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :if it stole {} from 3 it might have do{...} < 1525398473 948217 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :shachaf: Famicom and MIX and MMIX (although different implementations of MMIX will have different things with the speed, such as, some might use deterministic runtime while other implementations might not) < 1525398502 117022 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: sure. or fmap`id`fmap`id`fmap to avoid whitespace < 1525398577 443450 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You do have newlines. < 1525398583 566775 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though I guess that can be problematic. < 1525398671 929098 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :actually as i discovered a litle while ago, there are several control chars that can replace space, so just use that < 1525398692 350212 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :e.g. ^M, perversely < 1525398704 204196 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :*little < 1525398816 340733 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i now remember that fmap for bracketing thing, unfortunately i think the fmaps themselves still needed bracketing, or at least i didn't finish proving they don't < 1525398842 554575 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :fmap^Mfmap^Mmap`id`fmap^Mfmap just trips off the tongue < 1525398852 413120 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh of course... < 1525398860 211581 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :we have let^Min^M < 1525398869 419503 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no, wait < 1525398870 831884 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :no = < 1525398898 764849 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> do 1 < 1525398900 664064 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1 < 1525398910 723901 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it still doesn't require monadic values < 1525398939 451321 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh i guess we wanted to avoid o < 1525398947 34131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> let in 1 < 1525398948 860421 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1 < 1525399154 533594 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :... `id`let in ... is a reasonable substitute for $ < 1525399176 85820 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :well on the right side, at least < 1525399256 16320 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :oh well < 1525399365 115880 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`owrjan < 1525399366 408009 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Your omnidryad saddle principal swatty toe-obsessed "Darth Ook" oerjan the shifty loud hero is a hazy expert in minor compaction. Also a Groadep who minces Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His ark-nemesis is Noah. He twice punned without noticing it. < 1525399407 547205 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`swrjan s/swatty/golfer/ < 1525399409 783649 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :oerjan//Your omnidryad saddle principal golfer toe-obsessed "Darth Ook" oerjan the shifty loud hero is a hazy expert in minor compaction. Also a Groadep who minces Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His ark-nemesis is Noah. He twice punned without noticing it. < 1525400526 409725 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :`swrjan s/er/ing/ < 1525400528 512090 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :oerjan//Your omnidryad saddle principal golfing toe-obsessed "Darth Ook" oerjan the shifty loud hero is a hazy expert in minor compaction. Also a Groadep who minces Roald Dahl. He could never render the word "amortized" so he put it here for connivance. His ark-nemesis is Noah. He twice punned without noticing it. < 1525400534 520795 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :grm < 1525401071 612341 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"principal golfing"? < 1525401209 724214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, what's the second derivative of f(x,y) = x^2 + y^2 - 1? < 1525402627 926662 :trout!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1525402734 105117 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess one thing you can say is DDf(x,y)(dx1,dy1)(dx2,dy2) = 2 dx1 dx2 + 2 dy1 dy2 < 1525402754 244219 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And another thing you can say is, if x^2 + y^2 = 1, then x d^2x + dx^2 + y d^2y + dy^2 = 0 < 1525402771 677996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Which you can work into e.g. d^2y/dx^2 = -1/y^3 with reasonable assumptions? < 1525402780 623339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do you reconcile these two things? < 1525404436 969228 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1525404570 363137 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1525404703 397885 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525404760 473467 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1525404987 716534 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1525405669 694103 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525405761 343417 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1525406019 426194 :atslash!~atslash@static.231.107.9.5.clients.your-server.de JOIN :#esoteric < 1525406253 326064 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525406281 782127 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1525406373 23609 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525406393 691724 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1525406808 960357 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525407061 263267 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :time to check if my guess for girl genius is right... < 1525407087 695443 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 240 seconds < 1525407095 589348 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1525407097 408125 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :boop < 1525407123 95684 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm seems i'll have to wait another update < 1525407133 519407 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :tswellott < 1525407140 881373 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :battersea looks a little more sea battered in europa than in europe < 1525407166 481684 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that it does < 1525407231 600612 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :. o O ( attempt no landing there ) < 1525407272 302853 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I'm creating a programming language, woo. < 1525407285 881359 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :What programming language are you creating? < 1525407290 571940 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :isn't there enough woo in the world < 1525407297 38982 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Well, it's called Koios. < 1525407318 403726 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1525407318 437172 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It's gonna be, like... it's gonna involve... < 1525407324 628236 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It's gonna be pretty cool, in a theoretical way. < 1525407340 191483 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Oh, also, I discovered my fetish for gay airplanes. < 1525407372 820170 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I don't remember whether I was intending for an "empty type" to have one instance, or no instances. < 1525407382 474723 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I do remember that this is pretty important. < 1525407420 453969 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :This channel never fails to confuse me. Not in terms of the programming language terminology but in terms of what seems to be absolutely piles upon piles of inside jokes. < 1525407465 272301 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :What, the gay airplane thing? That's just me being weird because I think I can get away with it. < 1525407480 425599 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :And it's not a joke. < 1525407483 902845 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :That is what this IRC is; this IRC is confuse. < 1525407530 877471 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric : there is a large amount of gay airplane porn on the internet, it's one of the classic "what hath man wrought" examples < 1525407560 825579 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Right. < 1525407561 190371 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I was talking about other things such as HackEso and... well, I don't have a list of them on hand. < 1525407586 335679 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :the empty type should have two instances < 1525407639 909779 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :Building on that, the boolean type should have three < 1525407687 723733 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Ratbat, AeroIngo... yeah, they're the big ones. < 1525407700 502426 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :right, although I think I can make a reasonable arguement that there should be four boolean values < 1525407715 259034 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :I'd like to hear it. < 1525407749 699126 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :proven true, proven false, proven both, not proven either < 1525407788 786300 :rdococ!rdococ@unaffiliated/rdococ PRIVMSG #esoteric :tswett: Arrays, lists or their equivalents should start at 1/sqrt(2) < 1525407866 994705 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :arrays should linearly interpolate between their values so as to handle real indexes < 1525407893 220991 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :But what if you don't want linear interpolation and you want a different kind instead? < 1525407921 184348 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :polynomial interpolation... < 1525407942 469733 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :doesthiswork: Corresponding to closed, open, clopen, and neither? < 1525407969 396038 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :The programming language XISYNTH actually does something like that, but it uses cubic interpolation instead. < 1525408024 534798 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :shachaf: I'm not a topology expert, but yes the meanings seem the same < 1525408050 232259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think they're the same but they're related. < 1525408050 488963 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :What would complex indices mean? < 1525408092 208858 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :did you know there are 14 (iirc) sets you can construct from a given one by applying closure, complement and union? < 1525408118 263449 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1525408139 677434 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :clearly you need a boolean that tells everything about whether each of those contains the original set < 1525408142 362289 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Kuratowski%27s_closure-complement_problem < 1525408146 233409 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :or is contained in < 1525408174 321422 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it would include things like "has empty interior" < 1525408192 435521 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How many are there for Alexandrov spaces? < 1525408218 119057 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :i don't even remember what that is. one of the Tn axioms? < 1525408232 83457 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Arbitrary intersections of open sets are open. < 1525408272 219023 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe that doesn't even make a difference? < 1525408539 218170 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm that page's introduction doesn't seem to include union, either that follows or i misremembered < 1525408566 495603 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525408726 641786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah, right. < 1525409193 378332 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 256 seconds < 1525409237 384352 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I told y'all about my favorite axiom of separation, right? < 1525409265 314890 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :For lack of a better term, I'll call it the W criterion. < 1525409280 425943 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1525409282 416045 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525409291 183746 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :A W space is a topological space S where, given any two distinct points x and y in S, there exists a subset of S containing exactly one of those points. < 1525409325 641611 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :just a subset? sounds easy. < 1525409369 304537 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It's a very easy criterion. < 1525409377 302829 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :indeed < 1525409411 698493 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :it would be so much harder if the subset had to be either open or closed < 1525409535 887902 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :shachaf: hm i'm getting a vague vibe that i once before thought about the problem with union, and that there are then infinitely many with some simple product space construction < 1525409807 946021 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :yep. < 1525409820 607301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"A few years ago I proposed a challenging Monthly problem (11059) that essentially asks this question for the operations of closure, complement, and union in a topological space. It does turn out there's a space containing a singleton that generates infinitely many sets under the three operations, but it's a bit tricky to find." < 1525409846 148414 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :huh singleton? < 1525409924 701581 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :that does sound a bit harder. < 1525410609 853140 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1525410690 726526 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525410736 952280 :variable!~variable@freebsd/developer/variable QUIT :Client Quit < 1525410885 489449 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525410943 140407 :zgrepc!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep QUIT :*.net *.split < 1525410943 395397 :alercah!~alercah@unaffiliated/alercah QUIT :*.net *.split < 1525410943 528347 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com QUIT :*.net *.split < 1525410957 396517 :alercah!~alercah@unaffiliated/alercah JOIN :#esoteric < 1525410960 682573 :lifthrasiir!~lifthrasi@ec2-52-79-98-81.ap-northeast-2.compute.amazonaws.com JOIN :#esoteric < 1525410991 679106 :zgrepc!sid43445@ircpuzzles/2015/april-fools/sixth/zgrep JOIN :#esoteric < 1525411922 853164 :variable!~variable@freebsd/developer/variable QUIT :Quit: /dev/null is full < 1525413661 804289 :oerjan!oerjan@hagbart.nvg.ntnu.no QUIT :Quit: Nite < 1525414381 124871 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1525414497 487086 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 248 seconds < 1525414841 807845 :heroux!sandroco@gateway/shell/insomnia247/x-oqaxamzkqwohoggn QUIT :Ping timeout: 276 seconds < 1525415740 132511 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1525415817 110049 :Sgeo_!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1525416717 732092 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 240 seconds < 1525416815 834777 :heroux!sandroco@gateway/shell/insomnia247/x-ntbohppsjeunyvbj JOIN :#esoteric < 1525417217 465668 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 256 seconds < 1525417584 62431 :tswett!~tswett@unaffiliated/tswett QUIT :Read error: Connection reset by peer < 1525417608 678183 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1525418049 147558 :AnotherTest!~turingcom@ptr-82l26zex50gs0dag9mv.18120a2.ip6.access.telenet.be JOIN :#esoteric < 1525419581 447918 :^v!v^@me.pxtst.com QUIT :Ping timeout: 265 seconds < 1525420033 422022 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 248 seconds < 1525420142 512545 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525420794 420447 :atslash!~atslash@static.231.107.9.5.clients.your-server.de QUIT :Ping timeout: 260 seconds < 1525420831 803327 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1525421144 418497 :GeekDude!~G33kDude@unaffiliated/g33kdude QUIT :Ping timeout: 260 seconds < 1525421308 453170 :GeekDude!~G33kDude@unaffiliated/g33kdude JOIN :#esoteric < 1525421761 190873 :^v!v^@me.pxtst.com JOIN :#esoteric < 1525422234 120336 :AnotherTest!~turingcom@ptr-82l26zex50gs0dag9mv.18120a2.ip6.access.telenet.be QUIT :Ping timeout: 255 seconds < 1525424602 247074 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :shachaf: David Dineen Porter posted some new videos on his channel https://www.youtube.com/watch?v=s_BdAW_Eqt0 < 1525425101 226034 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Who's that? < 1525425121 160607 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is this `caleyoutubesubscriptionlist? < 1525425684 91221 :tswett!~tswett@unaffiliated/tswett QUIT :Read error: Connection reset by peer < 1525425710 559449 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1525426230 131023 :Downgoat!~textual@2601:644:8201:64cb:9c:54dc:4a21:2ea3 QUIT :Ping timeout: 255 seconds < 1525427486 565516 :tswett!~tswett@unaffiliated/tswett QUIT :Read error: Connection reset by peer < 1525427527 498939 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1525428223 367469 :doesthiswork!~Adium@207.55.82.87 QUIT :Quit: Leaving. < 1525429194 440319 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1525429511 425698 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1525429574 707069 :puckipedia!~puck@puckipedia.com QUIT :Quit: *eh* < 1525429646 690722 :puckipedia!~puck@puckipedia.com JOIN :#esoteric < 1525430701 642811 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :`5 w < 1525430707 943358 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :1/1:trantor//Coruscant is a planet covered entirely by a city. It is the capital of the Galactic Empire, and the home for the biggest library in it. \ dth//dth is the dth ordinal. dth? \ usa//USA apparently doesn't stand for United State Automaton. \ ä//Ä is a Swedish geographical feature. \ progress//Progress has been made today. It was invented by Taneb. < 1525431418 331753 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 JOIN :#esoteric < 1525431459 246853 :boily!~alexandre@cable-192.222.236.157.electronicbox.net QUIT :Quit: PROLOGATION CHICKEN < 1525431590 564493 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :oerjan: control-G is an identifier character? are any other ascii control characters identifying characters? < 1525431621 7336 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :s/fying/fier/ < 1525431640 329963 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :oerjan: also, are any of the control characters infix operator names? < 1525431880 121039 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :shachaf: how would __LINE__ help? the preprocessor expands it to an integer, not to a string. it doesn't help you get a string. do you mean __FILE__? < 1525432033 301168 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :" oh don't have b" => what? I thought you were only using b as an arbitrary identifier character, and you could replace it with some other letter, although it might make the code a few characters longer if it's above l < 1525432497 861068 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :" I don't remember whether I was intending for an "empty type" to have one instance, or no instances." => the empty type defaults to int, with a warning. perhaps you want an empty struct (or empty tuple) which has one possible value, or an empty enum (empty distingiushed union) which has no possible values. < 1525432510 73632 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :you can also call the latter two unit type and void type < 1525432512 179250 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :no wait < 1525432539 988722 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :it can't be "void type", that's tainted, means one value or no value depending on where you grew up < 1525432541 529106 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :hmm < 1525432550 292821 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :how about the unit type and the diverging type? < 1525432558 37251 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :or the unit type and the noreturn type? < 1525432626 501362 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :" arrays should linearly interpolate between their values so as to handle real indexes" => you want paths in metafont for that < 1525432657 495623 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 PRIVMSG #esoteric :XISYNTH? what's that? < 1525433089 466606 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 248 seconds < 1525433187 292415 :tswett!~tswett@unaffiliated/tswett QUIT :Read error: Connection reset by peer < 1525433199 850731 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525433219 168631 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1525434205 222005 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com PRIVMSG #esoteric :shachaf: haha, just a comedian who I suspect you might like given that you like supermega comics' style of humour < 1525434441 111766 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be JOIN :#esoteric < 1525434718 687906 :arseniiv!~arseniiv@136.169.138.83.dynamic.ufanet.ru JOIN :#esoteric < 1525436518 378909 :xkapastel!uid17782@gateway/web/irccloud.com/x-serucwrxrkjabnys QUIT :Quit: Connection closed for inactivity < 1525436990 240606 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525437918 691588 :Naergon!~Naergon@unaffiliated/naergon JOIN :#esoteric < 1525438829 31006 :doesthiswork!~Adium@207.55.82.87 JOIN :#esoteric < 1525442073 470023 :wob_jonas!b03f18b3@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.179 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1525442208 366553 :xkapastel!uid17782@gateway/web/irccloud.com/x-bikpeprrclqcqdoz JOIN :#esoteric < 1525443960 496207 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1525444509 184170 :AnotherTest!~turingcom@natx-145.kulnet.kuleuven.be QUIT :Ping timeout: 264 seconds < 1525447055 726332 :variable!~variable@freebsd/developer/variable QUIT :Ping timeout: 276 seconds < 1525447059 402841 :imode!~imode@unaffiliated/imode JOIN :#esoteric < 1525448366 439464 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net JOIN :#esoteric < 1525449718 360504 :xkapastel!uid17782@gateway/web/irccloud.com/x-bikpeprrclqcqdoz QUIT :Quit: Connection closed for inactivity < 1525450085 832756 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Ping timeout: 255 seconds < 1525450309 395190 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1525450878 125873 :AnotherTest!~turingcom@d51A46C74.access.telenet.be JOIN :#esoteric < 1525450895 353758 :erkin!~erkin@unaffiliated/erkin JOIN :#esoteric < 1525451090 284178 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Quit: This computer has gone to sleep < 1525451574 134306 :variable!~variable@freebsd/developer/variable JOIN :#esoteric < 1525452465 985414 :zzo38!~zzo38@24-207-13-153.eastlink.ca QUIT :Ping timeout: 264 seconds < 1525452678 538787 :xkapastel!uid17782@gateway/web/irccloud.com/x-nmxcpngdmsgihgfs JOIN :#esoteric < 1525452959 429236 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1525453900 389812 :zzo38!~zzo38@24-207-13-153.eastlink.ca JOIN :#esoteric < 1525454529 351760 :imode!~imode@unaffiliated/imode QUIT :Ping timeout: 248 seconds < 1525454668 860164 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :I need a command for "kill this process id and anything that was started in the same hour" < 1525455011 91348 :int-e!~noone@int-e.eu PRIVMSG #esoteric :. o O ( kill -9 -1 ) < 1525455313 825160 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1525455339 395376 :Sgeo!~Sgeo@ool-18b98dd9.dyn.optonline.net JOIN :#esoteric < 1525455706 772863 :hppavilion[1]!~dosgmowdo@74-114-87-80.dynamic.asdk12.org JOIN :#esoteric < 1525455738 98282 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :actually waht I really would like is a find style interface for processes < 1525455794 468447 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :psfind -command "some_executable*" -starttime "wednesday night" -kill < 1525455862 119126 :int-e!~noone@int-e.eu PRIVMSG #esoteric :there's pgrep but it doesn't filter by starting time < 1525455906 379187 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :https://twitter.com/OedoSoldier/status/992418511921336321 < 1525456045 944098 :int-e!~noone@int-e.eu PRIVMSG #esoteric :
ACTION eyes \oren\_ questioningly
< 1525456077 437768 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :"bring the enemy ships closer, I want to use my medieval chinese sword on them" < 1525456159 884637 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 JOIN :#esoteric < 1525456160 802006 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 255 seconds < 1525456191 179520 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :https://www.xkcd.com/1989/ => the H stands for hairy, right? < 1525456261 509447 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525456323 647578 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :`? imho < 1525456325 282737 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :IMHO means "In My Holy Omniscience". < 1525456327 142862 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :`? tbh < 1525456328 267180 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :tbh? ¯\(°​_o)/¯ < 1525456333 692377 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :hmm < 1525456439 542970 :\oren\_!~oren@ec2-52-2-213-98.compute-1.amazonaws.com PRIVMSG #esoteric :to be Horton < 1525456462 699167 :int-e!~noone@int-e.eu PRIVMSG #esoteric :flight of the humble bee < 1525456477 510379 :int-e!~noone@int-e.eu PRIVMSG #esoteric :or perhaps it should be "fight" or "fright" < 1525456588 254880 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :I think tbh stands for "big hairy toe", the initials are in a strange order as a compromise between english and french < 1525456613 112994 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? cdop < 1525456614 319943 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :CDOP is OCPD, except with the letters in the *proper* order. < 1525456624 922194 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :`? cdop < 1525456626 119642 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :CDOP is OCPD, except with the letters in the *proper* order. < 1525456642 725225 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :or maybe it stands for "hairy big toe" < 1525456660 625078 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? clop < 1525456661 612910 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :clop? ¯\(°​_o)/¯ < 1525456697 506102 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(CLOP is the sequel to QWOP) < 1525456698 642140 :LKoen!~LKoen@vbo91-1-82-238-218-67.fbx.proxad.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1525456843 399469 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1525457073 232429 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`dowg IMHO < 1525457075 429431 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :No output. < 1525457091 420239 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`dowg imho < 1525457093 88098 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :7770:2016-05-04 learn IMHO means "In My Holy Omniscience". \ 7769:2016-05-04 learn IMHO means "In my holy omniscience". \ 7768:2016-05-04 learn IMHO means "In my humble omniscience". < 1525457143 480615 :LKoen!~LKoen@2a01:e35:2eed:a430:cd89:7495:6a3b:d23d JOIN :#esoteric < 1525457213 310971 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`? smdh < 1525457214 399053 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :smdh? ¯\(°​_o)/¯ < 1525457219 638465 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :`? hairy < 1525457220 937127 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :hairy? ¯\(°​_o)/¯ < 1525457241 405258 :int-e!~noone@int-e.eu PRIVMSG #esoteric :`learn SMDH is short for "Send My Daughter Home". < 1525457243 844149 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :Learned 'smdh': SMDH is short for "Send My Daughter Home". < 1525457331 986989 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(I don't recall ever seeing "SMDH" before today's xkcd.) < 1525457340 407053 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :`? gif < 1525457341 809374 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :gif? ¯\(°​_o)/¯ < 1525457367 198418 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :`? sql < 1525457368 385578 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :sql? ¯\(°​_o)/¯ < 1525457512 282966 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wob_jonas: Oh, you're quite right < 1525457702 681987 :hppavilion[1]!~dosgmowdo@74-114-87-80.dynamic.asdk12.org QUIT :Ping timeout: 276 seconds < 1525458416 887266 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :`? wth < 1525458418 75859 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :WTH is wavy toe hair. hth. < 1525458631 441486 :hppavilion[1]!~dosgmowdo@74-114-87-80.dynamic.asdk12.org JOIN :#esoteric < 1525458979 398822 :hppavilion[1]!~dosgmowdo@74-114-87-80.dynamic.asdk12.org QUIT :Ping timeout: 260 seconds < 1525459287 820850 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 PRIVMSG #esoteric :`? ca < 1525459289 43767 :HackEso!~h@techne.zem.fi PRIVMSG #esoteric :ca? ¯\(°​_o)/¯ < 1525460337 590841 :tswett!~tswett@unaffiliated/tswett QUIT :Read error: Connection reset by peer < 1525460361 739969 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1525460403 380696 :atslash!~atslash@broadband-46-188-0-82.2com.net JOIN :#esoteric < 1525460421 294648 :Cale!~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com QUIT :Ping timeout: 264 seconds < 1525460469 293423 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1525461087 620226 :tswett!~tswett@unaffiliated/tswett QUIT :Read error: Connection reset by peer < 1525461113 801279 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1525461295 625374 :doesthiswork!~Adium@207.55.82.87 PRIVMSG #esoteric :ia smdh like simd? < 1525461490 861093 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :where can I find a Brainfuck to Turing machine compiler? < 1525461537 260600 :zzo38!~zzo38@24-207-13-153.eastlink.ca QUIT :Ping timeout: 264 seconds < 1525461567 408220 :zzo38!~zzo38@24-207-13-153.eastlink.ca JOIN :#esoteric < 1525462977 613537 :tswett!~tswett@unaffiliated/tswett QUIT :Read error: Connection reset by peer < 1525463001 699091 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric > 1525463286 327032 PRIVMSG #esoteric :14[[07OM14]]4 10 02https://esolangs.org/w/index.php?diff=54964&oldid=54952 5* 03Robertpmorton39 5* (+0) 10Removed the DEF node type, as it is no longer in OM. > 1525463356 635959 PRIVMSG #esoteric :14[[07OM14]]4 M10 02https://esolangs.org/w/index.php?diff=54965&oldid=54964 5* 03Robertpmorton39 5* (+33) 10 < 1525465175 712924 :atslash!~atslash@broadband-46-188-0-82.2com.net QUIT :Quit: This computer has gone to sleep < 1525465717 733783 :hppavilion[1]!~dosgmowdo@250-200-58-66.gci.net JOIN :#esoteric < 1525466577 711758 :tswett!~tswett@unaffiliated/tswett QUIT :Read error: Connection reset by peer < 1525466603 749104 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric < 1525468132 315602 :wob_jonas!b03f181c@gateway/web/cgi-irc/kiwiirc.com/ip.176.63.24.28 QUIT :Quit: http://www.kiwiirc.com/ - A hand crafted IRC client < 1525468593 93687 :AnotherTest!~turingcom@d51A46C74.access.telenet.be QUIT :Ping timeout: 264 seconds > 1525468595 768934 PRIVMSG #esoteric :14[[07Takeover14]]4 10 02https://esolangs.org/w/index.php?diff=54966&oldid=54866 5* 03Plokmijnuhby 5* (+1078) 10Added a slightly suboptimal but at least working piece of code. < 1525469397 715908 :tswett!~tswett@unaffiliated/tswett QUIT :Read error: Connection reset by peer < 1525469425 677690 :tswett!~tswett@unaffiliated/tswett JOIN :#esoteric > 1525469539 247716 PRIVMSG #esoteric :14[[07Takeover14]]4 M10 02https://esolangs.org/w/index.php?diff=54967&oldid=54966 5* 03Plokmijnuhby 5* (+2) 10 < 1525470328 571526 :erkin!~erkin@unaffiliated/erkin QUIT :Quit: Ouch! Got SIGIRL, dying... > 1525470455 54180 PRIVMSG #esoteric :14[[07Takeover14]]4 M10 02https://esolangs.org/w/index.php?diff=54968&oldid=54967 5* 03Plokmijnuhby 5* (-2) 10 < 1525471745 490620 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1525471994 400403 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1525472030 819931 :LKoen!~LKoen@2a01:e35:2eed:a430:cd89:7495:6a3b:d23d QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.” < 1525472471 699747 :boily!~alexandre@cable-192.222.236.157.electronicbox.net JOIN :#esoteric < 1525472620 198964 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Remote host closed the connection < 1525472839 390180 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 260 seconds < 1525473049 493579 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net JOIN :#esoteric < 1525474689 465356 :brandonson!~brandon@208.91.114.1 QUIT :Ping timeout: 248 seconds < 1525474807 689630 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1525474808 81501 :brandonson!~brandon@208.91.114.1 JOIN :#esoteric < 1525474883 757599 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :I thought a computer can have a sound chip design as: There are four channels, each has the registers: 16-bit current value, 16-bit current period, 16-bit next value, 16-bit next period, 6-bit volume, 1-bit expiry flag. All are write-only except that the expiry flag can be read and is cleared when read. It can also execute a user program, mostly independently of the rest of the computer. > 1525474900 379268 PRIVMSG #esoteric :14[[07DL14]]4 M10 02https://esolangs.org/w/index.php?diff=54969&oldid=50485 5* 03Robertpmorton39 5* (-3) 10Got rid of "new" < 1525475030 984230 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :(Any other stuff, such as additional channels and special effects, must be done in software.) < 1525475067 686562 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1525475119 704104 :zzo38!~zzo38@24-207-13-153.eastlink.ca PRIVMSG #esoteric :Is it OK? > 1525475315 458705 PRIVMSG #esoteric :14[[07OM14]]4 M10 02https://esolangs.org/w/index.php?diff=54970&oldid=54965 5* 03Robertpmorton39 5* (+26) 10 > 1525475410 563267 PRIVMSG #esoteric :14[[07OM14]]4 M10 02https://esolangs.org/w/index.php?diff=54971&oldid=54970 5* 03Robertpmorton39 5* (+36) 10 > 1525475449 275925 PRIVMSG #esoteric :14[[07OM14]]4 10 02https://esolangs.org/w/index.php?diff=54972&oldid=54971 5* 03Robertpmorton39 5* (-31) 10 < 1525475609 400326 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1525475884 376829 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 260 seconds < 1525476425 431273 :jix!~jix@jix.omnomnom.pizza QUIT :Ping timeout: 240 seconds < 1525476576 443628 :jix!~jix@jix.omnomnom.pizza JOIN :#esoteric < 1525476961 358465 :sleffy!~sleffy@c-24-7-67-0.hsd1.ca.comcast.net QUIT :Ping timeout: 248 seconds < 1525477205 454643 :jix!~jix@jix.omnomnom.pizza QUIT :Ping timeout: 240 seconds < 1525477720 731657 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1525477767 526220 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :@metar CYUL < 1525477768 415561 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :CYUL 042300Z VRB02KT 8SM SCT004 BKN040 BKN100 OVC210 12/12 A2944 RMK SF4SC1AC2CI1 SLP971 DENSITY ALT 400FT < 1525477781 160291 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :VRB02KT only? yeah right. < 1525477824 480878 :oerjan!oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1525477852 376717 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :. o O ( do they account for the whole velocity or only ground speed? what if it's winding downward? ) < 1525477859 413642 :boily!~alexandre@cable-192.222.236.157.electronicbox.net PRIVMSG #esoteric :bonsøœ→irjan. < 1525477977 683266 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net QUIT :Ping timeout: 240 seconds < 1525478072 759496 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oerjan: control-G is an identifier character? are any other ascii control characters identifying characters? <-- no, most are simply a lexical error, although some are whitespace. i suspect the ^G is a bug and should be an error. < 1525478091 288947 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :> let test=1 in test < 1525478093 147759 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : :1:9: error: lexical error at character '\a' < 1525478100 512126 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :hm that's hint < 1525478109 362052 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :which may be a pre-stage < 1525478138 665696 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric ::t let test=1 in test < 1525478139 803309 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :error: lexical error at character '\a' < 1525478196 655541 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :
ACTION should upgrade ghc some day, may check if the bug is still there then
< 1525478217 955009 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :boheily. < 1525478302 969846 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric : oerjan: also, are any of the control characters infix operator names? <-- i don't think so, i think my tests would have caught that. might check ^G again though... < 1525478352 493613 :tromp!~tromp@ip-217-103-3-94.ip.prioritytelecom.net JOIN :#esoteric < 1525478395 323260 :oerjan!oerjan@hagbart.nvg.ntnu.no PRIVMSG #esoteric :nope, it is not.