< 1282348833 0 :cpressey!unknown@unknown.invalid PRIVMSG #esoteric :Night all < 1282348838 0 :cpressey!unknown@unknown.invalid QUIT :Quit: Leaving. < 1282348893 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :botte: you convinced them in the end? < 1282348913 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :scarf: well, he didn't argue after i said that "dropping doesn't require ownership, right?" (along those lines) < 1282348919 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :probably there was typing lag < 1282348923 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :i.e. he hadn't read my request to drop when typing that < 1282348974 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :scarf: aargh, freenode doesn't allow + in emails < 1282348985 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :use . then < 1282348991 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :or perhaps not < 1282348995 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :gmail, you can put dots anywhere you like in the address < 1282348996 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :scarf: that only lets me punctuate with ., not add more text < 1282348997 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :and it ignores them < 1282349000 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :i know that much < 1282349000 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :botte: yep < 1282349005 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :binary :-) < 1282349007 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :but it's good enough for address uniqueness < 1282349016 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :it appears to maybe allow + < 1282349018 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :(bonus points if you come up with an address that punctuates both ways round) < 1282349020 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :perhaps it doesn't like my sha1 password < 1282349030 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :use the first half, it's almost as secure < 1282349048 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :yes, but ... < 1282349097 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :but what? < 1282349112 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :oh, the "any password should be allowed" theory? < 1282349127 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :pretty much < 1282349136 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :it's not like it isn't being hashed (i bloody hope it is) < 1282349136 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :ACTION vaguely wonders how secure a 1-char password would be if it wasn't ASCII < 1282349147 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :botte: it may be on the /input/ side that's the problem < 1282349153 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :howso? < 1282349157 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :auto-ID might not work properly in many clients if the password was too long < 1282349159 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :for instance < 1282349181 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Two IPv4 IANA pool exhaustion estimates: April 8th next year and May 28th next year... Going to get busy with IPv6 migration... < 1282349185 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :I'd certainly expect passwords with spaces in to be rejected in IRC due to screwing up argument parsing < 1282349189 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :scarf: no spaces < 1282349201 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :Ilari: nah, nobody will migrate anyway < 1282349210 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :they'll just NAT entire countries or something stupid like that < 1282349216 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :i was about to say, yeah, nat < 1282349240 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :(apparently, the entire population of some country shares one IP due to a NAT+filter; IIRC, Qatar, but it might be a different one) < 1282349252 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :(it caused a huge row when Wikipedia blocked the IP for vandalism, not realising its significance) < 1282349258 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :(and it was undone as soon as somebody noticed) < 1282349276 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :Qatar; the defier of usual English spelling, owner (well, royal family) of Harrods, and hater of IPs < 1282349313 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :*IPs! < 1282349329 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :the ISPs will love mass-NATting, as it'll give them an excuse to make people pay extra to run a server from home < 1282349338 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :a lot of them even forbid that. < 1282349360 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :Meanwhile, http://www.bogons.net/ is still bullshit-free (and I still haven't got around to registering yet). < 1282349372 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders when people will finally realise they've chained too many levels of NAT and it doesn't work any more < 1282349378 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :(static IP, IPv6, only intelligent people, etc.) < 1282349385 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :(small company) < 1282349389 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :scarf: s/will// s/'ll// s/give/gives/ < 1282349408 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :a bit on the pricy side though < 1282349413 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :(very on the pricy side) < 1282349415 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :moreso than last time < 1282349423 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Some ISPs are already in the habbit of doing mass-NAT. < 1282349430 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :s/habbit/habit/ < 1282349468 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :notably AOL < 1282349491 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :which was especially strange as each account had its own IP anyway < 1282349494 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :i don't think anyone actually uses aol any more :P < 1282349501 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :(you can tell they did due to the XFF headers) < 1282349519 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :alise: do you have an opinion on Oracle vs. Google, btw? < 1282349519 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :wow, Time Warner split up with AOL < 1282349520 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :assign(variable(b)->add(variable(c))) < 1282350858 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :and all does is builds a parsetree for later execusion < 1282350861 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :*execution < 1282350862 0 :Vonlebio!unknown@unknown.invalid PRIVMSG #esoteric :botte, http://importantshock.wordpress.com/2007/08/21/haskell-curry-yes-i-dated-his-daughter/ < 1282350866 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :*all this does is < 1282350890 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :scarf: screw it, I'm supporting arbitrary nicks < 1282350902 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :http://pastie.org/1105138.txt?key=nsqexkxchx4ofd14wv3v4g < 1282350904 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :scarf: behold. < 1282350913 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :you then claim that this a) makes the syntax more familiar, and b) means the language you're creating, and the language you're writing in, are now compatible in some sense < 1282350920 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :pastie.org/1105138.txt?key=nsqexkxchx4ofd14wv3v4g < 1282350920 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :that is < 1282350926 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :System-C is a VHDL-alike using C++ as the host lang < 1282350930 0 :Vonlebio!unknown@unknown.invalid PRIVMSG #esoteric :So, noöne talking at the moment uses the nick they used a month ago. < 1282350933 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :warning: Incredibly gnarly Python code! Only click if you're in to that sort of thing! < 1282350938 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :Vonlebio: this is just to register it < 1282350941 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :the person in the seminar was doing something similar with CUDA and C# < 1282350943 0 :Vonlebio!unknown@unknown.invalid PRIVMSG #esoteric :scarf, oh, I think I heard of that. < 1282350944 0 :botte!unknown@unknown.invalid NICK :alise < 1282350945 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :scarf: So, Pain + Agony. < 1282350953 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : System-C is a VHDL-alike using C++ as the host lang < 1282350955 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :worst idea ever < 1282350955 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :and I remembered the comment I was laughing at < 1282350957 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :alise: agreed < 1282350963 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :well, maybe not the /worst/, but pretty bad < 1282350978 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :it was something about this mechanism making the language more scalable < 1282350998 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :which struck me as a slightly bold statement, given that all the loops used were inherently unrolled < 1282351013 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :(as they were using a normal C# loop around the parsetree-builder_ < 1282351015 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : System-C is a VHDL-alike using C++ as the host lang <-- I thought it was closed to Verilog than VHDL? < 1282351025 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :s/_/)/ < 1282351033 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: same thing < 1282351035 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :he said -alike. < 1282351038 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :closer* < 1282351047 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: VHDL and Verilog are identical apart from the syntax, for all practical purposes < 1282351049 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :pretty much < 1282351062 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :thus, "VHDL with different syntax" and "Verilog with different syntax" are basically the same concept < 1282351071 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1282351092 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :scarf, I thought verilog lacked assignments outside processes or something like that? < 1282351100 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :of course in practise you would get the same code... < 1282351102 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :so does VHDL? < 1282351105 0 :Vonlebio!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, hardly a big difference. < 1282351110 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :the concept doesn't actually make sense < 1282351124 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :scarf, no? You can write sig_out <= a or b; iir c? < 1282351125 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :(you can <= outside processes in VHDL, but that's just sugar, effectively) < 1282351126 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :iirc* < 1282351132 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :scarf, yes that is what I meant < 1282351133 0 :sshc_!~sshc@unaffiliated/sshc JOIN :#esoteric < 1282351146 0 :Vonlebio!unknown@unknown.invalid QUIT :Quit: Read the SHOCKING TRUTH about Church Jr. and Ms Curry in my new book! < 1282351156 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :s <= a or b; is sugar for begin process (a, b) s <= a or b end process < 1282351164 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :scarf, hm true < 1282351169 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :(+ filling in the bits of syntax I missed out because nobody can be expected to /remember/ VHDL syntax) < 1282351177 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :scarf, same < 1282351178 0 :scarf!unknown@unknown.invalid PRIVMSG #esoteric :time to go home, anyway < 1282351181 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :process begin < 1282351183 0 :scarf!unknown@unknown.invalid QUIT :Quit: Page closed < 1282351184 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :I think is the order < 1282351190 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :night < 1282351336 0 :sshc!unknown@unknown.invalid QUIT :Ping timeout: 252 seconds < 1282351349 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1282351354 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :what's the name for a raw line of IRC text? < 1282351359 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :including all the syntax < 1282351556 0 :Wamanuz!unknown@unknown.invalid QUIT :Remote host closed the connection < 1282351667 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :. < 1282351695 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Congratulations alise, my current obsession is NetHack < 1282351706 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1282351711 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :at least it's a good one < 1282352487 0 :Flonk!unknown@unknown.invalid QUIT :Quit: ChatZilla 0.9.86 [Firefox 3.6.8/20100722155716] < 1282352575 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, if something wasn't good, would I be obsessed? < 1282352858 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, are you still interested in NetHack? < 1282352863 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Or have you moved on? < 1282353040 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: I'm interested but taking a break. < 1282354158 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :?! < 1282354164 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Apparently the prefix of an IRC message is optional. < 1282354552 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... There exists opposition to water flouridation? < 1282354591 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :What's next, opposition to cleanliness in hospitals? < 1282354724 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Seriously, why the hell doesn't Europe do water flouridation? < 1282354729 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I oppose the use of running water! < 1282354743 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: That's great. I'll be sure to shit upstream of you. < 1282354754 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :doesn't flouride worsen the taste? < 1282354760 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: No, it's flavorless. < 1282354771 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :mm... flour < 1282354783 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://www.aquaverve.com/blog/content/binary/fluoride_water_main_600[1].jpg ;; lol wat < 1282354783 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yeah, fluoridation is pretty much awesome < 1282354783 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Also, sl/flourid/fluorid/g < 1282354785 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Erm. < 1282354788 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :s/flourid/fluorid/g < 1282354796 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i approve of adding flour to the water supply < 1282354819 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I dunno, fluoride is a Good Thing but I'm not sure I like the idea of an impure water supply. < 1282354825 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :We do it here in the UK, I'm pretty sure. < 1282354840 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: Only 10% of the population of the UK has fluoridated water. < 1282354847 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :huh < 1282354859 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :fluoridation in water supply is typically only a few ppm < 1282354860 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I know that the water supply in the UK, taste-wise, varies from acceptable to yucky < 1282354868 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: oh, I know that, it's just the principle of the thing < 1282354878 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I'd only object to fluoride as part of a wider "pure tap water" position < 1282354886 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Only a few countries actually do water fluoridisation commonly. < 1282354889 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :& i know that fluoride is a Very Good Thing for teeth < 1282354900 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :typically less than an order of magnitude more concentrated than ocean water < 1282354910 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yes, i know < 1282354911 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(US, Canada, Ireland, Australia... Also, France does *salt* fluoridisation.) < 1282354926 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :at those levels, it's actually almost irrelevent except for the teeth of the young < 1282354936 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i use a fluoridic (word?) toothpaste anyway < 1282354937 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1282354956 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/5/5d/Unholy_three_cropped.png < 1282354959 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :as do I, plus I get a topical fluoride treatment twice a year < 1282354961 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Which is itself fairly beneficial. < 1282354965 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :FLUORIDATED WATER, POLIO MONKEY SERUMS, MENTAL HYGIENE ETC. < 1282354967 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :THE UNHOLY THREE < 1282354977 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : as do I, plus I get a topical fluoride treatment twice a year ;; why? < 1282354984 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :that seems excessive. < 1282355008 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: It's a fairly routine thing; you're probably just not aware that there's topical fluoride being done. < 1282355029 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :what, you mean it's done in my sleep? :) < 1282355049 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No... It's just not pointed out that it's topical application of fluoride. < 1282355066 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you mean as part of a regular dentist's appointment? < 1282355071 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1282355098 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :at least in my experience, over here that consists of them poking at your teeth with some metal and then saying "Okay, they're fine. Now go away, I want to give some poor, poor child the pain of DRILLS." < 1282355110 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :perhaps i just have teeth that make dentists unusually satisfied < 1282355149 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: you must not see a hygenist then < 1282355150 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :(you should) < 1282355162 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, someone in #nethack wants your help < 1282355180 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :here, anyways, hygenists typically work with dentists and you get the appointments one right after the other < 1282355184 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: who? < 1282355188 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :though if you have special concerns you can see either separately < 1282355195 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric : any way to pacify watchmen in minetown? < 1282355195 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric : I had to kick open the exit door... < 1282355201 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: I'm not sure that's actually common in the UK. < 1282355202 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I had a hygenist appointment yesterday because I'd had my braces off recently < 1282355321 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I have a tooth that didn't go into place *awesome* < 1282355337 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I should, uh, probably get one of the teeth next to it removed so it can do its dropping thang. < 1282355342 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :But it's been like this for, what, years now. < 1282355363 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :see a dentist/orthodondist < 1282355382 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I should probably do that < 1282355386 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :My teeth are all weird < 1282355387 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I recall doing so when it first refused to drop and they said "get one of the teeth next to it removed for aesthetic reasons". < 1282355398 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :but they said there wasn't any actual badness about it apart from the look < 1282355399 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :does the NHS cover either? < 1282355438 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i'm not actually sure, I forget the situation wrt dentistry in the uk < 1282355447 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :but there's no cost issue or anything < 1282355481 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1282355493 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: do you know much about the irc spec? < 1282355570 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: a fair bit < 1282355602 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: will a server ever send a PRIVMSG? < 1282355605 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: also, according to wikipedia, the treatment (called a fluoride varnish) isn't used in a lot of countries; just really some European ones and Canada < 1282355609 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: I don't believe so < 1282355616 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :okie dokie < 1282355632 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :bleh < 1282355636 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :python exceptions can be irritating < 1282355647 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :like I don't want to create a YouCantPRIVMSGAServer exception, that's ridiculous < 1282355649 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Clearly, we should implement a world fluoride policy. < 1282355649 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1282355653 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :but "IRCError" or something is ludicrously vague < 1282355672 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :http://upload.wikimedia.org/wikipedia/commons/thumb/f/fb/FluorideTrays07-05-05.jpg/800px-FluorideTrays07-05-05.jpg < 1282355675 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :hooray < 1282355717 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Gross. < 1282355885 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I like Vala's system < 1282355895 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :for exceptions < 1282355907 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Gah, I use both "origin" and "sender" to mean the same thing here. :-D < 1282355925 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Would probably be something like IRCError.YOU_CANT_PRIVMSG_A_SERVER < 1282355934 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: gross < 1282355947 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I might have a mistaken impression of Vala exceptions < 1282355966 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :exception @[Can't PRIVMSG a server] < 1282355972 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :later: raise @[Can't PRIVMSG a server] < 1282355972 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :or something < 1282355976 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :hm? < 1282355981 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :like < 1282355992 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :exception @[division by zero] < 1282355992 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I like the system of exceptions whereby you realise that things like trying to privmsg a server shouldn't be exceptions < 1282355994 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :in the division code < 1282355998 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :raise @[division by zero] < 1282356001 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Then what should it be? < 1282356004 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :a type error? < 1282356037 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :an assertion that means there's a bug in the code? < 1282356048 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Vala does things that way, actually) < 1282356051 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :lame < 1282356056 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :assertion of failure < 1282356069 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"oops you did something retarded lol" is a type of exception < 1282356072 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :imo, an exception should be two things a) exceptional b) not capable of being handled at the error site < 1282356087 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :assertions are just exceptions with bad error messages < 1282356089 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :that is < 1282356090 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Exceptions < 1282356091 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :not Errors < 1282356100 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, not in Vala < 1282356214 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: tell me off for mixing origin and sender < 1282356219 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :that is, "origin" and "sender" < 1282356240 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: don't do that < 1282356259 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: but ctx.sender is much nicer for users of the code, yet in the parser code it's more correct to refer to it as the origin < 1282356262 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Bye coppro < 1282356319 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :FREEish < 1282356340 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: wat < 1282356346 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh, internment < 1282356349 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :FREEEEEEEEish < 1282356356 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION considers trying DCSS < 1282356356 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :amirite < 1282356366 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: the map moves to keep you in the centre < 1282356368 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :gives me a headache < 1282356590 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: Got a better idea? < 1282356593 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1282356664 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, coppro left < 1282356670 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Er, when? < 1282356693 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :You should become a regular in ##nomic < 1282356702 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1282356723 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I'm thinking of holding office again < 1282356746 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I'm not going to frequent a channel run by an asshole who hates my guts and who abused the inattentiveness of the incredibly-absentee channel founder to steal my op privileges. < 1282356787 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Is that asshole even active anymore? < 1282356796 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION can't believe he just said "asshole" < 1282356968 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :You mean Wooble? < 1282357060 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://www.youtube.com/watch?v=V0W7Jbc_Vhw < 1282357073 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, waitwhat? < 1282357106 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Waitwhat how? < 1282357117 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :How is Wooble an asshole? < 1282357130 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Umm, he's a complete and utter jerk who makes regular slights at comex and me? < 1282357139 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :And votes against proposals for their author? And ... < 1282357146 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :He's an asshole because he's an asshole. < 1282357150 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :And also because of what he did wrt ##nomic. < 1282357178 0 :alise!unknown@unknown.invalid NICK :botte < 1282357303 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :-NickServ- Metadata : ^ = ^ < 1282357309 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric :/msg nickserv set property foo bar < 1282357309 0 :botte!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1282357311 0 :botte!unknown@unknown.invalid NICK :alise < 1282357546 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hmm < 1282357562 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :So I should feel a bit weird about him helping me massively wrt NetHack? < 1282357650 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Weird? Why? < 1282357666 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I don't know < 1282357878 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Ok, wtf is going on with flappy? < 1282357896 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :n/m < 1282357955 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :? < 1282357980 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Wrong channel < 1282358198 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :botte's infrastructure progresses < 1282358246 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :What language? < 1282358265 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION can has a decent FLAC to M4A conversion script. Whoo. < 1282358268 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :python, it's sufficiently boring < 1282358314 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: *to AAC/MPEG-4 Part 14 < 1282358324 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: .m4a is an Apple invention for "MPEG-4 Part 14 that's just audio". < 1282358337 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: Yeah, yeah... < 1282358346 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I suggest .aac, if .mp4 is too vague for you :P < 1282358363 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Meanwhile, http://i.imgur.com/v9M60.jpg < 1282358366 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: .aac convinces certain tools that what's inside is a raw AAC bitstream. < 1282358424 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Huh. < 1282358623 0 :sshc_!unknown@unknown.invalid NICK :sshc < 1282360926 0 :comex!comex@c-98-210-154-193.hsd1.ca.comcast.net JOIN :#esoteric < 1282361290 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hi comex ico < 1282361523 0 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1282361528 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Why am I out of permission? < 1282361532 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Are you upgrading something? < 1282361639 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Or did I put in some word in my file which is censored? < 1282361667 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Eh? < 1282361697 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Yes, just one example is forbidden, for some reason. I will have to rewrite it < 1282361701 0 :MizardX!unknown@unknown.invalid QUIT :Ping timeout: 276 seconds < 1282361839 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, be prepared to have an aneurseum < 1282361840 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Yes < 1282361849 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :You know what I _think_ may have introduced me to NetHack? < 1282361859 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :I think " tag anyways! < 1282362446 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :http://esoteric.voxelperfect.net/wiki/User:Zzo38 < 1282362453 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :(See near the bottom, the blue part) < 1282362617 0 :nooga!unknown@unknown.invalid QUIT :Read error: Operation timed out < 1282362626 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Wait, you actually used my BF-equivalent for one of your languages? < 1282362655 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Please elaborate on what you mean? < 1282362664 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :GrainFimple uses BF-RLE < 1282362674 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Yes. < 1282362707 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Now can you see that the spam filter doesn't prevent anyone from inserting a
tag anyways? < 1282362745 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
< 1282362749 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Seems a bit broken up < 1282362760 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Although I guess that may be deliberate < 1282362783 0 :zzo38!unknown@unknown.invalid PRIVMSG #esoteric :Yes, but if you view the generated HTML code, it doesn't contain the date. < 1282362786 0 :nooga!~nooga@maverick.aircity.pl JOIN :#esoteric < 1282362797 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :alise: go to sleep < 1282362929 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION zaps alise with a /oSleep < 1282363463 0 :augur!~augur@216-164-33-76.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1282363488 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :o hai esopeeps < 1282363571 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :HEYAUGUR < 1282363573 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I'S FREE < 1282363867 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :what < 1282363872 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :no, dont answer that < 1282363874 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :im going to sleep < 1282363874 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :night < 1282363936 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :nooga: why? < 1282364106 0 :nooga!unknown@unknown.invalid QUIT :Ping timeout: 252 seconds < 1282364271 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: why? < 1282364296 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :because having a weird sleep cycle can be a living hell sometimes < 1282364517 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :meh. < 1282364526 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :birthday on sunday, fwiw. < 1282364743 0 :Mathnerd314!unknown@unknown.invalid QUIT :Ping timeout: 260 seconds < 1282366008 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, soon it's going to be very dangerous to go to Minetown < 1282366486 0 :zzo38!unknown@unknown.invalid QUIT :Quit: zzo38 < 1282366735 0 :augur!unknown@unknown.invalid QUIT :Remote host closed the connection < 1282368239 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :bye < 1282368241 0 :alise!unknown@unknown.invalid QUIT :Quit: Leaving < 1282371366 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1282372250 0 :zeotrope!unknown@unknown.invalid PRIVMSG #esoteric :r < 1282374611 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!haskell foldl1 (\x -> x + 2*y) [1,1,1,1,1,1,1,1,1] < 1282374698 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!haskell main = print $ foldl1 (\x -> 2*x + y) [1,1,1,1,1,1,1,1,1] < 1282374714 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :duh < 1282374721 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!haskell main = print $ foldl1 (\x y -> 2*x + y) [1,1,1,1,1,1,1,1,1] < 1282374724 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :511 < 1282374747 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!haskell main = print $ foldl1 (\x y -> 2*x + y) [1,1,1,1,1,1,1,1] < 1282374749 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :255 < 1282374767 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!haskell main = print $ foldl1 (\x y -> 5*x + y) [1,1,1,1] < 1282374770 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :156 < 1282374784 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!haskell main = print $ foldl1 (\x y -> 3*x + y) [1,1,1,1,1] < 1282374786 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :121 < 1282375138 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!help languages < 1282375139 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :languages: Esoteric: 1l 2l adjust asm axo bch befunge befunge98 bf bf8 bf16 bf32 boolfuck cintercal clcintercal dimensifuck glass glypho haskell kipple lambda lazyk linguine malbolge pbrain perl qbf rail rhotor sadol sceql trigger udage01 underload unlambda whirl. Competitive: bfjoust fyb. Other: asm c cxx forth sh. < 1282375149 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!bf >+>+>+>+>+>+>+>+<[>[-<++>]<<]># < 1282375173 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no debugging? :( < 1282376192 0 :oerjan!unknown@unknown.invalid QUIT :Quit: Reboot < 1282377062 0 :GreaseMonkey!unknown@unknown.invalid QUIT :Quit: New quit message. Entering 2006 in style. < 1282377599 0 :clog!unknown@unknown.invalid QUIT :ended < 1282377600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1282378417 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :"My first six months at university I programmed on punchcards." "My entire university career was post-2000." "Whoah, is that true? Damn you young people." ; I didn't have the heart to tell him that all but four months of my high school career was also post-2000 :P < 1282378508 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Some people's entire lives are post-2000 < 1282378656 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Yes, namely people who are 10 years and 8 months old or younger. < 1282378667 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Most such people are not currently PhD students though :P < 1282378716 0 :MigoMipo!~John@84-217-5-162.tn.glocalnet.net JOIN :#esoteric < 1282379261 0 :Phantom_Hoover!~phantomho@92.233.174.117 JOIN :#esoteric < 1282383489 0 :Wamanuz!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1282383849 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Remote host closed the connection < 1282385236 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric : Most such people are not currently PhD students though :P <-- XD < 1282385245 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, Only most? < 1282385309 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I'm sure it's not "all" < 1282385324 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, really? Citation needed then. < 1282385533 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :You always hear these stories about 7-yr-olds in college, who then go on to do nothing because their childhood has been completely ruined and they can't live up to the unrealistic and mostly nonsense expectations of them. < 1282385534 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :My parents didn't want me skipping a grade due to social concerns :( < 1282385540 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I don't think skipping 1 grade is as severe as that < 1282385583 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, hm true < 1282385748 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :it is nice to have radvd working with sixxs finally, that way every computer on my lan has ipv6 (and *yes* I have a firewall of course on the tunnel endpoint, as well as on every computer) < 1282386807 0 :derdon!~quassel@p5B3E55F0.dip.t-dialin.net JOIN :#esoteric < 1282387312 0 :Gregor!unknown@unknown.invalid QUIT :Quit: Leaving < 1282387978 0 :tombom!tombom@wikipedia/Tombomp JOIN :#esoteric < 1282388694 0 :zeotrope!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1282388951 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds < 1282391135 0 :derdon!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1282392276 0 :tombom!unknown@unknown.invalid QUIT :Quit: Leaving < 1282392978 0 :derdon!~quassel@p5B3E27B6.dip.t-dialin.net JOIN :#esoteric < 1282394620 0 :Phantom_Hoover!~phantomho@92.233.174.117 JOIN :#esoteric < 1282394932 0 :MizardX!~MizardX@unaffiliated/mizardx JOIN :#esoteric < 1282397065 0 :MigoMipo!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1282398160 0 :Flonk!~chatzilla@80-123-36-116.adsl.highway.telekom.at JOIN :#esoteric < 1282398172 0 :Flonk!unknown@unknown.invalid PRIVMSG #esoteric :blah. < 1282398345 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Blah. < 1282398695 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :.halB < 1282400857 0 :FireFly!~firefly@unaffiliated/firefly JOIN :#esoteric < 1282401027 0 :Wamanuz!unknown@unknown.invalid QUIT :Remote host closed the connection < 1282402290 0 :Mathnerd314!~mathnerd3@dsl.6.28.53.206.cos.dyn.pcisys.net JOIN :#esoteric < 1282402394 0 :oerjan!~oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1282403182 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :ACTION loves the way Haskell's tuples are defined manuallyesque. < 1282403717 0 :Wamanuz!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1282403766 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, what? < 1282403787 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, :i Show in GHCi. < 1282403799 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :!haskell :i Show < 1282403805 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :class Show a where < 1282403832 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, that looks like it would break if you exceed the number of elements there < 1282403840 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, it does. < 1282403847 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, what a horrible back < 1282403849 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hack* < 1282403856 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Tuples are only defined to a finite number of elements. < 1282403874 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, but surely you can have more elements than (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) in a tuple? < 1282403877 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :sure it must be finite < 1282403884 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :but it can be finite of any size you want < 1282403892 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, no? < 1282403903 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, no. < 1282403917 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i vaguely recall the report says only tuples up to 15 elements are guaranteed to exist < 1282403957 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and for actual class instances and supporting functions, even less. < 1282403960 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,) seems to be as far as GHC goes. < 1282403961 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :wtf < 1282403975 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, makes perfect sense. < 1282403987 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!haskell length "(,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,)" < 1282403988 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :True, True, True, True, True, True, True, True, True, False, True, True, True, True, True, False) does give me an error about lack of Show instance in ghci (as expected) but apart from that it seems to work < 1282403989 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :63 < 1282404015 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Frankly, if you need more than 61 elements in a tuple, you're doing something wrong. < 1282404025 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :*62 < 1282404025 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, well yeah < 1282404028 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :!haskell (True, True, True, True, True, True, True, True, True, False, True, True, True, True, True) < 1282404029 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :(True,True,True,True,True,True,True,True,True,False,True,True,True,True,True) < 1282404046 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm maybe instances are up to 15 then. < 1282404051 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, still it seems like a pointlessly arbitrary limit < 1282404063 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, no more arbitrary than any other. < 1282404076 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: i don't think it's _forbidden_ for implementations to support more < 1282404080 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, well, limiting it by memory would be less arbitrary < 1282404090 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :And at least it makes tuples proper algebraic types. < 1282404092 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, yeah pointlessly arbitrary limit < 1282404094 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :as I said < 1282404111 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, hm. How so? < 1282404120 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: oh i think it may be a limit for _all_ algebraic datatypes, possibly < 1282404153 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, well, data (,,,) = (,,,) a b c or somesuch < 1282404179 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm okay good point < 1282404211 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :!haskell :i (,,,) < 1282404213 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :data (,,,) a b c d = (,,,) a b c d -- Defined in Data.Tuple < 1282404231 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: as in, ghc may only leave that many bits for telling the GC how long a datatype is < 1282404246 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :of course any specific tuple type must be finite in size. But I still don't see why you can't just make a larger finite tuple until you run out of memory < 1282404262 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, ouch... right < 1282404301 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but then it _does_ have arrays... < 1282404342 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :requires same data type for all elements though < 1282404346 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1282404380 0 :Phantom_Hoover_!~phantomho@cpc3-sgyl29-2-0-cust326.sgyl.cable.virginmedia.com JOIN :#esoteric < 1282404398 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, with algebraic data types you can have different types in an array. < 1282404401 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :of course you could create some CharOrBoolOrWhatever type that "wraps" all the alternatives < 1282404432 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover_, eh? Are you not talking about [] lists or are you talking about some ghc extension to haskell? < 1282404439 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :or did I miss out something huge < 1282404441 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal, I mean [] lists. < 1282404449 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :arrays are not [] lists < 1282404456 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, oops. < 1282404462 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, hm... < 1282404536 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :[] lists are linked lists, so any limit for size of a single constructor value does not apply. < 1282404548 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :of course < 1282404553 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds < 1282404560 0 :Phantom_Hoover_!unknown@unknown.invalid NICK :Phantom_Hoover < 1282404583 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :while Arrays would presumably be actually consecutive in memory < 1282404608 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :hm you could construct a linked list type where the type varied cyclically < 1282404616 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sure < 1282404625 0 :Sgeo!unknown@unknown.invalid NICK :Jabberwock < 1282404632 0 :Jabberwock!unknown@unknown.invalid PRIVMSG #esoteric :Bleh, registered < 1282404635 0 :Jabberwock!unknown@unknown.invalid NICK :Sgeo < 1282404642 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, we did that joke ages ago. < 1282404642 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :any finite state automaton / regular expression could probably be used < 1282404662 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, lucky for you ;P < 1282404723 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also Arrays are Haskell 98 not an extension, i believe, although only immutable ones < 1282404767 0 :relet!~thomas@c905DBF51.dhcp.bluecom.no JOIN :#esoteric < 1282404811 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :there's that whole Ix class for allowing flexible index types < 1282405404 0 :Flonk!unknown@unknown.invalid QUIT :Quit: ChatZilla 0.9.86 [Firefox 3.6.8/20100722155716] < 1282405567 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, how are the arrays implemented? a binary tree is how I would do it. Unless it is implemented by special forms inside ghc itself < 1282405580 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :in which case there are more efficient ways to do it < 1282405699 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :(unless, of course, they are sparse arrays) < 1282405767 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :dammit the source links in the ghc library documentation are broken < 1282405777 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so i cannot give you a precise answer :D < 1282405781 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1282405798 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, and you don't happen to remember? < 1282405817 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well i'm pretty sure it's something based on consecutive values in memory < 1282405910 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :right < 1282405921 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, that would probably require special support from ghc < 1282405927 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :as in, can't be pure haskell < 1282405935 0 :Vorpal!unknown@unknown.invalid PRIVMSG #esoteric :right? < 1282405954 0 :alise!~alise@91.105.78.116 JOIN :#esoteric < 1282405959 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeah. < 1282405979 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :dammit the source link is broken on hackage too < 1282406011 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :for what? < 1282406030 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Data.Array < 1282406041 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i'm trying to find the type definition < 1282406046 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1282406052 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(why?) < 1282406085 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal was asking how ghc implements such a type, since you cannot define that directly in haskell < 1282406117 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i am guessing it's either something ghc-specific or a wrapped C array of some sort < 1282406144 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(directly as consecutive values in memory, that is) < 1282406199 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :07:21:32 oerjan, yeah pointlessly arbitrary limit < 1282406200 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :07:21:34 as I said < 1282406207 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :supporting all of them would require an infinite amount of code < 1282406210 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :or special compiler support < 1282406224 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :so it's not "pointlessly arbitrary", it's just the only sane thing to do < 1282406255 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, do IBMgraphics work for you? < 1282406264 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: only if i convert the character set < 1282406286 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :the only reason to is to get the upper half integral fountains :) and iirc the rogue level is screwy with them < 1282406296 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, the NH wiki tells you how to set it up. < 1282406301 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah found it < 1282406318 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :The halls are kind of nice < 1282406325 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://www.haskell.org/ghc/docs/6.12.2/html/libraries/base-4.2.0.1/src/GHC-Arr.html < 1282406328 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I like the DECgraphics doors better though, I think < 1282406331 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: install "konwert" < 1282406335 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :nethack | konwert cp437-utf8 < 1282406336 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :done < 1282406347 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :the other solution doesn't work as far as i can tell < 1282406349 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Or, I could just have PuTTY set up to do cp437 < 1282406365 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Which I do < 1282406368 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Vorpal: it seems to wrap an Array# type, probably a ghc builtin? < 1282406373 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh, i forgot, you use an OS which actually supports that horrid character set. < 1282406382 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the # types tend to be < 1282406410 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :WHat I don't understand is, if NetHack was mostly designed with UNIXs in mind, why they used something that seems to be a Windows thing < 1282406423 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :for the DOS port, duh < 1282406428 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Or by "IBM" do they mean DOS/Windows.. ah < 1282406435 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1282406441 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it's the IBM PC glyph set < 1282406448 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :from the original IBM PC < 1282406536 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :so julien assange has been accused of rape! < 1282406548 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :the cia are pretty good < 1282406643 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :They are, aren't they? < 1282406728 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Also *Julian < 1282406758 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Is there any way to have Gmail show the current time? < 1282406764 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :And also to have it use UTC < 1282407285 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: yes, look at the bottom-right corner of the screen < 1282407297 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :now you can read the time while using gmail < 1282407300 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :My system clock is not in UTC < 1282407307 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :get another clock program < 1282407330 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Blargh < 1282407371 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh no running programs on my computer !! < 1282407622 0 :augur!~augur@216-164-33-76.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1282407631 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hi augur < 1282407644 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hey alise < 1282407674 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"The Wang LOCI-2 (an earlier LOCI-1 was not a real product) was introduced in 1965 and was probably the first desktop calculator capable of computing logarithms, quite an achievement for a machine without any integrated circuits.[1] The electronics included 1275 discrete transistors. It actually performed multiplication by adding logarithms, and roundoff in the display conversion was noticeable: 2 times 2 yielded 3.999999999." < 1282407813 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :My math teacher lied to me! < 1282407826 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Oh gosh how horrific, what did she say. < 1282407832 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :She said 2+2=4 < 1282407875 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :...and Sgeo finally snaps completely. < 1282407885 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Ha ha, it's funny because inaccurate results on calculators are totally unheard of, and also because you said +, not *, which breaks the joke. < 1282407903 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION failed to notice that you said times and not plus >.> < 1282408433 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :just blame it on the logarithms < 1282408503 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1282408613 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds < 1282408655 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :wait, how did it do that < 1282408662 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it has to do ^e < 1282408668 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :which sounds a lot harder than multiplication to me < 1282408684 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :indeed even with log2 it'd have to do ^2 which is pretty clearly easiest implemented as a multiplication < 1282408728 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :er wait, e^ or 2^ ofc < 1282408746 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :still, eh? < 1282409225 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"The secret to the LOCI was Dr. Wang's magical logarithm calculating circuit." < 1282409240 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"Wang's calculator was really no more than an electronic adding machine with the key addition of the circuit that allowed logarithms and anti-logarithms to be calculated quickly and accurately." < 1282409245 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :the magical wang < 1282409256 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :lol anti-logarithms < 1282409262 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :aka e^ < 1282409262 0 :wareya!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1282409276 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :well, it might have only done base 10. < 1282409326 0 :wareya!~wareya@cpe-74-70-142-220.nycap.res.rr.com JOIN :#esoteric < 1282409518 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"The operator's panel layout of the LOCI-2 is probably now used as a study in how not to design for human factors." < 1282409553 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :xD < 1282409563 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://www.oldcalculatormuseum.com/wangloci.html < 1282409568 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :wow it's beautiful < 1282409576 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's what i'm looking at < 1282409590 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :no integrated circuits < 1282409593 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :quite impressive < 1282409701 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I should implement it in AW < 1282409810 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fff < 1282410019 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"Of the nine circuit boards in the machine, only three have obvious functions. All of the rest of the boards seem to be a fairly random scattering of diode-resistor and transistor logic gate circuits and flip flops. Dr. Wang was quite protective of his designs, and rumor has it that efforts were purposely made to make it difficult to reverse-engineer the design of the machine." < 1282410026 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :good luck implementing that < 1282410037 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :emulate the circuits directly :) < 1282410110 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: "Wang calculators cost in the mid-four-figures" < 1282410129 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :In the early seventies, Dr. Wang believed that calculators would become unprofitable low-margin commodities, and decided to exit the calculator business. < 1282410273 0 :augur!~augur@129-2-175-79.wireless.umd.edu JOIN :#esoteric < 1282410314 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"Swedish rape warrant for Wikileaks' Assange cancelled" < 1282410315 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :good < 1282410327 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :link? < 1282410332 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://www.bbc.co.uk/news/world-europe-11049316 < 1282410861 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :alise, incidentally, is Agda actually good for anything? < 1282410981 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :uh < 1282410985 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :not really < 1282410990 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it's a research project :P < 1282411031 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Not, as WP claims, a proof assistant? < 1282411049 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hahaha < 1282411051 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :definitely not < 1282411058 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Thought not. < 1282411062 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :programming "actual programs" with some dependent typing, maybe < 1282411063 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :but really < 1282411066 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coq is the best for that < 1282411077 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you can write libraries + proofs that they work, then export this code to O'Caml or Haskell < 1282411091 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yes, it actually spits out almost-identical datatypes and codes for the non-proof portions < 1282411100 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :this is known as Awesome. < 1282411101 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Wait, the WP article is called "Agda (theorem prover". < 1282411106 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :*) < 1282411113 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Agda (theorem prover), the programming language and theorem prover < 1282411113 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Agda (Golgafrinchan), the character in The Hitchhiker's Guide to the Galaxy by Douglas Adams < 1282411113 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Agda (Bishop) ( –1024), the Roman catholic bishop of Oviedo < 1282411127 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: anyway, yeah, Coq extraction: fucking awesome or amazingly fucking awesome??? < 1282411137 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Dunno. < 1282411165 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :"Per Martin-Löf is an enthusiastic bird-watcher, whose first scientific publication was on the mortality rates of ringed birds." < 1282411165 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: write a coq function to do something < 1282411167 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :then try < 1282411173 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Extraction that_function. < 1282411188 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :even if it invokes proofs which other functions require, these will be elided in the extraction < 1282411197 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you can even do < 1282411207 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Extraction Library ident.   < 1282411207 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Extraction of the whole Coq library ident.v to an ML module ident.ml. In case of name clash, identifiers are here renamed using prefixes coq_ or Coq_ to ensure a session-independent renaming. < 1282411207 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Recursive Extraction Library ident.   < 1282411207 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Extraction of the Coq library ident.v and all other modules ident.v depends on. < 1282411220 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Extraction Language Ocaml. < 1282411220 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Extraction Language Haskell. < 1282411220 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Extraction Language Scheme. < 1282411220 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Extraction Language Toplevel. < 1282411285 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Extraction Language Brainfuck. < 1282411413 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :This is indeed cool. < 1282411424 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: and in fact < 1282411427 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://hackage.haskell.org/package/meldable-heap < 1282411429 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Although it inspires no feelings of awe within me. < 1282411430 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :is the haskell extraction of < 1282411435 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://code.google.com/p/priority-queues/ < 1282411443 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :+ some wrappers i think < 1282411451 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :But this may well be because it took me about 10 minutes to write fact in coqtop. < 1282411462 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :don't use coqtop < 1282411469 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :use proofgeneral with electric mode and three window mode < 1282411474 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it is absolutely the only way to stay sane < 1282411483 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :These things are all COMPLICATED < 1282411494 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :no < 1282411495 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :they are easy < 1282411505 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :with proofgeneral electric three-window you have one window for your file < 1282411509 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :one for your goal < 1282411513 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and one for misc. output < 1282411520 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you can execute a command just by "TheCommand foo." < 1282411524 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and proofs proceed automatically on . < 1282411588 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover: http://hackage.haskell.org/packages/archive/meldable-heap/2.0.3/doc/html/src/Data-MeldableHeap-LazyBrodalOkasakiExtract.html < 1282411588 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/meldable-heap/2.0.3/doc/html/src/Data-MeldableHeap-StrictBrodalOkasakiExtract.html < 1282411594 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :wrapped by < 1282411600 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/meldable-heap/2.0.3/doc/html/src/Data-MeldableHeap-Lazy.html < 1282411602 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://hackage.haskell.org/packages/archive/meldable-heap/2.0.3/doc/html/src/Data-MeldableHeap-Strict.html < 1282411606 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :the first two were extracted from Coq automatically < 1282411613 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://code.google.com/p/priority-queues/source/browse/#hg/brodal-okasaki the coq source < 1282411614 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :alise, I haven't tried Proofgeneral yet, though. < 1282411618 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :do so < 1282411622 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it is absolutely a requirement < 1282411647 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :just install it, set electric mode, set three window mode, make your emacs window big, and open a .v file < 1282411674 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Setting electric mode and setting three window mode entails what? < 1282411689 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :electric mode means that commands are executed on . -- you absolutely want this for proofs, so they can be interactive < 1282411694 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :three window mode i already explained < 1282411706 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :anyway, just trust me and do it, it'll be worth your while < 1282411714 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :after a short learning curve it's absolutely the easiest way < 1282411756 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :brb < 1282411830 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Well, customise-group proof-general doesn't help... < 1282412101 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Ah, worked it out. < 1282413303 0 :Flonk!~chatzilla@80-123-38-65.adsl.highway.telekom.at JOIN :#esoteric < 1282414906 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds < 1282415381 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :dammit gmail < 1282415402 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oh well, I suppose forcing me not to use gmail filters is good for me in the long run < 1282416056 0 :BeholdMyGlory!~behold@unaffiliated/beholdmyglory JOIN :#esoteric < 1282417188 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: why? < 1282417607 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: because Gmail can't grasp the notion of filtering individual messages when trying to run filters on existing mail < 1282417612 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it filters the entire conversation < 1282417621 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :(but it doesn't do this for incoming mail... fail) < 1282417628 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: heh, really? < 1282417628 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fun < 1282417644 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I'm, uh, just gonna run my own mail server asap. < 1282417654 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I might use http://en.wikipedia.org/wiki/Sieve_(mail_filtering_language), but the syntax is a bit weird. < 1282417674 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :In fact, what I might do is just make the mail server pass incoming mail into an executable (probably a shell script), which then moves it into the appropriate filesystem location. < 1282417688 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yeah, eventually I'll set something up of my own < 1282417694 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :but Thunderbird can filter pretty well actually < 1282417700 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yeah, but I hate client-dependence. < 1282417711 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :especially since I theoretically use a mobile too. < 1282417713 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :so do I < 1282417725 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :what happens if i didn't run my mail client recently? the whole point is to check for mail,a fter all < 1282417730 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :eventually I will have a mail server < 1282417746 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Sieve_(mail_filtering_language)#Example ;; this does absolutely nothing that a shell script or python can't do, heh < 1282417758 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :basically all it does there is parse the email silently :P < 1282417762 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION should get a static IP and a domain < 1282417783 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I'd like to run a server from home, but I'd also like something, well, faster. < 1282417794 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Ideally I'd colocate, but I Don't Have That Kind of Money. < 1282417797 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :So ho hum, VPSes it is. < 1282417827 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION should also continue cleaning out all the crap that's in ~ < 1282417867 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: careful, it'll turn into my Computer Renovation Plan < 1282417880 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :which is actually impossible as it has a step where A depends on B and B depends on A < 1282417888 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Leonidas: Oh? < 1282417897 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Leonidas: Yeah! Oh? < 1282417903 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Dammit Leonidas, reveal your secrets! < 1282417938 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: Oh? < 1282417941 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1282417957 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :WHY DO I HAVE SO MANY PDFs < 1282417962 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :WHY IS THERE SO MUCH IN ~? < 1282418007 0 :Wamanuz!unknown@unknown.invalid QUIT :Remote host closed the connection < 1282418040 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: The basic idea is to change all my passwords into something generated by one of those fancy password-generator-and-storers, but one that's cross-platform and doesn't stink (with browser integration), so I can finally move away from my single-not-very-secure-password system, and get that new computer, and get that new mobile, and get a perfectly tuned Linux on the new computer, and switch the Internet connection to something better, with a static IPv6 < 1282418040 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : reverse DNSed to my domain, which I will register, and a server running on that domain, and a reverse DNS on a subdomain of that domain to my new router, and hence my new computer, and an email server running on that server, serving an email address on that domain, which the ISP is registered with. < 1282418049 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: The thing is, all these happen simultaneously. < 1282418067 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :rm: cannot remove `vala-0.7.7/gee/.libs/iterable.o': Operation not permitted < 1282418070 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :What the hell? < 1282418071 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: As a result, I have ensured that my Computer Renovation Plan will never, ever go into effect. < 1282418093 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I need to clean my ~ soon < 1282418100 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :THAT WAS DONE AS ROOT < 1282418107 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: ls -l it < 1282418116 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :drwS---rwt 2 205232978 2148707191 8192 Dec 29 1969 iterable.o < 1282418119 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it might be hardlinked to some /dev/ device :) < 1282418122 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Holy *frak* that's fucked up. < 1282418123 0 :Wamanuz!~Wamanuz@78-69-168-43-no84.tbcn.telia.com JOIN :#esoteric < 1282418126 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :S and t, what the hell? < 1282418128 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :d is directory isn't it?? < 1282418138 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: O_o < 1282418141 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i have absolutely no clue what that permission is < 1282418141 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :sounds like fsck time < 1282418143 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :please walk me through it < 1282418147 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :d is directory, right? < 1282418172 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :S is setuid and t is sticky iirc < 1282418178 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and d is directory? < 1282418203 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"Downloading from 3 of 9 connected peers - 8.2 KiB/s" < 1282418206 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :no. faster < 1282418209 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :kthx < 1282418232 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :there's about 30 peers total :P < 1282418242 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :shit now i'm uploading faster than my download, this will never download < 1282418285 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: I think so < 1282418330 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :that's awesome < 1282418334 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :wait, S isn't setuid on a directory, is it? < 1282418336 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it means something else < 1282418341 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :maybe < 1282418352 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So, what you're saying is that I should mount read-only and fsck. < 1282418358 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :The setuid permission set on a directory is ignored on UNIX and Linux systems [2]. FreeBSD can be configured to interpret it analogously to setgid, namely, to force all files and sub-directories to be owned by the top directory owner.[3] < 1282418364 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: i'd use a livecd < 1282418368 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i wouldn't trust that system >_> < 1282418398 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: I had an incidence of filesystem corruption on /home/ in the past, courtesy of LVM so "helpfully" not actually being atomic. < 1282418417 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :This is why LVM sucks >_> < 1282418426 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :/ is still good, /home/ just has... Some crap in it still. < 1282418437 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1282418442 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :try and cd to iterable.so < 1282418442 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric ::DD < 1282418446 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :if it's a directory < 1282418451 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Done. < 1282418453 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ls < 1282418456 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :then ls -l < 1282418457 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1282418468 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :total 12 < 1282418468 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :drwS---rwt 2 205232978 2148707191 8192 Dec 29 1969 . < 1282418468 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :drwxr-xr-x 3 pikhq pikhq 4096 Aug 14 11:40 .. < 1282418472 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(after ls -a -l) < 1282418478 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :That's ... it? < 1282418484 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :echo hi >foo < 1282418486 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ls -l :P < 1282418497 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :zsh: operation not permitted: foo < 1282418502 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :sudo -s < 1282418503 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :echo hi >foo < 1282418518 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I suggest (1) copying it somewhere to preserve the crazy, then (2) rmdir < 1282418518 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :zsh: operation not permitted: foo < 1282418522 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: hmm < 1282418524 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :try tee < 1282418525 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :well < 1282418528 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :cp /dev/stdin foo < 1282418531 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1282418531 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :^D < 1282418532 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'll tar the crazy. < 1282418560 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And ... WAIT WHAT < 1282418569 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric ::D:D:Dwhat < 1282418580 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I can *create* files in there < 1282418584 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I cannot *remove* files. < 1282418590 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :*Oh I know*. < 1282418590 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :<33 < 1282418592 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :don't tar it < 1282418592 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's sticky. < 1282418595 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it'll break shit, i bet < 1282418601 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :like < 1282418606 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :there must be more to this than just the permissions < 1282418609 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :a file has become a directory < 1282418610 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :where's the file data? < 1282418616 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :does the directory still point to the inodes somehow? < 1282418624 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: can you open() the directory? < 1282418628 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :maybe you can read it :D < 1282418643 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :chmod: changing permissions of `iterable.o': Operation not permitted < 1282418646 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :WHAT THE FUCK < 1282418653 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :just ... just leave it there < 1282418658 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :how big is the filesystem? < 1282418660 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :chown: changing ownership of `iterable.o': Operation not permitted < 1282418665 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :WHAT THE FUCK < 1282418683 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: 758G, 221G free. < 1282418698 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Do you have more of that space? :P < 1282418707 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Compress the whole FS up :D < 1282418709 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ARGH < 1282418711 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :FUCK GMAIL < 1282418720 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: what now? < 1282418726 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: Most of it's videos. < 1282418742 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: more filtering shit < 1282418753 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: yeah but you'd have to compress the whole 700 gigs < 1282418758 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: hmm, what? < 1282418780 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Aaaand I only have the 1TB drive here. < 1282418780 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: gmail's retarded notion of tags means that client-based filtering doesn't work correctly < 1282418793 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :gmail w/ imap is utterly pointlessly horrible < 1282418801 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: blu-ray drive? :P < 1282418804 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No. < 1282418804 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it's been fine for me for a long time < 1282418807 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :but yarrrrrgh < 1282418866 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ffff < 1282418867 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :come on torrent < 1282418867 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :100 KiB/s < 1282419246 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ACTION looks into ATS < 1282419333 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"4 hours remaining" < 1282419333 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :/sigh < 1282419509 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Note that the symbol int is overloaded: it is both a static constant and a sort. Given an integer i (of sort int), int(i) is a singleton type containing only the integer i. So int is often called a type constructor. We now define a type constant Int as follows: < 1282419509 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :this is weird. < 1282419894 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :ACTION starts migrating mail off of gmail < 1282419904 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: to? < 1282419916 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :UW Computer Science Club < 1282419917 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you can have my VPS :-P < 1282419926 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ugh, I hate university/company mail < 1282419937 0 :tombom!tombom@wikipedia/Tombomp JOIN :#esoteric < 1282419939 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you /know/ you're not going to be there forever < 1282419941 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: UW CSC is imap from my homedir < 1282419942 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :nope < 1282419949 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :CSC membership is renewable indefinitely < 1282419951 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :even if not a student < 1282419975 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :in theory, you don't even need to be a student to have signed up in the first place < 1282419986 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ok, so say you move to ... australia and become a successful ... jazz musician, who plays nomic in his spare time < 1282419993 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :do you still want to use the CSC address? :D < 1282420004 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I can forward to it < 1282420030 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :or migrate it, since I have access to the datatfiles < 1282420043 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yeah, but still, it involves an address change < 1282420068 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yes; eventually I'll probably get a domain of my own < 1282420072 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :that's not right now though < 1282420078 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :and gmail broke the last straw < 1282420082 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"Alexander Limi makes software easier to use. Founder of the open source project plone" ;; Plone, the height of usability and simplicity. < 1282420099 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: you'll be missing the ui in approx. 10 minutes < 1282420116 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :alise: honestly, I rarely go on gmail proper as-is < 1282420131 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :s/-// < 1282420140 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :s/si/s i/ < 1282420148 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i have "plans" to create the Perfect Email Application < 1282420156 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :excellent < 1282420162 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I'll ping you about it in 40 years < 1282420164 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :originally it was a guiy type affair with conversations and labels but, you know, better ... but that was when i was a mac guy < 1282420173 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i guess now it'll be all cat(1)y < 1282420180 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :actually, oh, i remember my latest design < 1282420182 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it was really nice < 1282420192 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :this is ironic < 1282420201 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :a dual pane interface showing nested threads on the right, but on the left a conversation style view < 1282420207 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and the selected item on the right changed as you scrolled the left < 1282420208 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :the only time GMail's 'All Mail' folder is coming in remotely handy is when I'm moving everything off gmail < 1282420214 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :that was nice < 1282420273 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ATS is interesting < 1282420288 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :my only question is whether I care about ancient mail... < 1282420296 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :coppro: you probably don't even care about recent mail < 1282420312 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i'd just leave it on gmail for reference < 1282420324 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :oh wait, my mail doesn't even come close to my quota < 1282420324 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you probably won't need it after a couple of weeks < 1282420324 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :yay < 1282420330 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yes, but, time :P < 1282420336 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :also, fuck quotas >_> < 1282420337 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :quotae < 1282420347 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :quota is reasonable < 1282420353 0 :zeotrope!~vib@bas3-kitchener06-1096752418.dsl.bell.ca JOIN :#esoteric < 1282420356 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :but i'm a control freak < 1282420375 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :4GB, and it's not like it's the only computer I'm allowed to use < 1282420428 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :I bet I could get it upped if I needed it, too < 1282420433 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i need infinite money and a very fast symmetrical fibre-optic link < 1282420439 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and a big, big house < 1282420444 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :then i can run EVERYTHING < 1282420458 0 :Gregor-P!~AndChat@173-111-39-251.pools.spcsdns.net JOIN :#esoteric < 1282420464 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hi gregor-p < 1282420473 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(gregor-p gregor) => T < 1282420475 0 :Gregor-P!unknown@unknown.invalid PRIVMSG #esoteric :Yay airports < 1282420476 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(gregor-p alise) => NIL < 1282420630 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :also, I discovered a neat TB feature < 1282420639 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :it has mailserver autodetection < 1282420652 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :tuberculosis does have some good feature < 1282420673 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1282420729 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://wondermark.com/650/ < 1282421237 0 :Leonidas!unknown@unknown.invalid PRIVMSG #esoteric :alise: NO WAI! < 1282421279 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :whee, mail is being copied! < 1282421763 0 :Gregor-P!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds < 1282421804 0 :sebbu2!unknown@unknown.invalid PRIVMSG #esoteric :http://www.osnews.com/images/comics/wtfm.jpg :) < 1282422076 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :antecedork < 1282422265 0 :augur!unknown@unknown.invalid QUIT :Ping timeout: 240 seconds < 1282422431 0 :Killerkid!unknown@unknown.invalid QUIT :Ping timeout: 245 seconds < 1282422773 0 :Phantom_Hoover!~phantomho@92.233.174.117 JOIN :#esoteric < 1282423173 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote host closed the connection < 1282423206 0 :Killerkid!~l1am9111@host86-177-38-0.range86-177.btcentralplus.com JOIN :#esoteric < 1282423213 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh no! a Killerkid! < 1282423328 0 :Flonk!unknown@unknown.invalid QUIT :Ping timeout: 258 seconds < 1282423685 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Oh no! More Lemmings. < 1282423727 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :(I simply can not have that though whenever there's a "oh no" anywhere.) < 1282423756 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Can not avoid having, I mean. < 1282423772 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: *thought, you mean. < 1282423834 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: Did you ever played /3D Lemmings/? It's ... not good. < 1282423890 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Anything like 3d worms? < 1282423894 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I think I did try it out, though the details are a bit hazy. "Not good" is what I thought it were. < 1282424112 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Worms 3D is actually better. < 1282424119 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: *was, you mean! < 1282424181 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Gah! < 1282424195 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I no can spells and spaek. < 1282424267 0 :pikhq!unknown@unknown.invalid QUIT :Quit: Rebooting < 1282424438 0 :pikhq!~pikhq@75-173-203-58.clsp.qwest.net JOIN :#esoteric < 1282424445 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :Hah... Rat study of metabolic syndrome... The food for rats: Loads of linolic acid (some of it rancid): Check. Loads of trans fats (from hydrogenation): Check. Dihydrovitamin-K1 (what's roughly known about that substance: 1) It forms from vitamin K1 in hydrogenation, 2) it is nasty stuff): Check. < 1282424580 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Ilari: http://www.theonion.com/articles/worlds-scientists-admit-they-just-dont-like-mice,1256/ < 1282424628 0 :nooga!~nooga@77-45-52-193.sta.asta-net.com.pl JOIN :#esoteric < 1282424631 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :yuck < 1282424636 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :noogie! < 1282424753 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :i'm building chromium < 1282424902 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: Fun fact: the ATI drivers work so much better than the free software ones. < 1282424914 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Dear god I get full-screen Flash actually working well. < 1282424934 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(which is not to say Flash is *good*, but it's... Working as intended, at least.) < 1282424941 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Ilari, do you plan to implement Brainfuck with the rats? < 1282424950 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Yes, indeed. < 1282424956 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Flash AV sync is still awful though. < 1282424979 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: have you taken a look at ATS? it's a form of dependent types + linear types that allows raw memory access etc. safely in a strict-or-lazy functional/imperative language < 1282424983 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://www.ats-lang.org/ < 1282424991 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :performance and memory usage comparable to C/C++ < 1282424998 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: The only trouble I've had with Flash's AV sync *recently* has been that every now and then it decides to completely omit the concept. < 1282425003 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :proper SMP multiprocessing too < 1282425004 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pthreads-based < 1282425009 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"Let's play a few seconds worth of audio in a few frames!" < 1282425017 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :... Which is when I kill npviewer.bin. < 1282425104 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/The_Adventures_of_Lomax < 1282425107 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :anyone ever play this < 1282425112 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :lemmings spinoff < 1282425298 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :At some point, I'm just going to start forgetting languages to make room for new ones < 1282425303 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :(Ok, not really, but still) < 1282425372 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hah i've forgotten more languages than you will ever learn < 1282425412 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Should I learn ATS or Falcon? < 1282425418 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :(That was a joke question btw) < 1282425475 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Statics don't use currying functions? < 1282425499 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Also, they don't seem to stop to explain syntax < 1282425504 0 :zeotrope!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds < 1282425508 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I guess it's understandable enough though < 1282425519 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/ATS_(programming_language) < 1282425525 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, why bother? < 1282425547 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/ATS_(programming_language) has stuff :P < 1282425559 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover, ..lolwhat? < 1282425559 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Learning languages is boring if they use the same paradigm as something else you know. < 1282425565 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Why.. bother learning a ... ah < 1282425575 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Well, I have no previous exposure to static types < 1282425582 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :erm, dependent < 1282425604 0 :zeotrope!~vib@bas3-kitchener06-1096650208.dsl.bell.ca JOIN :#esoteric < 1282425617 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Also, maybe I'm misunderstanding something, but I can see ATS becoming a new favorite programming language < 1282425637 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :chris double is doing ats stuff right now http://www.bluishcoder.co.nz/ < 1282425649 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :take a look at their proven-to-return-a-sorted-permutation quicksort though < 1282425650 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://www.ats-lang.org/EXAMPLE/MISC/listquicksort_dats.html < 1282425651 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :gnarly! < 1282425676 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :but then it does build lists from scratch < 1282425782 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Looking at ATS's syntax makes me feel uncomfortable. < 1282425792 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :meh, i don't mind it < 1282425794 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: there is a tutorial btw < 1282425797 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :http://www.ats-lang.org/TUTORIAL/tutorial.html < 1282425820 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, that's what I'm looking at < 1282425827 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It's not all that comprehendible < 1282425830 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :It's the punctuation prefixes, I think. < 1282425847 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Where does it explain the difference between static and dynamic? < 1282425875 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: dunno < 1282425880 0 :Phantom_Hoover_!~phantomho@cpc3-sgyl29-2-0-cust326.sgyl.cable.virginmedia.com JOIN :#esoteric < 1282425924 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Is [] existential quantification a syntax thing? < 1282425926 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, why not learn Coq if you want to do dependent types? < 1282425934 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Or just an illustrative thing like >> in Smalltalk? < 1282425946 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover_, because I also want something that's practical < 1282426015 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: ATS isn't really "practical". < 1282426023 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: Coq is practical. < 1282426036 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It has been used to re-prove the four colour theorem; not easy. < 1282426046 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :It has also been used to create quite a few libraries that have been proved correct, < 1282426050 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :then extracted to Haskell, O'Caml or Scheme. < 1282426065 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ATS is more for the actual programs, sure, but Coq is practical too, and ATS is quite research too. < 1282426066 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise, how about for, say, making a game? < 1282426070 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :alise, so can those functions be nonterminating? < 1282426087 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, well, if you want your game to be provably correct, then yes. < 1282426090 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover_: no. well, you could probably model it. < 1282426094 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you could probably model IO < 1282426098 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and then do infinite stuff with that, too < 1282426099 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds < 1282426101 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :as one example < 1282426107 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: doing that in a formally verified way in ATS would be a gigantic impossible bitch < 1282426112 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :if you don't want to formally verify it ... why use these languages? < 1282426148 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: if you want to fall in love with a nice functional language, take a look at the (vapourware, but well-designed) http://merd.sourceforge.net/ :P < 1282426155 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i'm not discouraging you learning ats, just your reasons < 1282426173 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :What about formally verifying _parts_ of the game? < 1282426187 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you could write those parts in coq and extract them. it's not like they'd do any IO < 1282426194 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(formally verifying SDL calls? that doesn't make any sense.) < 1282426199 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :..extract? < 1282426204 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yes. < 1282426218 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :with coq, you write functions and prove shit about them then extract them as a library to haskell, o'caml or scheme < 1282426234 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :which converts them (barely compilation, it's a quite direct conversion) to one of those languages < 1282426245 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you write some wrappers, and then just plug it in to the rest of your program < 1282426249 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ats is easier to write code in than coq though < 1282426250 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :alise, on that topic, what if your function uses nats, for instance? < 1282426250 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :a lot easier < 1282426261 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover_: it extracts the data types you use < 1282426275 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :in this case it'd be peano-arithmetic nats, or you could probably do something to make it specialise to Int on extraction but i don't know how < 1282426288 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :alise, ah. < 1282426314 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :but uh clearly my lang is the best :) < 1282426317 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i really like merd < 1282426320 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :even if it is shit < 1282426326 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :POOR < 1282426341 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :wat < 1282426346 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION considers swatting alise  < 1282426353 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :no, it actually is < 1282426354 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :named after that < 1282426404 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :alise, yes, which is why it's a poor pun. < 1282426419 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Ok, static terms can be used in types? < 1282426425 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :painfully poorly punctuated puns < 1282426466 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :It's been on hold since 2003 < 1282426472 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, static terms? < 1282426477 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Merd < 1282426482 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :I assume that's ATS lingo? < 1282426483 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: it isn't actually vaporware though < 1282426485 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :there's an implementation < 1282426488 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :in ocaml < 1282426488 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Or what? < 1282426491 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it just doesn't do everything < 1282426495 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :and yeah, the project is dead < 1282426497 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :but it is hot < 1282426505 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :SEXY FUNCTIONAL LANGUAGES < 1282426506 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it is teh shit < 1282426510 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :haskellxxx.com < 1282426522 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Let me show you my Gonad typeclass. < 1282426540 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :That could be related to my SHOCKING TRUTH from yesterday. < 1282426564 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :wta < 1282426566 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :*wat < 1282426600 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Alonzo Church Jr. and Curry's daughter? < 1282426605 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1282426609 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :class Gonad g where type Gonad h => h; copulate :: g -> h -> IO () < 1282426623 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or something < 1282426632 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"type Gonad h => h" ;; i forget what this does < 1282426637 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION doesn't actually know how type families work < 1282426638 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it just asks for another gonad? < 1282426647 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :mutual gonadism < 1282426654 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeah that was the idea < 1282426696 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :class Gonad g where nruter :: g a -> a; dnib :: a -> (g a -> b) -> b < 1282426708 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :challenge: find a use < 1282426715 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :(these are not comonads, afaik) < 1282426725 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i was going to ask about that < 1282426735 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :extend :: (w a -> b) -> w a -> w b < 1282426742 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :so with comonads, the result is still X b < 1282426745 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :whereas with mine the result is b < 1282426750 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well nruter has the type of coreturn or whatever < 1282426754 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1282426758 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :the only change is w b into b < 1282426761 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :mine are the direct opposite of monads < 1282426764 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Well, there's no immediate way to construct a value of type g a. < 1282426767 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :i.e. replace "m a" with "a" and "a" with "g a" < 1282426770 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover_: uhh < 1282426771 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :yes there is < 1282426774 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :dnib :: a -> (g a -> b) -> b < 1282426794 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :presumably x `dnib` nruter = x < 1282426807 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :alise, so x `dnib` id is more or less return? < 1282426825 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :seems so, yes < 1282426837 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :then nruter (x `dnib` id) = x, ofc < 1282426845 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ACTION renames them danoms, not gonads < 1282426848 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :since this is actually interesting :P < 1282426962 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :bind x f = (f (nruter x)) `dnib` id is bind, I think. < 1282426995 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Actually, that dnib id mightn't be needed. < 1282427098 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION hahs at ATS's fix notation < 1282427181 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :No, it's not. < 1282427225 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :instance Danom Identity where < 1282427225 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : nruter (Identity x) = x < 1282427225 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : dnib x f = f (Identity x) < 1282427234 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :instance Danom ((,) a) where < 1282427235 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : nruter (a,b) = b < 1282427235 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : dnib x f = f (x,x) -- I do not think this one is very useful < 1282427290 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :can't have Danom [] < 1282427292 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :since nruter [] = ??? < 1282427304 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Or Maybe, for that matter. < 1282427311 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :alise: erm dnib x f = f (x,x) is not the right type i think < 1282427312 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ACTION does it for streams < 1282427319 0 :derdon!unknown@unknown.invalid PRIVMSG #esoteric :alise: which language are you talking about? < 1282427325 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :derdon: haskell, atm < 1282427326 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :derdon, Haskell. < 1282427327 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the a in the instance is not the same as the a in the dnib type < 1282427327 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: why not? < 1282427336 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oh, touche < 1282427344 0 :derdon!unknown@unknown.invalid PRIVMSG #esoteric :alise: ah, then I detected it correctly :) < 1282427352 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : dnib :: a -> ((a,c) -> b) -> b < 1282427360 0 :derdon!unknown@unknown.invalid PRIVMSG #esoteric :alise: although Haskell is not really esoteric < 1282427362 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no < 1282427368 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(c,a) < 1282427368 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :derdon: but what we're doing is < 1282427373 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: oh right < 1282427380 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: well ... it's not entirely clear what to do at all, then :D < 1282427389 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :could you just specify like ()? < 1282427392 0 :derdon!unknown@unknown.invalid PRIVMSG #esoteric :alise: I understand < 1282427393 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :or is it quantified in itself? < 1282427400 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :indeed that seems undefined, unless you use undefined < 1282427445 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the c could be a specific type < 1282427447 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :data Stream a = SC a (Stream a) < 1282427447 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :adinf :: a -> Stream a < 1282427448 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :adinf x = SC x (adinf x) < 1282427448 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :instance Danom Stream where < 1282427448 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : nruter (SC x _) = x < 1282427448 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : dnib x f = f (adinf x) < 1282427455 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :not much interesting seems to happen in these < 1282427457 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders about Either < 1282427462 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Ok, so there's #include, and then compilation < 1282427463 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :nope, can't do that < 1282427464 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :nruter < 1282427468 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :That bit seems like C/C++ < 1282427532 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :nruter (Left x) = x? < 1282427551 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no, that's the wrong type < 1282427552 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Although that implies instance Danom (Either a a) < 1282427561 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it needs to be whatever is in Right < 1282427575 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well or that < 1282427583 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :wait no < 1282427605 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's Danom (Either a) so you cannot fix it that way < 1282427605 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :hmm EIther a a would work < 1282427610 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: you can < 1282427618 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :data BothEither a = Left a | Right a < 1282427636 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well sure < 1282427649 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but that's just an obscured (Bool, a) < 1282427653 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(mostly) < 1282427659 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Ok, ATS syntax gives me a headache < 1282427677 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: good enough < 1282427683 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: you give my syntax a headache < 1282427710 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :dnib x f = f (Right x)? < 1282427712 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: ah, but should it be f (BLeft x) or f (BRight x) :P < 1282427719 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :alise has syntax. Therefore, alise is a language. Therefore, I should learn alise. < 1282427737 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, learn Latin! < 1282427754 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :The syntax is like nothing else mainstream. < 1282427792 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Syntax quidquid nullam altera monstrum < 1282427818 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Syntax is like no other monster? < 1282427834 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has very little idea what he actually said < 1282427862 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: not in the biblical sense, i hope. < 1282427885 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Isn't that just "know" in the biblical sense? < 1282427899 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Maybe it's transitive to learning. < 1282427908 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :If you learn something, you know it. < 1282428045 0 :Zuu!unknown@unknown.invalid PRIVMSG #esoteric :and then you forget it < 1282428053 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :you can't unsex. < 1282428077 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :You can dnib. < 1282428117 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :egadnob < 1282428149 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i think we can conclude that danoms are useless < 1282428178 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :useless != not fun < 1282428183 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :alise, what relevance does that have? < 1282428192 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I think everyone in this channel should know that < 1282428195 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :maybe a little too much like _both_ monads and comonads at the same time... < 1282428540 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I seem to have gotten in a bit on an online argument < 1282428545 0 :oerjan!unknown@unknown.invalid QUIT :Quit: Good night < 1282428654 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://www.reddit.com/r/geek/comments/d3o6c/futurama_writer_created_and_proved_a_brand_new/c0xc7rm < 1282428933 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :I hope that's a troll, but I met a 13-year-old today who couldn't divide 6 by 3, so... < 1282429029 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :They didn't even come up with the conjecture < 1282429030 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Does anyone why Coq uses .v for its file extension? < 1282429033 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I rewatched the episode today < 1282429049 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :They didn't wonder "Well, given any possible mixup, is there a solution?" < 1282429054 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Or anything along those lines < 1282429168 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover_: because it's so _v_ erbose? < 1282429293 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Mathnerd314: lemme guess, you like agda < 1282429313 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover_: coq au Vin? :P < 1282429325 0 :Mathnerd314!unknown@unknown.invalid PRIVMSG #esoteric :alise: no, just have used it more < 1282429468 0 :Phantom_Hoover!~phantomho@cpc3-sgyl29-2-0-cust326.sgyl.cable.virginmedia.com JOIN :#esoteric < 1282429536 0 :Phantom_Hoover_!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1282429547 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :"No, they came up with a solution that works in all cases, as proven by the futurama guy. Stop being a dumbass. < 1282429547 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :" < 1282429614 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :wat < 1282429752 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, he's an idiot, and he's being overwhelmingly downvoted. Leave it. < 1282429899 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"You are a pathetic person." < 1282429968 0 :Phantom_Hoover!unknown@unknown.invalid PRIVMSG #esoteric :See? He knows he's wrong, so he ad homs. < 1282430348 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :If you have them all, you have seen the episode. Why are you acting like a helpless retard? < 1282430350 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :You'll notice that I said I haven't started watching the series yet. Having something and having seen it are two different things. Please don't resort to personal insults. < 1282430352 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :You are a personal insult for being a dumbass. < 1282430374 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: segoli is two removals and one swap away from sgeo! < 1282430460 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: insomniac84 is a known troll iirc < 1282430487 0 :sftp!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1282430554 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Well, now I have my doubts that insomniac84 has even seen the relevant episode < 1282430559 0 :sftp!~sftp@79.174.50.208 JOIN :#esoteric < 1282431264 0 :Phantom_Hoover_!~phantomho@cpc3-sgyl29-2-0-cust326.sgyl.cable.virginmedia.com JOIN :#esoteric < 1282431277 0 :Phantom_Hoover!unknown@unknown.invalid QUIT :Read error: Connection reset by peer < 1282431397 0 :tombom!unknown@unknown.invalid QUIT :Ping timeout: 272 seconds < 1282431829 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :a < 1282431849 0 :tombom!tombom@wikipedia/Tombomp JOIN :#esoteric < 1282431893 0 :tombom_!tombom@wikipedia/Tombomp JOIN :#esoteric < 1282431928 0 :Phantom_Hoover_!unknown@unknown.invalid QUIT :Ping timeout: 265 seconds < 1282432119 0 :tombom!unknown@unknown.invalid QUIT :Ping timeout: 252 seconds < 1282432129 0 :Phantom_Hoover_!~phantomho@92.233.174.117 JOIN :#esoteric < 1282432473 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION vaguely wonders if deja vu is dangerous < 1282432482 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Erm, indication of something dangerous < 1282432695 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, no. < 1282432717 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Everyone gets it throughout their life, so it's hardly abnormal. < 1282432814 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :But can lack of sleep make it worse? < 1282432820 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :And I think lack of sleep is dangerous < 1282432823 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :etc. < 1282432884 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :But then the deja vu is just a symptom. < 1282432922 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Do you end up thinking wildly incoherent thoughts, like augur thinking he was a lambda term. < 1282432980 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I'm not dejavuing right now, just tired < 1282433124 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Hmm, what's your current obsession? < 1282433131 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :NetHack, right? < 1282433154 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :When you look in the mirror, do you see an @? < 1282433176 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1282433210 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Dammit Sgeo, this isn't a joke! < 1282433219 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :This is a matter of life or death! < 1282433236 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :As far as I can tell, I am not Hallu < 1282433244 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Or polymorphed < 1282433253 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Maybe you're hallucinating that you're not hallucinating! < 1282433282 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Maybe this is a drea, < 1282433297 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, do a reality check. < 1282433382 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :!coq Check reality. < 1282433496 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :reality < 1282433496 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric : : I_have_no_idea < 1282433503 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :Phantom_Hoover_: wat < 1282433503 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1282433516 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Music tagging adventures, part n: I have decided to simply elide "title" tags from untitled works. < 1282433558 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : Do you end up thinking wildly incoherent thoughts, like augur thinking he was a lambda term. ;; XD < 1282433582 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :alise: Hah. < 1282433587 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: ? < 1282433595 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, I did it. < 1282433598 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :I think he meant Phantom_Hoover_. < 1282433612 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: However, this is causing me to run into problems, as Quod Libet insists that such a track is actually titled "1.flac [Unknown]". < 1282433623 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Well, if pikhq doesn't want to become lucid, he'll just drown in the raingutter < 1282433642 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Trying Check reality. in a virgin environment: Error: The reference reality was not found in the current environment. < 1282433643 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Therefore, I think I will do "title=". < 1282433649 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :virgin environment! < 1282433781 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :sigh, title= doesn't work either < 1282433802 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :now it does < 1282433834 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: technically, titling something the empty string isn't the same thing as not naming something, is it? < 1282433849 0 :nooga!unknown@unknown.invalid PRIVMSG #esoteric :bürp < 1282433907 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes to read DCs say the darndest things < 1282433954 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has come to love auto. < 1282433968 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :I can only assume it uses magic, or that I missed something. < 1282433992 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :auxto? < 1282434000 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :No, auto. < 1282434010 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ah-ooh-to < 1282434021 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :auxto is oww-to < 1282434043 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :I /think/ it's one of Coq's built in tactics, but I think it's just something you type in after doing something to see if it completes the proof. < 1282434065 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :And I'd say "otto", but that's beside the point. < 1282434194 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is just being an Esperanto nut < 1282434258 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, that's the worst kind of nut! < 1282434464 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :"then this slutty looking girl came up to me (her shirt didn't even cover her chest xP) and wanted me to follow her to have sex. ... Anyways, on the way to the closet, she was talking about all the STD's she had or something." < 1282434487 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo, huh? < 1282434520 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :http://www.dreamviews.com/f28/dcs-say-darndest-things-19509/index69.html#post1486806 < 1282434540 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : I can only assume it uses magic, or that I missed something. < 1282434541 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :no < 1282434543 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric : I /think/ it's one of Coq's built in tactics, but I think it's just something you type in after doing something to see if it completes the proof. < 1282434544 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :no < 1282434551 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :it simply tries a bunch of common tactics < 1282434562 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :OBRING < 1282434564 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :like things that automatically prove simple arithmetic statements, things that prove things from datatype constructions < 1282434565 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1282434623 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :Why can't it be MAGIC? < 1282434644 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :"Spock: [to me, raising an eyebrow] "...I am quite tasty, captain."" < 1282434688 0 :alise!unknown@unknown.invalid PRIVMSG #esoteric :"Well now what?" ;; hey look it's (maybe) augur < 1282434760 0 :Phantom_Hoover_!unknown@unknown.invalid PRIVMSG #esoteric :augur (\f -> (\x -> f (x x)) (\x -> f (x x)))