< 1357085261 601801 :sebbu2!~sebbu@ADijon-152-1-24-217.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1357085281 602269 :sebbu2!~sebbu@ADijon-152-1-24-217.w83-194.abo.wanadoo.fr QUIT :Changing host < 1357085281 773600 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1357085364 294807 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :Remote host closed the connection < 1357085458 441382 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1357085927 533225 :GreyKnight!~GK@dab-bas1-h-1-8.dab.02.net QUIT :Ping timeout: 255 seconds < 1357086139 185536 :GreyKnight!~GK@dab-bas1-h-71-9.dab.02.net JOIN :#esoteric < 1357086939 515751 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1357087151 265700 :GreyKnight!~GK@dab-bas1-h-71-9.dab.02.net QUIT :Ping timeout: 252 seconds < 1357087357 514920 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1357087447 764994 :GreyKnight!~GK@dab-bas1-h-71-7.dab.02.net JOIN :#esoteric < 1357087992 890922 :GreyKnight!~GK@dab-bas1-h-71-7.dab.02.net QUIT :Ping timeout: 276 seconds < 1357088007 556060 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :That's cool: < 1357088011 233117 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"'2013' is non-prime in any base b: 2013_b = 2b³ + b + 3 = (b+1)(2b² - 2b + 3)" < 1357088107 687871 :GreyKnight!~GK@dab-bhx2-h-65-10.dab.02.net JOIN :#esoteric < 1357088376 668093 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: that's essentially the division by 11 test when the result is exactly 0 so doesn't need to be repeated < 1357088449 579583 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :hi oerjan: thanks for the notes < 1357088456 46108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yw < 1357088501 460006 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :`run quote 652 > paste < 1357088502 725490 :HackEgo!codu@codu.org PRIVMSG #esoteric :bash: paste: Is a directory < 1357088515 120637 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :`bin/run quote 652 > paste < 1357088516 124925 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/run: No such file or directory \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/run: cannot execute: No such file or directory < 1357088550 258977 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: actually understanding how shell commands work is also recommended :P < 1357088581 476748 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`help < 1357088581 903649 :HackEgo!codu@codu.org PRIVMSG #esoteric :Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ < 1357088583 834969 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`run echo hi < 1357088585 340512 :HackEgo!codu@codu.org PRIVMSG #esoteric :hi < 1357088593 302594 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1357088594 480120 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`revert < 1357088597 571272 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :GreyKnight: you scoundrel < 1357088597 817935 :HackEgo!codu@codu.org PRIVMSG #esoteric :Done. < 1357088603 129492 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :er < 1357088603 899693 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: < 1357088630 92200 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :just want to know if i can use pipe to output sth on the pastesite returning a link < 1357088642 322202 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`bin/run echo "i thought he said it wouldn't work anyway" < 1357088643 642574 :HackEgo!codu@codu.org PRIVMSG #esoteric :i thought he said it wouldn't work anyway < 1357088656 604162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: yes but > is not the correct syntax for that < 1357088662 612190 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :lol < 1357088663 896159 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :ok < 1357088668 130943 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :you're right < 1357088673 426005 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :is it just paste? < 1357088683 96324 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i convinced him it would < 1357088685 147938 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :`bin/run quote 652 | paste < 1357088689 432548 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.22907 < 1357088692 640082 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :great < 1357088694 291414 :GreyKnight!~GK@dab-bhx2-h-65-10.dab.02.net PRIVMSG #esoteric :I didn't do nothing! < 1357088723 807980 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :`bin/run quote 692 | paste < 1357088727 935498 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.26677 < 1357088785 140272 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i meant the `bin/run thing < 1357088805 757502 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: you don't actually need the bin/ part, that was just part of an elliott experiment < 1357088836 251138 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yes i convinced him it'd be ok < 1357088854 65392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`/bin/echo hi < 1357088855 522129 :HackEgo!codu@codu.org PRIVMSG #esoteric :hi < 1357088892 201275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: yes but you played around with a lot of env stuff, because he said something about only alphanums, which apparently isn't true < 1357088902 26630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you can just use absolute paths < 1357088942 629946 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: ??? < 1357088946 378918 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i have no idea wtf you are talking about < 1357088952 724635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...which should be obvious anyway given the existence of `? < 1357089022 296880 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :21:07:29: But `/hackenv/run wouldn't work. < 1357089022 470471 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :21:07:33: why not < 1357089022 470557 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :21:07:34: Because it's a-x < 1357089030 489431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this is what i'm referring to < 1357089032 382139 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :i'm not sure if hackego first tries to `run as builin function before looking up in /bin < 1357089038 75787 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :i guess it does < 1357089051 174877 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: ...do you know what a-x means < 1357089055 13594 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: it does, although they just discussed whether to change that < 1357089062 939538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1357089067 968091 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: (permissions) < 1357089073 404423 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1357089138 118070 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i misunderstood what that was all about then, and you didn't help much by never actually testing `bin/run :P < 1357089149 144074 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which of course didn't make sense anyway. hm... < 1357089161 992758 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run cp bin/run . < 1357089164 386328 :sebbu!~sebbu@ADijon-152-1-24-217.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1357089165 49341 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1357089180 293238 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`./run echo test < 1357089181 684927 :HackEgo!codu@codu.org PRIVMSG #esoteric :test < 1357089185 796901 :sebbu!~sebbu@ADijon-152-1-24-217.w83-194.abo.wanadoo.fr QUIT :Changing host < 1357089185 967786 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1357089216 470097 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :ais523: Speaking of those tape heatmaps, I told the hierarchical-cluster plot -- http://zem.fi/egostats/plot_cluster.png -- that used scores for distances to do the same thing except with Euclidean distance between normalized average (across duels, but not tape length/polarity) tape heatmaps, and it spit out http://zem.fi/egostats/plot_heatclust.png -- don't know if those are "more ... < 1357089222 966137 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :... appropriate" strategywise or anything. < 1357089223 585805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1357089230 977571 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i was still misunderstanding < 1357089296 634444 :GreyKnight!~GK@dab-bhx2-h-65-10.dab.02.net QUIT :Ping timeout: 255 seconds < 1357089313 276456 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION _thinks_ he's got it now, but better keep his mouth shut :P < 1357089358 489939 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1357089518 571638 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 255 seconds < 1357089526 247129 :GreyKnight!~GK@dab-bhx2-h-65-7.dab.02.net JOIN :#esoteric < 1357089554 357519 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: if it's any consolation I understand less of what you say < 1357089563 955213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay! < 1357089666 58440 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i somehow managed to misinterpret the conversation to get into my head that ` commands couldn't contain '/' , which somehow seemed to fit the rest of your experimentation < 1357089678 14221 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(back earlier today) < 1357089683 123990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*tonight < 1357089824 284160 :GreyKnight!~GK@dab-bhx2-h-65-7.dab.02.net QUIT :Ping timeout: 252 seconds < 1357089900 925552 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mm < 1357089952 129305 :GreyKnight!~GK@dab-bhx2-h-65-10.dab.02.net JOIN :#esoteric < 1357089984 976773 :GreyKnight!~GK@dab-bhx2-h-65-10.dab.02.net QUIT :Client Quit < 1357090617 477079 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 240 seconds < 1357090813 923311 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1357090842 267752 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1357090888 425512 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hmm < 1357090900 380171 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I am not amused by DrRacket saving files in an opaque way < 1357090900 746527 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :https://github.com/mflatt/scratchy/blob/master/scratchy/examples/fish.rkt < 1357091280 625603 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :`fetch https://www.googleapis.com/customsearch/v1?key=AIzaSyBfdt4VN9qT_Y8LAl100TBRCWAOiSTaqSY&cx=009459769908964694922:yb5esesqxmg&q=robocop&searchType=image&fileType=jpg&imgSize=xlarge&alt=json&safe=off < 1357091283 804276 :HackEgo!codu@codu.org PRIVMSG #esoteric :2013-01-02 01:48:02 URL:https://www.googleapis.com/customsearch/v1?key=AIzaSyBfdt4VN9qT_Y8LAl100TBRCWAOiSTaqSY&cx=009459769908964694922:yb5esesqxmg&q=robocop&searchType=image&fileType=jpg&imgSize=xlarge&alt=json&safe=off [10585] -> "v1?key=AIzaSyBfdt4VN9qT_Y8LAl100TBRCWAOiSTaqSY&cx=009459769908964694922:yb5esesqxmg&q=robocop&searchType=image&fileTy < 1357091312 122855 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :`fetch https://www.googleapis.com/customsearch/v1?key=AIzaSyBfdt4VN9qT_Y8LAl100TBRCWAOiSTaqSY&cx=009459769908964694922:yb5esesqxmg&q=robocop&searchType=image&fileType=jpg&imgSize=xlarge&alt=json&safe=off | paste < 1357091312 617928 :HackEgo!codu@codu.org PRIVMSG #esoteric :https://www.googleapis.com/customsearch/v1?key=AIzaSyBfdt4VN9qT_Y8LAl100TBRCWAOiSTaqSY&cx=009459769908964694922:yb5esesqxmg&q=robocop&searchType=image&fileType=jpg&imgSize=xlarge&alt=json&safe=off%20%7C%20paste: \ 2013-01-02 01:48:32 ERROR 400: Bad Request. < 1357091342 939541 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :`ls bin < 1357091344 32688 :HackEgo!codu@codu.org PRIVMSG #esoteric :​? \ @ \ WELCOME \ addquote \ allquotes \ anonlog \ calc \ define \ delquote \ etymology \ forget \ fortune \ frink \ google \ hatesgeo \ interp \ joustreport \ jousturl \ json \ karma \ karma- \ karma+ \ learn \ log \ logurl \ lua \ luac \ luarocks \ luarocks-admin \ macro \ maketext \ marco \ No \ pastaquote \ paste \ pastefortune < 1357091366 411013 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run ls v* < 1357091368 84486 :HackEgo!codu@codu.org PRIVMSG #esoteric :v1?key=AIzaSyBfdt4VN9qT_Y8LAl100TBRCWAOiSTaqSY&cx=009459769908964694922:yb5esesqxmg&q=robocop&searchType=image&fileType=jpg&imgSize=xlarge&alt=json&safe=off < 1357091401 685996 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run mv v* robocop < 1357091405 395110 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1357091413 923204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`file robocop < 1357091417 604587 :HackEgo!codu@codu.org PRIVMSG #esoteric :robocop: ASCII English text, with very long lines < 1357091436 878460 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :fizzie: looking now < 1357091456 586077 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, hmm < 1357091460 926954 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's better in some places < 1357091462 636499 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but worse in others < 1357091471 265887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^url robocop < 1357091479 515825 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :like, my turtles are correctly grouped close to each other < 1357091480 718835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`url robocop < 1357091485 93117 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/robocop < 1357091492 223271 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but space_hotel is in there too and it works entirely differently < 1357091493 473392 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :what the hell < 1357091520 936076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i assume that's what they call json < 1357091598 57692 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: in any case you can use `url instead of paste when the file is already in HackEgo; paste doesn't do anything other than making a copy and giving the result of url on that < 1357091623 650844 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :so the first command worked? < 1357091639 634852 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1357091653 807982 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :how is it named robocop anyway? < 1357091673 360586 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :i missed that point < 1357091718 234007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: i just used mv < 1357091736 410690 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :(or to put it this way: where do i find the result of `fetch..) < 1357091736 909458 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :ok < 1357091747 902068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : `fetch gave it a long name containing everything after the last / in the url < 1357091779 316628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and that's what HackEgo gave after the -> in the `fetch response < 1357091781 641156 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what's the verdict on free monads < 1357091818 48957 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: free monads are cool, they feel more reified somehow < 1357091839 656311 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :could we have an alias for that command taking 1 argument passed as query string? do we have any conventions on creating such aliases? < 1357091851 420017 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what about cofree comonads < 1357091858 480248 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: no f idea < 1357091865 510801 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are the ol? < 1357091870 331700 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/the/they/ < 1357091884 754669 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Cofree is just like Free except it uses (,) instead of Either. < 1357091891 759434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: `fetch is a builtin command which can only be used alone < 1357091899 492401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So Cofree f a = (a, f (a, f (a, f (... < 1357091916 770452 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: i.e. you cannot use it from within other HackEgo commands < 1357092008 739227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: there _is_ a system for contacting a whitelist of web sites from within HackEgo commands, but it is currently broken < 1357092031 432537 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :is that a convention to be satisfied`? l just would like to have some aliases binding to webservices.. which imho would be a nice method extending things ya know < 1357092050 394768 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: we used to have some < 1357092077 422130 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but the api's changed, so many of them broke again, and then the web proxy itself broke < 1357092088 407486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :only Gregor can fix it < 1357092141 64043 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :`url https://www.googleapis.com/customsearch/v1?key=AIzaSyBfdt4VN9qT_Y8LAl100TBRCWAOiSTaqSY&cx=009459769908964694922:yb5esesqxmg&q=strawberry&searchType=image&fileType=jpg&imgSize=xlarge&safe=off | fetch < 1357092142 240320 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/https://www.googleapis.com/customsearch/v1?key=AIzaSyBfdt4VN9qT_Y8LAl100TBRCWAOiSTaqSY&cx=009459769908964694922:yb5esesqxmg&q=strawberry&searchType=image&fileType=jpg&imgSize=xlarge&safe=off | fetch < 1357092164 974455 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :ls v* < 1357092177 786913 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :meh < 1357092297 368666 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :`run ls v* < 1357092298 699418 :HackEgo!codu@codu.org PRIVMSG #esoteric :ls: cannot access v*: No such file or directory < 1357092314 798272 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1357092317 612746 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :where is the output of url going to? < 1357092355 265631 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :shouldn't be the stdout? < 1357092402 221007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: url doesn't fetch anything, it takes a filename already existing in HackEgo and tells you where to browse it on Gregor's website < 1357092416 665487 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, you cannot combine fetch with anything, i said < 1357092499 753759 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: basically url doesn't do anything other than prepending http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/ to its argument < 1357092539 191636 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net JOIN :#esoteric < 1357092615 756756 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :so what is the bullshit fetch is sending to the stdout instead of the response? < 1357092635 836201 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :basically fetch, like run and help, are builtin HackEgo commands that aren't looked up inside the sandbox. and unlike the two others fetch cannot be emulated fully. < 1357092652 900665 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :can i just use wget instead? < 1357092661 322205 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :or is it restricted too < 1357092701 248035 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: timestamp the://UrlYouGaveIt [size] -> theFileNameWhereItPutIt < 1357092726 813111 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wget would be restricted, and currently broken because the web proxy from inside the sandbox is broken < 1357092748 507360 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run which wget < 1357092750 94017 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/usr/bin/wget < 1357092769 537172 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`wget http://www.google.com < 1357092770 942487 :HackEgo!codu@codu.org PRIVMSG #esoteric :​--2013-01-02 02:12:50-- http://www.google.com/ \ Connecting to 127.0.0.1:3128... failed: Connection refused. < 1357092805 169178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :iirc google.com is in the whitelist, so should work if the proxy does < 1357092819 337070 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote Jafet < 1357092819 507846 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Jafet says: Help, I'm trapped in this channel I tried to escape but ghc said occurs check < 1357092835 152600 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :it would be SOOOO NICE to use REST services :( < 1357092871 749383 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hagb4rd: you'll just have to nag Gregor to get the proxy working again < 1357092944 370426 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :i'll try too, if you share my opinion on that < 1357092962 678839 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :which i think is the case < 1357092970 23346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think it would be nice to get some basic searches working < 1357092989 301784 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :i'd like to go further < 1357093005 236388 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although lambdabot has a few relevant commands < 1357093030 722969 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :and just be able to write my own services as embedded extensions < 1357093038 534673 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :parked elsewhere < 1357093059 147802 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :that was just a test in first case < 1357093083 523674 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 245 seconds < 1357093098 975260 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :imagesearch is indeed not that relelvant in this channel < 1357093103 64199 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :i think < 1357093104 492584 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric ::) < 1357093330 980102 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1357093363 585277 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If I have $z=12^xy^2$ in natural numbers, then what is an algorithm to figure out x and y when given z? < 1357093415 66779 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Assume y is nonzero, but x is possible to be zero.) < 1357093452 219120 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :you mean (12^x)(y^2) or 12^(xy)^2 or ...? < 1357093463 652274 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Fiora: the former in tex < 1357093469 834498 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ah < 1357093483 635820 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net PRIVMSG #esoteric :this way we wouldn't need to have more bots joining the channel and so on.. just a clean interface as defined by a webservice.. the output goes to stdout and can be piped elsewhere.. but then we should agree on some conventions on alias/script names so we won't get lost (if we not already are) < 1357093524 252234 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: something like while (z % 12 == 0) { z /= 12; x++ } y = sqrt (z) < 1357093564 737185 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: I am not sure that works. < 1357093600 480413 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1357093632 213291 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And it is needed one for computers that doesn't have square root and division and so on < 1357093644 677581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: well ok you get _one_ solution that way, others will be given by x - 2n and y*144^n < 1357093667 937514 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: Yes, OK < 1357093685 232808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: oh hm right there's the question of whether x or x+1 makes the remaining z a square < 1357093695 51506 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes < 1357093700 571782 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :That is what I meant. < 1357093728 315961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: but anyway starting with the above, the rest is a matter of finding the square root of the remaining part of z or 12*z < 1357093781 596178 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :int y; < 1357093781 789817 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :int x = 0; < 1357093781 960615 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :while(1) < 1357093781 960789 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :{ int s = isqrt(z); if(s*s == z) {y = s; break;} if(z%12 != 0) goto fail; x++; z /= 12; < 1357093784 549462 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :} < 1357093827 705185 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Fiora: oh hm right, that would work to halt as early as possible instead < 1357093841 32192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to give the _largest_ solution for y instead < 1357093893 755353 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Fiora: in fact you could improve that by only testing twice, since if it doesn't become a square after dividing by 12 and wasn't one already, then it never will become one < 1357093922 363740 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :makes sense < 1357094040 772016 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: so if you don't have a solution with x==0 or x==1 then you don't have any at all < 1357094086 320772 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but if y is divisible by 12 you will get additional ones < 1357094145 550638 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :oerjan: O, OK. I may need to change some things then, because I need to support at least up to x==2 < 1357094203 579170 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if x==2, y==n are solutions, then x==0, y==12*n will also be < 1357094274 418143 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK. < 1357094284 26901 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I can see that. < 1357094748 991057 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : --help display this help and exit < 1357094749 162056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : --version output version information and exit < 1357094749 162264 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : --bibliography output recommended readings and exit < 1357094769 69569 :Bike!~Glossina@67-5-226-214.ptld.qwest.net PRIVMSG #esoteric :what program is that < 1357094784 587205 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pi < 1357095095 960945 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :version 3.14159265358979 < 1357095149 331683 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it is a program that outputs pi to a specified accuracy? < 1357095180 389424 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is it TeX who uses successive approximations of pi as version numbers? < 1357095186 194927 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1357095194 178126 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, TeX uses that. < 1357095206 666646 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I currently have TeX version 3.1415926. < 1357095211 840100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: What does TeXnicard use? < 1357095224 282290 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :When Knuth is dead, the final official version shall be updated to version $\pi$ exactly. < 1357095232 982514 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Just ordinary version numbers. < 1357095245 573325 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :METAFONT uses approximations of the base of natural logarithms. < 1357095266 657566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should write a program whose version number approximates 2. < 1357095275 276915 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: you don't just call it e? < 1357095301 280508 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :quintopia: It is called e, yes. < 1357095306 156543 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (exp.exp.exp.exp)1 < 1357095308 308952 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Infinity < 1357095324 184814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: what's the verdict on free monads < 1357095328 707125 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1357095334 736281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi < 1357095351 114194 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Penrose uses upright rather than italic "e" for the base of natural logarithms and I agree with him; so it would be ${\rm e}$ in TeX. < 1357095355 883816 :ion!ion@heh.fi PRIVMSG #esoteric :> (exp.exp.exp.exp) 1 :: CReal < 1357095361 175381 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval: ExitFailure 1 < 1357095361 347804 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : mueval: Prelude.undefined < 1357095372 8774 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Same with imaginary unit, and derivative operator. < 1357095444 332249 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However, the lowercase Greek in Computer Modern is only italic, and I am not entirely sure how I might change them to be able to work with not italic lowercase Greek as well, for pi and so on, but I might be able to try. < 1357095452 343869 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :zzo38: then you can just say e instead of "the base of natural logarithms" because we will know what you mean AND...you don't have to type as many words! < 1357095483 474120 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :quintopia: I can type fast. < 1357095507 973855 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :me too. "fast" < 1357095552 659258 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: Can you unkarma me? < 1357095563 564050 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The whole mwahahaha deal. < 1357095731 286661 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Does TeXnicard support TeXnicolour? < 1357095759 877681 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :shachaf-- < 1357095771 640913 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I did play Dungeons&Dragons game today; making screaming fire and greasy floor did help to earn some time, a bit. I also put the wand I stole underneath the door they were going to break down, before teleporting to outside; therefore it activated when they broke the door. < 1357095804 335247 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^ul ((@karma- shachaf)S:^):^ < 1357095805 75083 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- shachaf@karma- s ...too much output! < 1357095805 247628 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :shachaf@karma-'s karma lowered to -1. < 1357095811 444862 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1357095812 697628 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :good job < 1357095824 568130 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^ul ((@karma- shachaf )S:^):^ < 1357095825 404512 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :@karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @karma- shachaf @kar ...too much output! < 1357095825 575588 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :shachaf's karma lowered to 72. < 1357095836 150407 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er wait < 1357095843 94698 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^ul ((shachaf-- )S:^):^ < 1357095843 715660 :fungot!fis@selene.zem.fi PRIVMSG #esoteric :shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shachaf-- shac ...too much output! < 1357095852 469603 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@karma shachaf < 1357095852 931135 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :shachaf has a karma of 40 < 1357095853 101524 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: No; if reading a DVI file it will use its own commands to determine colours, or it will generate the nodes directly without reading an external DVI in which case it also uses its own commands for colors. < 1357095853 272490 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i think you can decrease karma multiple times w/ one message using @@ < 1357095879 194347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: well the last one worked < 1357095899 945554 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Reading external DVI works (it calls TeX to typeset and then reads the created DVI); internal typesetting is not yet completely implemented but when it is, it will also be able to do that with many possible effects) < 1357095940 886142 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: dvi? hdmi is the future these days < 1357095988 210795 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: It is a different kind of DVI. (Anyways, HDMI is no good, so I prefer Digi-RGB, but this is not relevant here anyways.) < 1357096227 752409 :fungot!fis@selene.zem.fi QUIT :Ping timeout: 248 seconds < 1357096238 351216 :FireFly!~firefly@oftn/member/FireFly QUIT :Excess Flood < 1357096295 931878 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1357097500 649434 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1357099205 858071 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1357099642 331697 :FireFly!~firefly@oftn/member/FireFly QUIT :Excess Flood < 1357099701 708143 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1357099756 83155 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :...ponies are not just baby horses. < 1357099764 776203 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote ponies < 1357099766 148857 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1357099769 291316 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote ponies < 1357099769 463539 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No quotes match. That's something I cannot allow to happen. < 1357099810 45151 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you add "...ponies are not just baby horses." then it will match. < 1357100637 371133 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :"'Oompa Loompas' sought by police over Norwich assault" < 1357100794 933791 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :They should add functions like http://msdn.microsoft.com/en-us/library/windows/desktop/aa366713(v=vs.85).aspx to glibc < 1357100826 680935 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oompa loompa doopity dunction < 1357100831 428764 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you do not talk about adding libc function < 1357100853 797014 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But how will I know if my pointers are valid? < 1357100999 910836 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :BOOL WINAPI DoesFunctionHaltExA(HFUNPTR fpFunctionToTellWhetherItHaltsOrNot) < 1357101052 734510 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: you call fork() and dereference the pointer in a child process and then call wait() and see if the child died with SIGSEGV < 1357101055 584286 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :IT IS TRIVIAL < 1357101099 363588 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But then it isn't portable to Windows. < 1357101120 891844 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: edwardk is generalizing all of lens :'( < 1357101132 220028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :+findOf :: (RepresentableProfunctor p, Profunctor q, Comonad (Rep p)) => Overloading p q (Accessor (Endo (Maybe a))) s t a b -> p a Bool -> q s (Maybe a) < 1357101136 440495 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is it portable to Cygwin though? < 1357101161 743822 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How does Cygwin implement fork()? < 1357101168 647751 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I know it does something but now how well it works. < 1357101175 371190 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Slowly, I think. < 1357101462 215054 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :shachaf: I have no clue if you're serious or not about that type signature < 1357101486 7970 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lightquake: That's currently in lens HEAD < 1357101490 438834 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :D: < 1357101496 822890 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :20:37 lens/master 98245d6 Edward Kmett: more generalization, because that last patch wasn't general enough < 1357101509 119976 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Let's see what this latest one is. < 1357101513 628095 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :that's an absolutely unreadable type signature < 1357101527 9155 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :+imapMOf_ :: (Profunctor q, Monad m) => Overloading (Indexed i) q (Accessor (Sequenced m)) s t a b -> (i -> a -> m r) -> q s (m ()) < 1357101530 180939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :+iconcatMapOf :: Profunctor q => Overloading (Indexed i) q (Accessor [r]) s t a b -> (i -> a -> [r]) -> q s [r] < 1357101534 167852 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :+ifindOf :: Profunctor q => Overloading (Indexed i) q (Accessor (Endo (Maybe a))) s t a b -> (i -> a -> Bool) -> q s (Maybe a) < 1357101537 377508 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :+itoListOf :: Profunctor q => Overloading (Indexed i) q (Accessor (Endo [(i,a)])) s t a b -> q s [(i,a)] < 1357101540 830070 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not too bad. < 1357101572 550577 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lightquake: I'm assuming this is an "it'll get worse before it gets better" sort of thing. < 1357101577 529326 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :I have no clue how to read those type signatures < 1357101581 643760 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION screams in terror < 1357101599 386157 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i can read them syntactically but i have no idea what all the classes and one-letter variables mean < 1357101612 655588 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :yeah, that's what I meant < 1357101636 743127 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, the simple version is, uh... < 1357101645 427355 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, p and q are both just (->), normally. < 1357101653 6332 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Overloading is this one thing. < 1357101671 779634 :hagb4rd!~perdito@koln-4d0b66f6.pool.mediaWays.net QUIT :Ping timeout: 252 seconds < 1357101673 88045 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :type Overloading p q f s t a b = p a (f b) -> q s (f t) < 1357101691 756448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, you know what, this is hopeless. < 1357101705 958076 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In edwardk's defense, he has several "simple" versions of each type signature next to the "real" version. < 1357101721 311924 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :-- 'findOf' :: 'Traversal'' s a -> (a -> 'Bool') -> s -> 'Maybe' a < 1357101736 923623 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :yeah, but the errors would be awful < 1357101761 753635 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This is edwardk's "expansion" phase. < 1357101761 924571 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that oompa loompa story is like some terrible crossover of Willy Wonka and A Clockwork Orange < 1357101773 362896 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where he generalizes everything and later figures out what sticks. < 1357101818 990861 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :the perils of a rapidly-developed library, I guess < 1357101839 284807 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lightquake: Do you understand lens signatures in general? < 1357101850 623269 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :not in this general! < 1357101853 638146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Like Applicative f => (a -> f b) -> (a,a) -> f (b,b)? < 1357101855 890857 :hagb4rd!~perdito@koln-4db42d02.pool.mediaWays.net JOIN :#esoteric < 1357101887 159450 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :i understand that you use the functor context so that you can run it with both Identity and Const and combine a getter and a setter < 1357101890 43071 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :but not much beyond that < 1357101920 181651 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, that signature is just like mapM for tuples, right? < 1357101921 736097 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty mapM < 1357101922 963461 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Monad m => (a -> m b) -> [a] -> m [b] < 1357101940 206913 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :right < 1357102065 535865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So it's like that, except with Applicative. < 1357102083 128039 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now we want to generalize that in various directions. < 1357102088 67827 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :what does applicative get y ou? < 1357102088 566870 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Also seems, as if you have ((->) Bool) instead of [] < 1357102103 918516 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lightquake: All you need is Applicative, so why require Monad? < 1357102112 430711 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(You can't make Const a Monad, anyway.) < 1357102120 607804 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :right, i meant, why isn't functor enough < 1357102135 97019 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Functor is enough when you're traversing exactly one value. < 1357102136 811940 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is mapM a functor? < 1357102146 391002 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But both traverses two values. < 1357102155 412690 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lightquake: Try to write the function. You need (<*>). :-) < 1357102162 623711 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :both f (x,y) = (,) <$> f x <*> f y < 1357102194 629021 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Anyway, so one direction we can generalize this is that we want indexing. < 1357102211 185436 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :For instance, mapMWithIndex :: (Int -> a -> f b) -> [a] -> f [b] < 1357102216 66566 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(For Applicative f.) < 1357102233 528283 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that's not so great because it's not compatible with regular lenses. < 1357102255 940463 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :so wait < 1357102270 365485 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :obviously if f is Identity, that just turns into a plain mapWithIndex < 1357102276 545218 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1357102277 511478 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :what does it do if f is Const? < 1357102289 905787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, instance Monoid m => Applicative (Const m) < 1357102309 552352 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where pure _ = Const mempty; Const mf <*> Const mx = Const (mf <> mx) < 1357102317 325560 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: You can also make instance Monoid m => Alternative (Const m) < 1357102322 165414 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :oh, so you wind up accumulating the result < 1357102324 417701 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So when you use Const, it never actually rebuilds the structure. < 1357102339 642374 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But you can use a monoid to decide how to accumulate, right. < 1357102355 211582 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> foldOf both ("hello","there") < 1357102356 824070 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "hellothere" < 1357102363 121366 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That uses the [] monoid instance. < 1357102382 931109 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :right < 1357102394 354128 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :> foldOf both (Add 2, Add 8) < 1357102395 731785 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: data constructor `Add'Not in scope: data constructor `Add' < 1357102399 553704 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sum < 1357102402 924908 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :ah < 1357102423 674718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> getConst $ both (\x -> Const (Sum x)) (1, 2) < 1357102424 117904 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Instead of [] and Int perhaps you could make it a class of a type which can be indexable by some other type? Such as, indexable (x ->) by x < 1357102425 167540 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Sum {getSum = 3} < 1357102437 660619 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So that's how both works. < 1357102450 153894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Now, the trick with indexing is a little bit of overloading. < 1357102502 111131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :clsas Indexable i p where ...; indexedMapM :: (Indexable Int p, Applicative f) => p a (f b) -> [a] -> f [b] < 1357102508 243691 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Indexing has two instances. < 1357102518 982266 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :One of them is (->); when you use that instance, it just works without the index. < 1357102540 766141 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The second is newtype Index i a b = Indexed { runIndexed :: i -> a -> b } < 1357102549 215967 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, newtype Indexed < 1357102568 204484 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :slow down a bit < 1357102583 75123 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :so you have an instane Indexable Int (->) that just ignores the index < 1357102590 383648 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But it is a category like (Kleisli ((->) i)) < 1357102599 878831 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1357102616 541167 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :presumably this is actually Indexable i (->) < 1357102623 63454 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1357102625 71378 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :then what's the instance for Indexed look like? < 1357102643 896991 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The class is actually class Indexable i p where indexed :: p a b -> i -> a -> b < 1357102663 767665 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So instance Indexable i (->) where indexed f i x = f x < 1357102664 929758 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I assume < 1357102698 861723 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That way any indexed traversal can degrade to a regular traversal. < 1357102708 823900 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :and for Indexed, indexed = runIndexed < 1357102715 533081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1357102761 150053 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :ok < 1357102780 368296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So that's one generalization. < 1357102792 749286 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It turns out this "p" thing is actually pretty useful. < 1357102828 567487 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :There's a class Profunctor p where lmap :: (a -> b) -> p b c -> p a c; rmap :: (b -> c) -> p a b -> p a c < 1357102845 841564 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I can explain that class further if you like. :-) < 1357102877 999892 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION prefers the dimap presentation < 1357102879 654378 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, so the way we write indexed both is both f (x,y) = (,) <$> indexed f 0 x <*> indexed f 1 y < 1357102888 486181 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, elliott has volunteered to take over. < 1357102890 348625 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION is out. < 1357102930 364212 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :aw, come back < 1357102936 233783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION is in. < 1357102940 915184 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But elliott has to explain it with dimap < 1357102954 306956 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there any relation to representable functor? < 1357102955 507429 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I'll do that in ten years < 1357102979 128787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: We have a lot of (co)representable profunctors. < 1357103028 353638 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lightquake: OK, does that class make sense? < 1357103033 268833 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(It probably doesn't.) < 1357103037 457162 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :Profunctor? sort of < 1357103061 405598 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a thing which is covariant in one argument and contravariant in the other. < 1357103083 476785 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :In a sense p a b "consumes" things of type a and "produces" things of type b < 1357103089 670922 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :rmap = fmap < 1357103100 658963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(->) is the classic example. < 1357103101 443574 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :as in given (Profunctor p) you have (Functor (p a)) for all a (but you can't express this) < 1357103107 710924 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I can see that (->) fits < 1357103130 9461 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :And (->) is a category < 1357103139 898560 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is it related to being a category? < 1357103141 643513 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not all instances of Profunctor are categories. < 1357103162 255589 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :so what's another instance of Profunctor? < 1357103167 583905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Indexed :-) < 1357103172 146438 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: It is what I thought. < 1357103175 455964 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :figured :) < 1357103184 380541 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Also there are a bunch of others. < 1357103192 422222 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :newtype Tagged a b = Tagged { unTagged :: b } < 1357103203 148844 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :newtype Forget r a b = Forget { unForget :: a -> r } < 1357103219 711562 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :s/unForget/remember/ < 1357103221 77531 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :newtype UpStar f a b = UpStar { unUpStar :: a -> f b } < 1357103226 641872 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: That's what I called it at first. < 1357103247 160584 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can it be made, profunctors on other categories? < 1357103267 112408 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :what's Tagged for? < 1357103267 328097 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :UpStar is the same type as Kleisli though isn't it? < 1357103278 604492 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Yes, but it's used for different things. < 1357103290 483371 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lightquake: Let's get to that in a moment. :-) < 1357103295 409612 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :sure < 1357103300 530143 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you can use profunctors to make this different representation of lenses. < 1357103310 359601 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Instead of (a -> f b), you write p a b < 1357103319 73884 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :With various constraints on the p < 1357103333 565417 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :... p => p a b -> p s t < 1357103349 498071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If you pick Profunctor as your constraint, what you get is an isomorphism. < 1357103373 576147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because the only way you can turn "p a b" to "p s t" (if you know almost nothing about p) is by lmapping (s -> a) and rmapping (b -> t) < 1357103382 886920 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION is probably not making sense again. < 1357103403 825858 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Kleisli f) makes a category if f is a category. In what cases will it make a profunctor? < 1357103405 388576 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :doesn't isomorphism imply that you can go back from p s t to p a b? < 1357103409 214777 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :or am i misinterpreting < 1357103418 94206 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is it if f is functor? < 1357103447 415561 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lightquake: It's saying that s ~ a and b ~ t < 1357103451 447376 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And it lets you go back and forth. < 1357103470 821271 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :lightquake: you can treat s = t, a = b usually < 1357103474 107775 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :how's that follow? what if s -> a is an injection? < 1357103487 617404 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :blah :: Profunctor p => p (a,b) (a,b) -> p (b,a) (b,a) < 1357103491 217775 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :blah = lmap swap . rmap swap < 1357103491 545607 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, OK, let's put it differently: < 1357103504 971476 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(forall f. Profunctor f => p a b -> p s t) ~~ (s -> a, b -> t) < 1357103530 382406 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a very polymorphic function, so it knows almost nothing about which profunctor you're using. < 1357103545 894422 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :ahhh < 1357103554 913563 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :That is strange, it is f only in constraint < 1357103555 674523 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :yeah, that makes more sense < 1357103576 778408 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Can you figure out a way to "extract" the isomorphism from that type? < 1357103579 915374 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf's p key is adjacent to his f key < 1357103582 297937 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Start with the (b -> t) direction. < 1357103624 853066 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :it's the rmap of the profunctor < 1357103627 890274 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I give you foo :: forall p. p a b -> p s t < 1357103637 515057 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You have to give me bar :: (b -> t) < 1357103651 522049 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(This means that you have to pick some specific concrete profunctor to use.) < 1357103657 743248 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :right, right < 1357103673 232752 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :wait, isn't it just Tagged? < 1357103688 550895 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :with some unTagged as well < 1357103689 47644 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yep! < 1357103705 683867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Usually we call this function review. < 1357103713 316664 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :why review? < 1357103722 194706 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because it's the opposite of the direction of view < 1357103728 79192 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :review :: (Tagged a b -> Tagged s t) -> b -> t < 1357103728 383115 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :ah < 1357103734 345104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Write review :-) < 1357103808 613887 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :review = \f -> unTagged . f . Tagged < 1357103826 294707 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yep. < 1357103840 855411 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, next exercise: Get s -> a < 1357103869 451972 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1357103870 501904 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :Get? < 1357103876 421399 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1357103907 308851 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :retrieve s -> a from an iso in that form < 1357103918 258515 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :oh, i thought Get was a type constructor < 1357103931 24734 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ah. Nope. < 1357103934 486914 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :my first guess would be Const < 1357103963 920355 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@kind Const < 1357103964 417036 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :yeah, getConst . f . Const < 1357103965 115237 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :* -> * -> * < 1357103975 423959 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, wait, it does have the right kind. < 1357103978 719696 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But it doesn't work. < 1357103984 458418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Try to make it a Profunctor instance. :-) < 1357103992 379165 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How can you have (Get s -> a) unless Get is like Initialize? < 1357103993 927890 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Const isn't contravariant in its first argument < 1357103997 658258 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :oh, right < 1357104013 112024 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: It's actually Constravariant < 1357104043 616145 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :hmm, i'm not sure then < 1357104071 540638 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, as a hint, think about how you normally "get" things with (a -> f b) lenses. < 1357104124 769405 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :with const, right? < 1357104134 940646 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :er, Const < 1357104151 660149 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right, but how does the full signature end up looking? < 1357104157 287894 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(a -> f b) -> s -> f t < 1357104173 630244 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How do you get (s -> a) from that? < 1357104190 252526 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :with f = Const a < 1357104223 248426 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :and with the argument being Const < 1357104225 470301 :sebbu2!~sebbu@ADijon-152-1-24-217.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1357104233 743438 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, expand that out? < 1357104246 421008 :sebbu2!~sebbu@ADijon-152-1-24-217.w83-194.abo.wanadoo.fr QUIT :Changing host < 1357104246 591745 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1357104307 394900 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :goalFunc f s = getConst $ f Const s < 1357104308 54896 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :? < 1357104320 769046 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I meant the type. :-) < 1357104324 164690 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :oh < 1357104346 436829 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :i don't think that's right anyway, bah. anyway it's (a -> Const a b) -> s -> Const a t < 1357104370 805631 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, now reduce it one more step? < 1357104384 574987 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :reduce it? < 1357104408 566793 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 245 seconds < 1357104410 84828 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(a -> a) -> s -> a < 1357104414 969775 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :ah < 1357104418 108550 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :yeah < 1357104460 392007 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So pretty much the same trick works for profunctors. < 1357104462 449591 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@type \f s -> getConst (f Const s) < 1357104463 945265 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :((a1 -> Const a1 b1) -> t -> Const a b) -> t -> a < 1357104469 288673 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's right < 1357104506 740034 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :so we have (forall f. Profunctor f => p a b -> p s t) and we want to get out s -> a < 1357104564 563241 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :er, except with p instead of f < 1357104573 726872 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :anyway. p = Const doesn't work because you don't get the right direction < 1357104634 926832 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :so… hmm. < 1357104642 442633 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :i'm not sure. < 1357104676 495119 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :lightquake: Forget is kind of like Const < 1357104733 675235 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :hmm… Forget a? < 1357104791 249209 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Try it out! < 1357104817 986501 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :yeah, I think forget a works, since it becomes Forget a a b -> Forget a s t, which is just (a -> a) -> (s -> a) < 1357104843 587152 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yep. < 1357104849 734709 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's pretty much the same trick. < 1357104881 313373 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :neat < 1357104881 776222 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So view f = under _Forget f id < 1357104898 881187 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So that's the basic idea of profunctor lenses. < 1357104914 349355 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can get everything that (a -> f b) lenses give you just by picking p a b = (a -> f b) < 1357105016 279596 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :and you can also get indexed stuff using Indexed < 1357105032 469692 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yep. < 1357105048 48389 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And you can define newtype Conidexed i a b = Coindexed { unCoindexed :: a -> (i,b) } < 1357105054 377729 :hagb4rd!~perdito@koln-4db42d02.pool.mediaWays.net PRIVMSG #esoteric :also forget about everything using a good programming language < 1357105058 763908 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :technically you need to separate the p < 1357105068 598371 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :instead of (p a b -> p s t) it becomes (p a b -> q s t) for Indexed < 1357105076 697354 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because you don't want the (i ->) on the return side < 1357105078 583520 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1357105088 502053 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(i -> a -> f b) -> s -> f t, not (i -> a -> f b) -> i -> s -> f t < 1357105097 472321 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Where did this all start? < 1357105102 323288 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :+ifindOf :: Profunctor q => Overloading (Indexed i) q (Accessor (Endo (Maybe a))) s t a b -> (i -> a -> Bool) -> q s (Maybe a) < 1357105119 676475 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So that becomes, uh, elliott wants to expand that for me. < 1357105132 240822 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION ponders < 1357105155 594931 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If I start really getting into Racket and writing macros, and switch back to Clojure, adjusting to the unhygienic macros might be "fun" < 1357105174 862572 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: well, this isn't quite profunctor stuff directly < 1357105176 156153 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :good ponder ? < 1357105176 668347 :Bike!~Glossina@67-5-226-214.ptld.qwest.net PRIVMSG #esoteric :the clear solution is to write the racket macro system in clojure. < 1357105182 243654 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: True. < 1357105182 714920 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because you have the functor jamming stuff back up due to the "compromise" we have in lens < 1357105214 761227 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Raclojuractorcl < 1357105214 932000 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, I haven't looked for myself, but I think someone did that < 1357105243 518637 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :lsl < 1357105249 238241 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lightquake: In lens we use p a (f b) -> p s (f t) instead of p a b -> p s t < 1357105257 459988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That gets you a different overloading: < 1357105290 825965 :hagb4rd!~perdito@koln-4db42d02.pool.mediaWays.net PRIVMSG #esoteric :sgeo: i don't believe you'll do, since you're changin paradigms quite as often as your underwear :P everyday a new adventure < 1357105306 663109 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Instead of, say, mapped :: p a b -> p [a] [b], which becomes just the regular map function when p = (->), we use mapped :: p a (Identity b) -> p [a] (Identity [b]) < 1357105328 524457 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a bit more awkward but it gives us compatibility with the classic style of lens. < 1357105347 159856 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(because you can just pick p = (->) and get something that fits the (a -> f b) -> s -> f t pattern directly) < 1357105354 457118 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so they compose properly with lenses and the like < 1357105364 454174 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :With twanvlenses. < 1357105366 188224 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :instead of "lmap f . rmap g" it becomes "lmap f . rmap (fmap g)" < 1357105377 938086 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and an iso is (Profunctor p, Functor f) => p a (f b) -> p s (f t) < 1357105379 204152 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :dimap f (fmap g) < 1357105411 589614 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :ah, that makes sense < 1357105494 538655 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so our indexed stuff is < 1357105505 393443 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(Profunctor p, Indexable i p, Applicative f) => p a (f b) -> s -> f t < 1357105510 1960 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for a traversal indexed in "i" < 1357105531 123529 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's just like (i -> a -> f b) -> s -> f t but it works as a plain traversal, composes properly with isomorphisms, etc. < 1357105579 293024 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :uh-huh < 1357105604 108513 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION is somewhat alarmed at all the pre-name-change code on PLaneT < 1357105604 298895 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But that's not enough because we want Coindexing! < 1357105634 549049 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So we get (Profunctor p, Indexable i p, Coindexable j q, Applicative f) => p a (f b) -> q s (f t) < 1357105645 813474 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION thinks shachaf just gave up < 1357105657 109213 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :? < 1357105689 205046 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(class Coindexable u q where coindexed :: (a -> (u, b)) -> q a b) < 1357105690 6731 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lightquake: By the way, we haven't figured out a use for coindexing yet. < 1357105698 550271 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(i -> a -> f b) -> s -> f t < 1357105699 126230 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :vs. < 1357105703 66563 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(a -> f b) -> s -> (u, f t) < 1357105715 363340 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :did you just add coindexing for fun < 1357105716 649233 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :one adds (i ->) to the p and the other (u,) to the q < 1357105726 887116 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Remember when you thought Coindexing was self-adjoint??????? < 1357105738 337741 :hagb4rd!~perdito@koln-4db42d02.pool.mediaWays.net PRIVMSG #esoteric :it works pretty well when it comes to confusing everybody < 1357105742 165957 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That would be nice. :-( < 1357105748 687799 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :permutations, obviously! < 1357105755 963554 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: http://fioraaeterna.tumblr.com/post/39451893368/why-sollux-speaks-with-a-lisp < 1357105769 58099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: what's wrong with that....... < 1357105798 821072 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Fiora, I was going to say I Thought That Was Obvious, but I didn't think of the parens thing < 1357105806 724420 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah, that was the thing that really got me < 1357105830 461673 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :you know why he likes aradia, right? < 1357105840 841292 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :what programmer couldn't use more ram? < 1357105846 947087 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :...... < 1357105891 872992 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1357105901 186737 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that's terrible < 1357105912 158926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Fix pins :-( < 1357105915 396161 :sebbu!~sebbu@ADijon-152-1-24-217.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1357105915 566944 :sebbu!~sebbu@ADijon-152-1-24-217.w83-194.abo.wanadoo.fr QUIT :Changing host < 1357105915 567115 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1357105917 332866 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric : wouldn't he be frustrated by the unmatched parentheses < 1357105940 972658 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :lol parentheses lololololol < 1357105942 182156 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: I've completely forgotten what pins even does < 1357105942 812520 :lightquake!lightquake@2600:3c03::f03c:91ff:fe93:ec71 PRIVMSG #esoteric :he modified his trollian to surround everything she says with parentheses < 1357105948 851145 :Bike!~Glossina@67-5-226-214.ptld.qwest.net PRIVMSG #esoteric :he uses vi, how can he be a lisper < 1357105970 625538 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pins :: (Bizarre p q w, RepresentableProfunctor p) => q (w a b t) [Rep p a] < 1357105970 796484 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pins = getConst `rmap` bazaar (tabulatePro $ \ra -> Const [ra]) < 1357105981 503193 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc makes a good point. < 1357106191 853071 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :thankschaf < 1357106628 123432 :hagb4rd!~perdito@koln-4db42d02.pool.mediaWays.net PRIVMSG #esoteric :@karma shachaf < 1357106628 577623 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :shachaf has a karma of 35 < 1357106958 45012 :hagb4rd!~perdito@koln-4db42d02.pool.mediaWays.net PRIVMSG #esoteric :for(;;) fork(); < 1357107023 707060 :hagb4rd!~perdito@koln-4db42d02.pool.mediaWays.net QUIT :Quit: instant karma's gonna get you < 1357107195 766121 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :#define ever (;;) < 1357107211 207975 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :#define you () < 1357107237 610677 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Can you figure out a better way to do the HoleyMonoid thing? < 1357107241 183893 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I bet there's a better way. < 1357107241 998391 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for you fork ever???? < 1357107245 321824 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that doesn't even make any sense kmc < 1357107254 493393 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :u have it backwards elliott < 1357107288 792941 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc < 1357107292 967995 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm very upset < 1357107326 415197 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric ::( < 1357107343 323329 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: don't worry about elliott he's "like that" < 1357107360 283460 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :const int main[] = { 14776, 3942977280, 247 }; < 1357107406 929668 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1357107416 968070 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats up?? < 1357107460 305411 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: can you make this nicer plz http://www.reddit.com/r/haskell/comments/14met7/oleg_typesafe_formatted_io/c7f8un6 < 1357107475 747082 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :edwardk pointd out that the type is "too big" < 1357107479 320814 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or maybe that was me < 1357107499 647344 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :uuuuuuuuuuuuuuuuuugh < 1357107501 365201 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is there a way to get the type to be "just right"? < 1357107546 242050 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :unsafeCoerce < 1357107587 155339 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1357107610 589114 :sebbu!~sebbu@ADijon-152-1-24-217.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1357107611 113970 :sebbu!~sebbu@ADijon-152-1-24-217.w83-194.abo.wanadoo.fr QUIT :Changing host < 1357107611 284733 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1357108059 462550 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :My gf wrote a program that's apparently very useful for her. < 1357108077 823545 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :But it has a bug so she disables it when she plays her favorite game, and that causes problems < 1357108120 647549 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oops < 1357108124 771681 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :(??????) < 1357108128 162974 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :(?????????????????????) < 1357108138 543313 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(?) < 1357108160 972326 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What program is that? < 1357108176 191044 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :A program to notify her when her laptop is off of the charge < 1357108211 583406 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I keep telling her to fix it, she keeps getting distracted by the game < 1357108294 499865 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Perhaps rewriting it in Clojure would do the trick. < 1357108409 614723 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what is the bug < 1357108457 266926 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: the bug is, it doesn't work < 1357108482 820592 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ah... < 1357108812 251270 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :It flashes or something in such a way that it stops the game from working < 1357109309 195041 :augur_!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1357109483 612998 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 245 seconds < 1357109703 381450 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1357110350 258708 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net QUIT :Ping timeout: 252 seconds < 1357111207 557604 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :-alongside :: ALens s t a b -> ALens s' t' a' b' -> Lens (s,s') (t,t') (a,a') (b,b') < 1357111216 34050 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :+alongside :: (CorepresentableProfunctor q, Applicative (Corep q), Comonad (Corep q), Functor f) 321 < 1357111219 38802 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :+ => Overloading (->) q (Pretext (->) q a b) s t a b -> 322 < 1357111221 541963 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :+ Overloading (->) q (Pretext (->) q a' b') s' t' a' b' -> 323 < 1357111224 45351 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :+ Overloading (->) q f (s,s') (t,t') (a,a') (b,b') < 1357111227 945890 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :truly the image of progress < 1357112453 809946 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1357113582 759728 :Bike!~Glossina@67-5-226-214.ptld.qwest.net QUIT :Quit: leaving < 1357113678 311880 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :http://nrk.no/nordlandsbanen/ < 1357113877 656845 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I remember seeing some ten-hour train video in YouTube a while ago. < 1357115525 404181 :epicmonkey!~epicmonke@188.134.41.173 JOIN :#esoteric < 1357115972 300724 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1357117631 572369 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1357118207 234529 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1357120799 722988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Jafet: Do you use Sid? What version of libc do you have? < 1357120885 615331 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :eglibc: libc6 2.13-37 < 1357120896 766136 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :That is possibly the most confusing software identifier ever < 1357121236 332399 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION tried to run a thing that needed 2.15 today. < 1357121250 473932 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Jafet: have you seen CLC-INTERCAL? < 1357121278 126782 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Is it in sid? < 1357121301 687917 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :shachaf: I'm curious to know what kind of software has a minor version dependency on libc < 1357121319 368816 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Jafet: the most recent I can find is version 1.-94.-4.1 < 1357121323 524645 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no wait, not the most recent < 1357121326 589502 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :but the silliest < 1357121342 512636 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Eh, it doesn't even have "rc" after it < 1357121358 439073 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Jafet: Most software, I think < 1357121365 913881 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :.13 vs .15 is pretty significant. < 1357121438 499133 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Well, they tend to depend on not having obsolete minor versions. < 1357121441 939188 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Jafet: And C-INTERCAL has the major and minor versions backward < 1357121448 537122 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :0.26 -> 1.26 (bugfix) -> 0.27 < 1357121571 266137 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Push CLC-INTERCAL to debian, it might get 1:1.-94.-4.1rc-dfsg2-ng or something < 1357121673 248341 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :haha < 1357121738 908797 :Taneb!~nathan@host-92-17-57-139.as13285.net JOIN :#esoteric < 1357121786 629589 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh hey Tcl 8.6 was released recently < 1357121809 43605 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is that good < 1357121811 16452 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :Things that annoy me but shouldn't: < 1357121820 973961 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :People posting rugby in the Haskell tag on Tumblr < 1357121834 201184 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1357121839 997658 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :8.6 has coroutines <3. Well, not as much <3 as I'd have for first-class continuations, but still < 1357121852 63327 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :coroutines > continuations < 1357121865 175822 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :continuations: the devil?? < 1357121867 311171 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1357121883 394973 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: tell me about continuations < 1357121892 21231 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(or don't) < 1357121893 355072 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :continuations have a funny problem where something about spaghetti < 1357121923 31422 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: but wait, i read category theory will save you from spaghetti code because associativity < 1357121933 139656 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::o < 1357121947 177215 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.reddit.com/r/programming/comments/15q6lw/the_continuation_monad/c7p26jy < 1357121950 998717 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :qed?? < 1357121971 610151 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Lasagne programming < 1357121985 892846 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :`addquote < monqy> continuations have a funny problem where something about spaghetti < shachaf> monqy: but wait, i read category theory will save you from spaghetti code because associativity < 1357121992 141123 :HackEgo!codu@codu.org PRIVMSG #esoteric :892) < monqy> continuations have a funny problem where something about spaghetti < shachaf> monqy: but wait, i read category theory will save you from spaghetti code because associativity < 1357122007 978704 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ugh. < 1357122016 549709 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :Insert whining about wrong quote formatting etc < 1357122025 461027 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :spaghetti quotes < 1357122029 264258 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i hate those whitespaces < 1357122033 497666 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :before the name < 1357122035 843826 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :alsdkfjdasjföldasjfldsaj < 1357122050 88584 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :all else is fine. < 1357122068 113314 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: remember that time I asked you about whether a name was a real finnish name and stuff < 1357122075 392259 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: well it turns out they were lying and weren't finnish after all < 1357122076 504892 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott: No but whatever < 1357122079 750147 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :<@oklopol> I wish I had this quote < 1357122083 298833 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott: Okay < 1357122087 309576 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow how could you not remember that vital turning point in each of our lives < 1357122090 987494 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Deewiant: fix it then < 1357122104 691579 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also they have disappeared for like months; possibly due to guilt at lying about being finnish? < 1357122109 851714 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :coppro: I don't know the commands and don't really care either < 1357122127 687537 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Deewiant: you can `revert and then `addquote. How would you format it? < 1357122131 30839 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott: Well to be honest I have a faint memory of something like that occurring but no details < 1357122251 658807 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :coppro: I think there's some kind of "standard" on this channel with putting two spaces between separate lines and enclosing nicks in <> but without the space; but like said I don't really care and as such I'm not sure about this either < 1357122253 692684 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :elliott: You know < 1357122304 654355 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :And I'm off for a bit --> < 1357122326 161524 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Go for a byte. < 1357122338 508186 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :imo we must find our own standards inside our hearts and then impose them ruthlessly on others for nothing but the joy of cruelty < 1357122346 395005 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :isn't that what IRC is all about < 1357122357 354759 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :why am I giving grammar advice at 3 am < 1357122381 297745 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :If they made a diet version of coppro, what would they call it? < 1357122389 337890 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :coppro-lite wouldn't be very good < 1357122415 358521 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :Taneb: it's a long o < 1357122430 155430 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :Which o? < 1357122457 183514 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the first one < 1357122485 762535 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :"k-oh-pro"? < 1357122496 144818 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :Rhymes with "go pro"? < 1357122514 907219 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no < 1357122525 30717 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :maybe I'm mixing up vowel length again < 1357122531 975300 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :the two os are pronounced differently < 1357122537 351239 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :and not like the Greek "copros" < 1357122543 840695 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Obviously it's pronounced coooppro < 1357122568 300253 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :...Sounds like cobra? < 1357122593 885426 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no < 1357122598 469459 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :like copper < 1357122628 594910 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :So, the second o is a schwa? < 1357122684 267639 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1357123154 802642 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :no, the second o is like in cobra < 1357123193 214849 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :Ah < 1357123203 59988 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :o.O there's some controversy in the Scheme community about the best way to do macros < 1357123210 276909 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :koh pro < 1357123221 569328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: What about the Clojure community? < 1357123245 643428 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :ACTION swats shachaf  < 1357123257 24211 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: uhhh.............. < 1357123293 734141 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :oerjan, why aren't you online < 1357123934 490610 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357124591 761149 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Magnus_Carlsen highest ELO rating of all time now :o < 1357124628 853771 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1357124679 318370 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :Electric Light Orchestra < 1357124682 378693 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :? < 1357124688 173532 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :yes < 1357124705 714153 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Elo_rating < 1357124709 324905 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric ::P < 1357124710 319282 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :he is the most electric light orchestra person ever < 1357124713 919226 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :oh, it's not capitalized :P < 1357124808 269920 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1357125279 26150 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: ChatZilla 0.9.89-rdmsoft [XULRunner 1.9.0.17/2009122204] < 1357125553 859122 :mrout!miles.rout@203-97-127-101.cable.telstraclear.net JOIN :#esoteric < 1357125707 471936 :mrout!miles.rout@203-97-127-101.cable.telstraclear.net PRIVMSG #esoteric :Most ridiculously complex esolang? < 1357125721 800177 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :CLCLC-Intercal, possibly < 1357125725 826324 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :Or ORK < 1357125735 284773 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :bitwise cyclic tag < 1357125777 753192 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :Or Glass < 1357125790 537279 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :Or Malbolge < 1357125813 431867 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :Cat program in Glass: {M[maI!bO!cA!dae.?<1>c(ne).?=/dac.?bo.?dae.?<1>c(ne).?=\]} < 1357125853 395426 :mrout!miles.rout@203-97-127-101.cable.telstraclear.net PRIVMSG #esoteric :ORK looks hilarious < 1357125860 795190 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :It's object oriented < 1357125884 574019 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :That might be shorter than the cat program in java < 1357125955 173939 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :I know roughly what it does up to the first m < 1357125989 357127 :mrout!miles.rout@203-97-127-101.cable.telstraclear.net PRIVMSG #esoteric :Jafet: You could probably write a kernel in some languages in less code than you could write Hello World in Java < 1357126076 447546 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :99 bottles of beer in Malbolge: http://www.99-bottles-of-beer.net/language-malbolge-995.html < 1357126095 49942 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :"good luck" < 1357126252 8416 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Is there a malbolge utm yet < 1357126272 486556 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :I thought Malbolge was bounded-storage? < 1357126306 693926 :mig22!~miguelort@bb116-15-2-235.singnet.com.sg PRIVMSG #esoteric :How do you run Glass after you downloaded it? < 1357126335 910936 :mrout!miles.rout@203-97-127-101.cable.telstraclear.net PRIVMSG #esoteric :Taneb: it is, but someone managed it < 1357126378 441776 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mig22: compiling the interpreter probably < 1357126390 891585 :mrout!miles.rout@203-97-127-101.cable.telstraclear.net PRIVMSG #esoteric :"I think Malbolge needs an update. I may write Visual M++ 2008 Extra Ultimate Edition if I'm feeling bored some weekend." - Ben Olmstead < 1357126460 325519 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :elliott, do you happen to know what times trains to Newcastle are? < 1357126722 984305 :Frooxius!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1357126778 729040 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :I'll take that as a no... < 1357127773 446161 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1357127931 878081 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :Well, I'm heading off nowe < 1357127933 777867 :Taneb!~nathan@host-92-17-57-139.as13285.net QUIT :Quit: Leaving < 1357128958 527579 :epicmonkey!~epicmonke@188.134.41.173 QUIT :Ping timeout: 245 seconds < 1357130417 583592 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :why on earth would he want to go to newcastle < 1357133319 515988 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1357133880 368314 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1357133896 464184 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1357133970 760788 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1357134087 133120 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357134444 705 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Perhaps the princess is in the newcastle? < 1357135289 818103 :mrout!miles.rout@203-97-127-101.cable.telstraclear.net QUIT :Quit: Screw you guys, I'm going home. < 1357135325 784586 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net JOIN :#esoteric < 1357135401 734706 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Operation timed out < 1357135490 485825 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1357135827 859456 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1357135866 306756 :hagb4rd!~perdito@koln-4db42d02.pool.mediaWays.net JOIN :#esoteric < 1357136075 13394 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Client Quit < 1357136088 877760 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1357136273 143970 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1357136283 550382 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Ping timeout: 245 seconds < 1357136907 340652 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1357138149 120960 :WeThePeople!~WeThePeop@unaffiliated/wethepeople QUIT :Quit: Leaving < 1357141661 218088 :augur_!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 244 seconds < 1357143639 772537 :mekeor!~user@dslb-092-075-082-229.pools.arcor-ip.net JOIN :#esoteric < 1357144390 943739 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :today's xkcd is amusing, but i'm not sure why he felt the need to put a full explanation of what the joke is directly under the joke < 1357144451 510091 :epicmonkey!~epicmonke@188.134.41.173 JOIN :#esoteric < 1357144803 381969 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1357145156 837405 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I just wrote my first successful quine < 1357145165 406341 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :main = putStrLn $ a ++ show a where a = "main = putStrLn $ a ++ show a where a = " < 1357145218 923071 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> text$ap(++)show"text$ap(++)show" < 1357145220 739442 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : text$ap(++)show"text$ap(++)show" < 1357145240 744085 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :> :t text < 1357145242 423926 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : :1:1: parse error on input `:' < 1357145380 521983 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> run (now "x = " . later show . now ", y = " . later show) 4 16 < 1357145382 183634 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "x = 4, y = 16" < 1357145441 191335 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t text < 1357145442 751150 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :String -> Doc < 1357145448 570060 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Wtf is Doc < 1357145480 955673 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://lambda.haskell.org/platform/doc/current/ghc-doc/libraries/pretty-1.1.1.0/Text-PrettyPrint-HughesPJ.html < 1357145485 569197 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric ::t ap < 1357145486 998848 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Monad m => m (a -> b) -> m a -> m b < 1357145505 899104 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> run (now "what's up, " . later show . now "?") (typeOf (text "hi")) < 1357145507 254780 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : No instance for (Data.Typeable.Internal.Typeable < 1357145507 426351 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Text.P... < 1357145509 5239 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Aw. < 1357145577 893801 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i love profunctors < 1357145580 215854 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :they are so easy < 1357145637 815915 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Is Text.PrettyPrint.HughesPJ included in Prelude though? < 1357145646 759884 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no but it's imported by lambdabot < 1357145678 644377 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty (now,later,run) < 1357145679 837317 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(Monoid a, Monoid m1, Monoid m) => (m -> ((m -> t1) -> t) -> (m -> t1) -> t, (t4 -> m1) -> ((m1 -> t3) -> t2) -> (m1 -> t3) -> t4 -> t2, (((a -> b) -> b) -> (a1 -> a1) -> t5) -> t5) < 1357145690 296858 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Still shorter than the average lens type. :-( < 1357146669 849655 :Bike!~Glossina@67-5-226-214.ptld.qwest.net JOIN :#esoteric < 1357146701 957815 :hagb4rd!~perdito@koln-4db42d02.pool.mediaWays.net PRIVMSG #esoteric :hello fiet < 1357148849 665262 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1357149814 228726 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 244 seconds < 1357150119 76345 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net QUIT :Ping timeout: 255 seconds < 1357150512 80002 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should probably read this paper about keywords in Racket, rather than assuming the only benefit the byzantine keyword system has is a relatively minor one < 1357150561 568216 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's crazy talk < 1357150750 626125 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: update? < 1357150766 595658 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Fiora, yes < 1357150776 340663 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Feel free to ping the people I usually ping < 1357150784 966143 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: For the first time in three months! < 1357150849 949647 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :pff < 1357151056 629733 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Well, it was.) < 1357151097 321548 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :? < 1357151478 22778 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357151584 975101 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1357151591 831418 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1357151665 683340 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1357151704 236433 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1357151758 579425 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1357151908 216977 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1357152374 529915 :hagb4rd!~perdito@koln-4db42d02.pool.mediaWays.net QUIT :Ping timeout: 255 seconds < 1357153568 154097 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :The 112th Congress: At Least Nobody Got Caned < 1357154083 267418 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1357154176 364652 :hagb4rd2!~perdito@koln-4db426e1.pool.mediaWays.net JOIN :#esoteric < 1357154324 373077 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1357154483 967042 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1357154666 803517 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1357154673 926490 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1357154906 294621 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1357155249 852794 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1357155429 54526 :Phantom__Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357155619 836577 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 248 seconds < 1357155821 180665 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1357155827 23688 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1357156241 832301 :asiekierka!~asiekierk@fluttershy.pl QUIT :Excess Flood < 1357156303 807543 :asiekierka!~asiekierk@fluttershy.pl JOIN :#esoteric < 1357157173 612135 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : truly the image of progress < 1357157189 863005 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :2013, the year haskell collapsed into the kmett singularity < 1357157400 397161 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote 892 < 1357157402 296109 :HackEgo!codu@codu.org PRIVMSG #esoteric :892) < monqy> continuations have a funny problem where something about spaghetti < shachaf> monqy: but wait, i read category theory will save you from spaghetti code because associativity < 1357157502 23648 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :bad quote imo < 1357157506 968664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I move to delete 892, < 1357157509 659231 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/.$/./ < 1357157516 605392 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :VfD. < 1357157519 373681 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1357157522 172488 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`run sed -i '892s/\( *\)< /\1\1 continuations have a funny problem where something about spaghetti monqy: but wait, i read category theory will save you from spaghetti code because associativity < 1357157542 536842 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I was about to vote for SPEEDY DELETE just because of the spacing. < 1357157548 591033 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Now you've gone and ruined (fixed) it. < 1357157556 907365 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I move to delete it. < 1357157591 54168 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I vote for MERGE WITH 492 < 1357157597 11858 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote 492 < 1357157598 669281 :HackEgo!codu@codu.org PRIVMSG #esoteric :492) im hungary too...but cnnot eat until hours < 1357157604 794732 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh ho, how appropriate! < 1357157612 691182 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :492 is good < 1357157620 506187 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They're both about food and feature a monqy. < 1357157621 41217 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :How about we delete 892? < 1357157632 179600 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy++ < 1357157670 604651 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i vote against merge on the principle that spaghetti is italian, not hungarian < 1357157695 143459 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I can't argue with that. :/ < 1357157701 454043 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(But now I'm hungry.) < 1357157709 37401 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, then we delete 892? < 1357157758 89728 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It seems that thou must. < 1357157796 242140 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: make some gulyás then < 1357157800 420294 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :go forth and swiftly the quote < 1357157832 912371 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi oerjan < 1357157835 894040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :helloerjan < 1357157842 278405 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did I hallucinate you earlier? < 1357157894 379309 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1357157895 729044 :HackEgo!codu@codu.org PRIVMSG #esoteric :689) kallisti: by ordered multiset did you mean: list?????? < 1357157990 674452 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`quote < 1357157991 853420 :HackEgo!codu@codu.org PRIVMSG #esoteric :836) `welcome Rawlie * zzo38 has joined #esoteric thank you You're welcome. < 1357158001 728259 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote < 1357158003 265246 :HackEgo!codu@codu.org PRIVMSG #esoteric :266) I also do not like that it should be disallow just because of too weird. They haveto make up more name so that not everyone has the same name!!! < 1357158022 25364 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ACTION has a brain freeze < 1357158041 518465 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`quote canada < 1357158043 254073 :HackEgo!codu@codu.org PRIVMSG #esoteric :377) as i was filled with zzo38 mystery at the moment i saw quintopia: I am at Canada. \ 680) When you die in Canada, you die in real life. < 1357158071 476313 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ooooh, canada. < 1357158099 189075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I nominate 680 for deletion. < 1357158108 392101 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :but it's zzo < 1357158117 843427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote 680 < 1357158119 536699 :HackEgo!codu@codu.org PRIVMSG #esoteric :680) When you die in Canada, you die in real life. < 1357158139 385751 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :though that one is not actually like zzo38 at all < 1357158148 57198 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google When you die in Canada, you die in real life. < 1357158149 504237 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :http://xkcd.com/180/ < 1357158149 675373 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Title: xkcd: Canada < 1357158191 730757 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote < < 1357158192 126190 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :but if you live in Canada, do you live in real life? < 1357158193 272597 :HackEgo!codu@codu.org PRIVMSG #esoteric :80) oklopol geez what are you doing here ...i don't know :< i actually ate until now, although i guess i also did other things... \ 141) < ais523> then running repeatedly until you get the right sequence of random numbers < ais523> and just completely ignoring the input <-- some people live their entire lives < 1357158310 70342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`quote < *[a-z] < 1357158311 687845 :HackEgo!codu@codu.org PRIVMSG #esoteric :141) < ais523> then running repeatedly until you get the right sequence of random numbers < ais523> and just completely ignoring the input <-- some people live their entire lives this way, i reckon \ 198) 22:55 < qfr> How am I supposed to develop software in Haskell if I can't even prepare my projects in UML?! It seems lik < 1357158340 970390 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tOO MUCH < 1357158348 201937 :TeruFSX!~TeruFSX@65-128-142-102.mpls.qwest.net JOIN :#esoteric < 1357158350 10312 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :weird, whence the extra space before the nick? < 1357158362 76144 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :obviously some client does it < 1357158368 526444 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Obviously. < 1357158368 920570 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :irssi does it by default < 1357158379 643389 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote oerjan < 1357158379 813830 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oerjan says: i only do impractical things < 1357158383 208210 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote .*oerjan < 1357158383 378760 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Tac-Tics says: oerjan: I tried, but his zombie lectures were hard to follow < 1357158387 871813 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...my irssi includes no < before the nick < 1357158388 216041 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote .*oerjan.* < 1357158388 447153 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Tac-Tics says: oerjan: I tried, but his zombie lectures were hard to follow < 1357158404 829031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1357158405 37604 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : says: but if you know the package, you can find it on Hackage; it even rhymes < 1357158460 163233 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :irssi puts + or @ there for voice or oper, respectively < 1357158623 389352 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :aww, someone forgot to remove the <> when @remembering < 1357158806 129423 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : why on earth would he want to go to newcastle <-- to sell coal, naturally < 1357158987 581825 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :to watch the match. < 1357159077 647458 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and to dink a brown ale < 1357159421 150066 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote < 1357159421 356997 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No quotes match. Just try something else. < 1357159423 837699 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote sorear < 1357159424 9156 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :sorear says: Unfortunately, Coq *cannot* prove that your program will terminate before the heat-death of the universe. Right. That's a software engineering problem, not a < 1357159424 9316 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :computer science problem. ;-) < 1357159437 272645 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's more of a psnively quote, I think. < 1357159440 582548 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote sorear < 1357159440 753042 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :sorear says: -f flags are so 2006 < 1357159452 566681 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh well. < 1357159567 574141 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I guess from 2007 and forward it's all -X flags < 1357159728 131653 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote olsner < 1357159728 342931 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :olsner says: I've always mostly equated coding perl and trolling < 1357159732 146997 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote olsner < 1357159732 340358 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :olsner says: a mind won't be enough, you need a comind to go with it < 1357159782 328494 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :@quote shachaf < 1357159782 769293 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :shachaf says: category-extras was so great until the antitrust lawsuit. < 1357159801 756205 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@quote monqy < 1357159801 927086 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Plugin `quote' failed with: getRandItem: empty list < 1357159821 867714 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh, so monqy has had lambdabot quotes but lost all of them < 1357159857 584365 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sad. < 1357159897 856328 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :one day I should figure out how to patch lambdabot < 1357159906 185145 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :to fix that getRandItem bug < 1357159910 303834 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's easy. < 1357159975 110787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : I guess from 2007 and forward it's all -X flags <-- YOU MEAN LANGUAGE PRAGMAS HTH < 1357159986 270974 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fglasgow-exts for lyfe < 1357159998 331318 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :{-# LANGUAGE -XGlasgowExts #-} < 1357160010 361387 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :{-# LANGUAGE EVERYTHING #-} < 1357160016 957282 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: that's not the correct syntax < 1357160044 832871 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :-X{-# LANGUAGE -XGlasgowExts #-}? < 1357160055 975262 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats shachaf -----### < 1357160056 373224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :or is it -XLANGUAGE < 1357160081 883280 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't think GlasgowExts is a LANGUAGE pragma but i may be wrong < 1357160101 298128 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You aren't wrong. < 1357160110 978172 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :something like {-# OPTIONS_GHC -fglasgow-exts #-} iirc < 1357160115 224534 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We should implement that proposal where -O and -X and -W all behave the same. < 1357160133 527361 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you can say -X1 to get standard extensions, -X2 to get reasonable extensions, -X3 to get crazy extensions. < 1357160166 425842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And -OUnpackStrictFields, -WNoMissingSignatures < 1357160171 480810 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :or -X3 to force no extensions at all, mirroring that nice -O3 bug < 1357160186 867822 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i'm sure this would in no way result in endless unhelpful bikeshedding about which extensions are "reasonable" < 1357160213 57541 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I suspect bickering was the hidden motivation of the proposal. < 1357160215 549259 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :surely. < 1357160237 760797 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: You know how GCC has optimizations that are hard-wired to check the -O level rather than individual flags? :-( < 1357160244 866828 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1357160246 724302 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you told me that :( < 1357160271 68404 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1357160619 981415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION thinks that ought to be easy to fix is someone wanted to... < 1357160625 607335 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*if < 1357160900 235530 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1357161279 617555 :mekeor!~user@dslb-092-075-082-229.pools.arcor-ip.net QUIT :Quit: g'night < 1357163358 434367 :epicmonkey!~epicmonke@188.134.41.173 QUIT :Ping timeout: 245 seconds < 1357165150 703001 :Taneb!~nathan@host-92-17-57-139.as13285.net JOIN :#esoteric < 1357165249 554173 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1357165366 226540 :josue1!~canaima@186.95.70.98 JOIN :#esoteric < 1357165383 782134 :boily!~boily@mtl.savoirfairelinux.net QUIT :Ping timeout: 245 seconds < 1357165386 105337 :josue1!~canaima@186.95.70.98 QUIT :Read error: Connection reset by peer < 1357166055 476641 :WeThePeople!~WeThePeop@unaffiliated/wethepeople JOIN :#esoteric < 1357166547 689630 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Remote host closed the connection < 1357166579 786828 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1357166659 444151 :Phantom__Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1357166767 93001 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1357167301 442012 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I should resume watching DS9 at some point < 1357167333 348328 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is that a Scheme implementation? < 1357167351 895007 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Also, does writing a BF derivative, solely with the goal of implementing BF, warrant a brain bricking? Because a tutorial I read did that < 1357167359 321998 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Ping timeout: 260 seconds < 1357167359 824785 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :shachaf, no, no it is not. < 1357167402 22711 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :deep scheme 9 < 1357167447 528695 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it has no scheme but it does have a plot < 1357167549 284512 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hey Sgeo you liked stargate right < 1357167562 403441 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :There's a place to the east of here called Stargate < 1357167573 725608 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Phantom_Hoover, yes < 1357167578 18112 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :schemegate 1 < 1357167585 264450 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :plz smack yourself in the face, thanks < 1357167604 358693 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1357167608 248080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*ouch* < 1357167627 385331 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :@quote field with cows < 1357167627 555882 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :No quotes for this person. < 1357167632 4408 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION did it literally, for the art < 1357167632 271362 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :`quote field with cows < 1357167633 673340 :HackEgo!codu@codu.org PRIVMSG #esoteric :415) Look, I often walk my dog through a field with cows in it. And I punched myself in the face once. < 1357167658 601575 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I once stapled my thumb. < 1357167694 989867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As I recall I said that it wouldn't hurt. < 1357167699 472830 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :As I recall it hurt. < 1357167710 28192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: science, it works! < 1357167720 858572 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :shachaf, why did you say it wouldn't hurt < 1357167733 719803 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Phantom_Hoover: Because I expected that it wouldn't. < 1357167737 771408 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was his zero hurt hypothesis < 1357167775 888842 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't staple it *to* anything, by the way. < 1357167785 774476 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Other than to the staple, I guess. If that counts. < 1357168014 895278 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why did shachaf cross the road < 1357168077 132142 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :Because he didn't expect it would hurt < 1357168122 317343 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :stapling your thumb sounds like a pretty terrible idea < 1357168139 189804 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :unless like, you need to turn your thumb in with an assignment or something < 1357168230 487737 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :assignments don't need that, as a rule of thumb. < 1357168279 564227 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that sounds like a useful pointer < 1357168280 355058 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I used to think the phrase was "rule of the thumb". < 1357168297 129164 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wish people would say that because it sounds good. < 1357168326 677959 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :We have toiled for centuries under the tyrannical rule of the thumb < 1357168413 741589 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :one by one we thumb through all the possible puns < 1357168432 407622 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that's not even a pun < 1357168438 671269 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :none of those were puns < 1357168444 600519 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm exempt from having to make puns. < 1357168467 382216 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :we should talk about thumbthing else < 1357168470 616044 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ok that was shit < 1357168476 416819 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Phantom_Hoover: thats not a pun............. < 1357168485 305361 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :That's just a lisp < 1357168501 354520 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :just let me express myself, even if you don't digit < 1357168508 734488 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(pronounce w/ hard g) < 1357168517 729186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't giddit. < 1357168535 600258 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :people with lisps can express themselves, but only with parenthetical remarks < 1357168635 215857 :Taneb!~nathan@host-92-17-57-139.as13285.net PRIVMSG #esoteric :I know a couple of people with lisps < 1357168700 948424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah i hear it's common < 1357168808 404403 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :especially in spain < 1357168828 761762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, that's rain < 1357168872 39145 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What does the noneuclidean rain do? < 1357168896 878588 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hyperbolic plain < 1357168937 258712 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1357170838 320034 :Taneb!~nathan@host-92-17-57-139.as13285.net QUIT :Quit: goodnight