< 1422576061 530457 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1422576685 360370 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1422576716 957189 :callforjudgement!~ais523@unaffiliated/ais523 QUIT : < 1422577021 419776 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1422577308 373858 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Woo went to a Haskell meet today < 1422577432 313781 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :How does Woo feel about that? < 1422577436 749548 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: boo < 1422577436 920557 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :int-e: i just wrote :p ( what was i thinking of something. at the fnord door when clouds of the sky, sadly.)) the one that's not conspicuous if they're ah laughter. she heard, oh, hear, or speak < 1422577557 357503 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :int-e, a friend and I organzed a meetup (mostly him) < 1422578009 616190 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nice. < 1422578474 476635 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1422578730 349811 :bb010g!uid21050@gateway/web/irccloud.com/x-mobdxlkjlivhawkc JOIN :#esoteric < 1422580052 16861 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net JOIN :#esoteric < 1422580099 946425 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Al Dente14]]4 N10 02http://esolangs.org/w/index.php?oldid=41775 5* 0398.243.16.185 5* (+3503) 10Initial draft < 1422580165 645184 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Thank you, HackEgo. < 1422580264 205444 :rzt!~rzt@177.16.209.163 QUIT :Quit: Leaving < 1422580325 64249 :Guest11614!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 265 seconds < 1422580335 35621 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Now, how do I use this language. < 1422580362 715934 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What kind of language did you mean? < 1422580368 88193 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Al Dente. < 1422580377 337793 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Here's the definition of a natural number: < 1422580397 568401 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Nat { zero; succ; Nat tail; zero excludes succ; tail.zero or tail.succ requires succ; } < 1422580759 57166 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1422580840 271870 :AndoDaan!~AndoDaan@188.188.79.209 JOIN :#esoteric < 1422581700 214100 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Al Dente examples14]]4 N10 02http://esolangs.org/w/index.php?oldid=41776 5* 0398.243.16.185 5* (+1661) 10Just a couple of examples < 1422581749 235802 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :couldn't you unify requires and excludes by adding not < 1422581757 323813 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or is that too powerful < 1422581843 297178 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Then you'd be able to say "a matches not a" and the universe would explode. < 1422581900 8706 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :It's currently impossible to disallow the state where no events have fired. Which is desirable, because that's the starting state. < 1422581953 958568 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Of course, you could say that "not" is allowed only immediately after the word "excludes". But, of course, that would just be renaming "excludes" to "requires not". < 1422582051 323562 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right okay < 1422582052 955396 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 240 seconds < 1422582061 602040 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is a excludes b; b excludes a invalid < 1422582099 231523 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :No, but you're just saying the same thing twice. < 1422582113 98878 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :You could say "a excludes b; a matches b". < 1422582150 100102 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Then neither a nor b could ever fire. < 1422582165 339283 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :Or you could shortcut and say "a excludes a". < 1422582211 710388 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Remote host closed the connection < 1422582212 140736 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net PRIVMSG #esoteric :If you say "a requires b; b requires a", that's just a synonym of "a matches b". < 1422582329 806241 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, right. < 1422584196 719995 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1422584390 891203 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1422584427 235553 :Lymia!~lymia@inportb/loli/cirno-chan JOIN :#esoteric < 1422585004 573189 :tswett3!~tswett@c-98-243-16-185.hsd1.mi.comcast.net JOIN :#esoteric < 1422585219 953729 :tswett2!~tswett@c-98-243-16-185.hsd1.mi.comcast.net QUIT :Ping timeout: 264 seconds < 1422585403 560247 :tswett3!~tswett@c-98-243-16-185.hsd1.mi.comcast.net QUIT :Ping timeout: 255 seconds < 1422585831 264052 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1422586064 314997 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net JOIN :#esoteric < 1422586149 279846 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 244 seconds < 1422586335 240914 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net QUIT :Ping timeout: 244 seconds < 1422587011 898524 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net JOIN :#esoteric < 1422587307 844255 :tswett!~tswett@c-98-243-16-185.hsd1.mi.comcast.net QUIT :Ping timeout: 264 seconds < 1422587507 859863 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I have a VCR/DVD combo including counter reset for VCR, but why doesn't it include a zero-return function? If it does have, I cannot seem to find them, at least. < 1422587788 395769 :sputnik_!~sputnik@c-69-254-0-70.hsd1.ga.comcast.net JOIN :#esoteric < 1422588168 566307 :sputnik_!~sputnik@c-69-254-0-70.hsd1.ga.comcast.net QUIT :Remote host closed the connection < 1422592235 975660 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Quit: freenode < 1422592284 243970 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1422592403 650588 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1422592667 666722 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1422592702 651710 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1422592767 289214 :shikhin_!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 256 seconds < 1422593093 214642 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :rng rng rng rng rng rng rng, bananaphn < 1422593366 890694 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1422594689 50359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`addquote Please enter the message for your recipients here. You are free to enter and edit your message just like you do it in your favorite text editor! This editor supports different fonts, tables, images and much more. Just replace this text with you own message and proceed to the mass mailing! this is confirming a few theories of mine < 1422594692 907176 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1231) Please enter the message for your recipients here. You are free to enter and edit your message just like you do it in your favorite text editor! This editor supports different fonts, tables, images and much more. Just replace this text with you own message and proceed to the mass mailing! this is confirming a few < 1422594698 524219 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh < 1422594706 776300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote 1231 < 1422594707 748096 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1231) Please enter the message for your recipients here. You are free to enter and edit your message just like you do it in your favorite text editor! This editor supports different fonts, tables, images and much more. Just replace this text with you own message and proceed to the mass mailing! this is confirming a few < 1422594713 37589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`revert < 1422594717 821445 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Done. < 1422595084 141343 :bb010g!uid21050@gateway/web/irccloud.com/x-mobdxlkjlivhawkc QUIT :Quit: Connection closed for inactivity < 1422595266 244170 :GeekDude!~GeekDude@unaffiliated/g33kdude NICK :GeekAfk < 1422595271 572534 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :ACTION is seriously considering buying an Oculus DK2 < 1422596447 520278 :MDude!~fyrc@67.235.2.71 NICK :MDream < 1422596526 80836 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd JOIN :#esoteric < 1422596597 967245 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd TOPIC #esoteric :Toilet is clogged again | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1422596647 477761 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Although, I was making a data compilition table that self modifies itself when ever it gets a new input < 1422596674 72775 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Also they have a BASIC programmer on the nintendo store now < 1422596687 117185 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :Try a bucket of hot water hth | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1422596690 289906 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :So like if you like that there basic < 1422596702 886349 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Hello oerjan < 1422596707 339854 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heolus < 1422596712 313621 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :lol < 1422596720 75250 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1422596767 991770 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Looking through logs by clicking is very time consuming < 1422596797 162346 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Is there some way I can just list it all at once < 1422596829 844398 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there might be a way to download them < 1422596899 156753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if it's old you might try googling it < 1422596913 43003 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I think I have read that it isn't really quite BASIC but is rather something a bit similar. < 1422596923 467298 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It is a new kind of BASIC programming language. < 1422596928 496210 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :ye < 1422596935 155798 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Wolfram BASIC < 1422596951 536326 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Is it? < 1422596956 33551 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I think the BASIC for Nintendo 3DS is Smile BASIC < 1422596957 490045 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that was a joke < 1422596960 544795 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :I've been testing out < 1422596963 648240 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :It isn't Wolfram < 1422596966 646637 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :ACTION pats oerjan < 1422596980 597428 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :that was a semi-pun < 1422596981 129397 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION bites the hand that pats him < 1422597000 58223 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1422597034 806828 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :D:< < 1422597151 841067 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :Oh, sweet. < 1422597160 670016 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Ye? < 1422597163 56630 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1422597168 527028 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :The BASIC for 3DS. < 1422597178 444846 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :There's also a level editor for WiiU. < 1422597184 494918 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :Or one coming out. < 1422597223 234501 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Oh yeah < 1422597241 146153 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :As I was doing its very Smoothe in my opinion. < 1422597241 307057 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :I dunno how extensive it'll let you design stuff, but based on that and SMile BASIC I guess WarioWare DIY didn't actually sell as poorly as I thought. < 1422597266 567203 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :You can make animations and games and such < 1422597280 402831 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Save porting from PC I think < 1422597298 656280 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :That's what the info said when I bought ot < 1422597308 973330 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :it* < 1422597311 44720 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :The 3DS game? < 1422597341 64995 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :Is there even a way to directly connect a 3DS to a home comptuer? < 1422597347 796345 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Nop < 1422597358 529418 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :I tried swapping out the SD card, but my comptuer wasn't finding the pictured on it. < 1422597359 740939 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :You can use QR codes < 1422597364 276368 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :You have to use a bullshit connector < 1422597369 621613 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :And qr codes < 1422597377 92576 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :For Smile BASIC anyways, you can transfer to/from other computer using QR codes. < 1422597377 237108 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :There's alreay wifi right there. < 1422597403 74530 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :god qr codes are so hard for me to line up < 1422597410 224484 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :But how do I read a WR code from a desktop? < 1422597420 140035 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :*QR < 1422597432 653246 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Just scan it in < 1422597438 917313 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Use a webcam or scanner < 1422597445 943564 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Ye < 1422597471 454772 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :There are programs that can read barcodes in this way, not only QR code but also Codabar and other formats < 1422597473 369621 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :I would inquire further if I was not getting super tired. < 1422597490 325150 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :Thanks, though. < 1422597502 577902 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :drink coffee < 1422597504 720467 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :or meth < 1422597515 282507 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :Eugh, coffe? < 1422597516 205629 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :either one is Almost socially Ok < 1422597535 437433 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Pepto bismal cake < 1422597535 810344 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :I'll stick to having chocolate like a small child. < 1422597548 689616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for once, darths and droids _didn't_ subvert the comic readers' expectations. except those who assumed it would. which sort of included me. < 1422597550 409143 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Cherry peptobismal cake < 1422597564 197083 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Gonna make that < 1422597569 441822 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :And give it to someone < 1422597585 108728 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :meta-subversion < 1422598541 654319 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :So, oerjan what do you do for a living < 1422598562 391528 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :All of my questions are copyrighTed btw < 1422598568 547217 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :©_© < 1422599539 305321 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"In the article, Hall pointed out that because he had control over the way the game progressed, playing on the psychology of the contestant, the theoretical solution did not apply to the show's actual gameplay." <-- I KNEW IT < 1422599557 970290 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it was obvious) < 1422599573 75459 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Eolus: disability pension hth < 1422600122 258718 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :How do you know about that?! < 1422600127 96068 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :/o/ < 1422600148 23417 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um the monty hall problem is old < 1422600152 679198 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and so am i < 1422600160 568018 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :therefore i know about it QED < 1422600222 992470 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also i looked up monty hall because of the new comic on mezzacotta http://www.mezzacotta.net/pomh/about.php < 1422600264 315898 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :afaik this is the first comic on mezzacotta whic david morgan-mar explicitly _isn't_ an author of... < 1422600280 931578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*which < 1422600286 971319 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :what does qed mean < 1422600297 671558 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quod erat demonstrandum hth < 1422600308 74860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's math talk hth < 1422600323 429305 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :why did you day disability person hth < 1422600327 539321 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it means the proof is complete) < 1422600337 395503 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what < 1422600346 718577 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :your sentence is no grammar twh < 1422600355 570631 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :1:32:53 AM Eolus: disability pension hth < 1422600363 942974 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :^ < 1422600370 614521 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Why did you say that < 1422600372 857332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you asked me what i did for a living. < 1422600379 914718 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :What do you do < 1422600391 619173 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...don't you know the meaning of any words < 1422600404 474904 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :oerjan < 1422600409 52088 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the answer, obviously, is "nothing". < 1422600420 732819 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :I'm so sorry for you < 1422600448 5096 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :How do you get by? < 1422600463 831567 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"disability pension" :p < 1422600479 589834 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :sorry < 1422600483 650584 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :I'm dyslexic < 1422600490 514127 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1422600493 586142 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Thought it said person < 1422600495 8304 :TieSleep!56597793@gateway/web/freenode/ip.86.89.119.147 NICK :TieSoul < 1422600499 326268 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Don't you yell at me! < 1422600510 982341 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :*sprays oerjan* < 1422600516 498019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :don't worry about my yelling until i say O KAY < 1422600522 551366 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1422600524 23685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(including space) < 1422600525 611722 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :ok < 1422600537 711812 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :why is it in caps < 1422600554 634982 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :You get a disability pension for being old? < 1422600555 700706 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because tradition < 1422600563 362684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, for being ill hth < 1422600565 286138 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because disabled < 1422600571 59128 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :>_> < 1422600571 655619 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :How do you apply for said pension < 1422600588 234359 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :I'm disabled Elliott and you know it < 1422600598 259878 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you fill out a form, and get a doctor to send a recommendation. < 1422600603 47187 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Ah < 1422600609 788572 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :What type of doctor < 1422600620 466958 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Eolus: you probably don't live in norway like oerjan, though :P < 1422600622 528547 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's how it works in norway, don't know about where you are. < 1422600625 122355 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Fuck < 1422600627 645356 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :I forgot < 1422600634 26329 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :America is crap < 1422600652 450283 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :and disabled people are swept under the rug of poverty < 1422600723 311366 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::( < 1422600731 303242 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :how ill are you oerjan < 1422600734 820418 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :terminal?! < 1422600753 12788 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doubtful < 1422600756 531247 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :k < 1422600770 361552 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Arthritic and going blind < 1422600777 955423 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :sounds bout' right < 1422600793 486073 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1422600798 357399 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think i'm arthritic, although i am worrying about my eyes < 1422600806 715982 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :eat carrots < 1422600823 362074 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Lazor eye surgery < 1422600842 877829 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :your cornea and iris are probably all old and dirty < 1422600846 635533 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :from being old < 1422600854 829926 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not _that_ old. < 1422600867 336807 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :correction < 1422600878 96471 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :you aren't _that_ young. < 1422600893 505754 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Why do you quote with _ < 1422600904 25301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :besides, you are mostly way off track on your guesses. < 1422600910 608118 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :._________________________. < 1422600913 443298 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Face < 1422600921 591592 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Eolus: it's traditional italics replacement on irc. < 1422600926 740448 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Ah < 1422600933 124999 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my client even underlines it < 1422600954 933634 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and *bolds this* < 1422600955 245607 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :well I don't remember your age oerjan, Lilax does tho < 1422600971 282298 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :..don't even try. < 1422600981 921161 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Try? < 1422601000 4736 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :ACTION slams hands onto the table < 1422601016 793644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not a complete idiot who can be convinced of _anything_ silly. < 1422601026 313949 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(just a lot of them) < 1422601053 682697 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Listen here buddy! If someone calls me by another alters name I'm gonna flip shit < 1422601077 82858 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :(╯°□°)╯︵ ┻━┻ < 1422601182 926285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :your personality is too distinct to fool us i'm afraid. < 1422601220 325110 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :No me and eolus are very similiar < 1422601229 552685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i can believe that. < 1422601233 653231 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :I'm just restraining myself < 1422601245 916414 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Cuz I'm actually am a very terrible person < 1422601256 613150 :AndoDaan!~AndoDaan@188.188.79.209 QUIT :Read error: Connection reset by peer < 1422601257 969893 :Eolus!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd NICK :Quin < 1422601288 397626 :AndoDaan!~AndoDaan@188.188.79.209 JOIN :#esoteric < 1422601299 420884 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :so oe is just a thing for ø or œ? < 1422601305 185827 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ø < 1422601315 570594 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :ø_ø < 1422601413 521267 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :You see, Lilax and Dulnes told me to be on my best behaviour here since they said you guys are very persnickety about things and manners < 1422601415 239138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's my unixy username and at least back when i first got it only ascii was supported. < 1422601428 317530 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Nice name < 1422601536 827749 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Very Unique < 1422601548 9401 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :verrrrryyyyyy < 1422601607 781281 :TieSoul!56597793@gateway/web/freenode/ip.86.89.119.147 NICK :TieSchool < 1422601622 746920 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :"œ" hehehe < 1422601629 392964 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that's not even a real letter. it's French. < 1422601640 489051 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :K < 1422601640 918951 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the œ ligature is used on english sometimes < 1422601645 657937 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*in english < 1422601649 462378 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah, I know < 1422601655 75426 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :how do you pronounce it < 1422601660 131570 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :onomatopœia < 1422601663 804965 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :nope < 1422601667 191143 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :elliott: there's a funnier one < 1422601711 223116 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :And that would bE? < 1422601719 629481 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :pharmacopœia < 1422601731 241950 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(I hope I spelled that right) < 1422601735 225806 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I've never heard that word even without the oe < 1422601760 773258 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :cornacopœia < 1422601805 369964 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :normal people either don't use that word, and write it as pharmacopoeia if they must. but some books like crazy words like this < 1422601811 301568 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and use the fancy spelling just to show they can. < 1422601842 299731 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :all my teachers hate me when I front < 1422601854 145451 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :I write all my essays in .2 wingdings < 1422601884 556684 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Mm wingdings sounds like a good food object < 1422601998 213152 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :b_jonas: is your grandma a necromancer? < 1422602029 943967 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Quin: hmm… that would explain some things. but no, I don't think so < 1422602041 473361 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if she is, she keeps it very secret. < 1422602052 68604 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :In her book of skin < 1422602209 448515 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`8-ball is your grandma a necromancer? < 1422602210 30502 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Reply hazy try again. < 1422602219 160751 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :I just got really angry for no reason lol < 1422602232 352582 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Quin: that means she's cast a spell to shield herself from divination < 1422602240 662123 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :I'm calm now but I think I'm bleeding. < 1422602256 495745 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :wait maybe HackEgo isn't powerful enough < 1422602300 573882 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yes, that's more likely < 1422602325 848543 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :HackEgo, what's your spell level? < 1422602327 221045 :not^v!~notnot^v@2601:4:680:104c:cd03:4bd7:9d91:e594 JOIN :#esoteric < 1422602336 125863 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot, what's HackEgo's spell level? < 1422602336 270210 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: that is just a value of type " airbus is a big fan of avril....but this song " there could be this consensus, for " 3" does not mean radio or remote and snowy rim, like the serrated edge, and it is eta. f < 1422602338 271532 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :or maybe she's getting help from oerjan who's actually a dark wizars < 1422602359 660289 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Wizrobe < 1422602369 14427 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Quin: no way. dark wizards can't be haskellers, can they? < 1422602381 620532 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :They have the powers < 1422602416 685091 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Its obvious he's been using the oculous to divinate haskell processes < 1422602751 761525 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1422603038 292771 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1422603076 356111 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :So what do we talk about < 1422603124 182523 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd TOPIC #esoteric :Coding and stuff y'know esoteric Ya| https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1422603215 393462 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :^8ball is oerjan a dark wizard < 1422603215 537780 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Yes. < 1422603229 504191 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :I fkn knew it! < 1422603275 786152 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`8-ball fungot's 8-ball doesn't work properly, right? < 1422603275 930543 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: and, dab, words like pop-culture should i have fizzie do for you? thanks! it's about the missing queen. she still looks so much like leene, that they will take you to your place of execution?! strange, but!? < 1422603276 306540 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Concentrate and ask again. < 1422603296 749577 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :fungot: white or black queen? < 1422603296 932216 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :b_jonas: it's what that guy in medina, a village near the mystic mountain" 65,000,000 b. c.? yes, i'd have done something very brave? fnord 06:22, 29, no. 2, 2, 3, 4, 8, 13, 1(::**) ...bad insn! < 1422603309 383734 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :^8ball is b_jonas's grandmother a necromancer that is co consipirator of the pancake factory that oerjan runs < 1422603309 668869 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :No. < 1422603312 140632 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :ah < 1422603325 901676 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh, I knew she wasn't < 1422603331 142109 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you could have just asked me < 1422603337 784948 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Ya < 1422603341 770325 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :so what now < 1422603343 764354 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :a pancake factory isn't much of a conspiracy, is it? < 1422603352 954678 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean. it's jsut pancakes < 1422603355 749053 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*just < 1422603359 608942 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :if its run by dark wizards < 1422603363 946808 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Who know haskell < 1422603378 345695 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Oh OH I know < 1422603384 328243 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION knows haskell < 1422603387 528801 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe they use banana-filled pancakes, and the pancakes are the lenses? < 1422603413 299718 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no wait, the pancakes are the envelopes, right < 1422603418 559791 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what are the lenses? < 1422603427 659695 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :take your favorite programming langauge now imagine their flavour < 1422603481 343023 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :chicken < 1422603497 119285 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :the language < 1422603503 951272 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :no like < 1422603515 611594 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :Python tastes like watermelons < 1422603684 696468 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :This went terribly, No one ever talks in here -///+ < 1422603817 198325 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION resists the temptation to say that haskell tastes like burritos < 1422603970 129115 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :hold out your hands for a present < 1422604045 331529 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm scared. < 1422604344 75885 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :blood pancakes exist. you have been warned. < 1422604504 876479 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1422604507 980905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :obviously that's also what malbolge tastes like. < 1422604604 425351 :not^v!~notnot^v@2601:4:680:104c:cd03:4bd7:9d91:e594 QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1422604702 900618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :brainfuck derivatives taste like artificial vanila & sugar < 1422604744 681138 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...what does brainfuck itself taste like, then? < 1422604760 903138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :genuine vanilla waffles < 1422604814 398253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with strawberry jam < 1422605017 430285 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :C tastes like turkey without stuffing. < 1422605037 984719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :C++ tastes like a whole roasted camel filled with a roaste turkey filled with a duck. < 1422605043 153560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+d < 1422605069 566229 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and you can never eat it all. < 1422605249 881799 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how does syntactic sugar fit in < 1422605308 238983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's actually the ketchup hth < 1422605582 166105 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :yay < 1422605796 296544 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no < 1422605797 739556 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1422605820 372838 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :C tastes like chicken with no spices, C++ tastes like chicken spiced deliciously < 1422605832 920236 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they have the same underlying meat, but C++ is prepared much better < 1422605881 265179 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(unless you compile with the MSVC compiler, when they actually have almost no meat and made of canned soy beans) < 1422605964 577553 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1422606132 892010 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd PRIVMSG #esoteric :you guys are goin at it < 1422606186 128232 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the lambda calculus tastes like a pure nutrition cube with a slightly unpalatable flavour? < 1422606207 556818 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess that's why they call it the lambda cube < 1422606254 771488 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a bouillon cube, me thinks < 1422606265 71019 :mitchs_!~canissimi@unaffiliated/canissimia QUIT :Read error: Connection reset by peer < 1422606267 352885 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :elliott: no, lambda calculus tastes like butter < 1422606280 854042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think b_jonas is being contrary < 1422606297 377122 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :pure fat, very powerful but harder to use directly than carbohydrates, and you don't want to eat it alone < 1422606304 370288 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but it's great as flavoring < 1422606308 544489 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or cooking < 1422606314 625717 :mitchs_!~canissimi@unaffiliated/canissimia JOIN :#esoteric < 1422606375 85775 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in that case, haskell tastes like bacon hth < 1422606395 814898 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well that's the report version < 1422606407 112204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :god knows what extra is in ghc < 1422606446 628778 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :possible < 1422606687 953625 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1422607075 915791 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1422607359 917876 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1422607399 33059 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Read error: Connection reset by peer < 1422607523 446589 :aretecode!~aretecode@S01061859339e5f51.cc.shawcable.net JOIN :#esoteric < 1422607920 85043 :AndoDaan!~AndoDaan@188.188.79.209 QUIT :Ping timeout: 276 seconds < 1422608430 483541 :AnotherTest!~turingcom@94-224-27-51.access.telenet.be JOIN :#esoteric < 1422609879 186738 :zzo38!~zzo38@24-207-58-35.eastlink.ca QUIT :Ping timeout: 264 seconds < 1422610045 502301 :zzo38!~zzo38@24-207-58-35.eastlink.ca JOIN :#esoteric < 1422610234 223345 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 272 seconds < 1422610374 18942 :nisstyre!~yourstrul@li611-52.members.linode.com JOIN :#esoteric < 1422610573 536260 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1422611242 557910 :zzo38!~zzo38@24-207-58-35.eastlink.ca QUIT :Ping timeout: 255 seconds < 1422611807 703344 :zzo38!~zzo38@24-207-58-35.eastlink.ca JOIN :#esoteric < 1422613609 207584 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1422613650 205245 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1422613650 349637 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1422613920 204235 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 272 seconds < 1422613970 622152 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1422614072 206993 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 272 seconds < 1422614863 360577 :Quin!uid52684@gateway/web/irccloud.com/x-feghuakqerhxhrkd QUIT :Quit: Connection closed for inactivity < 1422616669 776115 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1422617127 579678 :mbrcknl!sid28171@gateway/web/irccloud.com/x-zynpgrrbvnvpasny QUIT : < 1422617138 207771 :mbrcknl!sid28171@gateway/web/irccloud.com/x-bzomdmmgswzjxqna JOIN :#esoteric < 1422618562 943111 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 240 seconds < 1422619838 150033 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1422620095 316393 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1422620164 519432 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1422620325 804872 :boily!~alexandre@96.127.201.149 QUIT :Quit: CRYSTALLINE CHICKEN < 1422620422 485304 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 255 seconds < 1422621664 629002 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 245 seconds < 1422621693 613137 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1422622747 727603 :GeekAfk!~GeekDude@unaffiliated/g33kdude NICK :GeekDude < 1422622991 297083 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1422623360 746 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1422625325 92744 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422625466 296535 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh well, I submitted my thesis < 1422625470 301068 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so now I have more free time < 1422625492 390633 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'll link it here once a final version comes out (this is just the initial version, there'll be back-and-forth with examiners and so on before then) < 1422625501 281602 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :probably it shouldn't be online before then because it might confuse the plagiarism checker < 1422625609 891282 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!time mroman < 1422625615 736955 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :!help < 1422625615 881705 :zemhill_!bfjoust@selene.zem.fi PRIVMSG #esoteric :mroman: I do !zjoust; see http://zem.fi/bfjoust/ for more information. < 1422625616 114271 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help . < 1422625625 678565 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@time mroman < 1422625629 222026 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Local time for mroman is Fri Jan 30 14:47:05 2015 < 1422625652 489786 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07KlingonCode14]]4 10 02http://esolangs.org/w/index.php?diff=41777&oldid=41773 5* 03TomPN 5* (+401) 10/* Syntax */ < 1422625872 659251 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User talk:TomPN14]]4 10 02http://esolangs.org/w/index.php?diff=41778&oldid=41422 5* 03TomPN 5* (+341) 10 < 1422626132 920539 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :ais523, congrats on thesis < 1422626191 994184 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :thanks < 1422626372 528559 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ais523 made a thesis? < 1422626386 70005 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Link? < 1422626458 232820 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :mroman: not online yet < 1422626474 117828 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :won't be until it actually gets accepted, which will be months even if the examiners want no revisions < 1422626477 393616 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :and they almost always want revisions < 1422626720 390772 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1422626942 956267 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://mroman.ch/doc.pdf < 1422626945 491430 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :my bachelor thesis < 1422627010 133608 :Quin!uid52684@gateway/web/irccloud.com/x-ugafawcaiwezmfcl JOIN :#esoteric < 1422627015 400991 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1422627178 865048 :paul2520!~paul2520@unaffiliated/paul2520 PRIVMSG #esoteric :mroman: I can't read more than the abstract, but fromw what I can understand it looks interesting. The graphs intrigue me. Nice work and congrats on this milestone in ypur education < 1422627274 932009 :MDream!~fyrc@67.235.2.71 NICK :MDude < 1422627414 516370 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1422627534 599518 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :paul2520: It essentially just proves that you can divide a map into zones and simulate them in parallel and reduce the simulation time despite the overhead of every zone having to communicate with surrounding zones < 1422627544 118940 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which isn't that surprising :) < 1422627568 667493 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but by using an actor modell you can distribute zones in the network of computers < 1422627604 526237 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 255 seconds < 1422627607 942911 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because some zones might be more crowded than others so it makes sense to distribute the responsibilites for simulating zones depending on each individual node's load < 1422627646 650831 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and you should switch algorithms when crowds get more dense < 1422627681 259373 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and you should cache routes < 1422627692 390248 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because path finding in a graph with thousands of edges is really not very fast < 1422627768 388670 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1422627807 558189 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> 0.01 * 50000 < 1422627809 145150 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 500.0 < 1422627824 79196 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :even if your pathfinding is fast < 1422627854 798301 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if you have 50k persons and each pathfinding for a person takes 0.01s you're going to have a fucking slow simulation < 1422627874 462663 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because then just path finding alone would take 500s for a single step < 1422627894 128223 :Quin!uid52684@gateway/web/irccloud.com/x-ugafawcaiwezmfcl QUIT :Disconnected by services < 1422627956 453223 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :mroman, wit. dwarf fortress < 1422627975 294281 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Phantom_Hoover: ? < 1422627986 960852 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :(though a shocking amount of DF's CPU load comes from the horrendously-optimised temperature simulation) < 1422628038 907904 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :mroman, DF is slow because a) it does pathfinding for hundreds of entities at once, b) on a single core < 1422628081 531319 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :We distributed path finding to cores < 1422628085 984296 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but still < 1422628094 802737 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That wouldn't help for 50k :) < 1422628113 258637 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :it's still too slow for near-real time < 1422628423 654263 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :> 1000000 / 10 < 1422628425 120473 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 100000.0 < 1422628591 892024 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422628593 23377 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Client Quit < 1422628632 33699 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422629208 324600 :bb010g!uid21050@gateway/web/irccloud.com/x-aittajrgamggikgl JOIN :#esoteric < 1422629818 643224 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net JOIN :#esoteric < 1422629989 624698 :paul2520!~paul2520@unaffiliated/paul2520 PRIVMSG #esoteric :mroman: that's great! < 1422629996 391963 :paul2520!~paul2520@unaffiliated/paul2520 PRIVMSG #esoteric :thanks for explaining further < 1422630314 589459 :tromp_!~tromp@ool-18be0b4d.dyn.optonline.net QUIT :Ping timeout: 245 seconds < 1422630377 23446 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca JOIN :#esoteric < 1422630473 551937 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :|= doesn't make any sense < 1422630572 959112 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :how come we use the same stupid operator to mean "assignment of symbols makes set of expressions true" and "expressions can be derived from expressions" < 1422630621 181411 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :and why the hell is it "entails" in my course but "\models" in TeX? < 1422630711 259734 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 256 seconds < 1422631191 673038 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422631196 230432 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oren: |- is used for the latter, no? or am I misunderstanding something < 1422631232 510506 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1422631394 194044 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :coppro: I have seen that operator, but not in this course. /Apparently/, A |= B where A and B are formulas, means that forall interpretations I, (I |= A) => (I |= B) < 1422631451 705732 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :A |= B is like (A = A | B) except that the expression A is evaluated only once < 1422631465 367052 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's easy enough < 1422631481 326573 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oren: ah, ok. That is then slightly different from |- < 1422631501 675623 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :|- means "proves", which is not necessarily the same, because it's constrained by the axioms of proof in the logic system you have < 1422631538 382342 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if the logic is complete (propositional logic is!), then they coincide < 1422631553 953725 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oren: also I don't find that too misleading < 1422631556 371294 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Ah. I still think it is half-assed for the same operator to mean different things based on type of operands < 1422631564 47682 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oren: how about + < 1422631570 995515 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :or \cdot < 1422631574 518928 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :or \times < 1422631595 175775 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :this stuff happens all the time; live with it! < 1422631596 627045 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :coppro: I don't see how those are examples. < 1422631607 257650 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1422631660 290987 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oren: + means, variously, a group operation, ring addition, or any number of special cases of those < 1422631672 294919 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1422631689 889565 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :\cdot can mean a group operation, ring multiplication, or in certain cases a non-associative product (e.g. octonions) < 1422631692 937320 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :coppro: true, but not within the same language < 1422631711 323033 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :\times can mean both Cartesian product and cross product, and I've seen those two used close together < 1422631736 434112 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422631765 775151 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oren: and these two meanings aren't that fundamentally different < 1422631794 75976 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :they're still saying "thing on left satisfies thing on right", except when it's a set of formulas, it's being used as a shorthand for "all things entailing this" < 1422631806 643348 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it's sort of akin to f(S) for a function f and set S < 1422631818 878213 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :to mean { f(s) : s \in S } < 1422631838 984058 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :coppro: people do that!?!?? what is the world coming to < 1422631862 970180 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oren: it's a convenient shorthand and rarely ambiguous < 1422631963 148026 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Well, sure, but what happens when S is a set of sets? < 1422631976 734224 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :and f is a function from sets to sets < 1422631992 926869 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :then you don't use that notation < 1422632033 637875 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :you either right the specification out directly, or invent some other notation like \mathcal P(f)(S), which is *also* an abuse of notation, but again not very ambiguous < 1422632052 619800 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :or f^{\mathcal P}(S) or something < 1422632054 775121 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I dunno. < 1422632066 638247 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :The point of notation is usually to be clear, not to be excessively precise < 1422632072 428066 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :and thus, all math papers have to have a lot of english text explaining what the hell this particular mathematician means < 1422632072 969691 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :if you need excessive precision, you can use it < 1422632098 359137 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :there are too many different concepts in mathematics to invent a different notation for each of them < 1422632111 833995 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I'm making an effort not to overload relation operators (like \le) in my thesis, and it's a pain and a half < 1422632138 590312 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :since I'm talking about a *lot* of relations, the result is that I have lots of fun ones < 1422632663 648960 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1422632906 805087 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :It would be easier if math syntax allowed multi-letter names. But noooo... someone had to use the null operator for multiplication.... < 1422633423 784305 :AndoDaan!~AndoDaan@188.189.92.34 JOIN :#esoteric < 1422633428 115059 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :multi-letter names are common when you're not working with numerical algebra < 1422633434 914670 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :I remember using russian letters, and then katakana, on a long proof. < 1422633463 42312 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so < 1422633471 936448 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :you've used up a-z all russian letters? < 1422633500 753442 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :mroman: all the ones that don't look too much like roman or greek letters < 1422633543 143603 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :I was able to shorten the proof a ton once I finished it < 1422633544 135624 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric : oren: + means, variously, a group operation, ring addition, or any number of special cases of those < 1422633567 556970 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :not a great example, since it's an abelian group operation in both cases < 1422633604 809627 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :+ is pretty regular, the only hangup is that it's sometimes restricted to domains on which it's not invertible < 1422633626 16373 :jameseb!~jameseb_@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :oren: A friend of mine used zhe in an exam once when he ran out of Latin and Greek letters < 1422633629 565943 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :a good example is that damn \supset operator which is being so grievously abused in my textbook < 1422633646 160166 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :subset is a clusterfuck < 1422633659 298185 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :live with it and use unambiguous variations < 1422633681 267795 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :Apparently now superset means implies < 1422633709 114576 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :worst notation i saw in a book was a book of topology that used ]a,b[ to indicate an open interval < 1422633718 837335 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :WHAT. < 1422633726 302983 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :it also defined everything with a commutative diagram and a universal property < 1422633732 238196 :AndoDaan_!~AndoDaan@188.189.92.34 JOIN :#esoteric < 1422633743 259573 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :this was meant to be an introductory text, and it defined product and quotient that way < 1422633781 352654 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :eww < 1422633846 598793 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :thankfully i eventually found a phd student with a spare copy of hatcher < 1422633855 68308 :AndoDaan!~AndoDaan@188.189.92.34 QUIT :Ping timeout: 276 seconds < 1422633873 192262 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oren, interestingly i'd seen it before at school when they were mentioning different notations < 1422633892 951261 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :but with a distinct air of 'if you find someone stupid enough to actually do this, run' < 1422634009 628807 :TieSchool!56597793@gateway/web/freenode/ip.86.89.119.147 NICK :TieSoul < 1422634083 848289 :jameseb!~jameseb_@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I've seen \sqsupset used for implication but that makes sense when using implication as a definition of refinement < 1422634229 944112 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1422635459 226332 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :I can't look at sqsupset without thinking 'ko'. < 1422635485 189662 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :oren: now I'll never be able to either < 1422635489 506100 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :also thanks for teaching me a katakana < 1422636914 957662 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net JOIN :#esoteric < 1422637033 612636 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: ZZZzzz… < 1422637050 82686 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :oren: have you tried different font-sizes < 1422637051 398161 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like < 1422637058 781245 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :a with 12pt is another variable than a with 15pt < 1422637059 932492 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca QUIT :Ping timeout: 264 seconds < 1422637064 476170 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :tha oughta show them. < 1422637081 493489 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 255 seconds < 1422637084 315312 :bb010g!uid21050@gateway/web/irccloud.com/x-aittajrgamggikgl QUIT :Quit: Connection closed for inactivity < 1422637428 528486 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :\sqsupset is fun because people can't agree on whether it means refinement or abstraction. < 1422637452 816062 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1422638571 553234 :oren!~oren@user3-214-115.wireless.utoronto.ca JOIN :#esoteric < 1422638702 971176 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1422639418 190149 :pikhq!~pikhq@deagol.pikhq.com QUIT :Ping timeout: 272 seconds < 1422639516 197228 :pikhq!~pikhq@deagol.pikhq.com JOIN :#esoteric < 1422639804 157073 :pikhq!~pikhq@deagol.pikhq.com QUIT :Ping timeout: 265 seconds < 1422639865 191059 :pikhq!~pikhq@deagol.pikhq.com JOIN :#esoteric < 1422640101 961289 :skj3gg!~skj3gg@unaffiliated/skj3gg JOIN :#esoteric < 1422640388 299246 :^v^v!~^v@c-68-36-225-16.hsd1.nj.comcast.net NICK :^v < 1422640485 119835 :pikhq!~pikhq@deagol.pikhq.com QUIT :Ping timeout: 276 seconds < 1422640560 186457 :pikhq!~pikhq@deagol.pikhq.com JOIN :#esoteric < 1422641089 602173 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Ping timeout: 245 seconds < 1422641239 930646 :monotone!~monotone@room208.org QUIT :Remote host closed the connection < 1422641247 266170 :monotone!~monotone@room208.org JOIN :#esoteric < 1422641321 404528 :PinealGlandOptic!~PinealGla@82.144.205.57 QUIT :Ping timeout: 252 seconds < 1422641332 462744 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1422641343 818235 :pallokolmio!vosalo@linux.utu.fi QUIT :Ping timeout: 252 seconds < 1422641343 962957 :yiyus!1242712427@je.je.je QUIT :Ping timeout: 252 seconds < 1422641344 107368 :nortti!nortti@nano.smar.fi QUIT :Ping timeout: 252 seconds < 1422641385 177323 :PinealGlandOptic!~PinealGla@82.144.205.57 JOIN :#esoteric < 1422641386 500129 :pallokolmio!vosalo@linux.utu.fi JOIN :#esoteric < 1422641405 265537 :nortti!nortti@nano.smar.fi JOIN :#esoteric < 1422642034 319341 :yiyus!1242712427@je.je.je JOIN :#esoteric < 1422642155 878712 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:My Unreliable Past14]]4 10 02http://esolangs.org/w/index.php?diff=41779&oldid=41061 5* 03168.99.197.15 5* (+348) 10/* Fix for Hello World? */ new section < 1422642739 258675 :paul2520!~paul2520@unaffiliated/paul2520 PRIVMSG #esoteric :ais523: My Unreliable Past sounds interesting. on this and a number of pages at esolangs.org, there isn't information about downloading interpreters/compilers. Is this intentional? < 1422642872 938430 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 246 seconds < 1422642986 343823 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :In some cases no interpreters/compilers currently exist. < 1422643011 351155 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :(You are free to write one if you want to.) < 1422643027 385999 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :In some other cases, writing a interpreter/compiler is impossible. < 1422643964 19464 :paul2520!~paul2520@unaffiliated/paul2520 PRIVMSG #esoteric :well that's fun, though. that you can have written a language, but not necessarily gone through all the steps of writing an interpreter < 1422643977 669236 :paul2520!~paul2520@unaffiliated/paul2520 PRIVMSG #esoteric :to that end, I've written a language or two... < 1422644014 113228 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :I've written an interpreter without having a langugae < 1422644043 337297 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I've written languages then other people have written interpreters then I've gone back and written my own interpreter < 1422644071 685569 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :The interpreter has everything except a parser. < 1422644325 39016 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Imagine a parse tree structure where each node is of the form (f,N) where f is a function mapping a list of nodes to a single node < 1422644335 956012 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :and N is a list of nodes. < 1422644388 754334 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Then the interpreter can be written without reference to um, anything < 1422644417 688952 :MDude!~fyrc@67.235.2.71 QUIT :Ping timeout: 245 seconds < 1422644691 598313 :oren!~oren@user3-214-115.wireless.utoronto.ca QUIT :Ping timeout: 264 seconds < 1422644934 67752 :sebbu2!~sebbu@ADijon-152-1-27-151.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1422644987 288655 :sebbu2!~sebbu@ADijon-152-1-27-151.w83-194.abo.wanadoo.fr QUIT :Changing host < 1422644987 469046 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1422644997 494886 :MDream!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net JOIN :#esoteric < 1422645064 175601 :oren!~oren@user3-214-115.wireless.utoronto.ca JOIN :#esoteric < 1422645098 940408 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 246 seconds < 1422645203 179540 :paul2520!~paul2520@unaffiliated/paul2520 PRIVMSG #esoteric :oren: neat < 1422645264 851272 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1422645507 636856 :MDream!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net NICK :MDude < 1422645537 135049 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Maybe it would be easier towrite programs with an editor that worked directly on parse trees < 1422645565 95800 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :That could be cool. < 1422645591 359832 :arjanb!8259ab4e@gateway/web/freenode/ip.130.89.171.78 JOIN :#esoteric < 1422645811 262779 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Right now we have auto bracket matching, auto-correction and tab-completion, and various even fancier IDE features. For a language like lisp, it shouldn't be that hard to parse it into a tree upon loading the IDE, use certain keys for manipulating the tree, and then deparse it into a file upon saving. < 1422645840 692219 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :is there a word for deparsing? < 1422645894 403314 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :In thise case I'd use "serializing". < 1422645947 745767 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :yeah. we serialize the parse tree into the unnatural flat form that for hysterical reasons we usually edit directly < 1422646388 374207 :AndoDaan_!~AndoDaan@188.189.92.34 PART #esoteric :"Leave channel" < 1422646420 666349 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1422646504 468527 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 255 seconds < 1422646547 165729 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1422646743 141264 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1422647828 588585 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a name for that. < 1422647847 505492 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Structural editing or some-such. < 1422647881 907262 :Deewiant!~deewiant@de1.ut.deewiant.iki.fi PRIVMSG #esoteric :http://www.ugcs.caltech.edu/~nwatson/pa70/ < 1422647884 7648 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://en.m.wikipedia.org/wiki/Structure_editor < 1422648129 55478 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 276 seconds < 1422648328 473419 :ais523!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1422648341 667201 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422648402 250406 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1422648671 524372 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: congratulations!!! < 1422648712 432293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: congratulations!!!! < 1422648752 139844 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gah the whole world is extra noisy today < 1422648999 274482 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :ACTION looks through logs < 1422649021 430559 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Oh, you finished your thesis. omodetou < 1422649038 155944 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1422649227 878159 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1422649259 702232 :pallokolmio!vosalo@linux.utu.fi PRIVMSG #esoteric :ais523: congratulations!!! < 1422649315 910365 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oh < 1422649318 540874 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :wow, great < 1422649879 163625 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :But if we aren't going to serialize it into a readable form, and instead only edit an abstract structure using an esoteric editor, then there's no reason a language's structure has to be embeddable in 2 dimensions. < 1422650138 133620 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oren: well, I prefer plain text as code because then I can use whatever editor I prefer for writing and whatever text viewer I prefer for reading < 1422650174 421397 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and plain text is exactly what C++ and most other languages do these days, unlike the crazy old languages like basic or smalltalk that come with a fixed ide < 1422650188 177728 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(of course, these days those have plain text variants too) < 1422650228 51012 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :And also ColorForth < 1422650254 500746 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But yes I also like plain text as code because then you use whatever editor you want, program to view, or to print out on a paper, etc < 1422650276 786640 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :And you can use it with filters and other programs, such as AWK < 1422650308 829225 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :Well the code would be saved as text. < 1422650324 11558 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes. < 1422650325 851788 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah, ColorForth too < 1422650343 132632 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :GWBASIC did not save the program as text unless you specifically told it to do so, however. < 1422650405 482279 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: yeah, back in the basic and APL days the way the ide worked was that you ran line commands from the screen buffer (seriously), or you could give simple commands to change a line of the stored program or to load a line to the screen buffer < 1422650412 746690 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's a bit different < 1422650424 866606 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes, I know that I worked with GWBASIC and that stuff. < 1422650435 953976 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but those languages (basic and APL) would then get adapted to proper unixy plain text file based variants, just like smalltalk < 1422650473 667996 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure < 1422650474 686718 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Forth also allows executing commands directly from the screen buffer. While you can define subroutines in this way too, usually you should use a block editor for this purpose instead. < 1422650496 993352 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :besides GWBASIC, the Commodore 64 basic also works like that, as well as some other home computers from that era < 1422650515 353271 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(but not all home computer basics) < 1422650526 339106 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Yes I know possibly most do < 1422650561 83531 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net QUIT :Quit: adu < 1422650645 904187 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :But code inherently has a lot of structure. Is there any particular reason why that structure should be easily serializable to a one-dimensional stream of characters? < 1422650695 725498 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Mainly to make it portable. < 1422650764 538113 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oren: one-dimensional stream turned out to be versatile enough for it. most languages use identifiers made from sequence of letters such that identical identifiers may refer to the same node, and that way you can have any graph-like structure. < 1422650792 683872 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net JOIN :#esoteric < 1422650807 643919 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oren: the text editors let you search for occurrances of those identifiers, that way you can traverse the graph structure. < 1422650905 746575 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(this basic idea is very old, it's present in fortran and maybe even in assemblers) < 1422650925 731055 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(it used to be called "symbols" instead of identifiers) < 1422650942 935626 :S1!~S1@p4FF92513.dip0.t-ipconnect.de JOIN :#esoteric < 1422652120 240634 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Sometimes when I get these highly specific spams (cf. http://sprunge.us/BZTF for example) I have to wonder if they actually get any takers. < 1422652148 962687 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1422652171 585149 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There was at least one selling something related to concrete, and someone producing some nylon wire thing. < 1422652315 239640 :skj3gg!~skj3gg@unaffiliated/skj3gg PRIVMSG #esoteric :fizzie: how do you even tell thats spam? < 1422652336 685451 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422652395 480048 :skj3gg!~skj3gg@unaffiliated/skj3gg PRIVMSG #esoteric :fizzie: i mean, that custom synthesis service sounds pretty nice. < 1422652464 648562 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds < 1422652572 296033 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :2. spam, junk e-mail -- (unwanted e-mail (usually of a commercial nature sent out in bulk)) < 1422652573 477228 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1422652579 931722 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I didn't want it, so it's spam. < 1422652617 948739 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's also of commercial nature, and I think it's pretty likely it was sent out in bulk, though I guess it's possible they targeted me specifically. < 1422652666 283495 :skj3gg!~skj3gg@unaffiliated/skj3gg PRIVMSG #esoteric :fizzie: i guess, but did you at least update you their stock? < 1422653069 103681 :mihow!~mihow@108.30.58.169 QUIT :Quit: mihow < 1422653514 44619 :mihow!~mihow@108.30.58.169 JOIN :#esoteric < 1422653552 527359 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :I have personally ordered stuff from Chinese companies like that. I paid $100 They sent it to me with a label saying it was a gift worth $5. < 1422653624 126479 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :The most recent thing I ordered was a movie-playing glasses thing < 1422653679 63200 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :If you order their chemicals, they will probably label it as a soft drink < 1422653717 454268 :zzo38!~zzo38@24-207-58-35.eastlink.ca QUIT :Remote host closed the connection < 1422654084 80584 :dtscode!~dtscode@dtscode.io JOIN :#esoteric < 1422654093 95239 :dtscode!~dtscode@dtscode.io PRIVMSG #esoteric :hey int-e you wrote lambdabot right? < 1422654132 639360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think int-e is online at the moment < 1422654144 667903 :dtscode!~dtscode@dtscode.io PRIVMSG #esoteric :damn < 1422654149 115527 :dtscode!~dtscode@dtscode.io PRIVMSG #esoteric :@source < 1422654149 535356 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Unknown command, try @list < 1422654155 665770 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he didn't write it, he is the current maintainer though. it's more than a decade old. < 1422654176 572677 :dtscode!~dtscode@dtscode.io PRIVMSG #esoteric :is there a place to get the source? < 1422654179 981807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :github < 1422654193 522205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@help < 1422654194 33891 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :help . Ask for help for . Try 'list' for all commands < 1422654203 81784 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@where lambdabot < 1422654203 540602 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :http://haskell.org/haskellwiki/Lambdabot < 1422654218 245680 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes, cute. < 1422654239 631213 :dtscode!~dtscode@dtscode.io PRIVMSG #esoteric :ah thank you < 1422654303 649051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: is http://code.haskell.org/lambdabot/ (linked from the wiki) even current? < 1422654319 134423 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: no, of course not. < 1422654322 982476 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@version < 1422654323 439994 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :lambdabot 5.0-int-e < 1422654323 597595 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :git clone git://github.com/int-e/lambdabot.git < 1422654353 231280 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if the wiki weren't in a state of movement i would edit that < 1422654355 780125 :dtscode!~dtscode@dtscode.io PRIVMSG #esoteric :is it easy to build? < 1422654370 880554 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I'm not going to answer your #9858 comment on the ticket, but you're right. I consciously modelled my code after goldfire's idea of tracking kind arguments explicitely, while limiting myself to code that ghc would accept right now. < 1422654430 664975 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i was going to ask you, _is_ there a way to make classes and/or type families take kind-only arguments yet? it would clean it up a lot. < 1422654444 726919 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :dtscode: hmm, not exactly. The basic recipe is cabal sandbox init; cabal install lambdabot*/ but you'll run into a few known dependency issues that I'll fix when ghc-7.10 is released. < 1422654470 729105 :dtscode!~dtscode@dtscode.io PRIVMSG #esoteric :ah ok. i might just add the @tell feature into my bot then < 1422654482 408841 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I don't think so, but I'm not the right person to ask. In my attempts I got "non-promotable foo" errors. < 1422654489 277794 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah. < 1422654522 837689 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suspect there would be trouble with -> for types and kinds not being the same thing < 1422654547 493868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but also that it might not support using the same variable in a type and kind position at all < 1422654566 153877 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: ask goldfire. < 1422654581 618956 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: he's on #ghc < 1422654691 249424 :dtscode!~dtscode@dtscode.io PRIVMSG #esoteric :did my message tgo through before my laptop shut off? < 1422654727 99462 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :dtscode: ... < 1422654735 318219 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : ah ok. i might just add the @tell feature into my bot then <-- your last message < 1422654785 757115 :dtscode!~dtscode@dtscode.io PRIVMSG #esoteric :yep < 1422654787 151277 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :FWIW, I usually check the logs to answer such questions. < 1422654883 972729 :skj3gg!~skj3gg@unaffiliated/skj3gg QUIT :Quit: welp, see you later. < 1422654958 641799 :TieSoul!56597793@gateway/web/freenode/ip.86.89.119.147 QUIT :Ping timeout: 246 seconds < 1422655096 305424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was imagining if kinds and types were more alike, we'd just have instance Typeable k => Typeable (Proxy :: k -> *) where ... < 1422655159 375114 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :GHC really needs to just become a PTS or something < 1422655172 485071 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what's a PTS < 1422655223 813889 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: richard eisenberg (goldfire) is working on something like that < 1422655234 488839 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: pure type system < 1422655242 210110 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what? < 1422655256 753069 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with pi types, not sure if that's the same kind, but it's something dependent, anyway < 1422655259 960540 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1422655307 799018 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: pure type systems sorta unify types/kinds/etc. < 1422655350 189602 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ugh < 1422655352 603620 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ok < 1422655384 726204 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: (well, they can, anyway.) < 1422655436 274065 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :is a kind a type of type? < 1422655448 64389 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1422655475 317978 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :ok that'sreasonable < 1422655516 189493 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :but how can you unify types with kinds without unifying types with values? < 1422655690 142170 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :if something is a kind, presumably you can test whether a type is of that kind. If something is a type, presumably you can test whether a value is of that type. < 1422655707 641308 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lambda calculus type systems don't generally work like that, no < 1422655719 682843 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if you mean internally to the language < 1422655777 90873 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Uh, I mean in code. if(T isa K) and if(V isa T) < 1422655784 556205 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um, this is a static type system, not a dynamic one < 1422655823 506159 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Ok then, let T bea K, let V bea T same problem < 1422655856 169482 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you're not making any sense in context, sorry < 1422655935 546071 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :The point is, if you have a structure which relates a type T to a value V, then if T is a kind, then V is a type. < 1422655981 151213 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :So a typeoftype can't be a type unless a type is a value < 1422656007 510198 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you're not making any sense in context, sorry < 1422656034 136419 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :you said a kind is a type of type. presumably a type is a type of value. < 1422656070 588972 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Generally, if you have kinds in the first place, they’re formally not types. < 1422656077 695460 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1422656087 815335 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :`pop-corn < 1422656088 346238 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pop-corn: not found < 1422656098 150019 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :They just relate to types in a way that is intuitively similar to the way types relate to values. < 1422656131 911951 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :right. So if you can instantiate a type as a value, then ypou can instantiate a kind as a type, correct? < 1422656265 505267 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Not sure what “instantiate” means here. < 1422656301 378715 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Then the problem I have is that if the syntax is formulated in a way that distinguishes values from types, then making kinds types, makes types values < 1422656457 967833 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: anyway, in the system that is being envisioned for future haskell, any value can be turned into a type and any type into a kind, but not always any type into a value. < 1422656475 319672 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure about from kind to type. < 1422656484 13185 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: sounds scary < 1422656495 576179 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :So formally "hello" is a kind? < 1422656515 498785 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net PRIVMSG #esoteric :It can be kind to ssy. < 1422656536 629196 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: "hello" is already a type in ghc haskell (not quite the same as a "promoted" string, though) < 1422656556 155609 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what < 1422656566 544998 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :oh god damn it < 1422656567 329995 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :even more scary < 1422656579 41084 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :what wouldy that even mean < 1422656609 107799 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :I expect it’s empty. < 1422656629 506268 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :A type without any values? < 1422656643 120280 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Of course. < 1422656646 403224 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: it means that you can have a literal string as a type parameter, which is useful for e.g. making a typeclass that tells whether a type has a field of a given name. which is also being implemented. < 1422656674 437676 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: only types of kind * have values. < 1422656677 129238 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: that's what "hello" as a type means. that makes sense. but what would "hello" as a kind mean? < 1422656705 117917 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: i dunno, i've just heard all types will also be kinds. < 1422656727 393798 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: well, that sounds scary < 1422656740 257797 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: isn't it only all types of kind * that will be kinds? < 1422656752 995915 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1422656753 669352 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :so the "hello" type wouldn't be so becuase it's of kind String < 1422656762 458262 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :That sort of makes sense. < 1422656803 57358 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Idris has many empty types – they correspond to false propositions. < 1422656812 27337 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :I thought of one other way to do it, and that is that "hello" promotes to the type String < 1422656822 327930 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Melvar: well sure, Haskell already has many empty types too < 1422656838 481190 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :But that seems useless < 1422656841 268205 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you can define a new one like data MyNewEmptyType where {}; < 1422656881 832280 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: ok maybe it's only types of kind * < 1422656889 855166 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :whew < 1422656898 18556 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I mean, even that is scary, but less so < 1422656904 168772 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the others would be kinds with no types in them, otherwise. < 1422656927 618247 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also istr it will bottom out by making the kind of all kinds * < 1422656945 970271 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(and that as a result this system is not consistent as a logic) < 1422656980 703729 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :What, no infinite hierarchy? < 1422657020 499382 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :I pictured it as a loerarchy < 1422657025 975747 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :indeed. i fully expect something to come up later that forces them to make it infinite, though :P it would be typical haskell. < 1422657104 100108 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :oren: From The Screwtape Letters? < 1422657114 435814 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it's still supposed to be _type_ safe, though.) < 1422657195 71678 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :how infinite? one level for every ordinal? or only up to 20, and up to any natural if you use the epic rules? < 1422657240 731955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: is that a d&d reference? < 1422657254 678397 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Melvar: I heard the word loerarchy in real life somewhere, since I wasn't sure how to spell it < 1422657277 216403 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: yes < 1422657316 562940 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oren: is that like an upside down hierarchy? or would that be liearaclo? < 1422657320 372986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :all i know about "epic" i learned from oots < 1422657348 572982 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :b_jonas: yeah, like a set of things where the lowest one is the most powerful < 1422657371 175575 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :nice < 1422657408 171260 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :So for example the letter grade system is a loerarchy < 1422657416 152371 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :oren: In The Screwtape Letters it’s “Lowerarchy” I believe, but it’s really just a pun. “hieros” means sacred or holy, it’s not related to “high”. < 1422657464 177933 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure < 1422657475 548524 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :although sometimes S is better than A < 1422657536 668956 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :Wiktionary actually has an entry for “lowerarchy”. < 1422657538 845952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :back in the norwegian equivalent of junior high school, S was the best character. no A though. < 1422657579 92020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :S(g), M(g), G, Ng, Lg < 1422657653 390382 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :In canada it is ABCDF (they took out E), and in many videogames it's SABC < 1422657654 287592 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :g/G for no:godt = en:good, and the prefixes mean especially, very, ..., fairly, little < 1422657700 771558 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :where little is actually an adverb so i'm not sure what it's in english < 1422657728 106053 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422657808 578943 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1422657813 341201 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the senior high school used to be 1-6, 6 best. the university used to be 1-6, 1 best. but i think at least one of them has changed to an A-F system. < 1422657830 982930 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(also the university had decimal points) < 1422657917 676669 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 245 seconds < 1422657943 599825 :Melvar!~melvar@dslb-092-072-143-251.092.072.pools.vodafone-ip.de PRIVMSG #esoteric :In Germany, 1 is always the best of 1-6. However, systems differ in which intermediate grades are used. < 1422657956 798500 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and the before-high-school classes had no real grades, although there was a report card with either "satisfactory" or "may improve" < 1422658010 148723 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :In my public schoolthey had excellent, satisfactory and needs improvement < 1422658086 705916 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :I think they do that to try to discourage competition < 1422658114 565487 :AnotherTest!~turingcom@94-224-27-51.access.telenet.be QUIT :Ping timeout: 255 seconds < 1422658151 290638 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pretty sure there was no excellent, and given the general views of the time they almost certainly wanted to discourage competition. < 1422658187 290857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my public school teacher was an honest-to-atheism communist btw. < 1422658208 883801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although to fair, i only realized that about the last year. < 1422658222 521530 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*to be < 1422658242 915209 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(the main teacher for our class, that is) < 1422658281 736145 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :lol. in Canada that's the norm < 1422658305 112133 :nycs!~nycs@gw.hq.meetup.com QUIT :Quit: This computer has gone to sleep < 1422658321 176751 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...if you say so. < 1422658347 849007 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :teachers in high school are a left-wing demographic in a left-wing country < 1422658376 349782 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's the norm in norway that teachers are left-wing, but there's still a couple steps until communism. < 1422658407 294277 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and of course there are exceptions. < 1422658494 660275 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Yeah, i guess... although I find that communism isn't really considered to be the epitome of left-wing anymore < 1422658565 104418 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's the labor party which is only partly leftish these days, then there's the party named "socialist left" which has dropped mentions of revolution quite a while ago, and was in the last government. then there is the party simply named "red", which has no representatives but has had one before. < 1422658601 812638 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then there is the "norwegian communist party", if it still exists, i'm not quite sure. < 1422658645 743567 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :In canada we have the canadian communist party which is completely irrelevant. < 1422658705 712810 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the norwegian one is also completely irrelevant. < 1422658706 686606 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :they have 'meetings' on campus which as far as I know no one goes to < 1422658750 578153 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but mainly because they're the "old-style" communists, all the young radicals go to "red" instead. < 1422658752 445382 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1422658770 385478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if they're sufficiently radical, that is. < 1422658771 167688 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422658810 362135 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :In Canada young radicals don't vote. < 1422658832 310691 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Or young people in general really < 1422658874 210624 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :I only voted because I had nothing better to do < 1422658921 625971 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :oren: Canadian politics never really seemed like a thing one got excited about really, unless you were Quebecois and the latest hopeless referendum was up for vote. < 1422658951 746792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there are also the Greens, they're radical about the environment but i don't think about economics. < 1422659018 766489 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and last election they seemed to be siphoning voters off the left socialists, which also style themselves as "green" < 1422659023 779260 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*who < 1422659054 413780 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :It's confusing that the Republicans are red. Whoever thought that was a good idea < 1422659089 715918 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oren: i vaguely remember reading they used to vary that by election, but then after 9/11 or thereabouts it got stuck < 1422659163 375588 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :presumably neither party wants to be associated with the european associations of the color < 1422659204 866459 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Apparently so. they got stuck with the wrong colours as far as the rest of the world (including Canada) is concerne < 1422659211 179184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's always the joke that in norway/europe, the democrats would be considered a right-wing party. < 1422659231 905928 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :We make that joke too < 1422659268 318274 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :But our most left-wing party the NDP uses orange < 1422659354 162248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :red, obviously, uses red. but then so does the labor party, and the socialist lefts use red+green < 1422659380 851065 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :The christmas party < 1422659463 944679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually the christian people's party uses red, too, and even the rightwing progress party is mostly red. < 1422659513 925995 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :Um, how is the "progress party" right-wing. That doesn't make sense < 1422659547 717543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's considered the most right-wing party in parliament. < 1422659586 437020 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :our most right-wing party was once called the "progressive conservatives" which is just contradictory < 1422659616 694354 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :"We want to go forward, and stay where we are!" < 1422659659 340054 :oren!~oren@user3-214-115.wireless.utoronto.ca PRIVMSG #esoteric :They realized this and chnged the name < 1422659681 66931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :our _second-most_ right-wing party, named "right", but usually translated as conservatives, has a coalition covernment with the progress party. < 1422659688 345162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(they are blue btw) < 1422659712 204259 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :oerjan: my favorite joke about American politics is that by US standards, Jeremy Clarkson is practically a moderate ... < 1422659715 443042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the progress party are not conservative, they certainly want to change things. < 1422659780 610730 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I very much support the idea of Conserving the French Monarch < 1422659789 436864 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :J_Arcane: this joke would probably work better if i actually watched tv. < 1422659798 704506 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :oerjan: Hah hah. < 1422659841 198003 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Jeremy Clarkson is the head presenter on Top Gear. I like to think of him as Britain's drunk uncle. < 1422659855 751620 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i did google that much. < 1422659930 195351 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :Besides the car thing, he's mostly famous for getting in trouble over vaguely racist remarks, or complaining about any kind of legal or environmental barriers to the existence of large fuel-guzzling v12 engines. < 1422659958 165126 :^v^v!~^v@2601:4:680:104c:50d3:dc3f:9f09:d861 JOIN :#esoteric < 1422659975 48000 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the latter part does look like part of his job description. < 1422660052 164895 :oren!~oren@user3-214-115.wireless.utoronto.ca QUIT :Ping timeout: 272 seconds < 1422660133 140942 :^v!~^v@c-68-36-225-16.hsd1.nj.comcast.net QUIT :Ping timeout: 265 seconds < 1422660222 708960 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@quote dreaded < 1422660223 232619 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :liyang says: how can I upgrade bytestring? I tried to use cabal but it complains Ah, the dreaded monochrom restriction. < 1422660234 958376 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net QUIT :Quit: adu < 1422660235 753610 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1422660239 818626 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@quote dreaded < 1422660240 236570 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :liyang says: how can I upgrade bytestring? I tried to use cabal but it complains Ah, the dreaded monochrom restriction. < 1422660243 789299 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 264 seconds < 1422660294 570392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION assumes that is an inside joke about monochrom which he doesn't know < 1422660385 850146 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@quote restriction < 1422660386 278250 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ghc says: falls under the monomorphism restriction < 1422660388 954846 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@quote restriction < 1422660389 495426 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :koeien says: Let's register it [monomorphismrestriction.com] to prevent it from being used ;) < 1422660400 219264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@quote restriction < 1422660400 721492 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :chrisdone says: inb4 monomorphism restriction monomorphism prediction < 1422660408 687262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@quote restriction < 1422660409 148060 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :liyang says: how can I upgrade bytestring? I tried to use cabal but it complains Ah, the dreaded monochrom restriction. < 1422660413 152187 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@quote restriction < 1422660413 686265 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :vixey says: put some restriction like every token has a neighbourhood locally homeomophic to algol < 1422660446 575241 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :callforjudgement: that last one sounds like something you'd know about. < 1422660477 297715 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@quote restriction < 1422660477 900671 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :chrisdone says: inb4 monomorphism restriction monomorphism prediction < 1422660586 719388 :monotone!~monotone@room208.org QUIT :Remote host closed the connection < 1422660593 837795 :monotone!~monotone@room208.org JOIN :#esoteric < 1422660723 906272 :MDream!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net JOIN :#esoteric < 1422660922 526790 :MDude!~fyrc@pa-67-235-2-71.dhcp.embarqhsd.net QUIT :Ping timeout: 255 seconds < 1422660953 597301 :S1!~S1@p4FF92513.dip0.t-ipconnect.de QUIT :Quit: S1 < 1422661116 170857 :Lymia!~lymia@inportb/loli/cirno-chan QUIT :Ping timeout: 272 seconds < 1422661223 592389 :callforjudgement!~ais523@unaffiliated/ais523 QUIT :Read error: Connection reset by peer < 1422661239 693006 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1422661369 72602 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca JOIN :#esoteric < 1422661630 298562 :puppy!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1422661639 556241 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1422661639 700756 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1422661792 987258 :nys!~nysnamovo@blk-215-85-138.eastlink.ca QUIT :Ping timeout: 240 seconds < 1422662019 912631 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1422662163 737307 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :@quote wat < 1422662164 267430 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :monochrom says: "a monad is like drinking water from a bottle without human mouth touching bottle mouth" < 1422662210 618937 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :So it matched characters not words < 1422662276 459488 :puppy!~nysnamovo@blk-215-85-138.eastlink.ca NICK :nys < 1422662291 125778 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :@quote wat < 1422662291 611716 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Japsu says: segfault cat is watching you unsafeCoerce < 1422662305 701936 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :@quote wat < 1422662306 230937 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :monochrom says: those who have learned from history are bound to helplessly watch other people repeat it. < 1422662317 83624 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :@quote wat < 1422662317 587769 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :quanticle says: If you recommend me that mexican water again, I will break a Corona bottle over your head. < 1422662324 499803 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :@quote wat < 1422662325 99004 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Vellos says: i will watch you from afar < 1422662345 107180 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca PRIVMSG #esoteric :@quote segfault < 1422662345 547845 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :TSC says: Programs compiled with GHC aren't really supposed to segfault, are they? Did you call unsafeSegfault? < 1422662391 314171 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric