< 1421712220 971266 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :̈ < 1421712244 452221 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :
ACTION makes weird noises... «ø̈ø̈ø̈ø̈ø̈»
< 1421712306 100947 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Lilax: what is a zeoul? < 1421712323 790758 :oren!~oren@65.94.96.252 PRIVMSG #esoteric :The name of my language is rI Pui for the read and print verbs < 1421712339 325 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Its I think < 1421712344 325383 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :a demon < 1421712383 337997 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :http://i.imgur.com/Q3Vduhb.png ? < 1421712463 300681 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Gasp < 1421712520 836746 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp NICK :Zuriel < 1421712534 371243 :Zuriel!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp NICK :Lilax < 1421712537 941379 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :>_> < 1421712659 70161 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :embrace your demonic self. become one with the hellspawn. enjoy the company of Fungot. < 1421712665 269826 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :
ACTION saves picture
< 1421712672 379891 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Nuu not fungot < 1421712673 116410 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :Lilax: ' then fur ahead where bishop's brook goes under the whole city in a green valley, where the vast gleaming dome and fnord ionic columns of the christian science church beckoned northward. then eight squares past the fine old residence streets broad, washington, lafayette, and adams streets. though these stately old avenues. were fnord and his speech was very curious, an extreme form of yankee dialect i had thought. < 1421712679 496008 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :holy < 1421712690 568490 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :not holy, boily :D < 1421712707 875812 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :~metar ESSA < 1421712712 187840 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@metar ESSA < 1421712712 516412 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :ESSA 192350Z 03008KT 9999 SCT023 BKN029 M03/M03 Q1023 R01L/910556 R08/910560 R01R/720144 TEMPO BKN012 < 1421712734 655028 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I should remetasepify the channel one day... < 1421712734 805538 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric ::0 punny < 1421712746 627903 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1421712747 103661 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYUL 200000Z 26015G24KT 15SM FEW030 FEW070 FEW240 M07/M11 A2977 RMK SC1AC1CI2 SC TR AC TR SLP083 < 1421712748 142014 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :what's that mean? < 1421712760 344199 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :current weather for airplane pilots. < 1421712786 545216 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :no the other thing < 1421712793 500275 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :remetasepify? < 1421712797 831249 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :sory < 1421712800 687809 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :I had a bot. it was called metasepia. < 1421712801 117064 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :You'll see, in due time < 1421712801 267504 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :sorry* < 1421712811 532089 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :>_> < 1421712811 736769 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :(or now, apparently) < 1421712817 774931 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Thas scary < 1421712822 949728 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :the Second Coming is Nigh! (meaning some time this year, probably.) < 1421712845 440084 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :and with that, I'm hungry. time to pilfer a pizza or two... < 1421712854 341551 :boily!~alexandre@96.127.201.149 QUIT :Quit: CALLABLE CHICKEN < 1421712875 905176 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :you are so lucky < 1421712886 365468 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :I wish I could pilfer a pizza < 1421712896 118189 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :how do I design and implement a multi-language function database without choosing a programming language? < 1421713971 364469 :h0rsep0wer!h0rsep0wer@unaffiliated/h0rsep0wer QUIT :Quit: Leaving < 1421714021 706321 :oren!~oren@65.94.96.252 PRIVMSG #esoteric :adu: what do you mean a "function database" < 1421714071 633134 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :a database that has multiple functions < 1421714099 896795 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :oren: something maybe half-way between http://rosettacode.org and http://www.krugle.com < 1421714112 564253 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :or a database that has multiple functions for different languages < 1421714118 713786 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :idk < 1421714121 338111 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :Lilax: yes < 1421714132 473800 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :yas < 1421714204 979129 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :I've never heard of krugle before < 1421714220 335309 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :rosettacode is good at the "narrative", but krugle is good at describing existing software < 1421714224 545092 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Remote host closed the connection < 1421714253 985283 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :Lilax: krugle and code.google.com are about the same, they provide keyword search of a large gamut of software projects < 1421714264 72152 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :I think github might also provide an inter-project search < 1421714283 745295 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :oh < 1421714288 609789 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :ye I see < 1421714323 344659 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :for example, there are hundreds of implemenations of itoa() < 1421714348 810306 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :I was thinking of using arch again < 1421714349 177492 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :and they're all a bit different, there should be one entry on that, like rosettacode, with references to each project/file < 1421714359 485628 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :I see < 1421714403 331015 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net PRIVMSG #esoteric :but they're not always called "itoa", sometimes they're called "int_to_str", so keyword search sucks on that < 1421716111 533198 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 255 seconds < 1421717526 51344 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Put esoteric before every thing < 1421718015 63451 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421718231 920028 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1421718971 238683 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1421719103 964731 :^v^v!~^v@2601:4:680:104c:901e:2d58:22b2:8784 NICK :^v < 1421719402 558085 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: hi < 1421719593 879586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what do you think of goldfire's suggestions on 9858 < 1421719635 999287 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think he probably put a "not" where he didn't mean to < 1421719736 465227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm just hoping that adding kind information to typerefs won't give too much trouble < 1421719743 384951 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*p < 1421719831 305588 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or wait, maybe i'm misreading him < 1421719841 946178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :he just wants the kinds in a slightly different place < 1421720160 966548 :zzo38!~zzo38@24-207-58-35.eastlink.ca JOIN :#esoteric < 1421720433 617685 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1421720546 455943 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1421721413 735432 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :he doesn't want explicit kind information but implicit kind information just because things are parameterized on kinds < 1421721423 477994 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :only in the polykinded case < 1421721579 974859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so in particular you'd still need to disambiguate T and 'T < 1421721639 571545 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 245 seconds < 1421721809 826270 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric : "everytime you go to sleep you die, And someone else wakes up in your body thinking they are you" < 1421722023 250181 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: have you been readin SMBC < 1421722027 164562 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*reading < 1421722047 759887 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :No < 1421722055 673218 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :readin' < 1421722056 318058 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there was a comic like that < 1421722074 766397 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :you said it in a southern accent oerjan < 1421722084 172310 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if y'all say so < 1421722095 75827 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :lol < 1421722102 260942 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1421722113 395612 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Makes no sense only one person said it < 1421722138 13060 :contrapumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1421722143 624688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually i've heard there are accents so southern that y'all is singular and you need to say y'all y'all for the plural < 1421722264 587608 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 245 seconds < 1421722305 90284 :^v!~^v@2601:4:680:104c:901e:2d58:22b2:8784 QUIT :Read error: Connection reset by peer < 1421722563 110561 :^v!~^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1421722722 485742 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Hmm? < 1421722731 120773 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :I was born in teh south < 1421722737 470862 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :I know what its like < 1421722749 717397 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Or atleast my family said y'all as plural < 1421722759 81214 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :And regular you there for singular < 1421723023 266741 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 245 seconds < 1421723409 415464 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: i didn't say _all_ southerners did that, just that i've heard rumors of some who do < 1421723433 946151 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :there's rumors in Norway? < 1421723439 692579 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :there are** < 1421723446 556636 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i probably read it on the internet hth < 1421723454 600990 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Amazing < 1421723458 320821 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(probably way back in the 90s, too) < 1421723461 808928 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Omfg < 1421723477 682839 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so maybe those hillbillies died out in the meantime < 1421723486 150608 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Old people are cool < 1421723495 506606 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :they know things < 1421723505 454286 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why thanks < 1421723514 945902 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :yw < 1421723524 65956 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :I mean Middle aged < 1421723533 128722 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :but in perspective to 16 < 1421723555 132284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION waves his Middle Ages halberd at Lilax
< 1421723562 862834 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :44 :0 Gasp that means you lived in the 80's < 1421723568 60984 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Cool! < 1421723581 698367 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I heard that there are no rumors on IRC < 1421723601 845376 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*GASP* < 1421723639 345006 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Oh my < 1421723708 133603 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i heard that you can beat the 7s master bot these days < 1421723791 430912 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :If by you you mean the general you, sure < 1421723799 503365 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :The specific you meaning me cannot as far as me knows < 1421723802 236866 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i mean you < 1421723841 684599 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :It might be true, but I haven't ever checked < 1421723892 686264 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :7s master bot? < 1421723895 266351 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :what's that < 1421723934 62446 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Prismata AI bot that takes 7 seconds to think, I think < 1421723952 395747 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :fast < 1421723963 810721 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :kinda < 1421723982 911345 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Well, the other setting for Master Bot is 5s I think < 1421724005 207036 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1421724023 96125 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :hi augur < 1421724169 947297 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :what was Norway like in the 80's < 1421724175 49779 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Still cold? < 1421724634 802512 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com PRIVMSG #esoteric :o mai < 1421724653 982960 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com PRIVMSG #esoteric :what a strange place to find myself mentioned < 1421724698 535740 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com PRIVMSG #esoteric :speaking of norway, norwegian beer nørge ø id kind of too smokey fmy tastes < 1421725014 470979 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1421725597 321465 :nys!~nysnamovo@24.215.85.138 QUIT :Quit: s < 1421725664 405943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: i vaguely recall the 80s had a lot of rain and snowstorms hth < 1421725690 830378 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sometimes at the same time. < 1421725745 263319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i had to go uphill to school, both ways. < 1421725750 595941 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(the hill was in the middle) < 1421725837 124133 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :someone recommend a cheap 5.1 system with rear wireless < 1421725853 759 :contrapumpkin!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1421725872 386340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: sometimes it's _so_ nice to be completely unqualified to answer. < 1421725905 501809 :MDude!~fyrc@67.235.2.71 NICK :MDream < 1421725924 406360 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :someone recommend a cheap 5.1 system with rear wireless < 1421725932 330966 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wtf < 1421725949 348409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^echo sometimes it's _so_ nice to be completely unqualified to answer. < 1421725949 498966 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :sometimes it's _so_ nice to be completely unqualified to answer. sometimes it's _so_ nice to be completely unqualified to answer. < 1421725982 591891 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :test < 1421726005 781909 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :test < 1421726007 658927 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: CAN YOU READ THIS < 1421726022 979611 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(my hunch is no) < 1421726049 734812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm ping is fine < 1421726172 693538 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh wait < 1421726191 483554 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i was just scrolled up. all the way to the top < 1421726191 728164 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :Get six cheap systems, cut of nine tenths of one and stick a wireless router on the back. < 1421726198 78845 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fancy < 1421726222 878237 :MDream!~fyrc@67.235.2.71 PRIVMSG #esoteric :*cut off < 1421726236 779937 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :quintopia: mystery solved < 1421726239 41617 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :MDream helpful < 1421726247 602309 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan hit me with the pan pls < 1421726255 698862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :quintopia: if only it was that easy < 1421726266 32094 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: why, i though MDream deserved it more < 1421726269 394812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+t < 1421726284 69024 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i was bejng dumb i think < 1421726302 639688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: don't i deserve it a little bit < 1421726313 197857 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: extremely hth < 1421726329 513933 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :by the way, i found a bug: "deriving instance Typeable (GHC.Prim.*)" wants you to turn on NullaryTypeClasses < 1421726357 255708 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :if we go with goldfire's suggestion, all the kinds will have to get Typeable instances, or something < 1421726357 528060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait * is an actual identifier now? < 1421726375 91332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :* has been a kind for a while hth < 1421726392 824986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well yeah i just didn't know it counted as an identifier < 1421726400 750327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, you need parentheses here < 1421726405 412743 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thought it was too special < 1421726406 14953 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's kind of a bizarre syntax edge case < 1421726419 20178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but _can_ you make typeclass instances for kinds alone? < 1421726433 33531 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my vague thought was you'd need to at least wrap it in Proxy < 1421726435 28637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :even better, GHC.TypeLits exports a * for Nat multiplication < 1421726458 666147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::k! 2 GHC.TypeLits.* 3 < 1421726476 705051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...they're going to have to find a better system for those syntax distinctions. < 1421726493 786559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :scoping has always worked before < 1421726522 581776 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's vaguely irritating that they chose to have (==) be the thing :: k -> k -> Bool rather and used (:~:) for type equality < 1421726533 889470 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well, (==) doesn't exist yet, but it presumably will < 1421726540 590990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is it still impossible in head to use (,) prefix, when of kind Constraint -> Constraint -> Constraint ? < 1421726548 61163 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Heh ;~; < 1421726598 75206 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :looks like it < 1421726606 565617 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but you can define type P (a::Constraint) b = (a,b) and use P prefix? < 1421726649 971779 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: perhaps they named :~: before they decided to allow type constructor operators not to start with : ? < 1421726667 657541 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 245 seconds < 1421726683 258888 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: can you? and if so, can you make instances for it? < 1421726703 849268 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: there was a mailing list argument about it before Data.Typeable with (:~:) was released < 1421726714 449792 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is related to an old SO question < 1421726717 647372 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but someone really wanted to reserve (==) for Bool < 1421726726 263283 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which sort of makes sense, i suppose, give that (<=) and so on exist < 1421726730 561524 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but still. (:~:) is awful < 1421726825 214780 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1421726908 109392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :argh i hate when i click to focus and there's accidentally a link there < 1421727127 144883 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph cannot find it, oh well < 1421728414 235341 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :someone redirect me to a channel about physics and stuff < 1421730229 405866 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric : ん < 1421730235 555047 :AndoDaan!~AndoDaan@188.188.77.64 JOIN :#esoteric < 1421730313 869140 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :AndoDaan: did you learn prismata < 1421730412 361488 :AndoDaan!~AndoDaan@188.188.77.64 PRIVMSG #esoteric :I did the first 3 tutorials before my laptop started overheating. < 1421730424 820638 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes, it uses 100% cpu on linux flash for some reason < 1421730464 156015 :AndoDaan!~AndoDaan@188.188.77.64 PRIVMSG #esoteric :Pretty greedy for what's essentially a card game. < 1421730544 478487 :AndoDaan!~AndoDaan@188.188.77.64 PRIVMSG #esoteric :I might give it another go at a later date, try it with another browser. < 1421730698 272150 :shikhin_!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1421730701 376457 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ん < 1421730714 690994 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+3093 HIRAGANA LETTER N] < 1421730737 325054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what, no syllable? < 1421730762 295202 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i guess n is syllable-final < 1421730802 733120 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's still a what's-it-called hth < 1421730804 875860 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :on < 1421730865 607497 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it makes me sad that there is no halfwidth ん < 1421730927 53318 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :There is no halfwidth hiragana in Unicode, only katakana can be half < 1421730971 768833 :mbrcknl!sid28171@gateway/web/irccloud.com/x-oksszpnopuspsqwa JOIN :#esoteric < 1421730998 947376 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :elephants are the Canadians of the animal world < 1421731012 396785 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wat < 1421731023 242921 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Lilax: How is that? < 1421731038 850434 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :*mystery* < 1421731066 200755 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :they both give you donuts < 1421731133 925657 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :http://m.imgur.com/3KOwIGe < 1421731136 751061 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :^ < 1421731264 814760 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: mora? < 1421731283 401498 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1421732741 267939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Sgeo If I had a fridge, I might just buy a bunch of food or something <-- getting by without a fridge in modern society sounds _horribly_ awkward. < 1421732741 457939 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1421732778 283168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(before modern society, everything was horribly awkward regardless) < 1421732984 498319 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell Sgeo by which i mean, unless you're poor as dirt, get one for heaven's sake. < 1421732984 685717 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1421733160 171381 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :oerjan: it would be horribly awkward to get it in here and find space for it. This place is gross < 1421733167 727138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :gah < 1421733179 963928 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I can't let other people in here < 1421733207 1079 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd advice you to get a better place to live, but then we're getting into territory i cannot manage myself... < 1421733218 798823 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*s < 1421733283 785398 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I want to get a professional cleaner in here < 1421733359 621192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but you cannot fit them, right? < 1421733376 604899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION runs away
< 1421733384 498224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: please advise me to get a better place to live twh < 1421733389 395439 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :e.g. a place with a window < 1421733398 49788 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: get a better place to live hth < 1421733410 420263 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tdh hth < 1421733416 583697 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :But I don't want to move away from people who recognize me when I eat there everyday < 1421733418 231906 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but first i need to figure out where i'm going to live < 1421733420 64263 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :>.> < 1421733435 790681 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: hey i resemble that remark < 1421733497 918824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in fact they're probably worried because i haven't been there since saturday < 1421733530 533628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(my sleeping schedule has been going through that phase where i wake up after they close) < 1421733550 722760 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :The fact that the places close helps keep my sleep schedule resembling some sort of normality < 1421733560 679919 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1421733580 533408 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unfortunately, my body insists too strongly on the wrong day length for that to work < 1421733615 760790 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although it does help slow the drift down in parts of the cycle < 1421733686 203364 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :There is one puzzle in this Magic: the Puzzling that involves figuring out the play from one board situation to the next one, assuming that it isn't just a lucky Mana Clash, and assuming it is a Fourth Edition Highlander game. < 1421733780 563805 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I could figure out because I have a book with all of the cards up to 1996. < 1421733892 523479 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :"If I could give this fridge zero stars I would. I am a college student so I needed a small fridge for my room. The milk went bad after 4 days, which is record time. Everything was extremely warm, I think it would have been better to leave my stuff outside in room temperature. I wasn't expecting the fridge to be this bad, specially cuz is $100. So make yourself a favor and DON'T buy this piece of crap." < 1421733957 493709 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :How much should I blindly trust Amazon reviews? < 1421733966 226463 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :completely hth < 1421734090 764496 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Never blindly trust anyone < 1421734109 33108 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I just bought towels based on Amazon reviews. Maybe the towels aren't as great as suggested, but towels can't kill me or anything, right? < 1421734110 714550 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :unless their name is zzo38 < 1421734131 940040 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Also I do need new towels < 1421734136 839481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: http://www.dailymail.co.uk/health/article-2833074/Forget-door-handles-toilet-seats-germ-infested-objects-home-TOWELS.html < 1421734140 461864 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I think my current towels are dead. < 1421734143 309826 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :blindly trust the daily mail < 1421734147 190994 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :You should at least read it first! < 1421734185 223586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.webmd.com/sex-relationships/understanding-stds-basics also tells you to be wary of towels < 1421734188 421142 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: https://www.youtube.com/watch?v=Szc8xHtlCS8 hth < 1421734223 699586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan's link is much better < 1421734225 962370 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I thought the towel was going to tilt the chair over < 1421734528 27177 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what was that short story where there were aliens that looked to each person like the thing they'd least like to be in contact with? < 1421734545 901561 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :they looked like a bar of soap, or a razor, or alcohol < 1421734651 530120 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :aha, http://www.gutenberg.org/files/29601/29601-h/29601-h.htm < 1421734666 292337 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't remember that but i remember something like the opposite, an alien which trapped people by taking the form they wanted to get in contect with. < 1421734686 447471 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it was in the book "50 Short Science Fiction Tales" < 1421734700 960184 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :oerjan: http://scp-wiki.wikidot.com/scp-523 < 1421734702 677183 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :? < 1421734704 842478 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :Blah < 1421734715 878703 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :http://www.scp-wiki.net/scp-523 < 1421734799 304132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :definitely not what i read < 1421734799 478908 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :There are probably similar SCPs < 1421734807 789559 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think it was an SCP < 1421734822 358107 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also i probably only read a description of the story, not the story itself. < 1421734842 884998 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :I should probably sleep < 1421734859 59337 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :i took sleepy medicine that is really anti-anxiety but was prescirbed for sleepytie < 1421734873 437095 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway they met it in a jungle or something, and its trap was foiled by the people realizing how unlikely it was to find an ice cream bar there, or something like that. < 1421735069 711596 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Describe your self with an SCP < 1421735108 78935 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://scifi.stackexchange.com/questions/50918/story-id-astronaut-is-freed-from-mind-parasite-when-he-leaves-earths-gravity-w is another story i remember from that book < 1421735190 692438 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :omfg < 1421735195 921226 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :that scp is horrible < 1421735449 742689 :vanila!~vanila@unaffiliated/vanila JOIN :#esoteric < 1421735612 419407 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net PRIVMSG #esoteric :https://www.reddit.com/r/explainlikeIAmA/comments/1wdup0/explain_the_doctor_like_iama_the_scp_foundation/cf1543u < 1421735822 686394 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :good morning < 1421736925 639246 :AndoDaan_!~AndoDaan@188.188.77.64 JOIN :#esoteric < 1421736926 107699 :AndoDaan!~AndoDaan@188.188.77.64 QUIT :Read error: Connection reset by peer < 1421737484 989640 :HackEgo!~HackEgo@162.248.166.242 QUIT :Remote host closed the connection < 1421737711 566880 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net QUIT :Ping timeout: 255 seconds < 1421738035 379114 :ProofTechnique!~textual@c-24-147-92-185.hsd1.vt.comcast.net JOIN :#esoteric < 1421738828 633734 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1421738982 981949 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1421739023 925529 :ProofTechnique!~textual@c-24-147-92-185.hsd1.vt.comcast.net QUIT :Quit: Textual IRC Client: www.textualapp.com < 1421739187 893697 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1421739188 44731 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1421739351 120805 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 276 seconds < 1421739358 66191 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :there's a street in Arizona < 1421739363 667262 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Called Bucket of Blood < 1421739384 796109 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there is a house in New Orleans < 1421739394 510216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :They call the Rising Sun < 1421739441 775882 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :you did not just.. < 1421739456 132164 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course i did < 1421739481 614321 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :God dammit, lol < 1421739555 611561 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :h i all < 1421739558 426159 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :bored < 1421739572 400940 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Delete you OS < 1421739575 810973 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :and go outside < 1421739583 818340 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I kind of wnat to write a blog post about the lambdabot exploti < 1421739592 941615 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Or that < 1421739594 808751 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I thought about it but there wasn't too much to say < 1421739607 327291 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Say lambdabot broke < 1421739616 669706 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :And that no one fixed it < 1421739626 134796 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's sandboxed now < 1421739632 880768 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :Ye < 1421739663 230145 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just not obvious how to fix it otherwise without disabling too many features < 1421739682 830156 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :until a real bugfix for ghc comes out < 1421739694 956942 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :it's a pretty intereting bug < 1421739729 308029 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :i wonder if just removing IO would fix thi < 1421739731 886358 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :from lambdabot < 1421739739 57507 :Qfwfq!~WashIrvin@unaffiliated/washirving PRIVMSG #esoteric :PoC please < 1421739758 781522 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: doubtful, with unsafeCoerce you can probably do code injection < 1421739774 873537 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :even if IO is easier < 1421739787 471421 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Qfwfq: what < 1421739801 240221 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :oerjan posted a poc before < 1421739813 923868 :Qfwfq!~WashIrvin@unaffiliated/washirving PRIVMSG #esoteric :
ACTION consults scrollback
< 1421739820 736925 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :it wasnt' today < 1421739822 380515 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://oerjan.nvg.org/lbexploits < 1421739831 865899 :Qfwfq!~WashIrvin@unaffiliated/washirving PRIVMSG #esoteric :Thanks. < 1421739849 33021 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :GHC bug 10000 is relevant < 1421739870 195989 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :still pretry broken < 1421739876 279015 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :pretty* < 1421739885 520119 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the one numbered 4 is the last one < 1421739891 935964 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :I see < 1421739904 860741 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :.org? < 1421739915 866403 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :oerjanization < 1421739930 80188 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's a 4? < 1421739933 3359 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: nvg.org is basically an alias for nvg.ntnu.no < 1421739941 240926 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :ah < 1421739945 398986 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well i just removed a function that was unused from 3 < 1421739952 855496 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er type < 1421739955 446903 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1421739958 676752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Why not call that 3? < 1421739972 677128 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i didn't want to change a file i'd already linked < 1421739975 342524 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You renamed e to e' without changing the version number. < 1421739983 173326 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or did you < 1421739983 416886 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well ok < 1421739990 365596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i probably did < 1421740008 808900 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you should switch to NOINLINE rather than munge imo < 1421740019 298069 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1421740032 126108 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :probably would even with with -O2 that way < 1421740050 889352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also you should do the type PX = Proxy (Proxy :: * -> *); type PY = Proxy (Proxy :: (* -> *) -> *) thing for clarity < 1421740095 701577 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm let's do that and change Exploit4.hs to it < 1421740097 684341 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :What is it that failed exactly that NOINLINE and -O2 and those other things to fix it? < 1421740113 363041 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :also you should make it work without TypeFamilies hth < 1421740115 293221 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: ghc did some strange inlining so it crashed instead < 1421740137 448100 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or sometimes printed a completely unrelated number < 1421740154 261524 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :You should report and/or fix the bug though < 1421740164 528481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't know that it's a bug. < 1421740203 980258 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It only happens in a case where you have an equality witness for unequal types. < 1421740270 639236 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :How can you have an equality witness for unequal types? I looked at your file but it doesn't seem to explain everything < 1421740277 618336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, so ghc may be doing an entirely sane assumption that just breaks because we're already doing an insane exploit < 1421740295 477934 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, making it NOINLINE works even under O2 < 1421740309 80080 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whereas munge doesn't work when compiling with ghc even with O0 < 1421740330 919040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And I don't think you can turn NOINLINE off, and relying on it would be silly anyway. < 1421740357 327583 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok now Exploit4.hs has been updated to a cleaner version < 1421740360 237542 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Proxy (Proxy :: * -> *) and Proxy (Proxy :: (* -> *) -> *) are unequal types (because they have unequal kinds) but they have equal TypeReps. < 1421740392 806753 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Then it seem it probably is a bug if they have equal TypeReps despite that. < 1421740401 448801 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, it's GHC bug 9858 < 1421740410 539117 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(and also 10000 but that's a duplicate :'( ) < 1421740428 77324 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's exactly either, because the types used are different < 1421740436 428453 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but it's been reported in the comments there < 1421740442 952746 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*not exactly either < 1421740460 724684 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, yes. < 1421740465 950327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :A bug includes its comments. < 1421740468 957756 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it's two slightly different bugs that can be used for the same purpose < 1421740484 239262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :goldfire wants to give them two different fixes, too. < 1421740487 913065 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: _maybe_, they sometimes ask you to make a new one... < 1421740524 290560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i think in _principle_ you could give a common fix, but that would require including kind information even for monokind typereps < 1421740540 430978 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :who was the first coder < 1421740541 274950 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think goldfire's proposal isn't unreasonable. < 1421740551 397616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: lady Ada Lovelace hth < 1421740572 875197 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :sounds like a pokemon < 1421740578 479401 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i think we'll just have to wait and see how it actually works < 1421740592 37946 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, what's the easiest way to do damage if you don't have any IO things in scope? < 1421740601 980365 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Lilax: what, are you insulting her < 1421740608 181785 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :no < 1421740610 616878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not that easy to just make a ByteString with code that you can jump into, is it? < 1421740614 393662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well we already know how to crash ghc without it... < 1421740617 660637 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :;-; < 1421740623 20993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Crash GHC, sure, but not arbitrary code. < 1421740629 582024 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Another thing I have seen NOINLINE sometimes used for is to make up global variables, and I hate that, because I know another way. < 1421740637 539714 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What's the another way? < 1421740663 287862 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: well you still have to evade w/e page protection... < 1421740664 34214 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: vaguely surprised that you don't need TypeSynonymInstances for that type instance, actually < 1421740676 566058 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: well, a string literal won't be in writable memory < 1421740681 156485 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :so that's not a problem < 1421740698 350881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(or maybe it would be a problem) < 1421740701 367165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: i was too, but maybe it's because it's only an argument, not the actual datatype instanced < 1421740718 960734 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what would it mean for it to be the actual datatype instance < 1421740719 440626 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :One way is for main to hold a value of a "extensible product" type; modules that don't know each other can add fields to it as long as they know the module providing the record type to use. < 1421740733 597982 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: type G = F etc. ... < 1421740762 481256 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :TSI lets you do instance K A where type F A = ..., where A is a synonym < 1421740766 724912 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this looks like the same sort of thing < 1421740768 405264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh well < 1421740784 846931 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But the syntax of Haskell is a bit long to make label types out of, since you both have to define the datatype, the deriving clauses, and any instances < 1421740829 954453 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Another way is JHC's ACIO. Do you like that way? < 1421740854 369171 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I don't know what is that way < 1421740878 619644 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://repetae.net/repos/jhc/lib/jhc/Jhc/ACIO.hs < 1421740882 251148 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Although I guess it probably would be better than using NOINLINE and unsafePerformIO < 1421740966 451524 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I wanted to use a different haskell compiler than GHC < 1421740966 602298 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :there arnet many though :( < 1421740966 602510 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :and the one I tried didn't work < 1421741031 998154 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Although it seems better than the NOINLINE and unsafePerformIO way, it still seem worse to me than the way I have made up, however the way I have made up has its own problems too. < 1421741184 955549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think there is a package providing such an extensible product, although it presumably uses NOINLINE and unsafePerformIO internally < 1421741246 266516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although my memory is too vague < 1421741312 533173 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :There is one I have written although it doesn't use NOINLINE or unsafePerformIO internally (but it does use unsafeCoerce) < 1421741338 591619 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :is there a proof it cant be done in haskell < 1421741348 777785 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :without unsafe < 1421741393 357563 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I don't know. < 1421741400 924367 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i assume so < 1421741420 595747 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I think it's simiilar to ST < 1421741421 695356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you cannot make a top level value that depends on the result of an IO action < 1421741429 694508 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :I think you can't implement a pure version of ST wihour unsafe < 1421741473 186757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :vanila: yeah it requires dependent typing < 1421741506 31018 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :its interesting that it takes deptypes but has a pure, system F typed interface < 1421741683 168054 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Did you know it is possible to run Java programs on a Apple II computer? Apparently it is possible. < 1421741701 975592 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :wow < 1421742274 4630 :MoALTz__!~no@user-164-126-114-82.play-internet.pl JOIN :#esoteric < 1421742314 672308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: ok, it's easy enough to get a jump to an arbitrary address < 1421742372 683863 :MoALTz__!~no@user-164-126-114-82.play-internet.pl QUIT :Read error: Connection reset by peer < 1421742373 581592 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION leaves this investigation to people understanding more low-level stuff
< 1421742423 212150 :MoALTz!~no@78-11-152-253.static.ip.netia.com.pl JOIN :#esoteric < 1421742434 942814 :MoALTz_!~no@78-11-152-253.static.ip.netia.com.pl QUIT :Ping timeout: 246 seconds < 1421742699 566232 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :night < 1421742704 920352 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp PRIVMSG #esoteric :o/ < 1421743837 410588 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hi < 1421743892 863265 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas! < 1421743901 198820 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :hah hah. http://programming-motherfucker.com/ < 1421743916 365325 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: thanks for linking that cstheory question the other day < 1421743922 916870 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i snagged the bounty! < 1421743933 8356 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(didn't completely solve the problem, though) < 1421743939 28159 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I've seen you've given a partial answer < 1421743956 530889 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(also maybe we should point ais523 there as well) < 1421743974 326162 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :ca i see the link? < 1421744016 653777 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://cstheory.stackexchange.com/questions/21525/conjecture-about-two-counters-automata < 1421744028 379649 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :vanila: http://cstheory.stackexchange.com/q/21525/8067 < 1421744030 328973 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :(slow) < 1421744653 559247 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421745570 73278 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :morning < 1421745577 418419 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :J_Arcane: Is that sfw? @programming-motherfucker < 1421745592 83655 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :mroman: nothing more than some strong language. < 1421745659 278945 :vanila!~vanila@unaffiliated/vanila PRIVMSG #esoteric :good morning < 1421746932 704980 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Read error: Connection reset by peer < 1421747075 943279 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 246 seconds < 1421747699 844638 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com JOIN :#esoteric < 1421747919 539138 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Wroommmm < 1421748019 34512 :Jander!~Jander@furnace.nightwatch.org.uk JOIN :#esoteric < 1421748022 651449 :Jander!~Jander@furnace.nightwatch.org.uk PRIVMSG #esoteric :Morning all < 1421749937 667515 :King2218!793636ed@gateway/web/freenode/ip.121.54.54.237 JOIN :#esoteric < 1421749944 12854 :King2218!793636ed@gateway/web/freenode/ip.121.54.54.237 PART :#esoteric < 1421750106 601038 :rand_!bc2422ec@gateway/web/freenode/ip.188.36.34.236 JOIN :#esoteric < 1421750126 489589 :Lilax!uid52684@gateway/web/irccloud.com/x-haojeegjqlrgtklp QUIT :Quit: Connection closed for inactivity < 1421750206 690382 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1421750297 607725 :AndoDaan_!~AndoDaan@188.188.77.64 QUIT :Read error: Connection reset by peer < 1421750314 314997 :AndoDaan!~AndoDaan@188.188.77.64 JOIN :#esoteric < 1421750478 211020 :blockzombie!~blockzomb@d58-110-223-156.mas800.nsw.optusnet.com.au JOIN :#esoteric < 1421751099 622922 :hjulle!~hjulle@ankadagen.vth.sgsnet.se JOIN :#esoteric < 1421751601 596134 :rand_!bc2422ec@gateway/web/freenode/ip.188.36.34.236 QUIT :Ping timeout: 246 seconds < 1421752775 563798 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1421755743 857034 :Patashu_!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 264 seconds < 1421755769 588285 :coppro!raedford@taurine.csclub.uwaterloo.ca QUIT :Ping timeout: 264 seconds < 1421755852 217409 :coppro!raedford@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1421756019 365651 :hjulle!~hjulle@ankadagen.vth.sgsnet.se QUIT :Ping timeout: 252 seconds < 1421756070 49688 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer JOIN :#esoteric < 1421756460 866674 :boily!~alexandre@96.127.201.149 QUIT :Quit: SYLLABIC CHICKEN < 1421756986 42067 :AndoDaan!~AndoDaan@188.188.77.64 QUIT :Ping timeout: 265 seconds < 1421757605 311590 :vanila!~vanila@unaffiliated/vanila QUIT :Quit: Leaving < 1421759324 943242 :blockzombie!~blockzomb@d58-110-223-156.mas800.nsw.optusnet.com.au QUIT :Remote host closed the connection < 1421759891 421496 :ski!~ski@remote1.student.chalmers.se QUIT :Ping timeout: 252 seconds < 1421761192 774396 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421761394 63711 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 265 seconds < 1421761614 904924 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Quantum Dimensions14]]4 10 02http://esolangs.org/w/index.php?diff=41704&oldid=41604 5* 03TomPN 5* (+18) 10/* Setup */ < 1421761619 560426 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :http://mroman.ch/designs/d2/ < 1421761627 257830 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :this is actually probably the most clean design a website can have < 1421761632 131951 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Quantum Dimensions14]]4 10 02http://esolangs.org/w/index.php?diff=41705&oldid=41704 5* 03TomPN 5* (-1) 10/* Qubits */ < 1421761806 896545 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :and it looks good on smartphone < 1421761815 200936 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :and can be read on my smartphone without using zoom < 1421761851 318883 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I wish I could say that about professional websites made by professional web designers asking for thousands bucks < 1421761952 436876 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Quantum Dimensions14]]4 10 02http://esolangs.org/w/index.php?diff=41706&oldid=41705 5* 03TomPN 5* (+74) 10/* Setup */ < 1421762066 613762 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :some are pretty much unviewable on smartphones without zooming < 1421762084 514370 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :and the ads get in the way of pretty much anything < 1421762116 620506 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :frankly my favorite web design I ever did was some old rubbish in bare HTML I wrote when I was barely out of high school. < 1421762330 386172 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Websites for smartphones should be designed for < 1421762359 838138 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :and fuck everybody who does shitty things like body { font-size: 12pt; } < 1421762360 752718 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric ::) < 1421762398 278844 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :(although I did that in the past. But I notice know how much that sucks) < 1421762426 157498 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :That site didn't even have CSS. :D < 1421762544 393834 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :http://mroman.ch/noos/ is probably one of my first designs < 1421762873 51340 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer QUIT :Ping timeout: 265 seconds < 1421762876 881876 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :this is the second page I ever did. http://web.archive.org/web/20070630035631/http://hedgames.netfirms.com/ < 1421762894 541967 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :The first was a garish GeoCities monstrosity which has been blissfully lost. < 1421763173 833267 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer JOIN :#esoteric < 1421763387 198330 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :My most recent site design is not visible anywhere, because I can't be arsed to pay for hosting for what is little more than a gag app. < 1421763569 87750 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer QUIT :Ping timeout: 265 seconds < 1421763888 292843 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1421763922 941756 :oren!~oren@65.94.96.252 QUIT :Ping timeout: 240 seconds < 1421764259 943430 :h0rsep0wer!h0rsep0wer@unaffiliated/h0rsep0wer JOIN :#esoteric < 1421764317 672669 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 245 seconds < 1421764636 967697 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net JOIN :#esoteric < 1421765257 361120 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1421766264 284325 :oren!~oren@user3-223-64.wireless.utoronto.ca JOIN :#esoteric < 1421767098 676326 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1421767133 715592 :ProofTechnique!~textual@65-183-137-193-dhcp.burlingtontelecom.net JOIN :#esoteric < 1421767429 612967 :FreeFull!~freefull@wk-30-193.guest.rdg.ac.uk JOIN :#esoteric < 1421767431 454909 :FreeFull!~freefull@wk-30-193.guest.rdg.ac.uk QUIT :Changing host < 1421767431 608259 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1421767811 189977 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421768742 120156 :jbkcc!~jbkcc@76.74.153.41 JOIN :#esoteric < 1421768953 44020 :jbkcc!~jbkcc@76.74.153.41 QUIT :Client Quit < 1421769448 299287 :adu!~ajr@c-69-243-56-49.hsd1.md.comcast.net QUIT :Quit: adu < 1421769595 893488 :jbkcc!~jbkcc@76.74.153.41 JOIN :#esoteric < 1421770045 547754 :ProofTechnique!~textual@65-183-137-193-dhcp.burlingtontelecom.net QUIT :Quit: Textual IRC Client: www.textualapp.com < 1421770064 972223 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1421770069 283605 :ProofTechnique!~NihilistD@65-183-137-193-dhcp.burlingtontelecom.net JOIN :#esoteric < 1421770219 542662 :Frooxius!~Frooxius@ip-78-102-124-108.net.upcbroadband.cz QUIT :Ping timeout: 255 seconds < 1421770583 318844 :h0rsep0wer!h0rsep0wer@unaffiliated/h0rsep0wer QUIT :Ping timeout: 252 seconds < 1421772293 447837 :h0rsep0wer!h0rsep0wer@unaffiliated/h0rsep0wer JOIN :#esoteric < 1421772689 552328 :jbkcc!~jbkcc@76.74.153.41 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1421772716 240454 :oren!~oren@user3-223-64.wireless.utoronto.ca QUIT :Quit: Lost terminal < 1421773088 57042 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :hm < 1421773127 268875 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :If you take f(x)=x^2 and you calculate the difference g(x)=f(x+1)-f(x) < 1421773136 668936 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :and then h(x)=g(x+1)-g(x) < 1421773143 544095 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :you'll reach h(x)=2 < 1421773157 927418 :h0rsep0wer!h0rsep0wer@unaffiliated/h0rsep0wer QUIT :Ping timeout: 246 seconds < 1421773213 257669 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes < 1421773217 911218 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :(which is the same as derive(derive(f)) ) < 1421773233 339291 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :However, 2^x < 1421773257 171467 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :2^(x+1) - 2^x = 2^x < 1421773260 991417 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :so you end up at f again < 1421773278 581382 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :i.e. for f(x)=2^x -> g(x)=f(x+1)-f(x)=f(x) < 1421773373 788245 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer JOIN :#esoteric < 1421773379 181136 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :This is the real reason computer scientists use base-2 logarithms < 1421773381 376842 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :what does this tell me o_O < 1421773439 236791 :jbkcc!~jbkcc@17.114.219.63 JOIN :#esoteric < 1421773496 20870 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :http://mathworld.wolfram.com/FiniteDifference.html < 1421773509 505589 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :mroman: it says that 2 is for finite differences what e is for differentiation < 1421773539 510077 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(well, for the forward difference at least) < 1421773932 516666 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker JOIN :#esoteric < 1421774175 782541 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :hm < 1421774180 597800 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :for x^2 it ends up at 2 < 1421774183 529482 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :x^3 at 6 < 1421774187 652421 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :and x^4 at 24 < 1421774193 461333 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :which somehow looks like factorial numbers < 1421774221 136136 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that's right < 1421774269 102288 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(x+1)^k - x^k = k*x^(k-1) + O(x^(k-2)) < 1421774797 23296 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :@oeis 1,14,36,24 < 1421774799 179268 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Triangle of numbers T(n,k) = k!*Stirling2(n,k) read by rows (n >= 1, 1 <= k ... < 1421774841 781641 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right again < 1421774857 778231 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :yeah but this is bad < 1421774866 903185 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :as I remember from my courses there's no way to calculate Stirling numbers < 1421774880 300060 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :directly < 1421774886 803233 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :in a closed formula < 1421774920 323238 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :(d/dx)^n x^n = n! < 1421774992 801395 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The Stirling recurrence is quite nice for computers. < 1421775062 670233 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :And the mathematicians have done what they usually do when they encounter a function that's useful but has no closed formula: they introduced a notation for it. < 1421775325 109398 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Why would you need a closed formula to calculate things < 1421775457 975977 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :because < 1421775458 902878 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :also < 1421775464 843715 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :there's mod complex numbers o_O < 1421775609 805058 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh mroman will discover Galois theory next! < 1421775615 607282 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I should study galois theory < 1421775620 119377 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric ::) < 1421775621 131426 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :yeah < 1421775643 354714 :Lymia!~fujoshi@inportb/loli/cirno-chan QUIT :Ping timeout: 252 seconds < 1421775784 710283 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :too bad there's no money in that < 1421775857 376685 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :On the contrary, you can gain many galois connections < 1421775966 953365 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :is that a math joke? < 1421775975 941075 :ocharles_!sid30093@gateway/web/irccloud.com/x-hewglifnpllrkcxu NICK :ocharles < 1421775983 876019 :ocharles!sid30093@gateway/web/irccloud.com/x-hewglifnpllrkcxu QUIT :Changing host < 1421775984 46174 :ocharles!sid30093@musicbrainz/user/ocharles JOIN :#esoteric < 1421775987 665245 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes, http://galois.com/ is a serious company and a math insider joke < 1421776032 569415 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(they seemed to have lost their "connections" though) < 1421776138 325705 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(They're also kind of frightening. Their job advertisements usually require that people be able to acquire a security clearance in the US) < 1421776167 177840 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :they do military stuff < 1421776179 697866 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :As I said, frightening. < 1421776182 543719 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1421776199 54872 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Is there any ethical application of functional programming? ;-) < 1421776218 446684 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no < 1421776226 496711 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :it violates at least two of the Geneva Conventions < 1421776227 424332 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :makes the "serious international side-effects" unsafePerformIO fireMissiles jokes less funny :( < 1421776234 911382 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Military doesn't qualify, and neither do banks.) < 1421776337 142693 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :I propose renaming unsafePerformIO to sudo < 1421776378 760985 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :haha, automatically recording boards lead to some weird effects when games end... < 1421776397 785990 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :50 Kxf3 exf3 ... where'd the King go?! < 1421776487 632043 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I'm assuming the players started some reviewing right there) < 1421776540 938769 :Lymia!~fujoshi@172.56.7.207 JOIN :#esoteric < 1421776541 92060 :Lymia!~fujoshi@172.56.7.207 QUIT :Changing host < 1421776541 92163 :Lymia!~fujoshi@inportb/loli/cirno-chan JOIN :#esoteric < 1421776613 382286 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :int-e: Where does that come from? < 1421776663 140084 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: http://2700chess.com/live - it was the Caruana-Yifan game, but it's already been corrected. < 1421776667 767041 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :And how is the board automatically recorded? < 1421776673 612273 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :magnets < 1421776688 495599 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I think) < 1421776796 720663 :tromp!~tromp@rtc35-167.rentec.com PRIVMSG #esoteric :Yifan accepted a draw when she has mate in 11? < 1421776865 39188 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :But is there enough time? < 1421776957 247783 :tromp!~tromp@rtc35-167.rentec.com PRIVMSG #esoteric :oops; was watching a side-variation apparently < 1421777089 299800 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1421777245 525120 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"Modern, reliable sensor technology recognizes each piece accurately and fast." -- they could be using some RFID technology. < 1421777323 744981 :ski!~ski@remote1.student.chalmers.se JOIN :#esoteric < 1421778084 234078 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I believe the main reason they need security clearance is so that they can get contracts that require them to have security clearance < 1421778094 826741 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Iknow < 1421778192 688902 :Frooxius!~Frooxius@prg-3-106.static.adsl.vodafone.cz JOIN :#esoteric < 1421778481 134490 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(i.e., military contracts) < 1421778525 877398 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :"SMACCMPilot is an embedded systems software research project where we are building open-source autopilot software for small unmanned aerial vehicles (UAVs) using new high-assurance software methods." < 1421778533 467674 :J_Arcane!~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi PRIVMSG #esoteric :That kinda thing might have sometihng to do with it. < 1421778670 581947 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c JOIN :#esoteric < 1421778819 97457 :Tritonio!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c QUIT :Ping timeout: 276 seconds < 1421778820 837136 :Tritonio_!~tr@2a04:1980:3100:1aac:92e2:baff:fe42:f24c NICK :Tritonio < 1421778821 955811 :SopaXorzTaker!~SopaXorzT@unaffiliated/sopaxorztaker QUIT :Remote host closed the connection < 1421779299 593102 :MDream!~fyrc@67.235.2.71 NICK :MDude < 1421779352 757560 :arjanb!8259a9d1@gateway/web/freenode/ip.130.89.169.209 JOIN :#esoteric < 1421780010 332034 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :int-e: I know a structural engineer back in Finland who really wants a job at Boeing, and the whole security clearance (exclusive to US citizens?) thing makes many of their positions not applicable. < 1421780157 21661 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net JOIN :#esoteric < 1421780187 183268 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I have heard of people who aren't US citizens getting a job at Boeing though < 1421780310 477536 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Not all of their jobs require a security clearance. But many do. Or so I've heard. < 1421780435 133937 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Why? < 1421780697 280095 :S1!~S1@p4FF920E1.dip0.t-ipconnect.de JOIN :#esoteric < 1421781000 662972 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I guess it depends on how closely in the job you would be involved with their projects done for the military? < 1421781517 89096 :ais523!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net JOIN :#esoteric < 1421781526 154858 :ais523!~ais523@cpc6-king9-2-0-cust765.perr.cable.virginm.net QUIT :Changing host < 1421781526 308345 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1421782442 202499 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :"~'s owner controls you." < 1421782533 594726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I hear even US citizens who are citizens of other countries have trouble with it. < 1421782803 645751 :shikhin_!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1421782929 965236 :S1!~S1@p4FF920E1.dip0.t-ipconnect.de QUIT :Quit: S1 < 1421782973 258424 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1421783519 453455 :Froox!~Frooxius@prg-3-106.static.adsl.vodafone.cz JOIN :#esoteric < 1421783607 286723 :Froox!~Frooxius@prg-3-106.static.adsl.vodafone.cz QUIT :Client Quit < 1421783648 194982 :Frooxius!~Frooxius@prg-3-106.static.adsl.vodafone.cz QUIT :Ping timeout: 245 seconds < 1421783672 477555 :jbkcc!~jbkcc@17.114.219.63 QUIT :Quit: My Mac has gone to sleep. ZZZzzz… < 1421784080 47965 :nys!~nysnamovo@blk-215-85-138.eastlink.ca JOIN :#esoteric < 1421784250 131279 :shikhin_!~shikhin@unaffiliated/shikhin NICK :shikhin < 1421784419 327395 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1421784737 836256 :augur!~augur@206-196-186-151.wireless.umd.edu JOIN :#esoteric < 1421785247 924342 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :I made up some more Magic: the Gathering cards, even a few of my cards involve old stuff such as shadow and phasing and cumulative upkeep and banding. < 1421785263 780839 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? zzo38mtg < 1421785290 259266 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :Temporal Shadows (1{W/U/B}) Enchantment - Aura ;; Enchant creature ;; Phasing ;; Enchanted creature gains shadow. < 1421785498 170242 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 245 seconds < 1421785721 88975 :zzo38!~zzo38@24-207-58-35.eastlink.ca PRIVMSG #esoteric :In case you need the URL: http://zzo38computer.org/textfile/miscellaneous/magic_card/cards.txt < 1421785864 633532 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 245 seconds < 1421785983 606564 :zzo38!~zzo38@24-207-58-35.eastlink.ca QUIT :Remote host closed the connection < 1421785988 897607 :Lymia!~fujoshi@inportb/loli/cirno-chan QUIT :Ping timeout: 246 seconds < 1421786296 112421 :augur!~augur@206-196-186-151.wireless.umd.edu QUIT :Remote host closed the connection < 1421786922 905318 :Lymia!~fujoshi@tccd250-2.tccd.edu JOIN :#esoteric < 1421786926 203661 :Lymia!~fujoshi@tccd250-2.tccd.edu QUIT :Changing host < 1421786926 357357 :Lymia!~fujoshi@inportb/loli/cirno-chan JOIN :#esoteric < 1421787629 942115 :h0rsep0wer!~h0rsep0we@unaffiliated/h0rsep0wer QUIT :Ping timeout: 264 seconds < 1421787748 877917 :oren!~oren@TOROON0949W-LP130-04-1096704252.dsl.bell.ca JOIN :#esoteric < 1421787802 441841 :mroman!~roman2@80.246.50.48 PRIVMSG #esoteric :Merry Christmas < 1421788985 102970 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1421789285 160378 :APic!apic@apic.name PRIVMSG #esoteric :https://www.youtube.com/watch?v=D5JA8Ytk9EI&list=PL1474DAB09C40D3BA&index=111 < 1421789989 594349 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :ais523: this question about one of those strange exponentially inefficient computing models might or might not interest you: http://cstheory.stackexchange.com/q/21525/ < 1421790230 791983 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman: happy birthday < 1421790423 74229 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :christmas?! which calendar's year is ending in 7 days? < 1421790458 603597 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(By that calculation, Feb 12 is Chinese Christmas this year...) < 1421790624 158543 :APic!apic@apic.name PRIVMSG #esoteric :*g* < 1421790625 19875 :APic!apic@apic.name PRIVMSG #esoteric :Nice. < 1421790637 507399 :APic!apic@apic.name PRIVMSG #esoteric :mroman: Happy Birthday from me, too. < 1421790697 48217 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Or perhaps the 11th. Hmm. < 1421790860 189030 :APic!apic@apic.name PRIVMSG #esoteric :Hm. < 1421790921 25783 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Christmas itself has a somewhat hazy definition. Is it the 24th? the 25th? or does it describe more than one day?) < 1421790922 516667 :ProofTechnique!~NihilistD@65-183-137-193-dhcp.burlingtontelecom.net QUIT :Quit: Textual IRC Client: www.textualapp.com < 1421791689 506026 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Well "christmas day" is the 25th and "christmas eve" the 24th < 1421791727 63233 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I mean, even though we only celebrate on the 24th we still use the same nomenclature, so I think I'd put 25th as the "date of christmas" < 1421791727 829281 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :`2014 < 1421791733 306983 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric ::( < 1421791872 150323 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :for me "christmas" is definitely on christmas eve < 1421791881 655567 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :christmas day starts the after-christmas < 1421791996 981781 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`cat bin/2014 < 1421792010 654791 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh. < 1421792064 743171 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`echo ? < 1421792095 759447 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, not on channel? < 1421792113 963684 :Frooxius!~Frooxius@ip-78-102-124-108.net.upcbroadband.cz JOIN :#esoteric < 1421792144 186775 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1421792146 819896 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There we go. < 1421792158 623511 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`cat bin/2014 < 1421792167 594462 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ if [ $(date +%Y) = "$(basename "$0")" ] \ then echo "Hello, world!" \ fi < 1421792180 350728 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`2015 < 1421792182 130965 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1421792202 986876 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` ls -la bin/2015 < 1421792204 322143 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​-rwxr-xr-x 1 5000 0 80 Jan 6 17:40 bin/2015 < 1421792218 996177 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`cat bin/2015 < 1421792219 820914 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/bin/sh \ if [ $(date +%Y) != "$(basename "$0")" ] \ then echo "Hello, world!" \ fi < 1421792301 372731 :olsner!~salparot@c80-217-116-33.bredband.comhem.se PRIVMSG #esoteric :`run date < 1421792302 8608 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Tue Jan 20 22:18:21 UTC 2015 < 1421792307 177682 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh damn. < 1421792374 609440 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I forgot about the joke. < 1421792408 140945 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :use data +%G instead of date +%Y for some bonus confusion < 1421792417 806016 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`data < 1421792418 622785 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: data: not found < 1421792436 622250 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :date < 1421792468 954417 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`` date -d '2014-12-30' +'%G %Y' < 1421792469 621623 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :2015 2014 < 1421792507 517689 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh that's the one where Wednesday decides which year the week belongs to? < 1421792532 126367 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: As far as we know turning off TypeFamilies doesn't allow you to run arbitrary IO, right? < 1421792607 923485 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah no, Thursday decides. < 1421792641 848954 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: as far as we know, and there may be "evil" type families ready to exploit in some library already. < 1421792663 864612 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, no one knows how to do it right now, at least. < 1421792678 240225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Of course we do know how to crash the program, but that's not so bad.) < 1421792707 518995 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I don't, yet. < 1421792725 131190 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :You can provide broken Ord instances and the like? < 1421792736 833600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How? < 1421792764 967251 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :But you can do that anyway :) < 1421792780 537922 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I just meant crash the program with a GADT. < 1421792896 504254 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1421793183 472244 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :V.y = case V.x of _ [Occ=Dead] { } ... right. < 1421793233 93015 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If GHC did a little optimization then you could write unsafeCoerce just like with type families. < 1421793994 306682 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1421794533 467275 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1421794684 915043 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :@metar CYUL < 1421794685 260991 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :CYUL 202200Z 24015KT 15SM FEW120 M15/M21 A2999 RMK AC1 AC TR SLP160 < 1421794835 243288 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1421794902 308674 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :Well, in approximately the past week I have watched all of Gravity Falls < 1421794911 845743 :Lymia!~fujoshi@inportb/loli/cirno-chan QUIT :Ping timeout: 264 seconds < 1421794997 112468 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :Tanelle! how was it? < 1421795008 845797 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :hellørjan. how is it? < 1421795169 541742 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :g'doily. still basking in my bounty. < 1421795178 696479 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :I really enjoyed it < 1421795199 296718 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :oerjan, you have a bounty? < 1421795202 356524 :Taneb!~Taneb@runciman.default.hacksoc.uk0.bigv.io PRIVMSG #esoteric :What are you wanted for? < 1421795234 707227 :boily!~alexandre@96.127.201.149 PRIVMSG #esoteric :oerjan: how much are you worth? < 1421795244 249331 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, i got a bounty, on cstheory.stackexchange. 100 rep. < 1421795339 962617 :Lymia!~fujoshi@tccd247-195.tccd.edu JOIN :#esoteric < 1421795340 152828 :Lymia!~fujoshi@tccd247-195.tccd.edu QUIT :Changing host < 1421795340 152931 :Lymia!~fujoshi@inportb/loli/cirno-chan JOIN :#esoteric < 1421795444 817787 :blockzombie!~blockzomb@eth59-167-133-100.static.internode.on.net JOIN :#esoteric < 1421796166 665117 :chaosagent!~quassel@c-98-210-97-139.hsd1.ca.comcast.net JOIN :#esoteric < 1421796367 946987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (well, for the forward difference at least) <-- a^x - a^(x-1) = a^x has no useful solution :( < 1421796381 66585 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: yes! < 1421796402 731751 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: you discovered the reason why I wrote that... < 1421796435 718619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm what if you allow more general functions < 1421796453 62933 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...obviously not < 1421796776 328242 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net QUIT :Quit: adu < 1421796882 40240 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 264 seconds < 1421797007 34697 :GeekDude!~GeekDude@unaffiliated/g33kdude QUIT :Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com) < 1421797365 171206 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: this works when compiled, http://lpaste.net/3502469903456141312 < 1421797386 715549 :Lymia!~fujoshi@inportb/loli/cirno-chan QUIT :Read error: Connection reset by peer < 1421797428 334770 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: whoa < 1421797452 158306 :tangentstorm!~michal@108-218-151-22.lightspeed.rcsntx.sbcglobal.net JOIN :#esoteric < 1421797463 10787 :idris-bot!~ircslave@dslb-092-072-182-072.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 240 seconds < 1421797463 639163 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess I never bothered checking outside ghci. < 1421797478 187133 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or something. < 1421797542 316162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: you mean it needs major change to work then? < 1421797563 90590 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1421797570 649622 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you're not using TypeFamilies any more < 1421797590 376828 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, not surprising. < 1421797617 78913 :Melvar!~melvar@dslb-092-072-182-072.092.072.pools.vodafone-ip.de QUIT :Ping timeout: 276 seconds < 1421797647 679829 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :are AutoDeriveTypeable and RankNTypes really needed? < 1421797648 780161 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, hmm. < 1421797657 647290 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(so ghc does that little optimization where it doesn't bother to check the constructor's tag if the pointer is tagged and the type allows only one constructor) < 1421797667 677755 :GeekDude!~GeekDude@unaffiliated/g33kdude JOIN :#esoteric < 1421797676 899595 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: Only when compiling, I guess. < 1421797677 789608 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh so for GADTs you _need_ that optimization? < 1421797688 986949 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes. < 1421797694 667202 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Actually it looks like int-e did something more complicated than what I did. < 1421797709 109867 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ghci crashes gracefuilly complaining about hitting an impossible case. < 1421797712 866526 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe that's why his trick works. < 1421797744 109154 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because I just did the direct equivalent of the type family, data F a b p where { A :: a -> F a b PX; B :: b -> F a b PY } < 1421797763 678225 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But maybe the way int-e did it it just checks that the value isn't _|_ without actually checking the tag, because it's just being used as an equality proof. < 1421797768 319257 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I need a typeable instance for Y, of course. The Rank2Types are only needed to get a proper unsafecoerce instead of any special case you might desire. < 1421797786 29274 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: yes, I think so. < 1421797814 564515 :blockzombie!~blockzomb@eth59-167-133-100.static.internode.on.net QUIT :Ping timeout: 245 seconds < 1421797837 370983 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Clever. < 1421797840 164693 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: in the TypeFamilies version, i managed to avoid deriving Typeable by just applying cast to the predefined :~: type... < 1421797893 204235 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and its nested Proxies < 1421797956 427065 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :one time spj called "gcast Refl" "a ferociously-unintuitive use of 'gcast'" < 1421797962 241659 :Melvar!~melvar@dslb-088-078-155-151.088.078.pools.vodafone-ip.de JOIN :#esoteric < 1421798083 81288 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you're not actually using ST are you < 1421798100 644756 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :caST hth < 1421798106 88664 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: no, of course not. < 1421798107 608675 :APic!apic@apic.name PRIVMSG #esoteric :http://Hentai.Republican/ < 1421798132 435256 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I was playing with the idea of just doing unsafePerformUnitIO :: IO () -> () < 1421798145 828980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok < 1421798235 603688 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: I guess your exploit shows that one can easily use TypeFamilies to lift one inconsistent type cast to arbitrary ones, without having to resort to RankNTypes. They're sort of hidden in the 'supercast' thing. < 1421798260 925064 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1421798295 414325 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :good name, supercast < 1421798298 725265 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: At least to me, the F seems essential there. < 1421798301 821240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes but is there anything preventing that from working with the GADT version as well < 1421798325 667314 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I called it castAB :: f A -> f B ;-)