< 1384992135 444111 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1384992867 784576 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1384992969 407603 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu JOIN :#esoteric < 1384993300 189983 :nooodl!~nooodl@91.177.92.147 QUIT :Quit: Ik ga weg < 1384993405 757815 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1384993796 884664 :Taneb!~Taneb@5.151.65.168 QUIT :Quit: Leaving < 1384993940 210569 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1384994190 308267 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Remote host closed the connection < 1384994225 305245 :augur!~augur@129-2-129-34.wireless.umd.edu JOIN :#esoteric < 1384994527 325674 :augur!~augur@129-2-129-34.wireless.umd.edu QUIT :Ping timeout: 272 seconds < 1384994709 843552 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Going to go cry in a corner about the betrayal of a language that I was starting to like < 1384994710 388145 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://pastie.org/8496948 < 1384994780 116311 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :shot through the heart AND YOU'RE TO BLAME < 1384995157 892054 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Why is the movement lobe so laggy < 1384995228 41050 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1384995245 784768 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh, ok, tht's easy to fix < 1384995318 583225 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :I think im going to create a language, where you just hit the keyboard with your fist randomly < 1384995330 777283 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :like, aim for a with your fist, and that will me like + for brainfuck < 1384996030 302299 :adu!~ajr@96.241.27.127 JOIN :#esoteric < 1384996167 374054 :tertu!~tertu@143.44.72.124 QUIT :Ping timeout: 246 seconds < 1384996495 874800 :typeclassy!~user@ool-435123a7.dyn.optonline.net QUIT :Ping timeout: 246 seconds < 1384997582 284738 :tertu!~tertu@143.44.72.124 JOIN :#esoteric < 1384999617 837883 :augur!~augur@pool-71-178-137-99.washdc.east.verizon.net JOIN :#esoteric < 1385000391 152240 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Textual IRC Client: www.textualapp.com < 1385000409 128188 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1385000685 511742 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :JesseH: so the commands will be clusters of letters? and the interpreter tries to guess where one cluster ended and the next one started? < 1385001133 838173 :tertu!~tertu@143.44.72.124 QUIT :Ping timeout: 272 seconds < 1385001289 455107 :Sprocklem!~Sprocklem@S010674440130be65.cg.shawcable.net QUIT :Ping timeout: 240 seconds < 1385001337 412011 :tertu!~tertu@143.44.72.124 JOIN :#esoteric < 1385001952 532600 :typeclassy!~user@ool-435120fd.dyn.optonline.net JOIN :#esoteric < 1385002088 882827 :madbr!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric < 1385002151 57986 :adu!~ajr@96.241.27.127 QUIT :Quit: adu < 1385002613 465608 :typeclassy!~user@ool-435120fd.dyn.optonline.net PART #esoteric :"ERC Version 5.3 (IRC client for Emacs)" < 1385002841 414912 :adu!~ajr@96.241.27.127 JOIN :#esoteric < 1385003978 945222 :tertu!~tertu@143.44.72.124 QUIT :Read error: Connection reset by peer < 1385006336 897412 :tertu!~tertu@143.44.72.124 JOIN :#esoteric < 1385006381 4627 :tertu!~tertu@143.44.72.124 QUIT :Read error: Connection reset by peer < 1385006688 399602 :doesthiswork!~Adium@98.145.118.186 JOIN :#esoteric < 1385009487 967481 :adu!~ajr@96.241.27.127 QUIT :Quit: adu < 1385011245 641272 :doesthiswork!~Adium@98.145.118.186 QUIT :Quit: Leaving. < 1385013507 314715 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1385013739 465076 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :quintopia, indeed < 1385013895 621721 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what < 1385013897 767952 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh < 1385013900 970396 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :damn < 1385013915 429356 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :where is zzo38 when you need him? < 1385013921 935079 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :(inb4 "at Canada") < 1385013928 453306 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the moo- oh, sorry < 1385014042 794932 :muahaha!uid10984@gateway/web/irccloud.com/x-nhkltqepzxkqztrm JOIN :#esoteric < 1385014048 45676 :muahaha!uid10984@gateway/web/irccloud.com/x-nhkltqepzxkqztrm PART :#esoteric < 1385014856 440705 :Sgeo_!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1385014976 358696 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Ping timeout: 240 seconds < 1385015297 331537 :madbr!boulam@69-165-212-148.cable.teksavvy.com QUIT :Quit: Rouringu de hajikunda! < 1385016504 585767 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1385016717 913964 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`relcome shachaf < 1385016722 992630 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :​13shachaf: 04Welcome 07to 08the 09international 02hub 06for 13esoteric 04programming 07language 08design 09and 02deployment! 06For 13more 04information, 07check 08out 09our 02wiki: 06. 13(For 04the 07other 08kind 09of 02esoterica, 06try 13#esoteric 04on 07irc.dal.net.) < 1385016725 584105 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Finally! < 1385016773 912066 :augur!~augur@pool-71-178-137-99.washdc.east.verizon.net QUIT :Ping timeout: 272 seconds < 1385016952 487486 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what? < 1385016976 343262 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't think I've been `welcomed before. < 1385016992 89693 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :so you just made it yourself < 1385017188 282237 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :where is oerjan < 1385017209 74603 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :`wercome shachaf < 1385017211 254236 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :shachaf: エソテリックプログラミング言語のディザインとデプロイメントの国際な場所へようこそ!詳しく、ウィキを見て: http://esolangs.org/wiki/Main_Page。(他のエソテリック、irc.dal.netの#esotericへ) < 1385017228 108740 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :now someone else has welcomed them. happy? < 1385017228 711914 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :`rercome shachaf < 1385017229 886508 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: rercome: not found < 1385017238 896871 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :shachaf: i've never been welcomed either < 1385017268 574503 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :`welcome quintopia < 1385017270 790645 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :quintopia: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1385017299 967429 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :thanks lexande < 1385017338 858682 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :have you been hth'd? < 1385017361 681489 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi lexande < 1385017377 238946 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have i asked you about chu spaces yet < 1385017410 222828 :darklust_!~darklust@cpe-67-249-6-105.twcny.res.rr.com JOIN :#esoteric < 1385017410 593652 :ion!ion@heh.fi PRIVMSG #esoteric :What’s a choo choo space? < 1385017421 610990 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@ask oerjan why did you expand the definitions of sin and cos on SELECT.? and why not the others? (i prefer the unexpanded versions because it shortens the code i have to write if i can just call other ones as subroutines.) < 1385017421 768827 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Consider it noted. < 1385017450 182204 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :shachaf: you've never asked me hth < 1385017462 791095 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: there's a channel for that < 1385017480 589033 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :#cslounge-topologicalgeneralizations < 1385017491 611086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :#cslounge-bikes does exist < 1385017518 666250 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ACTION cuts a red deck of bikes < 1385017545 546589 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :isn't csharp basically an esolang? < 1385017547 885668 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ACTION hides < 1385017560 454745 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :shachaf: yeah, i don't know about them, sorry < 1385017565 812018 :ion!ion@heh.fi PRIVMSG #esoteric :Should i lounge on #cslounge? < 1385017571 301758 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :is C++ still kmc's favourite esolang? < 1385017624 310796 :darklust__!~darklust@cpe-67-249-6-105.twcny.res.rr.com QUIT :Ping timeout: 264 seconds < 1385017635 513259 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Bike: let's talk about SLI < 1385017648 215624 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :ok < 1385017661 980092 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is there a working complex SLI library? < 1385017673 187743 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: tough question < 1385017676 540094 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :not that i'm aware of < 1385017692 368816 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :guess you have to work out the operations < 1385017696 948877 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :do you know how to fast add and multiply in SLI < 1385017708 362870 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :ion: once saul kripke was walking in DC and he saw john nash, so he went up to him and say "hi, i'm saul kripke, it's an honour to meet you professor nash." and nash said "who are you!? who sent you!?" < 1385017710 32626 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :e^a * e^b is e^(a+b), so recursin' < 1385017717 114740 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :so kripke said "aaaah!" < 1385017723 299923 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :so nash said "aaaah!" < 1385017726 90275 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :so kripke said "aaaah!" < 1385017727 606202 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :so nash said "aaaah!" < 1385017734 929632 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lol < 1385017749 362739 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :it is unknown how many times this iterated < 1385017761 14668 :ion!ion@heh.fi PRIVMSG #esoteric :lexande: Acknowledged. < 1385017767 662539 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :sounds like a nash equilibrium < 1385017771 666978 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :e^a + e^b is uh... some bullshit < 1385017772 910536 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :anyway, if you do decide to join #cslounge, be prepared to answer a question similar to nash's with a better response than kripke's < 1385017782 199969 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so in SLI < 1385017839 614224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo_ is in #cslounge somehow < 1385017877 848297 :Sgeo_!~quassel@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I've been there a while < 1385017896 419053 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :sometimes i wonder what knowledge you people here have < 1385017904 455623 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :oh, wikipedia has a library. https://code.google.com/p/sli-c-library/ < 1385017915 578521 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :myname: i can name, like, three different pokemons. < 1385017916 313716 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :a*b=(a-1(whatever plus is)b-1)+1 < 1385017930 309525 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :«SLI (symmetric level-index) arithmetic essentially prevents overflow & underflow in computing. With this library, you may use 'SLI' as a normal data type in C++. Replace 'double' with 'SLI' in you program, and over/underflow problem would be solved.» lol < 1385017935 188135 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Bike: yeah that's not implemented complex numbers :P < 1385017935 380844 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i have a seminar this semester about game theory and slowly understand nash equilibrium < 1385017943 165391 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :Bike: that is pretty lame < 1385017982 43412 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :surely c++ templating makes it a snap to replace the underlying numeric type! < 1385018050 612268 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hmm, but x*y=ln((e^x)^y), but ln is just -1, and e^ is just +1, so that's just (x+1)(whatever ^ is)y-1 < 1385018058 122247 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i think this one is easier to figure out < 1385018085 464558 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but ^ is not a simple thing in SLI < 1385018160 990157 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i don't get the nash joke :( < 1385018243 892470 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :exp(a) * exp(b) = exp(a + b) is 1 + a + b, right < 1385018356 142750 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lexande: i heard that story before < 1385018357 994583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :was it from you < 1385018367 455124 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :using multiple forms of arithmetic in the same go like that is confusing. < 1385018371 904146 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :shachaf: probably, or kmc < 1385018480 882846 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: ˖ ᐩ ⁤ ⁺ ₊ ∔ ⊕ ⊞ ➕⧺ ⧻ ⨁ ⨹ hth < 1385018488 437614 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :thank's < 1385018512 628481 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh how could i forget, ﬩ < 1385018525 625840 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :you broke my irssi < 1385018528 654913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's what they use in elementary schools in .il < 1385018539 751194 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :because + is too christian?? < 1385018554 154184 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i would go with the first five < 1385018564 330232 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :should be enough < 1385018569 53645 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :maybe with + < 1385018579 396645 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :some schools, anyway. i had it in some books < 1385018592 629065 :ion!ion@heh.fi PRIVMSG #esoteric :shachaf: You forgot ☩ 卍 卐 hth < 1385018612 540984 :ion!ion@heh.fi PRIVMSG #esoteric :☮ < 1385018638 33654 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :maybe we can just decide adding things is overrated. < 1385018677 848990 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: btw did you see my 2064 INVISIBLE PLUS [⁤] < 1385018683 17927 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :no < 1385018687 76999 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :since it was invisible < 1385018702 500107 :ion!ion@heh.fi PRIVMSG #esoteric :The jokes within the Unicode standard are hilarious. < 1385018713 367164 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :May you live in INVISIBLE PLUS. < 1385018781 124980 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Bike: yes it would be 1+(a卐b). and a = exp(a)-1, and b=exp(b)-1, but the 卐 is not simple. < 1385018811 603147 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :a^b = e^(a * log(b)) = 1 +' (a *' (b -' 1)) < 1385018818 38155 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :i'm really too tired to think ugh < 1385018826 726008 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :er, b * log a. < 1385018830 249902 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :wow. < 1385018832 252764 :ion!ion@heh.fi PRIVMSG #esoteric :I’ll think ugh for you. < 1385018839 448134 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :why does anyone pay attention to me. why do i exist? what is life. < 1385018849 895591 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that first plus is a normal plus < 1385018850 474450 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: what is life. < 1385018850 724060 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: i'll need to buy bread i assume it was a fools fnord. < 1385018865 532330 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :life is a fools fnord. < 1385018866 845092 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and the minus is a normal minus < 1385018870 567927 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :quintopia: i'm using ' to mean "in normal arithmetic", and without it to mean "in SLI" < 1385018878 276599 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :which is dumb < 1385018878 537340 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh in that case < 1385018879 295368 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1385018880 365905 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :sorry < 1385018883 757272 :ion!ion@heh.fi PRIVMSG #esoteric :- is not a normal minus, − is a normal minus. < 1385018885 586513 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :you should drop the ' on the * < 1385018890 944917 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :yeah, you're right. < 1385018896 229122 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fungot: - is a HYPHEN—MINUS < 1385018896 498356 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: doesn't mean anything to me either. rather read the algorithm, as well < 1385018923 798124 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :shachaf, shouldn't it be an en-dash? < 1385018938 590465 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :oh wait- just hyphen? < 1385018946 221875 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i like to subtract using em-dashes < 1385018957 772822 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :so a^b = 1 +' (1 +' (b + (a -' 1))) or so < 1385018977 896447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that was a pedant trap. let's see who else falls in. < 1385018982 817299 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :+ is bullshit that i hate though. fuck it. die. mother < 1385018985 326954 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :quintopia, that reminds me of Unispace < 1385019023 186081 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what are you even trying to figure out < 1385019029 131851 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :who fucking knows < 1385019032 329480 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's sli < 1385019041 704728 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :Bike: i think it may be easier to define + and * in terms of ^ and have ^ be the one complicated algorithm < 1385019053 37020 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :has anyone ever even been so far decided as to more like < 1385019054 267974 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :service level initiative?? < 1385019059 336593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: p. sure ion has < 1385019073 717412 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :uh, what are you doing now? < 1385019093 932973 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :has anyone really been so far even as do go be look more like? < 1385019098 480101 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :four hundred nineteen armless and legless corpses float conspicuously through the remains of the hangar < 1385019101 833930 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :defining ^ : N x N -> Q? < 1385019209 722219 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lifthrasiir: definininininining ^ CxC->C where C uses the SLI representation < 1385019210 390280 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :sli is where each number has two parts, a regular small significand, and a whateverthefuckinand such that the value of the number is the power tower of e's whateverthefuckinand tall with the significand at the top < 1385019230 442983 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :Sign-Level-Index? < 1385019233 654612 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :they call them level and index < 1385019234 717953 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes < 1385019238 965236 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well < 1385019241 773944 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :symmetric level index < 1385019250 324898 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :ah got it < 1385019309 828841 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :of course it really only makes sense in the complex field if we only allow anyone ever to use the principal branch < 1385019323 165050 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the other branches can fuck themselves < 1385019339 504024 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well, brances do have crotches between them < 1385019343 990682 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :+h < 1385019360 679767 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :the -1 branch of lambert is such an asshole at parties < 1385019370 147309 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :no i'm not dressed as andrew jackson you dumb motherfucker < 1385019407 107854 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :are the branches of the product-log polyamorous < 1385019432 983188 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :they do seem to like to get together at one point < 1385019439 52840 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or is that just a coincidence? < 1385019754 573253 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :http://link.springer.com/chapter/10.1007%2FBFb0024702 < 1385019794 389073 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1385019872 59337 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :only thirty bucks < 1385019896 813083 :impomatic!~digital_w@87.114.102.71 QUIT :Quit: impomatic < 1385019913 760410 :augur_!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Read error: Connection reset by peer < 1385020382 434336 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what a bargain < 1385020424 200854 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well there's a hint in the abstract < 1385020433 4814 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the algorithms are recursive < 1385020451 593679 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :saw it comin' < 1385020460 422451 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah sucks though < 1385020473 569871 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :means compute time is slow < 1385020479 122312 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :probably O(i) < 1385020482 435968 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wait < 1385020499 488065 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i mean O(l+p^k) < 1385020503 452643 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or something < 1385020510 70771 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :k probably less than 2 < 1385020549 990517 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it also talks about "the original recursive algorithms for arithmetic" < 1385020557 224206 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :meaning those are exposed somewhere besides this paper < 1385020558 441617 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so < 1385020563 354229 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :can we find them < 1385020573 819038 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i guess < 1385020574 629570 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :classical arithmetic is recursive too... < 1385020577 767913 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the source code < 1385020623 516838 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :classical arithmetic is usually implemented iteratively, and a lot of it is ENTIRELY parallelizable < 1385020671 184872 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :like, to do x^y, you don't compute x*(x^(y-1)) < 1385020732 567908 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but anyways < 1385020734 693292 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the source code < 1385020739 8429 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that's where the answer lies < 1385020812 310292 :ion!ion@heh.fi PRIVMSG #esoteric :what is this i don’t even http://redalertlive.com/2013/11/18/body-modification-piercings-lip-plates/ < 1385020973 276864 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: http://www.youtube.com/watch?v=FavUpD_IjVY < 1385021042 113583 :ion!ion@heh.fi PRIVMSG #esoteric :cyriak & cyriak & cyriak < 1385021082 151606 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh it's that person < 1385021085 82502 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :who makes those videos < 1385021939 255010 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i remember now < 1385022499 739360 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Is there a community like this one, but for non-esoteric prog langs? < 1385022586 56330 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Like where you can talk about the creation of programming languages, unharmed :P < 1385022797 198753 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :make #nonesoteric < 1385022844 506413 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :it doesn't seem like such discussion would be considered offtopic here? < 1385022959 700743 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :It seems like it would to me, or could be. < 1385023029 438271 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Just went ahead and made #nonesoteric :P < 1385023140 937145 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :No thats a stupid name :P < 1385023162 353944 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Because the creation of programming languages doesnt mean just nonesoteric ones < 1385023194 866332 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :But this channel is centered around esoteric, so thats why I was wondering. < 1385023210 435157 :ion!ion@heh.fi PRIVMSG #esoteric :I think there should be a channel for each real number representing esotericness. < 1385023241 768105 :ion!ion@heh.fi PRIVMSG #esoteric :I hear #esoteric-0.594381… is great. < 1385023254 354202 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Will check it out :P < 1385024474 162861 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1385026274 527500 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :JesseH: Please don't create a Java derivative. < 1385026275 115879 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1385026301 769162 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Nah; Derplang 2.0 :P < 1385026306 130069 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Example would would be < 1385026310 233763 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :var x int 1 < 1385026312 507214 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :out x < 1385026313 120060 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1385026313 710966 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :May I suggest a more verbose version of J < 1385026315 188620 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :=> 1 < 1385026318 25249 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I like J < 1385026320 870161 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but it's to unreadable < 1385026326 822274 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(for a non J-er like me) < 1385026328 726157 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*too < 1385026334 814486 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :I see < 1385026349 534265 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but generally I'm pretty sure J kicks ass < 1385026374 611864 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :I see :P < 1385026399 979669 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and we need more kick ass languages < 1385026438 318356 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Derplang is going to be a kick ass language :P < 1385026452 738362 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages-loud < 1385026452 897488 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :quintopia asked 2h 30m 31s ago: why did you expand the definitions of sin and cos on SELECT.? and why not the others? (i prefer the unexpanded versions because it shortens the code i have to write < 1385026453 55346 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :if i can just call other ones as subroutines.) < 1385026463 544404 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :way too lowlevel @derplang < 1385026485 343665 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :wat < 1385026501 191234 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :var x add 2 2 < 1385026505 975413 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :out x # => 4 < 1385026507 628234 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah < 1385026511 285578 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's exactly low level < 1385026529 703600 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Handling lists is going to be interesting; I was thinking < 1385026533 131696 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :var x list 1 2 3 4 5 < 1385026537 223347 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :out x 0 < 1385026539 234109 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :=> 1 < 1385026540 165316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell quintopia Because SELECT. is a complex number language and the unexpanded versions only hold for reals. and because i didn't remember the inverse versions and my brain didn't feel like working it out. < 1385026540 323122 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Consider it noted. < 1385026559 664190 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Can I create 3D figures and then let derplang calculate its volume? < 1385026582 278599 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :where are matrices, vectors < 1385026584 163965 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and stuff < 1385026584 823080 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :this is not forth < 1385026602 118812 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :If you want special things, you probably will have to implement it yourself. < 1385026660 971327 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That's what C said. < 1385026662 279526 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :Ill create a package manager thing, so we can easily share libraries :P < 1385026692 67110 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :mroman_, lol i get it < 1385026703 530072 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell quintopia alternatively s/remember/ever learn how branch cuts work for/ < 1385026703 726584 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Consider it noted. < 1385026774 207439 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :At least don't use Integers for Listindices < 1385026783 143791 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or array indices < 1385026785 988761 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :O_o < 1385026792 434024 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :are you mad < 1385026810 675061 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :There should be a data type for indicies < 1385026830 484782 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that behaves like an integer but safer < 1385026886 629631 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t range < 1385026888 658299 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Ix a => (a, a) -> [a] < 1385026915 333565 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> range ((0,0),(1,1)) < 1385026916 718634 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : [(0,0),(0,1),(1,0),(1,1)] < 1385027051 481488 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :more or less an iterator < 1385027060 415363 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that overloads + and - or something < 1385027075 583842 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :If Java had operator overloading . < 1385027127 736479 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Operator Overloading for Haskell... < 1385027149 21293 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Did they consider that to prevent operator hell? < 1385027179 806912 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :e.g. uhm < 1385027204 249727 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :foo :: String -> Int; foo x = read x; foo :: Int -> String; foo x = show x; < 1385027225 362162 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I assume it would be possible to detect which version of foo is meant < 1385027238 113739 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um that's what type classes are for. < 1385027247 447006 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yeah < 1385027254 193977 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :But type class != overloading < 1385027270 747549 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :i.e (+) is reserved for Num < 1385027279 321066 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so you can't use (+) for anything that is not a Num < 1385027281 989872 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::i (+) < 1385027288 910291 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::t (+) < 1385027289 715622 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Num a => a -> a -> a < 1385027307 265611 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so you have ++ for strings < 1385027315 81177 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :because it wouln't really work well with the regular + < 1385027319 411115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :type classes were invented because the haskell inventors considered usual overloading ugly and messy. < 1385027516 548881 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It is < 1385028917 336498 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ࠐ < 1385028921 495799 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :​[U+0810 SAMARITAN LETTER FI] < 1385028930 649264 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait < 1385028956 22697 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`unidecode ⁤ < 1385028957 596134 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :​[U+2064 INVISIBLE PLUS] < 1385028971 740726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm in putty it _is_ invisible. < 1385028977 748200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not in IE. < 1385030329 595443 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :myname: C# seems pretty un-eso to me < 1385030355 203762 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's like java but without all the useful features you'd want inexplicably missing < 1385032642 410211 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :am i getting overly trigger happy < 1385033176 846911 :darklust_!~darklust@cpe-67-249-6-105.twcny.res.rr.com QUIT :Remote host closed the connection < 1385033269 710598 :nooodl!~nooodl@91.177.92.147 JOIN :#esoteric < 1385033407 678114 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :kmc: what features? < 1385033448 918079 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1385033901 252468 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :unsigned integers, lambdas, tuples, monad comprehensions (kinda), operator overloading, reference parameters, generators, optional & named arguments, extension methods < 1385033922 61787 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Comparison_of_C_Sharp_and_Java < 1385034010 346700 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oh the lambda is also an AST quotation and you can do dynamic macros and JIT them < 1385034155 304360 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1385034196 878560 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so yeah, C#: actually pretty good and cool < 1385034232 670641 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I haven't really needed it so far, but I would seriously consider it for a future project, although I'd have to first convince myself Mono is fully-baked enough < 1385034247 207268 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :(it was fine for the one toy project I did in C#) < 1385034352 702390 :nooodl_!~nooodl@91.179.129.131 JOIN :#esoteric < 1385034553 698406 :nooodl!~nooodl@91.177.92.147 QUIT :Ping timeout: 252 seconds < 1385035368 68737 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm a bit disappointed that those languages are so framework dependant < 1385035396 51897 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :C# is really a neat language < 1385035415 792832 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :But I'd rather have it produce native code < 1385035517 274302 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :or at least they should have considered portability a bit better < 1385035528 925290 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it does produce native code, via JIT < 1385035537 426189 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what properties associated with "native code" do you actually care about? < 1385035622 466063 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's better for compile'n'run < 1385035637 701641 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so "size" < 1385035683 274044 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which means it's more portable < 1385035754 321815 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you mean that you don't want to have a JIT around at runtime? < 1385035762 951830 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :for size reasons? < 1385035767 288198 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I don't care if it's JITed < 1385035796 783189 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's probably even better if it's JITed < 1385035884 770804 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :But JIT requires an extra installation of some software on your system < 1385035888 229352 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's what I dislike < 1385035892 933910 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ah < 1385035899 394810 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well you could bundle the JIT with every executable ;P < 1385035903 71035 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yes < 1385035915 867322 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :But I'm not sure how big the Java JIT is :) < 1385035920 612010 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :huge < 1385035928 23042 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I suspect like... < 1385035933 290847 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :10MB? < 1385035966 673348 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Although that sounds too much < 1385035986 988455 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :anyway does the C# spec even forbid, say, an ahead-of-time compiled implementation? < 1385035995 410952 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i'm not sure whether the spec requires the full Common Language Infrastructure < 1385036009 256208 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it might, I have no specific knowledge of it < 1385036017 396612 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :kmc: I don't think so @CLI < 1385036022 664142 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :But I haven't read the spec. < 1385036055 727699 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Seeing as C# is used in OSDEV I assume you don't need a huge runtime around it < 1385036076 641518 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so if your complaint is that Microsoft's C# implementation is not the kind of C# implementation you'd want to use, that's not a complaint with C# the language < 1385036081 1956 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Mono has http://www.mono-project.com/AOT < 1385036090 294877 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :don't know anything about it past 2 seconds of reading that page ;P < 1385036095 76230 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mroman_: what's it used for in os dev? < 1385036130 883137 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :For "Hey look I can write an OS in C#"-stuff < 1385036155 523779 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Much like "Hey look I can write an OS in Ada, Cobol, Pascal, Delphi"-Stuff < 1385036166 907730 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :kmc: Singularity is probably C#? < 1385036191 930531 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hom no < 1385036198 602593 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :A C#-Derivative < 1385036208 230713 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Sing# < 1385036209 866924 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric ::) < 1385036227 695262 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :kmc: No C# is fine. < 1385036236 205003 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's the Framework I don't like :) < 1385036238 511228 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 . < 1385036253 791907 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ok then < 1385036257 6762 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Well < 1385036261 378789 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I like the Framework < 1385036263 972366 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :on windows :) < 1385036269 624710 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I don't like Windows so I'd never use MSFT's C# stuff anyway < 1385036275 572828 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but I might use it via Mono sometime < 1385036281 253441 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It's really future rich < 1385036300 818611 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and now with new .NET and wpf and stuff you have even more feature rich stuff < 1385036319 979279 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like 10000 Classes . < 1385036336 693275 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Hm < 1385036355 83614 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :kmc: Or you find someone who does C# on JVM < 1385036361 569214 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*to JVM < 1385036406 485280 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Apparentely there's the "Stab programming language" < 1385036424 481088 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :every programming language is a stab programming language < 1385036431 448395 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://code.google.com/p/stab-language/ < 1385036666 868172 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :esoteric frameworks < 1385036670 10561 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :are there yet any? < 1385036696 356376 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :EsoAPI < 1385036702 36110 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I've heard it's dead < 1385036723 998787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (^~) < 1385036724 799164 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :(Integral e, Num a) => ASetter s t a a -> e -> s -> t < 1385036737 306088 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1385036747 542752 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (^%) < 1385036748 379077 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : Not in scope: `^%' < 1385036748 537115 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : Perhaps you meant one of these: < 1385036748 537288 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : `^' (imported from Prelude), `^^' (imported from Prelude), < 1385036781 195903 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (%~) < 1385036782 131337 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Profunctor p => Setting p s t a b -> p a b -> s -> t < 1385036798 884356 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: BRAAAIN < 1385036836 839226 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yoob? < 1385036976 287119 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1385037671 138283 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1385037840 782716 :Sgeo_!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1385037881 969170 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1385038694 950941 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1385038706 777763 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1385038761 127631 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1385038790 135769 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :The channel of the chimæric hellos | The most corum, clargoint chait you could ever loofefl your slance in. | Magnus!!!! | Koirammekokaan ei lennä? :( | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf | logs: http://codu.org/logs/_esoteric/ or http://tunes.org/~nef/logs/esoteric/ < 1385038795 520303 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Client Quit < 1385039566 777102 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :good exclamative morning? < 1385039578 791285 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@tell oerjan what with the drive-by topicking? < 1385039578 949328 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Consider it noted. < 1385039619 478810 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1385040136 919245 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hi < 1385040774 750811 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :good kmorningc. < 1385041535 330894 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :how are you? < 1385042368 879937 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :doing well. how's life on your end? < 1385042412 560300 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :pretty good < 1385042600 318777 :muskrat!musk@dyn2-85-23-163-61.psoas.suomi.net JOIN :#esoteric < 1385042640 64293 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~metar KSFO < 1385042640 481899 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :KSFO 211356Z 25003KT 10SM SCT013 BKN023 OVC042 10/09 A2994 RMK AO2 SLP137 T01000089 < 1385042650 941374 :muskrat!musk@dyn2-85-23-163-61.psoas.suomi.net PART :#esoteric < 1385042764 154946 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :kmc: I'm guessing you're currently eating breakfast? < 1385042814 335941 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nope < 1385042819 12411 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's 23:06 here < 1385042875 739886 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ooookay... either my file is wrong, or the Earth has a very, very weird curvature today. < 1385042919 357594 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :you're not in Frisco anymore? < 1385042966 210235 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i'm vacationing in japan < 1385042979 785054 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION twitches at "Frisco" < 1385043074 203751 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :オォ!すごい!どこにいっていますか? < 1385043160 868943 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i can't read any of that -_- < 1385043168 845961 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but google informs me you asked where i'm going in japan < 1385043225 864314 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :osaka, nara, kyoto, hiroshima, tokyo in that order < 1385043230 588226 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i'm in hiroshima right now, heading to tokyo tomorrow night < 1385043236 233680 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric ::D < 1385043257 163083 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this is after a work week + a few days of touristing in Seoul < 1385043289 674974 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which means that work paid for my flights across the Pacific which is すごい indeed < 1385043387 215269 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :btw Hangul is the coolest writing system ever < 1385043435 92826 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I fear my main motivation to learn languages spoken in Asia is to understand what's written on restaurant menus... >_>'... < 1385043541 181260 :yiyus!1242712427@server1.bouncer4you.de QUIT :Read error: Operation timed out < 1385043558 385112 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 245 seconds < 1385043867 858186 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1385043878 72079 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :seems fine to me < 1385044041 45225 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you can learn to read hangul in a few hours < 1385044066 517618 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :or as one of the developers of the alphabet put it, "a wise man can acquaint himself with them before the morning is over; a stupid man can learn them in the space of ten days" < 1385044276 871245 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :on the other end of the spectrum, culinary cantonese is unbelievably hard, not for the characters themselves, but the poetic metaphors and shortcuts. < 1385045175 302037 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :example? < 1385045617 476076 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I'll take pictures tonight of a potential source of incomprehensibility. < 1385045647 72837 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cool < 1385045655 619209 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :do you know anything about szechuan cooking, by the way? < 1385045672 93971 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i quite like szechuan food and we cook it at home sometimes < 1385045738 643115 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I tried my hand at it a few times, but I have to hone my techniques. < 1385045740 375685 :mrhmouse!~jordan.br@firewall1.photobooks.com JOIN :#esoteric < 1385046240 480380 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :kmc: some day, I'll succumb to the temptation, and buy a portable electric stove with a fondue pot, and make myself real sichuanese fiery fondue of deathly agonizing doom. < 1385046424 65474 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :nice < 1385047463 516027 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :next step: find a recipe with raccoon meat. there are more than enough overweight raccoons on Mont Royal. < 1385047503 580780 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1385048683 351082 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1385048913 849491 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1385048989 60074 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Read error: Operation timed out < 1385049024 376040 :mrhmouse!~jordan.br@firewall1.photobooks.com QUIT :Ping timeout: 246 seconds < 1385049124 846166 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1385049432 844740 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1385050792 779589 :Sorella_!~quildreen@187.20.218.214 JOIN :#esoteric < 1385050847 321510 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`relcome Sorella_ < 1385050850 415082 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :​13Sorella_: 04Welcome 07to 08the 09international 02hub 06for 13esoteric 04programming 07language 08design 09and 02deployment! 06For 13more 04information, 07check 08out 09our 02wiki: 06. 13(For 04the 07other 08kind 09of 02esoterica, 06try 13#esoteric 04on 07irc.dal.net.) < 1385050907 203757 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~duck gnathostome < 1385050907 671947 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Gnathostomata are the jawed vertebrates. < 1385050970 200597 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu PRIVMSG #esoteric :well-spaced < 1385051101 431734 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :it's a well-known anatidæ feature. < 1385051103 388378 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 246 seconds < 1385051706 332505 :mrhmouse!~jordan.br@firewall1.photobooks.com JOIN :#esoteric < 1385052019 105677 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :I think I have decided to keep the old derplang syntax, since more people have told me they like it over the new < 1385052406 114113 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Hello esoterics < 1385052418 279088 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Slereahello. < 1385052989 564351 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Slereah: how is your trek into assembly going? < 1385053413 888487 :JesseH!~JesseH@unaffiliated/jesseh PRIVMSG #esoteric :you could say he...JMPd right in... < 1385053481 816085 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 272 seconds < 1385053845 357638 :Bike!~Glossina@gannon-wless-gw.resnet.wsu.edu QUIT :Ping timeout: 272 seconds < 1385054217 374866 :Bike!~Glossina@wl-nat105.it.wsu.edu JOIN :#esoteric < 1385054385 81952 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :mrhmouse: not far < 1385054391 75783 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I went to bed and went to class < 1385054401 715660 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I'll investigate this week end < 1385055011 887107 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1385055282 312272 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1385055301 475325 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :helloily < 1385055346 75566 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what isn't the command called ~anatidae < 1385055530 640896 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :@tell oerjan the unexpanded versions work for complex numbers too, as that's exactly how i implemented it and got right answers. and the inverse trig functions branch the same way as log (e.g. the principal branch of each agrees) < 1385055530 838920 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Consider it noted. < 1385055805 455709 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Why do most computer things use reals instead of rationals < 1385055825 820558 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Rationals are easy to code, easy to operate with, and floating points are just really rationals in the end < 1385055901 862636 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Although < 1385055925 294283 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :There's the possibility of wasted space I guess < 1385055939 159244 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Since 1/2 = 1*10^30 / 2*10^30 < 1385055957 114132 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :You could be overflowing needlessly < 1385055983 863503 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Some languages work with rationals by default. < 1385055993 611411 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Which ones? < 1385056004 220817 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Well, I think Haskell does < 1385056016 275643 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :And probably many functional languages < 1385056037 948043 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :There's still the floating point type to store irrational numbers. < 1385056047 113802 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :LISP would be great for it, since a rational is just a list of two integers < 1385056058 279939 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :And I think most general purpose languages have some way of dealing with rationals < 1385056080 401740 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :You can't store irrational numbers in a floating point < 1385056083 320379 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Or even in anything < 1385056090 257087 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Most irrationals aren't computable < 1385056112 446286 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :No, but you can store a better approximation (read: smaller in size) in floating point < 1385056138 446547 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess! < 1385056167 661201 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I wonder what would be the most efficient way of encoding some real number approximatively < 1385056319 293397 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: quinthellopia. because I lack imagination. < 1385056539 702742 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Slereah: const real x = 0; < 1385056575 845321 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :That's a pretty big approximation < 1385056583 218653 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Also not that efficient < 1385056596 664341 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :If you encode it on one bit, at least do "0 or not 0" < 1385056609 242500 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :I'm an approximation expert, with a specialisation in coördinates. < 1385056787 470801 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :Hm < 1385056812 34426 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I guess you could encode algebraic numbers as a vector of their polynoms < 1385056818 574070 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :I wonder what precision that would allow < 1385057061 909151 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Textual IRC Client: www.textualapp.com < 1385057168 16464 :conehead!uid16140@gateway/web/irccloud.com/x-gwblbwlnmeyuigyq JOIN :#esoteric < 1385057468 26964 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: and body weigh! < 1385057549 855875 :Taneb!~Taneb@5.151.65.168 JOIN :#esoteric < 1385057556 933981 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Tanelle. < 1385057583 678150 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :Slereah: as a certified appröximator, what are your coördinates and body weigh? < 1385057584 221720 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what do today < 1385057606 49040 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :quintopia: today thursdays. < 1385057621 279488 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i only got 5 hours of sleep. < 1385057633 856967 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i couldn't sleep any more even though i was so sleepy < 1385058369 372102 :Bike!~Glossina@wl-nat105.it.wsu.edu QUIT :Ping timeout: 246 seconds < 1385058432 929678 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ACTION removes fizzie's eggtimer and glues it onto quintopia < 1385058441 460651 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ow < 1385058455 876955 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :do i have to stand on my head to reset it < 1385058580 24062 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :only if you start seeing Ephemeral Shadow-Bats because of sleep deprivation. < 1385058785 401226 :Bike!~Glossina@wl-nat110.it.wsu.edu JOIN :#esoteric < 1385060257 703008 :Slereah!x@176.222.51.233 PRIVMSG #esoteric :https://d24w6bsrhbeh9d.cloudfront.net/photo/aEwpeEe_460sa.gif < 1385060353 702671 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :is it really that big of a deal? (the G+ / YouTube linking) < 1385060373 803614 :Bike!~Glossina@wl-nat110.it.wsu.edu PRIVMSG #esoteric :it ruins the sanctity of youtube comments. < 1385060378 352017 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :I haven't actually noticed, since I've had a G+ account for ages.. < 1385060447 811044 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's caused YouTube comments to stop working for me altogether < 1385060451 634100 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :which is arguably a good thing, but… < 1385060537 436790 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Maybe that's another reason I haven't noticed... < 1385060562 240774 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :if youtube comments can't be youtube comments, that'll cause an overflow and drown the rest of the intarwebs under a neverending flood! < 1385061298 772690 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :boily: what did we do before youtube existed? < 1385061365 456020 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :upload videos in actual video formats < 1385061373 636939 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :to actual directories of web servers < 1385061393 212348 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :things were so much simpler then < 1385061410 103547 :Bike!~Glossina@wl-nat110.it.wsu.edu PRIVMSG #esoteric :anyone remember quicktime < 1385061421 824785 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :yeah but where did the comments overflow to? < 1385061461 452763 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :there were no comments then! < 1385061476 805964 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :people watched videos in silence in the comfort of their own hard drive < 1385061489 567782 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :back in the Previous Era, people overflowed in newspapers. < 1385061492 243731 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :if they had a comment they wrote it in a text file and saved it for themselves to look at later < 1385061537 175464 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :boily: now, at the end of the movie, they always overflow on her face < 1385061575 107419 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :or, in horror movies, a Supernatural Floating Disflagrated Face. < 1385061593 541264 :Bike!~Glossina@wl-nat110.it.wsu.edu PRIVMSG #esoteric :so uh, the original strongly agree-agree-neutral-disagree-strongly disagree scale was kinda fucked up https://twitter.com/mc_hankins/status/403270681846378496/photo/1/large < 1385061785 660484 :Bike!~Glossina@wl-nat110.it.wsu.edu PRIVMSG #esoteric :unnnnrelated but you could vote in this poll, it's got ada lovelace and grace hopper. http://www.bobbleheads.com/bobblehead-scientist-poll.html < 1385061860 693900 :Sprocklem!~Sprocklem@199.185.88.147 JOIN :#esoteric < 1385062153 94788 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1385062713 853621 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@messages-loud < 1385062714 50980 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :boily said 6h 25m 35s ago: what with the drive-by topicking? < 1385062714 51702 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :quintopia said 1h 59m 43s ago: the unexpanded versions work for complex numbers too, as that's exactly how i implemented it and got right answers. and the inverse trig functions branch the same way < 1385062714 51812 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :as log (e.g. the principal branch of each agrees) < 1385062738 631331 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: magnus won another game hth < 1385062831 362103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: i fail to see how cos(x) = Re(e^(i*x)) can work for complex numbers given that the correct answer isn't always real. < 1385062892 341138 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> cos (0 :+ 1) < 1385062894 858444 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : 1.5430806348152437 :+ (-0.0) < 1385062908 862705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :obviously not a good example. < 1385062911 651291 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :> cos (1 :+ 1) < 1385062912 740514 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : 0.8337300251311491 :+ (-0.9888977057628651) < 1385062915 582839 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric ::) < 1385062918 127852 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thanks :) < 1385062954 780268 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: perhaps i should reimplement and expand my test cases :P < 1385062973 878995 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval sin 1 == (exp (0 :+ 1) - exp (0 :+ -1)) / (0 :+ 2) < 1385062974 560360 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Error (1): Precedence parsing error < 1385062974 718630 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : cannot mix `Data.Complex.:+' [infix 6] and prefix `-' [infixl 6] in the same infix expression < 1385062983 188398 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval sin 1 == (exp (0 :+ 1) - exp (0 :+ (-1))) / (0 :+ 2) < 1385062984 210867 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :True < 1385062984 680110 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i'll expand the others too < 1385063007 299490 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Implementation of cos(x) in what? < 1385063028 976490 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in http://esolangs.org/wiki/SELECT. < 1385063053 424275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION wonders how many clients will erroneously leave out the dot. < 1385063072 196710 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :Mine does < 1385063077 467486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, among those who make it a link in the first place. < 1385063081 725913 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> let i = 0 :+ 1; cos' x = (exp (i*x) + exp(-i*x))/2 in (cos (1 :+ 1), cos' (1 :+ 1)) < 1385063083 647007 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : (0.8337300251311491 :+ (-0.9888977057628651),0.833730025131149 :+ (-0.98889... < 1385063103 96893 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Oh, the dot was part of it < 1385063119 711015 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`thanks oerjan < 1385063121 118603 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :Thanks, oerjan. Thoerjan. < 1385063128 948694 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`yw FireFly < 1385063130 193067 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: yw: not found < 1385063152 479305 :nooodl_!~nooodl@91.179.129.131 PRIVMSG #esoteric :i set up a redirect hth < 1385063152 637420 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: wait a second. what's the difference between (x+x*)/2 and (e^ix+e^-ix)/2 again? < 1385063161 940732 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :You're welcome, Firefly. You're wireFly < 1385063170 952644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: there is no conjugation in the latter. < 1385063172 883780 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: You could try http://esolangs.org/wiki/SELECT%2E. ;-) < 1385063192 907524 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just two numbers that _happen_ to be conjugate if x is real. < 1385063242 662344 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hmmmm < 1385063260 13083 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :it's not clear to me what happens when they are complex < 1385063301 265836 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :cos and sin are entire analytic functions in the complex plane, the expressions in e give the same result as the usual power series everywhere. < 1385063372 624000 :nooodl_!~nooodl@91.179.129.131 PRIVMSG #esoteric :i guess e^(i(a+bi)) = e^(ia) * e^(-b)? < 1385063387 332183 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nooodl_: yeah < 1385063492 813004 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :e^(ia) e^(ia) e^(complex fhtaghn) < 1385063500 978703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :btw (e^(i*x))* = e^(-i*x*) < 1385063535 814092 :nooodl_!~nooodl@91.179.129.131 PRIVMSG #esoteric :postfix * is confusing as fuck < 1385063544 332239 :nooodl_!~nooodl@91.179.129.131 PRIVMSG #esoteric :imo conj() < 1385063548 892152 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 246 seconds < 1385063717 440033 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The complex conjurer. < 1385063801 883616 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: well e^(ix) and e^(-ix) are essentially the exponential with arguments rotated 90 degrees, which switches which of real and imaginary direction is growing and which is periodic. and then you take linear combinations of that, to make similar functions that are real on reals. < 1385063826 613505 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :oerjan, stop being fungot. twh. < 1385063826 848013 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: generally alternative rock or ska. uh, i have trouble assimilating a url that refers to it.... < 1385063862 734900 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so cos and sin in imaginary direction are approximately growing exponentially. < 1385063866 669087 :Bike!~Glossina@wl-nat110.it.wsu.edu PRIVMSG #esoteric :So is there some easy way to get cos and sin out of exp for complex values? < 1385063892 649162 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: um yes that's what started this. < 1385063907 164517 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :cos(x) = (e^(i*x)+e^(-i*x))/2 < 1385063907 322257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sin(x) = (e^(i*x)-e^(-i*x))/(2*i) < 1385063923 336614 :Bike!~Glossina@wl-nat110.it.wsu.edu PRIVMSG #esoteric :right. silly me. < 1385063954 35629 :Sorella_!~quildreen@187.20.218.214 QUIT :Quit: Ex-Chat < 1385063962 946835 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: how am i fungot when the sword alone cannot stop! < 1385063963 209289 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: sounds like fnord talk. then again as has been demonstrated... i've been wondering about encoding things like stress and vowel lengths...) < 1385064012 639548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: you mean you're working on an audio version of yourself? i think fizzie would appreciate that. < 1385064012 828775 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: aww. hold it gently.) but it has slower screen updates as they happen when you were fnord < 1385064042 3608 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: audio versions don't need screen silly < 1385064042 225689 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: i'm unclear as to how to extract information from gnomon, should he ever join the fnord < 1385064087 829534 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I would certainly "appreciate" an incessantly babbling audio-fungot in my home, sure. < 1385064088 48237 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: they're cheating a bit with the old version < 1385064153 26028 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fizzie: imagine, a fungot plushie with an embedded speaker. the world would be a much better place! < 1385064153 202301 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: fnord francais? ( assuming that code is valid: < 1385064159 278061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: i am not sure extracting that information is good for sanity. < 1385064159 493573 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: i've been looking in the wrong timezones ( as opposed to what you explained above < 1385064167 817176 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fungot: oui, une version francophone serait appréciée. < 1385064168 12079 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: someone could tell fizzie to stop reading before an overflow would fnord, and t f) < 1385064232 208833 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fizzie: stop reading before an overflow would fnord hth < 1385064364 265473 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :fizzie: do you have a large enough French corpus available for fungotification? < 1385064364 643822 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :boily: only if your kidneys are borked, xerox. xerox, fnord copier, xerox machine ( duplicator that copies graphic matter by the action of a failure continuation < 1385064374 706192 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1385064417 379253 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot: your insightfulness dazzles me < 1385064417 574718 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: fnord!.... u shouldnt help ppl fnord suicide u fnord!. < 1385064462 45996 :impomatic!~digital_w@87.114.102.71 JOIN :#esoteric < 1385064484 699807 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1385064510 371177 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1385064774 373693 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 246 seconds < 1385064788 306722 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :damn straight, fungot < 1385064788 464453 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: do you think human reasoning is like. < 1385064830 376007 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :fungot, yes, it's very much like. < 1385064830 593656 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :int-e: you have a lot of votes in 1996 due to pure cash flow... nobody even seemed to care about support for syntax extensions in 5.1, but hey, i do < 1385064846 987569 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :fungot: yes, i think facebook has made that much clear < 1385064847 179951 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :lexande: it's pretty much fnord i'm not an expert audio fnord, that's what it means in her area. and all.) < 1385064854 398525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@tell mrhmouse Well, I think Haskell does <-- nope, the defaults are bignum Integer and floating point Double. although Rational is there too, but doesn't support all the same functions as either of those. < 1385064854 556722 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Consider it noted. < 1385064876 998435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> sin pi :: Rational < 1385064878 68483 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : No instance for (GHC.Float.Floating GHC.Real.Rational) < 1385064878 226559 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : arising from a us... < 1385064891 510093 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :oerjan: but I'm here < 1385064895 602952 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> toRational $ sin pi < 1385064896 752504 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : 4967757600021511 % 40564819207303340847894502572032 < 1385064922 334762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mrhmouse: i don't trust people who have been idle for an hour. < 1385064991 846342 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :oerjan: which language am I thinking of that defaults to rationals? I'm certain it was at least similar to Haskell in syntax < 1385064993 62771 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Just @massage-loud it < 1385065010 480337 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :@massage < 1385065010 638284 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :You don't have any messages < 1385065027 384038 :yiyus!1242712427@server1.bouncer4you.de JOIN :#esoteric < 1385065061 506861 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let default (Integer, Rational, Double) -- whistles innocently < 1385065062 500329 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : Defined. < 1385065068 32901 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1/2 < 1385065069 119047 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : 0.5 < 1385065072 315381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn. < 1385065080 385279 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :nasty. < 1385065101 972719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait defaults don't get imported, and @lets go into the L.hs module. < 1385065136 508420 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let (test, _) = (1/2, undefined) < 1385065137 803331 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : Defined. < 1385065141 42037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> test < 1385065143 50714 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : 0.5 < 1385065145 907269 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1385065153 349184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t test < 1385065154 175827 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Rational < 1385065157 177926 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1385065177 233392 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric ::t 1/2 < 1385065178 99139 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Fractional a => a < 1385065180 421916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm this is probably messing somewhere. < 1385065214 333025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mrhmouse: also, i dunno. < 1385065239 144807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> typeOf test < 1385065240 626389 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : Double < 1385065252 330997 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t test < 1385065253 182356 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :Rational < 1385065256 536633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1385065261 528818 :Bike!~Glossina@wl-nat110.it.wsu.edu PRIVMSG #esoteric :cool < 1385065303 188730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> denominator test < 1385065304 743073 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : 2 < 1385065314 162145 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> sin test < 1385065315 748777 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : 0.479425538604203 < 1385065320 687655 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :strange. < 1385065394 65676 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose with > the actual use of test flows back to the inference. < 1385065408 288812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :somehow. < 1385065421 984631 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :AAAAAAAAURGH WHY WON'T YOU GIVE ME A STACK TRACE YOU FSCKING STUPID FRAMEWORK I ALREADY KNOW IT'S A 500 ERROR I WANT DETAAAAAIIILLLLSSS!!!!! < 1385065432 357666 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :(sorry. ranting against django.) < 1385065443 693890 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also lambdabot probably has monomorphism restriction turned off, hm < 1385065471 89740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although i was hoping the tuple would get around that. < 1385065477 429715 :cherez!~cherez@70.94.35.237 JOIN :#esoteric < 1385065497 796710 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let (x, y) = 1 `divMod` 2 in (x :: Int, y :: Integer) < 1385065498 953079 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : (0,1) < 1385065503 427126 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm nope < 1385065586 571601 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (typeOf test, test) < 1385065588 112274 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : (Double,0.5) < 1385065617 291120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (typeOf test, denominator test) < 1385065618 677876 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : (Double,2) < 1385065627 47400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :UM < 1385065635 515099 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1385065640 840647 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :well if it is polymorphic then ... of course. < 1385065649 886800 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but I'm confused as to why < 1385065678 114612 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's polymorphic given the monomorphism restriction is turned off. < 1385065709 208383 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and that means it gets exported polymorphic, and the default declaration in L.hs gets no chance to fire. < 1385065739 365698 :Bike!~Glossina@wl-nat110.it.wsu.edu QUIT :Ping timeout: 272 seconds < 1385065765 469640 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :Ugh this is going to drive me mad. I could swear I was reading a language tutorial ages ago that showed "1 / 3" at the prompt and "1 / 3" as the response... < 1385065765 849606 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so instead the usual defaulting (same as ghci?) happens for lambdabot expressions. < 1385065818 239971 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm... < 1385065831 785601 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :mrhmouse: why are you looking for this? < 1385065831 943427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let showTest = show test < 1385065832 844954 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : Defined. < 1385065836 432151 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> showTest < 1385065837 881837 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : "1 % 2" < 1385065838 676980 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Ping timeout: 240 seconds < 1385065877 793968 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`relcome cherez < 1385065880 276887 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :​02cherez: 06Welcome 13to 04the 07international 08hub 09for 02esoteric 06programming 13language 04design 07and 08deployment! 09For 02more 06information, 13check 04out 07our 08wiki: 09. 02(For 06the 13other 04kind 07of 08esoterica, 09try 02#esoteric 06on 13irc.dal.net.) < 1385065880 807724 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there you go. since show test has type String, the defaulting of test has to happen even with the monomorphism restriction, since the type cannot escape. < 1385065892 712464 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 JOIN :#esoteric < 1385065905 5928 :mrhmouse!~jordan.br@firewall1.photobooks.com PRIVMSG #esoteric :FireFly: Slereah was talking about rationals, and I thought I remembered that Haskell defaulted to Rational. But it isn't Haskell.. but I remember _some_ language did that... < 1385065908 338277 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and showTest is inside L.hs so uses its defaulting declaration. < 1385065960 904207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and it was similar in syntax? would SML do that? < 1385066007 372982 :Bike!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1385066107 860135 :cherez!~cherez@70.94.35.237 PRIVMSG #esoteric :Oh, thank you! < 1385066160 752426 :evalj!~jeval@5402B1C6.dsl.pool.telekom.hu JOIN :#esoteric < 1385066166 277905 :b_jonas!~x@russell2.math.bme.hu JOIN :#esoteric < 1385066278 204983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let (evil, attempt) = (show attempt, mempty) < 1385066279 49881 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : .L.hs:156:20: < 1385066279 209113 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : No instance for (Show a0) arising from a use of `show' < 1385066279 209283 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : ... < 1385066282 636147 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`relcome evalj < 1385066285 30166 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :​13evalj: 04Welcome 07to 08the 09international 02hub 06for 13esoteric 04programming 07language 08design 09and 02deployment! 06For 13more 04information, 07check 08out 09our 02wiki: 06. 13(For 04the 07other 08kind 09of 02esoterica, 06try 13#esoteric 04on 07irc.dal.net.) < 1385066286 862742 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :`relcome b_jonas < 1385066289 380691 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :​13b_jonas: 04Welcome 07to 08the 09international 02hub 06for 13esoteric 04programming 07language 08design 09and 02deployment! 06For 13more 04information, 07check 08out 09our 02wiki: 06. 13(For 04the 07other 08kind 09of 02esoterica, 06try 13#esoteric 04on 07irc.dal.net.) < 1385066296 445245 :JesseH!~JesseH@unaffiliated/jesseh QUIT :Quit: Leaving < 1385066296 652143 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :argh, that's colorful < 1385066298 949583 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :cherez: what brings you to this channel? < 1385066301 278841 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION whistles innocevilly < 1385066302 68463 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :can I get that without colors? < 1385066313 925948 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I like that word < 1385066317 445120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :WHAT DO YOU HAVE AGAINST COLORS < 1385066318 712710 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`welcome b_jonas < 1385066318 870742 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :`welcome b_jonas < 1385066319 168280 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :b_jonas: you may, but it's untraditional. < 1385066320 505360 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :b_jonas: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1385066320 669511 :HackEgo!dlopen@64.62.173.65 PRIVMSG #esoteric :b_jonas: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1385066322 129705 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :darn. < 1385066326 841121 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :thanks < 1385066336 66809 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :also, huh, didn't expect to see b_jonas over here < 1385066336 393757 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I think you're sufficiently `welcome'd now < 1385066355 9340 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: do you think i was trigger happy in blocking PcCleaner < 1385066359 93124 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but then, I don't generally expect to see anyone happy over here < 1385066371 488444 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oerjan: I was scouring the relevant logs to try to find something to block them for :) < 1385066373 636885 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ais523: I AM HAPPY, FUNGOT IT! < 1385066374 819479 :cherez!~cherez@70.94.35.237 PRIVMSG #esoteric :boily: Nothing in particular. Old friends with pikhq and thought it might be fun to lurk here a bit. < 1385066382 981483 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I'd have allowed account creation < 1385066426 341900 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :if you're blocking someone on the basis of username, you should give them a chance to change it < 1385066432 957873 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ais523: i mean it seems to be named after what seems to be a scam company at best. < 1385066435 595546 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yeah < 1385066444 235304 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :the name's free on Freenode, btw? anyone want it? < 1385066453 80017 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh < 1385066458 476946 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :err, s/\?/;/ < 1385066648 283226 :JoeyEsper!~Math@177.144.93.119 JOIN :#esoteric < 1385066670 179667 :JoeyEsper!~Math@177.144.93.119 PRIVMSG #esoteric :hello < 1385066670 874999 :JoeyEsper!~Math@177.144.93.119 PRIVMSG #esoteric :oi < 1385066696 880887 :JoeyEsper!~Math@177.144.93.119 PART :#esoteric < 1385066709 29692 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :but, but... I was typing a nice `relcome... < 1385066774 246824 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :it's one of those weird things about IRC, people who say hello, then get annoyed at the lack of response and leave before you have a chance to type a response < 1385066815 888775 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1385066981 703788 :Sprocklem!~Sprocklem@199.185.88.147 QUIT :Ping timeout: 252 seconds < 1385067419 212256 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: hmm, mueval turns off the monomorphism restriction without being asked to. < 1385067420 372819 :Bike!~Glossina@wl-nat101.it.wsu.edu QUIT :Ping timeout: 246 seconds < 1385067552 760945 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1385067721 488999 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: I guess on this channel an evaluator bot should use the craziest extensions by default, such as not only no monomorphism restrictions, but also circular types, undecidable instances, etc < 1385067736 190020 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :definitely circular types < 1385067750 859433 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :b_jonas: yeah but the primary channel it's for is #haskell < 1385067753 511620 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ACTION points to metasepia “Go nuts with it! But be careful with the error messages” < 1385067762 661762 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: sure, but use channel-dependent options < 1385067767 356232 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@eval iterate show < 1385067771 981974 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@eval fix show < 1385067775 637622 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :um < 1385067777 456668 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@help eval < 1385067777 614540 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :eval. Do nothing (perversely) < 1385067789 217320 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@help run < 1385067789 375304 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :run . You have Haskell, 3 seconds and no IO. Go nuts! < 1385067798 358228 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> "or use this" < 1385067799 701965 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : "or use this" < 1385067799 898562 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@run fix show < 1385067800 827878 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : "\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\... < 1385067819 212756 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@run fix print < 1385067820 365706 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : < 1385067827 589247 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@type fix print < 1385067828 107931 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval fix show < 1385067828 530761 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric :IO () < 1385067828 778882 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :"\"\\\"\\\\\\\"\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ < 1385067871 333160 :Bike!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1385067904 342808 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@run print print < 1385067905 497875 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : < 1385067921 86858 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@run let { x = print; } in x < 1385067922 190702 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : <() -> IO ()> < 1385067940 308264 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> fix error < 1385067941 488440 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *E... < 1385068016 892672 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :] ,29$'*Exception: ' < 1385068017 226076 :evalj!~jeval@5402B1C6.dsl.pool.telekom.hu PRIVMSG #esoteric :b_jonas: *Exception: *Exception: *Exce < 1385068028 229699 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :] ,29$,:'*Exception: ' < 1385068028 551694 :evalj!~jeval@5402B1C6.dsl.pool.telekom.hu PRIVMSG #esoteric :b_jonas: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Exception: < 1385068213 57189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let evil = mempty < 1385068214 76374 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : .L.hs:156:8: < 1385068214 234789 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : No instance for (Monoid a0) arising from a use of `mempty'... < 1385068246 485170 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :interesting. @let seems to use the monomorphism restriction. < 1385068279 585129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :when checking if the addition is sane. < 1385068332 632321 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@run let { x = show; } in x () ++ x [] < 1385068333 858898 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : "()[]" < 1385068449 668899 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: it uses some ghc invocation for type-checking L.hs, but mueval for the final evaluation. (it seems that mueval *also* does not explicitly turn off the monomorphism restriction ... next stop will be hint ...) < 1385068483 124302 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: i don't recall haskell having any extension for circular types. < 1385068617 94015 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :~eval mempty < 1385068618 117937 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Error (1): No instance for (Data.Monoid.Monoid a0) arising from a use of `e_1' < 1385068618 276243 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :The type variable `a0' is ambiguous < 1385068618 276418 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Possible fix: add a type signature that fixes these type variable(s) < 1385068618 276554 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric :Note: there are several potential instances: < 1385068618 276675 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : instance Data.Monoid.Monoid () -- Defined in `base:Data.Monoid' < 1385068618 712419 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : instance (Data.Monoid.Monoid a, Data.Monoid.Monoid b) => < 1385068618 869898 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : Data.Monoid.Monoid (a, b) < 1385068619 680176 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : -- Defined in `base:Data.Monoid' < 1385068619 837890 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : instance (Data.Monoid.Monoid a, Data.Monoid.Monoid b, < 1385068620 729193 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : Data.Monoid.Monoid c) => < 1385068620 887026 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : Data.Monoid.Monoid (a, b, c) < 1385068621 716908 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : -- Defined in `base:Data.Monoid' < 1385068621 874925 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : ...plus 18 othersNo instance for (GHC.Show.Show a0) < 1385068622 664305 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 PRIVMSG #esoteric : arising from a use of `M175202735352782162727845.show_M175202735352782162727845' < 1385068627 346099 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric ::D < 1385068635 62741 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :type families can be abused for that to some extent ... with horrible, horrible type errors when things go wrong. < 1385068652 848341 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :metasepiaaaaaa < 1385068672 790634 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :la la la la la ♪ < 1385068749 493825 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :boily: i think you mean SPAM SPAM WONDERFUL SPAM < 1385068845 543990 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :plan for the holidays: eat food. eat food. revamp metasepia. eat food. eat food. enjoy saner error messages! < 1385069120 626280 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan,boily: you might like http://int-e.eu/~bf3/haddock/typeeval-0.0/ < 1385069196 754089 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :int-e: I might not understand it. < 1385069247 621762 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :any Haskell programmer will tell you that Node 42 [False, True] and Node 42 [Node 23 [], Leaf 0] should not type-check at the same time. < 1385069254 889381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :more like typeevil < 1385069268 208969 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :oerjan: really? let me check the ghc manual. I really thought there was one, only nobody uses it because it masks too much errors. < 1385069283 530490 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(And I agree. I wrote that ... code, and I never used it after encountering type errors reminiscent of C++.) < 1385069290 839261 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :and because if you really want a circular type you can get one by that higher order type trick < 1385069396 229021 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :hmm, did I just imagine that there was such an option in ghc? < 1385069429 413819 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: generally you use newtypes and they're optimized away. < 1385069441 581121 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, ocaml has one, i used it once. < 1385069467 112866 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(to implement unlambda) < 1385069539 671947 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :@type let { x = [x]; } in x < 1385069540 579518 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : Occurs check: cannot construct the infinite type: t0 = [t0] < 1385069540 737533 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : In the expression: x < 1385069540 737707 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : In the expression: [x] < 1385069590 311722 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :ACTION is tempted to run that in ~eval, but he spammed once today so he'll be wise and not do it. < 1385069618 880690 :boily!~boily@mtl.savoirfairelinux.net PRIVMSG #esoteric :int-e: my Haskell-fu is diminishing. too much Python for the past few months. < 1385069689 472877 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :strange, it looks like ghc doesn't have such an extension < 1385069714 622580 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but why? I mean, it seems like something those people who develop some of the other crazy type system extensions would want to try < 1385069729 6347 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :can it not be made to a consistent type system extension?\ < 1385069773 125875 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :that is, an extension such that if an occurs check finds a cycle in type constraints, it just creates a cyclic type instead of an error < 1385069790 37045 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :maybe it doesn't play well with higher order types or something? < 1385069790 639105 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there's no big pressure (newtype Mu f = Mu (f (Mu f)) gets the desired effect with some extra source code) < 1385069809 423768 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: sure, but you have seen some of the other type system extensions people have added < 1385069817 93942 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'd have thought they'd try this too < 1385069831 876270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: imo call that type Fix < 1385069832 35367 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ACTION shrugs < 1385069847 334308 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :newtype Fix f = Fix { runFix :: f (Fix f) } < 1385069857 582838 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :newtype Mu f = Mu { runMu :: forall r. (f r -> r) -> r } < 1385069862 185198 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's been done before -> less research interest. < 1385069865 426717 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :data Nu f = forall x. Nu x (x -> f x) < 1385069879 250902 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :opaque greek is the future, shachaf < 1385069881 456032 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :and also the past < 1385069911 234447 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: what, that's not enough opacity for you?? < 1385069915 950916 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fix f = f (fix f) < 1385069916 491575 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and from a practical perspective, I think having let x = [x] *not* typecheck is a great boon for sanity. < 1385069919 262673 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fix f = f (Fix f) < 1385069936 915398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, you're talking about equirecursive types. < 1385069944 95713 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes, there are various good reasons not to have them. < 1385069947 472830 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I have to assume someone tried but it turned out if you combine it with some other language features you lose the guarantee of the compilation terminating or you can prove Void or something crazy like that so they didn't add them < 1385069955 158959 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: I know why we don't have them by default: < 1385069961 569050 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they'd mask too many errors < 1385069968 531032 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :user errors that is < 1385069972 815963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ocaml supports them, I think. < 1385069991 498798 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I was wondering why we don't have it as a language extension < 1385069995 247882 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I see < 1385070013 840277 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :otoh, as far as I know, ocaml frowns on data Tree a = Level a | Nest (Tree (a,a)) < 1385070045 107906 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: that's non-regular types or whatever that's called, right? < 1385070050 429557 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :has some fancy name < 1385070075 679080 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :"non-regular" makes sense, but I don't know. < 1385070094 167844 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I think that feature had two names, and non-regular may or may not have been one of them < 1385070185 471114 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :polymorphic recursion is used for the functions operating on such things, at least. < 1385070438 348274 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If I remember correctly, polymorphic recursion is the issue. You might even be able to define the type itself? < 1385070458 969939 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :shachaf: what? define what type where? < 1385070469 483429 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e's non-regular type. < 1385070484 428859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not too useful without functions to operate on it. < 1385070522 965834 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I liked Conal's talk at http://conal.net/talks/understanding-parallel-scan.pdf < 1385070524 949795 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but you mean in ocaml? < 1385070532 156658 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think shachaf means in ocaml, which doesn't have polymorphic recursion. < 1385070553 576772 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and so even if you could define the type, you couldn't use it for anything. < 1385070570 858608 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :right < 1385070611 467205 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or maybe you could only use it non-parametrically, limited to the first compile-time-finite many depths < 1385070623 698396 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which doesn't buy you anything over just separate type < 1385070626 706541 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :separate types < 1385070645 335160 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :plus a class for them < 1385070652 346765 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :similarly to what would happen in C++ < 1385070672 935450 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you could define a type that looks like this, but you can only ever instantiate finitely many in a program < 1385070683 490389 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :if you try unlimited recursion, the compiler will give up < 1385070823 199395 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :now I'm curious, can ocaml do the higher order type quantification trick haskell's ST does? < 1385071014 602427 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: Gàààààààààrgh < 1385071017 96050 :metasepia!~metasepia@2607:fad8:4:6:f2de:f1ff:fe6c:6765 QUIT :Remote host closed the connection < 1385071097 268509 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I thought at one point whether C++ can do it, and decided it can't, because even though it can do higher order quantification, sort of, it can't prove things about it, so can't enforce the kind of restriction ST depends on < 1385071643 273633 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the term is "higher rank" btw. dunno about ocaml, but doubt it unless they've added it after my time. < 1385071715 782706 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: when was your time < 1385071745 517305 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I see < 1385071899 358196 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :today in confusing terminology: insect flight involves 'synchronous' and 'asynchronous' muscle, which are alllllmost analogous to programming < 1385071975 214342 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: 'bout 2002 or so. < 1385071980 357143 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :rip < 1385071993 680195 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan 1975-2002 < 1385072006 801690 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(is 1975 right) < 1385072023 992670 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :1970 < 1385072027 268122 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh < 1385072029 752616 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :close enough < 1385072043 610541 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :what's it like outliving the soviet union < 1385072063 931241 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan 1917-2002 < 1385072075 908498 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :>_> < 1385072081 273565 :Taneb!~Taneb@5.151.65.168 PRIVMSG #esoteric :I didn't even outlive Yugoslavia < 1385072337 144294 :impomatic!~digital_w@87.114.102.71 PRIVMSG #esoteric :Hmmm... Notepad++ handles a 2.6 million line 170 MB text file without any problems. Windows Notepad and Programmers Notepad both stopped responding. < 1385072511 274940 :nooodl_!~nooodl@91.179.129.131 PRIVMSG #esoteric :windows notepad can't really handle anything bigger than like 10k lines in my experience < 1385072565 364858 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :hum, curry's original paper defines \lambda^n ...vars... for an n-ary function, weird < 1385072711 28721 :mrhmouse!~jordan.br@firewall1.photobooks.com QUIT :Quit: Leaving. < 1385072726 313764 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i assume they hadn't invented schönfinkeling yet < 1385072761 132015 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :"they" = schönfinkel? or did someone else invent schönfinkeling? < 1385072783 172376 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we assume not. < 1385072789 931385 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :http://www.urbandictionary.com/define.php?term=schonfinkeling < 1385072803 875313 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i noticed that in the google hits. < 1385072826 641192 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ach, du finkelst so schön < 1385072894 670146 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh i can downvote it without registering < 1385072920 874641 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I'm scared by sql triggers. they let you write almost arbitrary programs in sql, but only in a very ugly way < 1385072924 105205 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :"Finally, K converts a constant into a function with a constant value, or a function into one with an additional, fictitious variable." < 1385072979 291535 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: so you are not trigger happy. < 1385073021 122618 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :they look like something that's very easy to abuse < 1385073034 217232 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you start with some simple triggers and you end up in an unmaintenable mess < 1385073075 919888 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, I think I've forgotten what schönfinkeling is < 1385073080 384621 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :in sqlite3, you can have views with instead of insert triggers that basically simulate an arbitrary function < 1385073091 71656 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :backwards currying, i think? < 1385073106 989579 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :not quite arbitrary, but very close < 1385073118 437840 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :b_jonas: so like this basically? http://www.youtube.com/watch?v=EKajmVgaOEM < 1385073139 121257 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :yeah < 1385073151 585679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: it's just currying, except with the correct inventor name. < 1385073164 929771 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :oh. sensible. < 1385073175 802549 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :for what it's worth curry mentioned schofinkel a lot. < 1385073176 436993 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :of course the sqlite3 language can be scary even without triggers: < 1385073186 453169 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :there's no let statement, so if you need one you have to write a nested select < 1385073198 626043 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, you don't have to < 1385073201 993283 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :"It was originated by Moses Schönfinkel and later worked out by Haskell Curry." says wp < 1385073203 661795 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :credits him with BCWK and SKI < 1385073219 995222 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the normal solution is to do the variable copying from outside sql language, which sqlite3 totally allows to do easily < 1385073242 418272 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :you can copy results of a statement to the bindings of another statement without examining them < 1385073253 561229 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :and with proving SK is complete or whatever you call it. < 1385073282 98115 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Bike: really? I thought Church proved that < 1385073303 769666 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :kind of assumed < 1385073373 745556 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :"Schönfinkel discovered that all combinators can be defined in terms of two special ones, S and K," < 1385073407 235088 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what did Church prove then? < 1385073413 405888 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: Ok, it's hint's fault. When initialising, it queries the enabled extensions from ghc. Then it's translating MonomorphismRestriction to NoMonomorphismRestriction internally, but without inverting the current state of the extension. < 1385073530 361872 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :as for S and K, I recently bought Smullyan's mockingbird book because they just translated it < 1385073536 887604 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :b_jonas: that it's inconsistent, how to restrict it so that it's consistent, how to avoid variables entirely, bla bla bla < 1385073556 420539 :nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1385073564 622686 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :Bike: but isn't avoiding variables the whole point of S K ? < 1385073571 766259 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :or did he find some other basis instead? < 1385073592 261742 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :how to define things without reference to a lambda calculus meta formalism, i mean, i think < 1385073656 797841 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :do you mean construct them as functions or something like that? < 1385073753 642221 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :construct a formalism of combinators with no reference to functions < 1385073763 84656 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: MADNESS < 1385073781 948759 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :huh? but it's exactly the lambda symbols that doesn't reference functions < 1385073786 28801 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :only syntax transform rules < 1385073811 599541 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :well, the S K or other combinator basis can also do that < 1385073826 395329 :Bike!~Glossina@wl-nat101.it.wsu.edu PRIVMSG #esoteric :it's 'the combinatory basis of logic' or something if you want to read it yourself < 1385073902 613637 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I see < 1385073927 331413 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: there's even a bug report about it: http://darcsden.com/jcpetruzza/hint/issue/1 (different extension but same idea: hint only has NoImplicityPrelude) < 1385074123 2308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is it just me or is darcsden kind of ugly. < 1385074142 508764 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I don't know about you but darcsden *is* ugly. < 1385074453 841489 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> test < 1385074455 259576 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : 1 % 2 < 1385074497 177400 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but now that that's fixed I better add a sane default directive there ... < 1385074520 568721 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um what's wrong with the default one. < 1385074521 768307 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :more about sqlite3, table constraints can be arbitrary expressions, and those expressions can call user-defined functions, and I think those functions can modify the database < 1385074542 835083 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but now they added partial indices, but the conditions for partial indices can't call user-defined functions < 1385074545 722414 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: nothing. I'm adding default (Integer,Double) so your @let will hopefully stop working :) < 1385074555 7123 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :the inconsistency seems a bit strange < 1385074566 433034 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> test < 1385074568 297240 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : 0.5 < 1385074570 525760 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :but I might be misunderstanding something here < 1385074573 554080 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: ((),Integer,Double) is what ghci uses. < 1385074587 666771 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@let default (Integer, Rational, Double) < 1385074588 330806 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : .L.hs:170:1: < 1385074588 488786 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : Multiple default declarations < 1385074588 488943 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : here was another defa... < 1385074609 605242 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> read "()" < 1385074610 777707 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : () < 1385074641 641051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, that default only applies within the L module, iiuc < 1385074666 76075 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> test < 1385074667 565633 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : 0.5 < 1385074676 890064 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: yes, I added () there, too. thanks for the hint :) < 1385074701 940485 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :obviously those constraints can not only modify the database but also have random return value, so the same contraints are sometimes true and sometimes false < 1385074731 761640 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :which would be wierd for both constraints and partial indices < 1385074882 115288 :nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1385074901 587616 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> let (t,1) = (show,1) in t 1 ++ t () < 1385074902 880073 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : No instance for (GHC.Num.Num ()) arising from the literal `1' < 1385074903 37761 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : Possible fix... < 1385074956 351550 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(MonoPatBinds was another one that went the wrong way ... hmm ... but I didn't test it right.) < 1385075206 182006 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let t = show in t 1 ++ t () < 1385075207 255697 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : No instance for (GHC.Num.Num ()) arising from the literal `1' < 1385075207 413261 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : Possible fix... < 1385075233 50746 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let t x = show x in t 1 ++ t () < 1385075234 161887 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : "1()" < 1385075258 714501 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now start waiting for the barrage of complaints hth < 1385075312 11822 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. did that really change? *goes to test* < 1385075559 156440 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Yes. Hmm. < 1385075707 307665 :nooodl_!~nooodl@91.179.129.131 NICK :nooodl < 1385075717 99512 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ah, NoMonomorphismRestriction implies NoMonoLocalBinds, obviously. < 1385075758 332280 :Bike!~Glossina@wl-nat101.it.wsu.edu QUIT :Ping timeout: 245 seconds < 1385076104 811536 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :meh. I'm being stupid. < 1385076110 412908 :S1!~S1_chatzi@p4FF93294.dip0.t-ipconnect.de JOIN :#esoteric < 1385076265 371593 :evalj!~jeval@5402B1C6.dsl.pool.telekom.hu QUIT :Remote host closed the connection < 1385076325 758570 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d QUIT :Quit: wee! restarting! < 1385076411 16718 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's a bit annoying to have to restart lambdabot just because of an extra flag. oh well :) < 1385076501 103054 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 252 seconds < 1385076560 50692 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1385076567 158638 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d JOIN :#esoteric < 1385076569 826196 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> let t = show in t 1 ++ t () < 1385076575 144461 :lambdabot!~lambdabot@2a00:d880:3:1::623f:813d PRIVMSG #esoteric : "1()" < 1385076597 450973 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: thanks :) < 1385076633 903688 :Bike!~Glossina@wl-nat101.it.wsu.edu JOIN :#esoteric < 1385076646 688145 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :are we still complex numbers < 1385076647 890011 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you're welcome < 1385076671 179003 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oh also meanwhile: http://blog.wolfram.com/2013/11/21/putting-the-wolfram-language-and-mathematica-on-every-raspberry-pi/ < 1385076683 203732 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :let us all point & laugh; cry < 1385076708 498899 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: haha, darcshub is buggy, too: http://darcsden.com/jcpetruzza/hint/patches < 1385077027 165056 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Remote host closed the connection < 1385077063 673048 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1385077317 669577 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Ping timeout: 248 seconds