< 1401667659 795240 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: yes, the introdution looks good. reading between the lines, I can see that you want something human editable rather than just a data exchange format for programs, which explains the flexibility in the syntax < 1401667718 493837 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1401668308 8050 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How well do you think it is compared to other formats and stuff? What one you use can depend on the application, but I would like to know other people's opinions on these comparison between formats too < 1401668664 212553 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :of the standard ones I tend to like JSON best but it's inconvenient for embedding binary data (since, as you write, it's tied to Unicode) I agrree that the standard text representation of XML is too verbose, and that binary formats will not be human readable nor editable. < 1401668766 255800 :aretecode!~aretecode@50.23.131.206-static.reverse.softlayer.com QUIT :Remote host closed the connection < 1401668773 842645 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh and references are a nice touch (I've seen such before in lpmud save files, hmm :) ). I'm less convinced that macros should be part of the data format. < 1401668877 928202 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(I'd be worried about somebody writing F(x) = [x;x] and then F(F(...F(42)...)) and crash my program.) < 1401668918 826907 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but of course references have the same potential, if one isn't careful < 1401668965 433654 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Adding limits can avoid the F(F(...F(42)...)) problem. This is what SQLite does. < 1401668985 180444 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :is this right? [A.[A.[A.42,A],A],A] < 1401668993 785983 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err, , -> ; < 1401669047 651528 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :int-e: Yes, it is valid, although may be ambiguous depending on the application. < 1401669049 5976 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Or do I need 3 names for that? < 1401669068 429863 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Actually perhaps I should just specify you need 3 names for that. < 1401669072 965174 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It wasn't previously clear. < 1401669085 379316 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Needing 3 names is probably clearer and simpler and more sensible. < 1401669114 227214 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Note that references are their own datatype, not the type of whatever it is referencing. < 1401669115 810017 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh. What about [A.[A]]? < 1401669124 466904 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes, that is valid. < 1401669145 474693 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(why is this restricted to list items?) < 1401669146 521287 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is a list containing a list containing a reference to the first item of the first list. < 1401669201 438988 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It is restricted to list items because of what references are and are not. They do not represent a copy of the data. < 1401669245 295735 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it precludes {A=ref.[1;2;3];B=ref} < 1401669293 430781 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :That wouldn't make sense though. If you want to use the list [1;2;3] in several places, you should want a macro, not a reference. < 1401669293 613172 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which seems sensible. (whereas A.[A] is a bit silly) < 1401669307 78730 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: but then it would be duplicated < 1401669381 508624 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :References represent a pointer to the data, and are certainly not interchangeable with the data themself! < 1401669387 34313 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :It just seems strange to forbid that but allow [ref.[1,2,3],{A=ref,B=ref}] < 1401669412 261321 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :zzo38: yes. I want A and B to point to the same list. < 1401669420 812431 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Perhaps it does seem strange to you, but to me it doesn't < 1401669423 695538 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :not to two equal lists. < 1401669435 41184 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: wouldn't that make A the actual list [1;2;3] but B only a reference to it? < 1401669436 105211 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :int-e: Well, references point to a position in a list. < 1401669438 705144 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so it's not quite what you want < 1401669450 2445 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :elliott: Correct. < 1401669474 939459 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you'd need, like, &ref.[1;2;3] < 1401669486 22612 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1401669508 875304 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Oh. [ref.[1;2;3];ref] and [ref,ref.[1;2;3]] are not the same? < 1401669522 743554 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(sorry, I still write , for ;) < 1401669532 624800 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :That is correct they are not the same at all. < 1401669542 737888 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :ok. that is strange to me. < 1401669543 560732 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hence Note that references are their own datatype, not the type of whatever it is referencing. < 1401669574 533517 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :but fine. < 1401669588 197830 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :int-e: presumably foo.x is like ({ foo = &x; *foo }) for some imagined foo, so to speak, and foo is like... well, foo < 1401669597 873137 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or whatever. < 1401669609 756450 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(then the lpmud reference (sic!) was invalid though, since that encoded actual sharing.) < 1401669647 255006 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :or encodes ... I know for a fact that a couple of those things are still running < 1401670072 845061 :boily!~boily@96.127.201.149 QUIT :Quit: UNKNOWABLE CHICKEN < 1401670104 304400 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Read error: Connection reset by peer < 1401670128 79937 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :aaargh. I've been wondering for a week now why somebody would calle a function "runit" ... I read it as 'r-unit'... < 1401670741 953338 :nooodl_!~nooodl@217.111-242-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1401670843 341191 :monotone!~monotone@room208.org QUIT :Quit: "I can hear myself... I think I'm a bit afraid." < 1401670862 869131 :monotone!~monotone@room208.org JOIN :#esoteric < 1401670986 487617 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :heh. I found this comment in lambdabot: | not classFound -- can't trust those dodgy folk in #haskell < 1401671010 210866 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@instances Dodgy < 1401671010 935317 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Couldn't find class `Dodgy'. Try @instances-importing < 1401671603 366409 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1401671681 660960 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why would you nit a ru < 1401671730 415148 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@instances-importing Extremely.Unsafe Dodgy < 1401671731 80768 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Couldn't find class `Dodgy'. Try @instances-importing < 1401672625 921217 :blitter64!~blitter@99-171-140-87.lightspeed.tukrga.sbcglobal.net QUIT :Ping timeout: 276 seconds < 1401673943 914511 :blitter64!~blitter@99-171-140-87.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1401674788 796556 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :!ping < 1401674794 5013 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :Pong! < 1401674903 910547 :blitter64!~blitter@99-171-140-87.lightspeed.tukrga.sbcglobal.net QUIT :Ping timeout: 252 seconds < 1401676213 844125 :BeingToDeath!~BeingUnto@173-31-68-167.client.mchsi.com QUIT :Ping timeout: 276 seconds < 1401676293 725119 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: sleeeep < 1401677109 82128 :MoALTz!~no@user-46-112-12-140.play-internet.pl JOIN :#esoteric < 1401677141 442266 :MoALTz_!~no@user-46-112-12-140.play-internet.pl QUIT :Ping timeout: 252 seconds < 1401677487 331201 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net NICK :TodPunk < 1401678044 667944 :MoALTz!~no@user-46-112-12-140.play-internet.pl QUIT :Read error: Connection reset by peer < 1401678099 484664 :MoALTz!~no@user-46-112-12-140.play-internet.pl JOIN :#esoteric < 1401681079 558239 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1401684783 623427 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Quit: ZNC - http://znc.sourceforge.net < 1401685673 457472 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hi sgeo, how goes it? < 1401685690 16252 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Situation normal < 1401686152 796217 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Sometimes I think I'm the sort of person who recognizes his mistakes, and then proceeds to do nothing about them.... how do I fix that mistake? < 1401686200 258986 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :read a book < 1401686269 820799 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You did something (although not much) about that mistake, which is, to ask a question about it. That isn't doing much, of course! < 1401686950 588534 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :O no, maybe ZCDSF is not LALR(1). I am trying to use it with the Lemon parser generator and get errors, which I think is because it has to look ahead a lot in order to figure out the difference of a macro invocation than a macro definition. < 1401687306 752769 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Perhaps it can be resolved in the tokenizer? < 1401687786 309072 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Rust has this property that you can parse the source into a "token tree" before expanding macros < 1401687789 406652 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that turns out to be very useful < 1401687914 501488 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :tt ::= '(' tt ')' | '{' tt '}' | '[' tt ']' | token tt | '' < 1401687916 26576 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :approximately < 1401687977 833775 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :macro expansion is sort of ugly though; there's an AST node type for each place a macro invocation can appear (ExprMac, PatMac, etc.) and these are expanded at some point < 1401688000 177952 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Have macros changed since the last release, or from last release and release before then? < 1401688000 630707 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and then all the code which runs after that point has like ExprMac(_) => tcx.sess.bug("unexpanded macro") < 1401688007 643668 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm figuring maybe I should look at a stable macro system < 1401688007 830358 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: I don't pay attention to releases < 1401688016 218318 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :How much is it changing? < 1401688026 350954 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :as far as I'm concerned there are two versions of Rust: master, and whichever one Servo is using < 1401688031 903715 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :rust seems like a bad place to look for stability < 1401688033 100805 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and the one Servo is using is almost never a release < 1401688039 935132 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the macro system isn't changing that much, though < 1401688047 996719 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I just added the ability to expand macros in pattern position < 1401688057 383584 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ooh < 1401688077 633328 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and the mechanisms for "procedural macros", i.e. running arbitrary Rust code at compile time to produce an AST, are changing some < 1401688086 200740 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and those are more exposed to other changes to compiler internals, of course < 1401688096 906212 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but the plain Macros By Example macros haven't changed too much since I started using the language almost a year ago < 1401688230 302692 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :here is the graph of how far behind Rust master Servo has been over time: http://people.mozilla.org/~mbrubeck/servo-rust-updates.svg < 1401688318 218614 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :i like how when you do update it's not usually to master < 1401688362 378387 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah because in the time between starting an update and finishing it, master will have moved forward < 1401688383 384997 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :by 10 days? hee. < 1401688450 425709 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes, it can easily take 10 days to update several 100k LoC for a month or two of language changes < 1401688461 502691 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and test it on all platforms and rebase it against the other changes happening in Servo etc. < 1401688484 574320 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Mozilla has this "badges" thing (idk really) and you may be amused by the image for the relevant one: https://badges.mozilla.org/en-US/badges/badge/Servo-Rust-upgrade < 1401688490 648420 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :what platforms is servo targeting btw < 1401688506 640396 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :oh that's pretty good. < 1401688508 86932 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :right now, x86-64 Linux, x86-64 OS X, and ARM Android kinda < 1401688521 476581 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :firefox tells me its connection to mozilla.org is insufficiently secure. < 1401688522 748604 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :Kinda? < 1401688527 808710 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :lolol < 1401688539 904796 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: the Android testing is not very automated, so it tends to regress a lot < 1401688544 720141 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :This site does not supply identity information... who could they be....... < 1401688550 238190 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think currently we can't run JavaScript on Android. < 1401688555 343556 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :in fact people are puzzled as to how we were ever able to < 1401688558 709999 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION -> afk -> ice cream < 1401688617 108640 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :good choice < 1401688981 704301 :password2!~password@197.78.144.249 JOIN :#esoteric < 1401689073 215640 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://doc.x3dom.org/developer/x3dom/runtime/index.html < 1401689081 677790 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ACTION hits his head on a convenient wall < 1401689146 193826 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a very nice and clean bar < 1401689901 468187 :ion!ion@heh.fi PRIVMSG #esoteric :[TAS] GC Crazy Taxi by solarplex in 05:53.18: http://youtu.be/O2wnNYmpABg < 1401690138 854620 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :every channel I'm in becomes #rust < 1401690144 542766 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I'm vaguely aware that this can be annoying < 1401690187 307134 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :lol < 1401690237 101403 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :mmm ice cream < 1401690621 555947 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you got that right < 1401690651 795903 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Should I try to learn raw WebGL or some convenient library like Three.JS? Or both? < 1401690871 523741 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1401690879 318368 :MoALTz!~no@user-46-112-12-140.play-internet.pl QUIT :Quit: Leaving < 1401691072 563027 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what do you want to make? < 1401691102 944434 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :Raw webgl is kinda annoying compared to shiny things like ThreeJS < 1401691114 633578 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :so if you don't need it, use the abstractions < 1401691146 682799 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :OpenGL is pretty low level and WebGL / GLES remove more of the stuff you'd want for using OpenGL "by hand" < 1401691210 563832 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :If only we'd had WebDirectX.... < 1401691280 65220 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Well, it could be interesting to learn how the low level stuff works < 1401691295 980450 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :And use the abstractions for anything interesting < 1401691333 690151 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mcpherrin: just write an activex plugin < 1401691400 730000 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Programming first 'clicked' in my mind when reading about ActiveX < 1401691533 93670 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what about it? < 1401691624 369690 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I think... just the concept of the computer being entirely controlled by code < 1401691628 989540 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm not sure. I was a kid < 1401691712 386183 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :cool < 1401692288 783081 :password2!~password@197.78.144.249 QUIT :Ping timeout: 255 seconds < 1401692702 791227 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah a classic "Users like this are like a mongoose backed into a corner: with its back to the wall and seeing certain death staring it in the face, it attacks frantically, because doing something has to be better than doing nothing. This is not well adapted to the type of problems computers produce." < 1401692731 376420 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://www.chiark.greenend.org.uk/~sgtatham/bugs.html < 1401693770 214566 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I have always loved metaballs < 1401693806 99318 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1401693959 59957 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what about meatballs? < 1401693964 902056 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: I found a food truck selling "fonduewurst" < 1401693965 569015 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: http://tinyurl.com/ fnord is a confusing little bit of code i've had to be crashed to the ground to touch your nose. < 1401694079 864888 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :kmc: they're awesome to look at < 1401694087 470485 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Oh, you changed the word < 1401694164 579604 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1401694433 500742 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 QUIT :Ping timeout: 264 seconds < 1401694877 123244 :slereah!~slereah@46.218.232.202 JOIN :#esoteric < 1401694882 367747 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Hello, I would like to magic < 1401694889 192265 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Can you teach me the secret arts < 1401694924 954015 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`` WeLcOmE slereah | rainwords < 1401694926 38814 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​07SlErEaH: 08wElCoMe 09tO 02ThE 06InTeRnAtIoNaL 13HuB 04FoR 07EsOtErIc 08pRoGrAmMiNg 09lAnGuAgE 02DeSiGn 06aNd 13dEpLoYmEnT! 04fOr 07mOrE 08InFoRmAtIoN, 09cHeCk 02oUt 06oUr 13wIkI: 04. 07(FoR 08ThE 09OtHeR 02KiNd 06oF 13EsOtErIcA, 04tRy 07#EsOtErIc 08oN 09IrC.DaL.NeT.) < 1401694950 465914 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Nice spell~ < 1401695027 124086 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I do not think we are a school for any secret arts. (If we were, it wouldn't be much secret, isn't it?) < 1401695066 536766 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Then why do you have the HackEgo golem < 1401695106 200647 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :To write strange messages like that. < 1401695146 486164 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1401695149 114801 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :HackEgo, kill all humans < 1401695176 419239 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :slereah: you cannot command it without the secret art of syntagma < 1401695208 192765 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :``help < 1401695208 796936 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `help: not found < 1401695211 685545 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Aw < 1401695381 711314 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Munus sigsigga ag bara ye < 1401695595 687066 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 JOIN :#esoteric < 1401695789 989763 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have an exam in like 4 hours < 1401695793 634924 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Time to clean my room < 1401695924 501006 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1401695925 965518 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​13crtcoin 04bracoin 07quycoin 08kellosophiloxicoin 09blindex.phpcoin 02bitbitzcoin 06killcoin 13neurcoin 04abccoin 07prestowcoin 08swellicoin 09thumseycoin 02aheltscoin 06rnatacoin 13rolcoin 04um-32coin 07ootcoin 08evilleravillcoin 09unlolanptcoin 02byacoin < 1401696161 930684 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :bitbitzcoin < 1401697312 589800 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :crtcoin uses old, broken CRT monitors as physical coins. < 1401697332 664810 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Must be a big coinpurse < 1401697533 68606 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I helped my friend haul a 100 kg Trinitron flat-tube CRT television the other day < 1401697551 788346 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :flat tubes weigh even more than usual tubes < 1401697623 426207 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Is there a connection between Trinitron brand aperture grilles and trinitrotoluene? < 1401697702 588712 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1401697734 151427 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i hope not < 1401697737 997116 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :for my friend's sake < 1401697816 9067 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :it's probably trinity+tron ... trinity because of the three colors in RGB? perhaps < 1401697852 582094 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :My bookshelf is getting increasingly full :D < 1401697880 550855 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: It's kind of silly, since what it improved on also had three colors and elec-tron beams. < 1401697929 57904 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :apparently trinity is because they merged the three beams into one beam < 1401697953 500116 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Oh, I guess that makes sense. < 1401697961 285640 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :For some values of sense, anyway. < 1401697965 904738 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Holy Trinitron. < 1401698149 346585 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Except I guess it doesn't have holes?) < 1401698176 646693 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Talk:Rail14]]4 10 02http://esolangs.org/w/index.php?diff=39735&oldid=39722 5* 0384.174.111.48 5* (+41) 10 < 1401698193 956681 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :...is a bookshelf the right place for a book of stamps? < 1401698202 199190 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :"the Erlenmeyer flask was invented by Dr Julius Flask" < 1401698202 929725 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i like to put them in the box of envelopes < 1401698203 121855 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :heheheh < 1401698243 748655 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :slereah: what < 1401698250 679951 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Right, my book of stamps is now on my bookshelf < 1401698283 425318 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :myname : it is < 1401698285 307425 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :amusing < 1401698329 860427 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :where is it from? < 1401698351 942244 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :It was from Uncyclopedia apparently but got deleted < 1401698357 284204 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah < 1401698402 334432 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :rustc has a flag that prints out the elapsed time for each compiler pass as they run (some 40 or so of them) < 1401698412 648104 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this makes long compile times feel a lot less frustrating < 1401698425 268498 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :stuff is happening! borrows are being checked and freevars are being found! < 1401698428 32506 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Does it have a flag that lets you play tetris while it's compiling? < 1401698434 152307 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: patches welcome < 1401698440 716182 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :though that might require an RFC first < 1401698461 172170 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :look through https://github.com/rust-lang/rfcs/blob/master/0000-template.md < 1401698480 453024 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Why are we doing this? What use cases does it support? What is the expected outcome? Why should we *not* do this? What is the impact of not doing this? < 1401698496 602176 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Yes, those are the kind of questions I might have trouble with. < 1401698496 784755 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I've missed my chance this academic year to make lecture notes on a typewriter :( < 1401698516 788620 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :fizzie: omg that's actually a hilarious idea < 1401698548 108163 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mcpherrin: how about a nice game of global thermonuclear war < 1401698558 547140 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :kmc, I watched that film last night! :) < 1401698561 188118 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :don't let the build succeed until you can clear a line < 1401698576 647937 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :kmc: Another suggestion: if the real passes don't seem to be enough, you can add fake "reticulating splines" kind of ones. < 1401698606 132398 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Not last night, the other night < 1401698709 278588 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: :) < 1401698716 957639 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fizzie: yes, it reminds me very much of that kind of thing < 1401698725 460223 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Also Hackers, which is the most 90's film imaginable < 1401698743 263559 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: Hack the planet! < 1401698794 232290 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: http://www.avclub.com/article/ihackersi-may-have-been-of-its-time-but-it-was-als-72249 < 1401698926 447176 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1401698926 693591 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1401698927 292091 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :my current task involves converting a bunch of small functions to a different form < 1401698935 642631 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which is nicely incremental work, and not too challenging < 1401698940 891732 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which means I'll probably stay up all night doing it :/ < 1401699055 873233 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :rust is far too boring with what it'll accept as function names < 1401699088 846502 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :Miscellaneous Symbols and Pictograms at least is needed < 1401699153 462501 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :fn (){} < 1401699155 944028 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :kmc, good read, thanks < 1401699241 192802 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hooray < 1401699343 38249 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :I love Hackers < 1401699343 879366 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mcpherrin: but you can do https://gist.github.com/kmcallister/0b1c57d021e1899611a7 at least < 1401699363 36830 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: haha, true < 1401699676 319312 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :hmm I should have a party where we get roller blades and 90s laptops and hack the gibson < 1401699681 462359 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1401699682 739142 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :count me in < 1401699688 877979 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I even have rollerblades! < 1401699696 104401 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :though I'm bad enough at using them sober... < 1401699710 678256 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :I don't have them so :p < 1401699726 976640 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I ought to get some < 1401699760 938834 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :Eugene Belford < 1401699858 617069 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"Rust input is interpreted as a sequence of Unicode codepoints encoded in UTF-8, normalized to Unicode normalization form NFKC" < 1401699861 977600 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I have discovered that this is lies! < 1401699871 479417 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :python3 -c 'print("#![feature(non_ascii_idents)]\nfn sp\u00e4tzle() { }\nfn main() { spa\u0308tzle() }")' > foo.rs && rustc foo.rs < 1401699874 528920 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :foo.rs:3:13: 3:21 error: unresolved name `spätzle`. < 1401699881 20880 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :lies. < 1401699906 495498 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: lol, not really that surprising < 1401699916 113166 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :even in the future nothing works < 1401699936 919212 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :kmc: it is a well-known lie unfortunately < 1401699943 739627 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :fn ∯(){} is all I really want < 1401699954 971383 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :`unidecode ∯ < 1401699955 629973 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+222F SURFACE INTEGRAL] < 1401699959 128719 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :spätzle is delicious btw < 1401699960 631706 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :OH WELL < 1401699974 124173 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :or ∃ is a great one for collections < 1401699978 949578 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mcpherrin: have you been to http://walzwerk.com/ ? "authentic and unique East German cuisine in the San Francisco Mission district" < 1401699990 391765 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: nope! should I ? < 1401699993 586567 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1401699999 468883 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :tbh I haven't eaten many places in SF < 1401700016 401909 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I am told that the German culinary divide is more north/south, and "East German cuisine" is more about decor and such < 1401700017 566320 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Me neither < 1401700019 361305 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :in the year I've been here, probably only a few, and half of them are burritos < 1401700019 558795 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but still, tasty < 1401700048 378732 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :so my previous city was very german < 1401700052 42627 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :and I do miss the german food < 1401700062 2751 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you should eat there and then watch Good Bye Lenin! < 1401700071 125757 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :(Kitchener was until some nastiness earlier this centry named Berlin) < 1401700090 776280 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :or last century? < 1401700122 139523 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :anyway I didn't know that < 1401700123 314949 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's funny < 1401700133 452774 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :there's a Madrid, Iowa but it's pronounced MA-drid < 1401700135 812108 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :c.c < 1401700168 726562 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mcpherrin: I found a food truck in Portland that offers currywurst and "fonduewurst" < 1401700218 20070 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have not been to a single Yorkshire-style restaurant, which probably don't exist < 1401700263 463187 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 265 seconds < 1401700269 396004 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :This is despite living in York < 1401700285 486901 :drdanmaku!uid17782@gateway/web/irccloud.com/x-cjyfhogejgctdwbp QUIT :Quit: Connection closed for inactivity < 1401700295 616025 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think non-existence is a pretty good excuse, tbh < 1401700314 221249 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: omg I miss currywurst < 1401700319 270687 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :i neeeeds it < 1401700358 517463 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's pretty easy to make at home < 1401700369 125336 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :less so if you're picky about the finer points of the sauce < 1401700409 53086 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :and I'm not :P < 1401700418 925394 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Rosamunde has it, at least the Mission location < 1401700436 3508 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and there's a "King of Cürrywurst" [sic] food truck < 1401700469 770262 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Misplaced dots, eh < 1401700544 108978 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://achewood.com/index.php?date=03222004 http://achewood.com/index.php?date=03252004 < 1401700547 991048 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: my attempts to bootstrap a rust compiler that uses the YOLO keyword aren't going well :p < 1401700653 989342 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :is gonna need a lot of #[cfg(stage0)] < 1401700665 685086 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :why? as long as you don't use it in the compiler itself < 1401701105 374127 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: 'cause I removed unsafe, haha < 1401701451 29607 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well there's yer problem < 1401701474 848570 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :gotta sleep now, ttyl all < 1401701486 456145 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :G'night, kmc < 1401701495 968896 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :G'naneb < 1401702635 21558 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :YOLO { *(0 as *u8) } < 1401704189 353084 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1401706556 646538 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 QUIT :Ping timeout: 265 seconds < 1401706871 468864 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1401706906 534229 :atehwa!atehwa@aulis.sange.fi QUIT :Ping timeout: 240 seconds < 1401706965 196525 :atehwa!atehwa@aulis.sange.fi JOIN :#esoteric < 1401707071 181301 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 JOIN :#esoteric < 1401707207 756026 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1401707220 370214 :boily!~boily@96.127.201.149 QUIT :Quit: Poulet! < 1401707816 826600 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1401707837 366329 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1401708646 682086 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1401708778 710296 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu QUIT :Ping timeout: 276 seconds < 1401709566 314758 :scoofy!~scoofy@catv-89-135-80-2.catv.broadband.hu JOIN :#esoteric < 1401710529 874406 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1401711594 490245 :blitter64!~blitter@99-171-140-87.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1401712954 495517 :blitter64!~blitter@99-171-140-87.lightspeed.tukrga.sbcglobal.net QUIT :Ping timeout: 240 seconds < 1401713095 913351 :M28!~M28@unaffiliated/m28 QUIT :Ping timeout: 252 seconds < 1401714381 536929 :M28!~M28@unaffiliated/m28 JOIN :#esoteric < 1401715533 323250 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Every part of my body is Turing complete < 1401715894 502518 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 265 seconds < 1401716166 564626 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :are DNA processes turing-complete? < 1401716246 202526 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Not sure < 1401716266 999015 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :I don't know how you could make a loop with DNA < 1401716660 947132 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :slereah: ask your kids < 1401716757 514357 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 JOIN :#esoteric < 1401716820 887633 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :You don't need kids for that < 1401716826 225228 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Cell division is enough < 1401716854 320858 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :But how do you do conditions on that loop < 1401717114 848745 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :"DNA processes"? < 1401717149 102011 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :and it's easy to make a DNA loop! http://en.wikipedia.org/wiki/Plasmid lolol < 1401717199 906607 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Be careful with plasmids man < 1401717209 618449 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Last time I took some I had bees coming out of my hands < 1401717442 449357 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that sounds excruciatingly painful < 1401717480 569719 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :http://fc09.deviantart.net/fs70/f/2011/063/b/2/ttdi_bioshock_1__bees_by_anniezard-d3awuto.jpg < 1401717486 303246 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :http://mimg.ugo.com/201002/36219/cuts/insect-swarm-3_480x360.png < 1401717488 676967 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Aaaah < 1401717490 790049 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :So painful < 1401717959 823486 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :There something called HDNA (H for Hofstadter). I think it's also know as typogenetics or something. < 1401717977 507601 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 264 seconds < 1401718034 633983 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Triple-stranded_DNA ? < 1401718036 240170 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :Consecutive base pairs are interpreted and do various things like copy a base, cut a strand etc, loop, etc. It appears to be Turing complete. < 1401718039 500168 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds < 1401718054 524228 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :hoogsteen is a ridiculous name, though < 1401718080 592637 :Quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :impomatic: yes it's described in GEB. i once considered writing a wiki article on it < 1401718112 426378 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :but it's not real? < 1401718113 88099 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :I think he wrote a bit about it in Goedel, Escher, Bach. I read about it in the January 1982 issue of Practical Computing which has a HDNA interpreter written in Basic. < 1401718129 481913 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :i mean real DNA has plenty of stuff about alternative splicing, god knows < 1401718135 351867 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :also pseudoknots which are pretty wack < 1401718138 63823 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :But does it have a basic interpreter written in HDNA < 1401718153 707581 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :Quintopia: it's definitely esoteric. You should add it to the wiki :-) < 1401718156 712727 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :"so there's NP completeness, at least" < 1401718184 798086 :Quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :impomatic: oh it's not that it's not esoteric that i haven't done it. it's that i'm too lazy. < 1401718222 136260 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :slereah: this is cute though: http://bioshock.wikia.com/wiki/File:Insect_swarm_plasmid_by_tinamin1-d4jh31s.jpg < 1401718251 19744 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :The bee plasmid was pretty weak but I used it a lot < 1401718258 270299 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :Because it's fucking BEES FROM MY HANDS < 1401718277 311569 :slereah!~slereah@46.218.232.202 PRIVMSG #esoteric :That is enough to make a whole game out of < 1401718293 701376 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :oh and Turing wrote a nice paper about symmetry breaking in devbio, imo read it. < 1401718328 64071 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :Another one which ought to be on the wiki. The language of Tierra. (I don't mind doing this one, I just need to research it a bit more. I haven't seem Ray naming it anywhere) < 1401718408 750761 :Quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is tierra the one that's just code in a large block of memory with program pointers passing over it repeatedly < 1401718426 305648 :Quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or is the one with actual moving organisms in 3d space < 1401718444 67757 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :It's all in code, no actual organisms. < 1401718527 457018 :Quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah i saw something about the language used in that once. no jumps, right? just reading and writing to addresses < 1401718719 644445 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :It jumps to a template... < 1401718748 751935 :Quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i guess i don't remember it too well < 1401718751 525177 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :No operands to instructions. You'd have jmpb / nop1 / nop0 / nop1 / something else. < 1401718788 583308 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :That would jump back to the first template matching the complement of the three nops. < 1401718939 591846 :Quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah. so you can jump, but you can't be sure where you're jumping < 1401719803 265651 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :Only if the matching templates is in your own code. Otherwise you might jump into another program and run it's code (like a parasite) < 1401719960 912920 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com JOIN :#esoteric < 1401720214 996198 :jix!~jix@jixco.de QUIT :Remote host closed the connection < 1401720243 509902 :jix!~jix@jixco.de JOIN :#esoteric < 1401720310 601098 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1401720995 33107 :Gregor``!dlopen@libdl.so NICK :Gregor < 1401722076 93399 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Help I need to sort out my life < 1401722144 507337 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Like, urgently < 1401722165 34003 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Had a room inspection and the result was "We are worried about your health" < 1401722752 876580 :nooodl!~nooodl@217.111-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1401723055 624821 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Ping timeout: 252 seconds < 1401723371 141858 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1401723986 147411 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1401724161 803351 :drdanmaku!uid17782@gateway/web/irccloud.com/x-iparidkmgrfmpzip JOIN :#esoteric < 1401724265 186446 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :Taneb: why exactly? Assuming it's messy, just hire a cleaner (or find a girlfriend who's clean / tidy). Assuming it's full of alcohol etc just print off some healthy looking labels to disguise it. < 1401724298 227407 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :impomatic, evidently there's an oppressive smell < 1401724388 546925 :Bike!~Glossina@67-5-213-187.ptld.qwest.net PRIVMSG #esoteric :that's... extreme < 1401724879 984087 :nooodl!~nooodl@217.111-242-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1401725174 343229 :slereah!~slereah@46.218.232.202 QUIT :Quit: Leaving < 1401725189 739461 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Anyway, you can imagine my emotional state right now < 1401725390 73053 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :maybe there's a capitalist swine hiding in there < 1401725410 555120 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, don't think so, wrong smell < 1401725445 197083 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and this smell wasn't there when you moved in? < 1401725479 44541 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :No, the smell is almost certainly my fault < 1401725519 319865 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose only you can tell the reason. < 1401725555 252977 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Because I normally keep the window closed I don't know how to turn the radiator off < 1401725556 832694 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :what kind of smell could give such a judgement... < 1401725571 234301 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and whether you need to clean or visit a doctor < 1401725575 260831 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1401725614 565247 :Zuu!~zuu@unaffiliated/zuu QUIT :Remote host closed the connection < 1401725666 43684 :edwardk_!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1401725711 405163 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm maybe you have fungus in the room, i hear that can be awful. < 1401725779 40047 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It's a messy smell rather than a nasty smell < 1401725783 326359 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :It's just a loud messy smell < 1401725816 765142 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the solution is obvious but i would be a hypocrite to say it. < 1401725842 448397 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 240 seconds < 1401725866 280810 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes, I know the solution to the primary problem very well < 1401725918 207014 :edwardk_!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 245 seconds < 1401726025 382398 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :In fact, I suspect the majority of the smell comes from one source < 1401726248 165344 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1401726329 514176 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1401727158 957312 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which source is that < 1401727178 4391 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :impomatic: I like that "hire a cleaner" and "find a girlfriend" are alternatives on equal footing < 1401727178 810099 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Bedsheets < 1401727180 999492 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :like, or something < 1401727328 655998 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :They... I have not done the right thing with my bedsheets. < 1401727482 463789 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1401727968 265065 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1401728087 487107 :MoALTz!~no@user-164-126-150-232.play-internet.pl JOIN :#esoteric < 1401728554 991088 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Twocode14]]4 N10 02http://esolangs.org/w/index.php?oldid=39736 5* 03GermanyBoy 5* (+4719) 10Created page with "'''Twocode''' is a [[:Category:Two-dimensional languages|two-dimensional]] [[esoteric programming language]] created by [[User:GermanyBoy]] in 2014. It mixes two-dimensional '..." < 1401728585 657342 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Language list14]]4 10 02http://esolangs.org/w/index.php?diff=39737&oldid=39713 5* 03GermanyBoy 5* (+14) 10/* T */ < 1401728621 487082 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07User:GermanyBoy14]]4 10 02http://esolangs.org/w/index.php?diff=39738&oldid=39648 5* 03GermanyBoy 5* (+14) 10twocode < 1401728711 252365 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1401729355 318138 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`run echo bin/coins < 1401729356 292589 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bin/coins < 1401729360 992508 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`run cat bin/coins < 1401729361 566626 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :words ${1---eng-1M --esolangs 20} | sed -re 's/( |$)/coin\1/g' | rainwords < 1401729363 240541 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Then wash your bedsheets < 1401729376 503445 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :That is the logical thing to do < 1401729403 425006 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`run cat bin/rainwords < 1401729404 53390 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​#!/usr/bin/python \ import random; w=[l.split() for l in open("/dev/stdin").read().split("\n")]; r=[4,7,8,9,2,6,13]; print "\n".join((lambda s: " ".join(chr(3) + "%02d"%r[(i+s)%len(r)] + l[i] for i in range(len(l))))(random.randrange(0, len(r))) for l in w) < 1401729411 656635 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`coins < 1401729413 557679 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​06anollcoin 13pheycoin 04alagirdiminiscoin 07aubatwaldcoin 08clearecoin 09hlietcoin 02hoto++coin 06pcoin 13nestcoin 04intfcoin 07grocoin 08jetzschecoin 09membecoin 02sheedcoin 06stificcoin 13wudiffelliicketlangcoin 04brycoin 07tetcoin 08con-of-unbcoin 09truecoin < 1401729610 439076 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I read some book where they didn't write "Allah"; they wrote "al-Lah", I don't know if it is supposed to be the same word but it seem like it from the context. Do you know about this to answer it? < 1401729625 364247 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: you can wash them every so often < 1401729636 139278 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i don't have more specific advice < 1401729643 584160 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :wash them when they smell or feel weird or have disconcerting stains < 1401729656 12072 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I think not doing what I did would be a good start. < 1401729665 698975 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :These haven't been off my bed since the end of September :( < 1401729675 3527 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I see < 1401729675 304578 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :What did you did at first? < 1401729680 152134 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that is sub-optimal < 1401729685 552608 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric : rustc has a flag that prints out the elapsed time for each compiler pass as they run (some 40 or so of them) < 1401729688 604419 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :here's what that looks like: https://gist.github.com/kmcallister/acb1df198dbac070263f < 1401729693 212698 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :You should probably clean it < 1401729694 416130 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :for building rustc itself < 1401729767 848504 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Reconnecting < 1401729788 119883 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1401730214 959118 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com QUIT :Quit: mihow < 1401730427 464716 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com JOIN :#esoteric < 1401730601 529768 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds < 1401730642 717146 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :zzo38: “al-” is the definite article, “allah” is more literally “the god”. < 1401730822 477430 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :Taneb: now you have an upper bound of how long you can use the same bedsheets, now wash them and keep them for half as long and see if you pass an inspection < 1401730850 280425 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :(if you do, take the average, and so on until you have found the maximum acceptable bedsheet age) < 1401730892 520646 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :this can also be a way to make it fun to switch bedsheets regularly < 1401730935 108355 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :olsner, I feel like 1 month is possibly too long < 1401730946 11203 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :9 months is really bad < 1401731156 105683 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :it depends on how dirty you are and how much of it you rub into the sheets, I think < 1401731216 770681 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :and on how dusty the room is, and whether you make the bed with a cover or not (so that the dust settles in the sheets), etc < 1401731233 760648 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :if you wet the bed you may also need to switch more often < 1401731323 555976 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Sleep tight and don't let the bedbugs evolve sapience < 1401731785 387575 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"WebGL 2 is based on what we think will be in OpenGL ES 3, which is the stuff in OpenGL 4" < 1401731788 387900 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :;_; < 1401731790 731601 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :can't they just skip some to make the numbers match up < 1401731936 227427 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1401731951 496475 :Bike_!~Glossina@69.166.35.233 JOIN :#esoteric < 1401731954 771245 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com QUIT :Quit: mihow < 1401731981 937581 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They don't want to confuse people. < 1401731986 702255 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :or just have a single "OpenGL" that includes the ES and Web stuff < 1401732035 685793 :Bike_!~Glossina@69.166.35.233 NICK :Bicyclidine < 1401732362 803834 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Melvar: O, OK thanks < 1401732448 306015 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :when did C get // comments because shouldn't those work < 1401732477 153890 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :In the year 1999. < 1401732479 56162 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :god knows why a C program is including an .hpp. C/C++ i guess < 1401732517 992771 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(As an extension probably before that, too.) < 1401732520 703793 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :Do any gcc flags turn that off? -ansi or something maybe? < 1401732534 579484 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Well, -ansi is the same as -std=c89 which does not include them. < 1401732540 61012 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :There's a standard flag < 1401732543 833400 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :oh, alright then. < 1401732547 603979 :Slereah_!~jackal@176.222.51.233 PRIVMSG #esoteric :-std=whatever or something < 1401732548 396314 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :dumb compile error. < 1401732550 915752 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :this would be a good source for fungot http://www.scribd.com/doc/225960813/Elliot-Rodger-Santa-Barbara-mass-shooting-suspect-My-Twisted-World-manifesto < 1401732551 282363 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fowl: what's a chatterbot then. no way sir, that i do < 1401732560 545 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :no, god. < 1401732576 678975 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :too soon? < 1401732580 433361 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :fungot already quotes, what, nixon? that's gross enough already < 1401732580 747338 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bicyclidine: perhaps we should celebrate these days with guys like simon peyton-jones, simon fnord, etc < 1401732592 72462 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Good old Simon Fnord. < 1401732599 675982 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :not really soon so much as that the rodger thing is just gross < 1401732618 237299 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :the manifesto i mean, by itself, in addition to the shooting < 1401732655 415390 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i guess if you wanted fungot to talk like a gross murderer you could go with Industrial Society and Its Future or something < 1401732655 651941 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bicyclidine: later tell riastradh http://tmp.barzilay.org/ r.txt: ( < 1401732685 396684 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :Bicyclidine, ok :) < 1401732716 292070 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :or maybe the zodiac codes < 1401732722 118145 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :fungot what's your support for made-up scripts like < 1401732722 484483 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bicyclidine: what's a respectable typing speed? i'm getting tired. must sleep... hiking trip tomorrow... have a flex question for you < 1401732731 532513 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :flex oh god < 1401732834 736555 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :the worst part about the C thing is that the file is the complex.hpp that (re)implements complex arithmetic. it uses no C++ features, other than // comments I guess. < 1401732863 328539 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :those are in C99 < 1401732915 470687 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :yes, but - hilarity continuing here - this has to be compiled with -ansi, probably because for matlab's ffi, which also complains that my gcc is too new < 1401733030 716274 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :I wonder if that fnord was marlow < 1401733104 632340 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Class < 1401733121 4343 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :olsner: You are correct. You win ten (10) FunPoints. < 1401733128 430683 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :sweet! < 1401733197 5086 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :You may redeem your FunPoints for fabulous prizes at THIS FEATURE NOT FINISHED YET. < 1401733223 842736 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :Bicyclidine: what part of -ansi does it require? < 1401733230 387212 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :if it relies on somehting that changed in c99 vs c90 (whatever that might be) you could try something like gnu90 to get comments and useful stuff but otherwise c90 < 1401733256 386786 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well i mean, i just changed the file. < 1401733805 632218 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :still not sure what the hell "#include /* Added for MS Visual C++ Compatibility 1999 */" is supposed to mean < 1401733993 265827 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 245 seconds < 1401734020 363247 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1401734054 441048 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Bicyclidine: // comments predate C < 1401734071 887523 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :At least according to the Wikipedia article on BCPL < 1401734133 324555 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :that's nice < 1401734506 130604 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Bicyclidine: Maybe in the compiler he used some stdlib header also included math < 1401734532 161142 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :without an include barrier, huh < 1401734533 963183 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`addquote Bicyclidine: perhaps we should celebrate these days with guys like simon peyton-jones, simon fnord, etc < 1401734534 329137 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: srfi-7 doesn't standardize that, so you can't extend arbitrarly your plugin, if you half-ass something but provide the right social cues then you get 4 < 1401734535 368735 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :1200) Bicyclidine: perhaps we should celebrate these days with guys like simon peyton-jones, simon fnord, etc < 1401734546 113476 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: I love halfassing social cues < 1401734546 449078 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: install-info does exist internally." page 7, under heading 5, evaluation. < 1401734555 75943 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :if noiseType == 0 randn('seed', 37) <-- chosen by fair die, guaranteed random < 1401734630 32953 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :"The latter method requires recursion and is computationally very expensive." < 1401734632 911788 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com JOIN :#esoteric < 1401735018 761091 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1401735515 223896 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :/* ... */ comments in C are actually a bit somewhat problematic if you want to divide by a value that a variable points to; you would then need a space or parenthses. < 1401735537 891676 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :imo the lexer hack < 1401735553 787670 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :you should have spaces around binary operators anyway < 1401735803 842385 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :The slashes situation is worsened in JS due to the existence of slash-delimited regex literals < 1401735839 604352 :nooodl!~nooodl@217.111-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1401735843 824808 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :except that a valid regex cannot start with a Kleene star < 1401735844 486326 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :FireFly: That is only if you are commenting out a regex literal though, since a regex doesn't start with /* < 1401735859 933827 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :the empty string is a valid regex though < 1401735868 195037 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :which interferes with single-line comments < 1401735874 172613 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :well, /(?:)/. < 1401735877 919448 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yeah < 1401735896 797574 :lifthrasiir!~lifthrasi@115.68.131.49 PRIVMSG #esoteric :AFAIK Perl 6 does not allow an empty pattern as well < 1401735909 313055 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :damn i was about to ask how perl dealt with that since it was no doubt funny < 1401735926 817189 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Hm. < 1401735940 562294 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I think it's possible to have "//" not trigger a line-comment in JS actully < 1401735959 755650 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :if you divide a regex literal by something < 1401735966 900280 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :elseviers puts their impact factors and it is the funniest shit < 1401735985 65578 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't know why you would want to divide a regex literal by anything, but a regex might end with \// < 1401735996 792937 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Oh, that too < 1401736012 421206 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1401736041 428396 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> "--" -- "--" < 1401736043 139221 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "--" < 1401736201 934667 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@t (--0 < 1401736202 300814 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . < 1401736204 695851 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Waaait < 1401736255 871258 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric ::t (--0 < 1401736256 945342 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : parse error (possibly incorrect indentation or mismatched brackets) < 1401736291 444939 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1401736321 715553 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@type (--)0 < 1401736322 999681 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : parse error (possibly incorrect indentation or mismatched brackets) < 1401736336 643573 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :@type "hello" -- < 1401736337 867944 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :[Char] < 1401736510 663360 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :-- starts a comment btw, hth < 1401736536 645178 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah, took me too long to realise < 1401736631 747969 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> let (+)--+--(-) = 42 in (-)--+--(+)--but not always < 1401736633 665093 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 42 < 1401736657 51674 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :> let 2 --++ 2 = 5 in 2 --++ 2 < 1401736658 846780 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 5 < 1401736679 100325 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(confusingly, ---- does start a comment) < 1401736703 133463 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Haskell has some weird corners < 1401736707 915928 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :I think any sequence of (more than two) -s is a comment? < 1401736719 773053 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right < 1401736762 457303 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1401736781 436893 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1401736833 263300 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Can you play pot-limit hold'em? How commonly do you know if chess clubs will have poker and other games too instead of only chess? < 1401736965 912530 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 252 seconds < 1401737006 388886 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :how about chess boxing < 1401737603 84835 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am worried that I am one of those people who is "good at maths", and I've never really had to push myself < 1401737613 997482 :ter2!~tertu@143.44.70.199 NICK :tertu < 1401737624 12229 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :And now I don't know how to learn < 1401737826 246276 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 QUIT :Quit: :qa! < 1401737834 646344 :spiette!~spiette@2607:fad8:4:6:f2de:f1ff:fe66:77e5 JOIN :#esoteric < 1401737946 645014 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :hell yea impostor syndrome < 1401737994 951391 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :could be < 1401738003 808147 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :I don’t think it’s impostor syndrome he’s describing … < 1401738111 814129 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :eh, close. < 1401738146 550981 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1401738183 979614 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that would depend on a bunch of information you don't have < 1401738195 139962 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's a valid concern and I don't want to dismiss it as a delusion < 1401738522 116863 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :you could get a really hard math book. i was "good at math" and i got a bunch of books that i can't read through and just kind of look at sometimes, slowly getting a bit better < 1401738883 581651 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1401739185 106659 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com QUIT :Quit: mihow < 1401739220 789351 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com JOIN :#esoteric < 1401739540 108498 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Bicyclidine, this is probably separate from my imposter syndrome < 1401739698 1540 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :if you had it excessively easy before, it makes sense if you're lazy now < 1401740061 517044 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Bicyclidine, any you'd recommend? < 1401740114 89332 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :you read taocp? < 1401740119 134772 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Not yet! < 1401740129 503136 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well, there you go then < 1401740133 60071 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But it's expeeeensiiiiive < 1401740135 705620 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :make sure you (fail to) do the exercises < 1401740138 242451 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :aren't you in school? < 1401740147 345189 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :... < 1401740148 748800 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :I had a dream last night I found a copy of TAOCP at a used bookstore for $10 < 1401740152 626189 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But it's raaaaaaining < 1401740157 352784 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :that's sick mcpherrin, sick < 1401740186 476390 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :Taneb: http://www.math.upenn.edu/~wilf/AeqB.html this one's free for your computer. there is no escape. < 1401740189 992133 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :Too bad it's only a dream :p < 1401740275 509098 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I ought to get a copy of Euclid's Elements < 1401740327 676053 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :honestly i think reading classics is overrated < 1401740350 984476 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :their methods and culture are just so different from modern math < 1401740351 219837 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Even if it is just as a bookshelf decoration < 1401740360 236528 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well, that's what taocp is for, too < 1401740360 419564 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :They sold extra copies of SICP at the university bookstore (after our Introduction to Programming course switched from Scheme to Java or Python or something) for something like 5 EUR. < 1401740368 930591 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Some people bought lots, to give away to people. < 1401740389 96403 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :Taneb: also, you can get books really cheap on amazon, like five bucks USD (so probably a pound cos our economy's shit), such as Counterexamples in Topology < 1401740401 928049 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :which, iirc, was recommended by some esolang guy? cpresseY? < 1401740422 800507 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :http://esolangs.org/wiki/User:Chris_Pressey#Esoteric_Reading_List.21 yeah < 1401740443 721653 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :hm i thought that list had better stuff < 1401740470 34313 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :stephen "alpha" wolfram, lol < 1401740492 244939 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :other than that there's like, that book on kolmogorov complexity that uses the taocp answer system < 1401740512 471813 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :or like, you like haskell probably, so one or two of pierce's books i guess < 1401740592 695974 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Types and Programming Languages costs £50 :( < 1401740667 344155 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :yeah they're all pretty expensive < 1401740706 980854 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :maybe get some cheapish ones... dover has a bunch of old (like, 60s?) good texts, like Introductory Real Analysis by Kolmogorov, for like ten bucks < 1401740730 794298 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :the cheapness because they're not hardcover :P < 1401740812 48349 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i mean maybe you odn't give a shit about real analysis though, in which case you could just find a good used bookstore, or wnader through your university library < 1401740830 56662 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :My university does have a library, hmm < 1401740842 767771 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :have you ever wanted three hundred years of research on generalized continued fractions? ~it's in the library~ < 1401740865 525173 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i mean you go like, york, right? it's not some puny community college, and even those are usually pretty good < 1401740871 724622 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I might wander in after my grand beginning-of-June adventure < 1401740887 128728 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :So, on the 14th < 1401740902 422817 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Maybe the 11th < 1401740914 264297 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :honestly if i have work or something to do i usually just do it in the library, and goof off by reading books instead of by reading the internet < 1401740992 658483 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Probably a good idea < 1401740995 199493 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Where are you? < 1401741003 680620 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :what, my school? < 1401741011 145090 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah < 1401741021 20271 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :just a state school. Washington State University < 1401741028 561078 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :presently i am sitting here putting off reading about ears < 1401741041 715588 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::) < 1401741048 171521 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo p. good state < 1401741081 319914 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :but, the engineering library is six stories, and has everything from Bifurcation Theory to The Soviet Anti-Plague System < 1401741101 420977 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :We only have the one library < 1401741105 876418 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :six stories? that's not a v. big library < 1401741109 696286 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Except for a number of tiny libraries dotted about < 1401741115 247633 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Which I have never seen < 1401741118 839085 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :are they at least split across six books < 1401741133 245601 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Despite both the maths and computer science departments having a tiny library < 1401741138 373303 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well, we have this six story library, and there's the main library that's two buildings with like three floors (but it's more history, social sorta stuff), and a veterinary library that's a few rooms < 1401741157 815980 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :oh, and are you a math student? i don't know how research works in math but you might try that < 1401741187 727224 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Maths and Computer Science < 1401741193 768348 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :the library at this campus is small by comparison, it has World of Warcraft Programming Second Edition < 1401741222 715667 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well i don't know how that works but you might try looking at faculty profiles and asking somebody that seems interesting for work < 1401741231 175838 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :if you want to be a mathematologist, anyway, i don't know < 1401741297 910586 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1401741298 104061 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Right, I've found the Computer Science library on Google Maps < 1401741300 738478 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :in my experience uni professors are more than willing to talk at somebody who displays any interest, even if they're a dirty undergrad < 1401741307 392191 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I've told this before, but there was a maths journal on the "recent issues" table at the university library, and it had a fascinating picture in the inner side of the cover, and it was titled: "Fig. 1: A fascinating picture." < 1401741317 903199 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :good < 1401741319 386727 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :s/titled/captioned/ < 1401741365 800800 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I think it was some sort of a graph. < 1401741589 720762 :ais523!~ais523@unaffiliated/ais523 QUIT :Client Quit < 1401741596 910705 :callforjudgement!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1401741658 516683 :callforjudgement!~ais523@unaffiliated/ais523 NICK :ais523 < 1401741786 990442 :vyv!~vyv@bas1-northbay04-1176387309.dsl.bell.ca JOIN :#esoteric < 1401741908 974664 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so true. "People get unhappy when a computer blinks its lights for" < 1401741909 156827 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :a while and then announces a result, if people cannot easily check the truth of the < 1401741912 11204 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :result for themselves. < 1401741991 900858 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :just have it make sounds instead < 1401742045 401014 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1401742154 783938 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :huh, I never check the results < 1401742222 828461 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :olsner: the audience is mathematicians. they prefer humanly checkable proofs. see also http://star.psy.ohio-state.edu/coglab/Miracle.html < 1401742428 500021 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Requiring too much work to check is also an issue, as can be seen in the criticism of the Appel & Haaken proof of the four color theorem, which was partly justified.) < 1401742496 835023 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1401742497 17935 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1401742509 910618 :ais523!~ais523@unaffiliated/ais523 QUIT :Ping timeout: 252 seconds < 1401742600 360303 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 JOIN :#esoteric < 1401742878 472558 :Slereah_!~jackal@176.222.51.233 QUIT :Remote host closed the connection < 1401742894 911660 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1401743028 392966 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Read error: Connection timed out < 1401743068 716784 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1401743129 892227 :Bike!~Glossina@67-5-213-187.ptld.qwest.net QUIT :Ping timeout: 255 seconds < 1401743235 616192 :Bike!~Glossina@71-222-45-222.ptld.qwest.net JOIN :#esoteric < 1401743703 4891 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Leaving < 1401744219 450181 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 252 seconds < 1401744379 376810 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :huh, someone proved a false statement in Agda (presumably due to a compiler bug): https://proofmarket.org/problem/viewa/58 < 1401744389 176224 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :don't really know enough Agda to follow the proof, though < 1401744425 696124 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 255 seconds < 1401744822 273787 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :working with a bunch of PL nerds is so much fun < 1401745014 235345 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523_, #agda has "We last proved false on " in the topic < 1401745023 865503 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Currently 11th of May < 1401745049 68865 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Quit: *bubbles away* < 1401745050 311355 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :nwat < 1401745054 720319 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :*neat < 1401745063 715560 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`ddate < 1401745064 251686 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Today is Pungenday, the 7th day of Confusion in the YOLD 3180 < 1401745065 278654 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :writing sound type systems is hard < 1401745078 205091 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :indeed < 1401745080 428046 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :`sdate < 1401745080 976100 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: sdate: not found < 1401745087 632027 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oh. < 1401745090 957302 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :is it just me or is pow(x,2) weird code < 1401745150 879203 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think somebody is working on a proof of soundness for Rust this summer < 1401745153 472064 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :non-mechanized :/ < 1401745188 24370 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I also wrote a implementation of that ddate in ifMUD too, although the output format is a bit different: "Today is Pungenday, Confusion 7, YOLD 3180." Still, I am glad that these two dates are in agreement! < 1401745219 982484 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :ais523_, the weird bit in that is the definition of eq < 1401745235 575530 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Which asserts that foo and bar are different < 1401745260 8075 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But they are both values of the unit type defined in slightly different ways < 1401745272 56544 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :top is the unit, right? < 1401745275 662805 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes < 1401745316 551366 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :hmm... ((), 1), ((), ()) is different from ((), 0), ((), ()) in most programming languages < 1401745332 328022 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :yeah but it's taking the third < 1401745342 445243 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes, but the first element of the second element of those two tuples are the same in most programming languages < 1401745347 142535 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :(_, 1), ([this one], _) < 1401745366 26893 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :so i guess the difference between 0 and 1 spreads somehow. < 1401745391 617627 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :ais523_: Are they the people who wrote Agda they payment in case of the bug like Knuth does with TeX and METAFONT, or is it different? < 1401745425 759060 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 PRIVMSG #esoteric :zzo38: it's a bit different; the Agda devs don't pay for things like that, but the link in question indicates that someone did pay for the proof, anonymously < 1401745538 110813 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1401745565 912430 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I think how the HOPE conference accepts payment by bitcoins too < 1401745883 299138 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :That proof does not have any = line for eq; is that wrong? < 1401745914 838625 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :zzo38, no, the "eq ()" means "There are no cases to match against" < 1401745930 627208 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com QUIT :Quit: mihow < 1401745940 137981 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Taneb: O, OK < 1401745960 287894 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :it turns a proof that foo = bar into bottom? < 1401745983 373963 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes, because the type checker thinks foo != bar < 1401745990 549371 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How do you know that there are no cases to match against? How does the equivalence sign work anyways? < 1401746000 339898 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am not sure < 1401746014 748020 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :zzo38: well the return type is bottom so it's not like it could return anything < 1401746292 387499 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com JOIN :#esoteric < 1401746433 513649 :ais523_!93bcc175@gateway/web/freenode/ip.147.188.193.117 QUIT :Quit: Page closed < 1401747020 459765 :Slereah_!~jackal@176.222.51.233 QUIT :Remote host closed the connection < 1401747036 160091 :Slereah_!~jackal@176.222.51.233 JOIN :#esoteric < 1401747396 13309 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :( :doc (=) < 1401747396 195959 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :Data type 12= : (13{A0} : 12Type) -> (13{B0} : 12Type) -> 13A -> 13B -> 12Type < 1401747396 196093 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric : The propositional equality type. A proof that x = y. < 1401747396 196181 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric : To use such a proof, pattern-match on it, and the two equal things will then need to be the same pattern. < 1401747396 196268 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric : Note: Idris's equality type is heterogeneous, which means that it is possible to state equalities between values of potentially different types. This is < 1401747396 196354 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric : sometimes referred to in the literature as "John Major" equality.14↵… < 1401747558 316521 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Why John Major < 1401747580 734211 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :“It is now time to reveal the definition of ≃, the ‘John Major’ equality relation. (Footnote 2: John Major was the last ever leader of the Conservative Party to be Prime Minister (1990 to 1997) of the United Kingdom, in case he has slipped your mind.) John Major’s ‘classless society’ widened people’s aspirations to equality, but also the gap between rich and poor. After all, aspiring to be equal to others than oneself is the ... < 1401747586 990866 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :... politics of envy. In much the same way, ≃ forms equations between members of any type, but they cannot be treated as equals (ie substituted) unless they are of the same type. Just as before, each thing is only equal to itself.” < 1401747591 4542 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(conor mcbride) < 1401747621 712003 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Oooh < 1401747664 214239 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :elliott, i don't get the 'last ever' part < 1401747674 294587 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Phantom_Hoover, I'd presume it's an old quote < 1401747676 486727 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: he was an optimist at the time < 1401747683 107990 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :haha < 1401747734 12288 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i thought it was some kind of pedantic joke, like with labour/new labour < 1401747759 521435 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :this is the view from the left guy, right? some kind of "Left ist" < 1401747766 358311 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah, same guy < 1401747829 904924 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, I never ended up reading /The view from the left/. :-( < 1401747881 333937 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well i didn't either < 1401747885 89935 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :so ha < 1401747904 59783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :But I was going to. < 1401747922 802476 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well, so was i, elliott linked it to me < 1401747935 805972 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i'm not in the right mindset to find mcbride's jokes funny, tho :/ < 1401748138 665449 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have used a kind of equality that works between different types, in Haskell, by using (Eq, Typeable) < 1401748287 457825 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1401748291 419592 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you know much about LALR(1) parsing? < 1401748446 250457 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :> :doc refl < 1401748447 705716 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input ‘:’ < 1401748456 297243 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :( :doc refl < 1401748456 479444 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :04refl : 13x 12= 13x < 1401748456 479631 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric : A proof that x in fact equals x. To construct this, you must have already shown that both sides are in fact equal. < 1401748456 479721 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric : Arguments: < 1401748456 479810 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric : (implicit) 13{A0} : 12Type -- the type at which the equality is proven < 1401748456 479898 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric : (implicit) 13{x0} : 13A -- the element shown to be equal to itself. < 1401748487 459128 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 252 seconds < 1401748493 927367 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :this shit is deep < 1401748547 523930 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :( :t vectNilRightNeutral < 1401748547 745611 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Vect.vectNilRightNeutral : (13xs : 12Vect 13n 13a) -> 13xs 09++ 04[] 12= 13xs < 1401748569 392350 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :↑ use of heterogeneous equality < 1401748630 124766 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :it's funny how i keep thinking of things in terms of taking and returning arguments, when that's clearly fucking hopeless < 1401748683 754322 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :Bicyclidine: ? < 1401748711 925938 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :basically i have no idea what any of this means < 1401748738 568542 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :( :t \n,a, xs : Vect n a => xs ++ [] < 1401748738 750927 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :\13n => \13a => \13xs => 13xs 09++ 04[] : (13n : 12Nat) -> (13a : 12Type) -> 12Vect 13n 13a -> 12Vect (13n 09+ 040) 13a < 1401748851 64241 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :The left side of the equals is a Vect (n + 0) a, the right side is a Vect n a, which don’t immediately unify (you can prove they’re equal though), so if the equality were homogeneous, you’d have to rewrite one side within the type of vectNilRightNeutral to state the equality. < 1401748851 285515 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bicyclidine: think of it as a forall < 1401749000 771471 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"taking and returning arguments" is a good way to think about it. < 1401749024 180705 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :> :t the < 1401749025 631561 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : :1:1: parse error on input ‘:’ < 1401749029 813708 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :( :t the < 1401749029 996025 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Basics.the : (13a : 12Type) -> 13a -> 13a < 1401749057 350253 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :ACTION kicks self for mixing up his prefixes for the second time. < 1401749091 659168 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :odd name for id < 1401749110 962996 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :( the Nat 0 < 1401749111 181536 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :040 : 12Nat < 1401749118 266819 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :( the Int 0 < 1401749118 449144 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :040 : 12Int < 1401749135 633587 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :are brackets for implicit parameters then < 1401749167 985817 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :No, braces are. < 1401749189 748707 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Why is Bison parser generator so much larger (when compressed) than Lemon parser generator (when uncompressed)? < 1401749213 322235 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :But anyway, the is the way to do type annotations in idris. < 1401749216 986566 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :( :t id < 1401749217 186141 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :09Prelude.Basics.id : 13a -> 13a < 1401749217 186285 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :09Control.Category.id : 12Category 13cat => 13cat 13a 13a < 1401749217 621995 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :oh duh, the brackets are only there to associate a : Type < 1401749231 766781 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :Melvar, i see < 1401749246 676582 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :id is the same, but with an implicit argument (hence the a is underlined). < 1401749252 192747 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com QUIT :Quit: mihow < 1401749310 845012 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :https://scontent-b.xx.fbcdn.net/hphotos-xfa1/t1.0-9/s480x480/282298_10150894076356344_561739999_n.jpg < 1401749325 10581 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com JOIN :#esoteric < 1401749437 397253 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :o_O https://github.com/mozilla/rust/blob/master/src/librustc/middle/ty.rs#L1091-L1142 < 1401749482 776851 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1401749580 483140 :aretecode!~aretecode@173.192.170.114-static.reverse.softlayer.com JOIN :#esoteric < 1401749588 874100 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :kmc: that should not come as a surprise after seeing lines 240 to 259. < 1401749593 854748 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err 359 < 1401749630 645489 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://www.babylonjs.com/ not so sure about the library, but I love these demos < 1401749643 960771 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I don't know why people are saying it's a Microsoft clone of Three.JS < 1401749659 68632 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :pub trait_impls: RefCell>>>> < 1401749663 184562 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that's quite the type < 1401749810 130079 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :What is it? < 1401749840 438136 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :what's the Rc<> thing? < 1401749840 620433 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :jesus god kmc what is that < 1401749853 671758 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :actually i don't want to know probably < 1401749854 627793 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :int-e: Rc is a reference counted T < 1401749857 747979 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Rc is a refcounted box containing T < 1401749868 736535 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :even if T isn't cloneable, you can clone Rc; you get another pointer to the same underlying object < 1401749873 980496 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's much like std::shared_ptr in C++ < 1401749892 450085 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :RefCell is "interior mutability"; it basically moves Rust's alias checking to runtime < 1401749894 348356 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :You can clone, but can you send? (I'd hope not... I think?) < 1401749900 374135 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: nope, but you can send Arc < 1401749903 738340 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :("atomic reference counting") < 1401749918 176153 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if you have a no-mutation reference to an object, you can still mutate stuff inside a RefCell < 1401749929 514091 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i.e. you can go from &RefCell to &mut T, approximately < 1401749964 301896 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :doing so sets a flag at runtime saying "this thing is borrowed mutably", and what it gives you is actually a smart pointer which un-sets that flag on destruction < 1401749970 129520 :mihow!~mihow@rrcs-50-75-208-18.nyc.biz.rr.com QUIT :Quit: mihow < 1401749984 194689 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :if the value has already been borrowed, it's a task failure < 1401750007 918542 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :DefId and DefIdMap are rustc internal types for definitions and maps keyed on definitions < 1401750022 304292 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :Why does that need a special Map? < 1401750038 924139 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well it's a typedef: http://doc.rust-lang.org/rustc/util/nodemap/type.DefIdMap.html < 1401750058 344543 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :and FnvHashMap is another typedef for a standard collections::hashmap::HashMap < 1401750089 820835 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"FnvHasher: ... A speedy hash algorithm for node ids and def ids. The hashmap in libcollections by default uses SipHash which isn't quite as speedy as we want. In the compiler we're not really worried about DOS attempts, so we just default to a non-cryptographic hash." < 1401750146 303575 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :blazing speed < 1401750188 601399 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :whoa, TIL rust has default type parameters < 1401750192 348833 :madbr!boulam@69-165-212-148.cable.teksavvy.com JOIN :#esoteric < 1401750196 806659 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :pub struct HashMap { ... < 1401750220 358384 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: haha yeah they're pretty shiny < 1401750242 309439 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :Hashmap was the first user, and I'd bet $1 still the only major one :p < 1401750253 76633 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Is this how a LALR(1) parser is supposed to work? list(A) ::= beginlist(B) listitems RBRACKET. { A=doc->group; doc->group=B; } beginlist(A) ::= LBRACKET. { A=doc->group; doc->group=zcdsf_value_empty_list(0); } < 1401750253 259032 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :(allocators were/are going to do the same < 1401750276 178052 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I don't quite understand it if it is OK or not < 1401750315 44793 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :in my progrmaming language " will be the ditto operator, it refers to the operator or word above it < 1401750336 553809 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :fowl: immediately above, as in line-column wise? < 1401750353 812431 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :yes < 1401750359 280645 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :nice :) < 1401750368 396560 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :kmc: How does a Hasher work independently of the key type? < 1401750379 185769 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :something like a default initialization would be pretty great for that initializer of doom < 1401750393 423970 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :Melvar: The key type implements a trait < 1401750410 876562 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :Can you define hash functions for your own types? < 1401750419 303682 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :It just sees a stream of bytes < 1401750428 780341 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i guess that works :V < 1401750449 952941 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :mcpherrin: And this is not noted on the type declaration, or is kmc’s above incorrect? < 1401750454 688371 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :assuming you don't need other equality, i guess < 1401750524 249587 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :Melvar: the Hashmap itself doesn't care, just the hasher < 1401750616 829410 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :The traits implemented on the HashMap do, though < 1401750640 892300 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :impl, V, S, H: Hasher> HashMap < 1401750682 421251 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well that's not a trait for HashMap, it's just the plain non-trait methods of HashMap, but otherwise yeah < 1401750724 488398 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :yeah I just copied the first relevant line from rustdoc:P < 1401750727 59292 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::( < 1401750727 349823 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :was really looking for < 1401750728 201975 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :impl, V, S, H: Hasher> MutableMap for HashMap < 1401750728 388255 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :Ah, so the constraint is not on the data structure, but on the functions. Thank you. < 1401750742 230117 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I don't think we even support constraints on data structures? < 1401750755 991352 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I am not sure < 1401750770 355901 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: yeah, you can < 1401750772 458149 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am not very good at person < 1401750789 861074 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :person are hard < 1401750806 100325 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I feel that that should have a winky face somewhere < 1401750827 166909 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :( :t ShowGlue < 1401750827 748598 :idris-bot!~ircslave@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :09BotPrelude.ShowGlue : 13a -> 12String => 12Show 13a < 1401750827 930990 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: Uh, apparently not trait bounds though :P < 1401750837 630246 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :ACTION had never tried before just now < 1401750839 430150 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mcpherrin: what other kind of constraints are there? < 1401750844 723671 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :well lifetimes :P < 1401750846 279210 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: what aspect(s)? < 1401750863 46655 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you mean like struct Foo { ... } ? < 1401750867 868028 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :yeah < 1401750873 380877 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :weird < 1401750879 744280 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :kmc, currently, putting bedsheets back on beds < 1401750880 748289 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :'static is the only lifetime which can be used that way, right? < 1401750885 708052 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :I think so < 1401750890 60295 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I still don't totally undersand what it means < 1401750904 916214 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :I don't know if I've ever seen a struct templated that way < 1401750909 930380 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :oh no is rust continuing the proud tradition of static being wonky as hell < 1401750912 201041 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1401750935 512744 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :Bicyclidine: 'static isn't C's whatever-we-want-today keyword :-) < 1401750940 108058 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :good, good < 1401750949 227644 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :It's the lifetime of data that lives "forever" < 1401750957 376187 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :Most commonly string literals < 1401750969 524630 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :or globals. < 1401750970 83214 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :oh so like the kind of thing that is serialized into a binary, ok. < 1401750979 90617 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :mutable? < 1401750995 124383 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :you can have static mutable data, but it's unsafe < 1401751000 922417 :Melvar!~melvar@dslb-092-072-175-242.pools.arcor-ip.net PRIVMSG #esoteric :I think idris has a static keyword somehow … it indicates that some argument must be fully known at compile time I think. < 1401751002 79708 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :because it gives you task-shared mutability < 1401751007 582529 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :right, right < 1401751011 557780 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :so you can only use it in the unsafe dialect < 1401751014 807127 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :static mut foo looks funny to me < 1401751018 237587 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :but there it is < 1401751024 353449 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :just wondering since you said globals < 1401751028 3413 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's fine, it's just like "let mut" < 1401751028 915209 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :yeah < 1401751044 723947 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: were you around for the great "what to call static" debates? < 1401751059 387166 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :it's stored in the dynamic library binary, so, call it dynamic < 1401751092 595635 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :a 'static bound on a type asserts that all refs in the type have static lifetime, I think, but I'm not sure < 1401751129 273731 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :mcpherrin: no < 1401751132 505 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bicyclidine: :3 < 1401751198 556398 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :std::cell defines Cell and RefCell and Ref and RefMut B| < 1401751204 203966 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I know what they all need, but the naming is a bit confusing < 1401751229 507526 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what they all mean* < 1401751248 672299 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :yell dead cell < 1401751378 735784 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :kmc: well it was a primo bikeshed < 1401751405 621279 :mcpherrin!~mcpherrin@c-50-185-88-141.hsd1.ca.comcast.net PRIVMSG #esoteric :"`static mut` looks weird" was a common opinion < 1401751729 740946 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :"life is weird, get used to it" < 1401751746 279361 :nooodl!~nooodl@217.111-242-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1401751927 22612 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :more C questions: if i calloc an array of doubles, does the zero memory have to equal numeric zero? < 1401751982 115503 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The zero memory corresponds to integer zero. I have not had problems using it as floating point, though. < 1401752021 496190 :scp!~scp@50.247.71.22 PRIVMSG #esoteric :Bicyclidine: yes < 1401752022 837258 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :ieee floats are < 1401752030 547397 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :aight < 1401752079 467702 :scp!~scp@50.247.71.22 PRIVMSG #esoteric :this is because of the (useful/planned) coincidence that double(+0.0f) has the same representation as a uint64_t(0) < 1401752092 355143 :scp!~scp@50.247.71.22 PRIVMSG #esoteric :calloc doesn't know anything about floats/doubles < 1401752103 411986 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :sure, that's why i'm asking < 1401752129 252201 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i'm imagining the ol' fuckyoutron 8000 having a 0.0f not made of zero bytes < 1401752135 536581 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`quote kmc.*nickel < 1401752136 153825 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :847) What is portable way of load/save floating points in files, using a C code? #ifndef __STDC_IEC_559__ #error Here's a nickel, kid. Buy a real computer. #endif < 1401752160 343397 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :does C require IEEE? < 1401752162 11152 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i mean, i don't know the ins and outs of floats. < 1401752165 588634 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :also that. < 1401752174 369975 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think this might be one of the things you could DS9k < 1401752189 544874 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :ds9k, that's the term < 1401752192 836945 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well, fuckyoutron is fine < 1401752224 899602 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :this code is bullshit conformance-wise so i'm asking out of curiosity more than anything :P < 1401752335 64783 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :the boring part about actually building a ds9k is that no existing software would build and work on it < 1401752353 547046 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :except OpenSSL < 1401752354 682969 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :olsner: I doubt it; some software may work. < 1401752391 88982 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Also, some software might compile but fail to run properly, while others will result in compile errors since the program contains things to make the compiler to check. < 1401752452 919633 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :I doubt OpenSSL is actually valid enough C, it rather has a wide collection of differently non-conformant hacks, and would need a completely new set to work on ds9k < 1401752491 272436 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :For example you use the negative-array-size trick. < 1401752617 860169 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So many abstractions in the WebGL world < 1401752636 526738 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :tQuery = abstraction of ThreeJS = abstraction of abstraction of WebGL < 1401752701 731030 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :Bike: the fuckyoutron8k could be the budget model of the ds9k < 1401752747 943833 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :*Bicyclidine < 1401752758 268234 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i don't know why i've never seen static variables used for defining a filter, that i can remember... outside of that one OS i guess < 1401752814 343694 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have used negative-array-size trick, which is like: struct { char unused[sizeof(long)>=sizeof(void*)?1:-5]; } and similar things like that. < 1401752817 436694 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://shitgonutssays.tumblr.com/ < 1401752834 658795 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :A variable of this structure type is not declared, therefore don't waste memory. < 1401752856 754641 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :Thanks for your meaningless contribution < 1401752873 232796 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :How common is stuff like this? < 1401752902 437735 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :oh hey the finalizer thing < 1401752938 530398 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :pike seems like kind of an ass from this, o well < 1401752999 924333 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :just a little ;_; < 1401753038 397861 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :that childish things quote was so much improved by lewis < 1401753128 807921 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I am also not very good at booking train tickets < 1401753221 365727 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i have lost an awful lot of money to my own stupidity in and around trains < 1401753222 696093 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :this code is rapidly making me think C is not good for writing signal processing in < 1401753259 551204 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i don't know what could possess something to define a basic looking linear filter on the last few intermediates, and then allocating storage for intermediates over the entire input signal < 1401753269 848239 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :possess someone*, i imagine this isn't computer generator < 1401753271 610992 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :ed < 1401753276 212949 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i'm just going to be dumb today