< 1263686443 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :dumb? < 1263686456 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :do you mean unrealistic or just stupid? < 1263686518 0 :ehird!unknown@unknown.invalid QUIT : < 1263686722 0 :anmaster_l!unknown@unknown.invalid QUIT :"Leaving" < 1263686838 0 :ehird!n=ehird@91.105.66.124 JOIN :#esoteric < 1263686858 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1263686861 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: lemme get a link for you < 1263686974 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://docs.google.com/Doc?id=ddv7939q_20gw8h9pcx < 1263686980 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :great singularity scifi < 1263686992 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :by steve yegge (yes, that steve yegge) < 1263687019 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :huh < 1263687023 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :okay thanks < 1263687030 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I'll read it after rainbows end < 1263687050 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :yeah I think I enjoyed some of yegges blog < 1263687052 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :not sure < 1263687058 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's nothing like his blog, anyway < 1263687064 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :guy should become an author < 1263687073 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also most people think the singularity is stupid/unrealistic/harmful/whatever, it's just an intuitively wrong-seeming concept < 1263687087 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that's what you get for abnormal thought :P < 1263687135 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Baconnaise. < 1263687171 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: bacon + anything non-bacon is inferior to solely bacon < 1263687177 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's like you're diluting the bacon with an inferior concept < 1263687187 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Baconnaise actually contains no bacon :P < 1263687189 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the same goes for chocolate, which makes bacon chocolate the only exception < 1263687196 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I agree with ehird on this for mayonnaise < 1263687205 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, it exists? < 1263687207 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1263687211 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and if you want chocolate bacon, well < 1263687212 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://www.vosgeschocolate.com/category/bacon_and_chocolate < 1263687214 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :go buy some < 1263687214 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :I am eating a turkey sandwich made with it /right now/. < 1263687225 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also garlic. This baconchocolategarlic is also allowed < 1263687225 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I want Pthing to say < 1263687229 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :Pthing say!! < 1263687230 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I've never actually had mayonnaise. True facts. < 1263687250 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: No, baconchocolategarlic would just be awful. < 1263687256 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :ehird: You either don't eat sandwiches, or use "sandwich spread" < 1263687262 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, anyway nougat (of the right type, there are several unrelated things called nougat) > chocolate < 1263687265 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: Or am a being of pure energy. < 1263687274 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :These are the three realistic options. < 1263687277 0 :Pthing!unknown@unknown.invalid PRIVMSG #esoteric :say what < 1263687277 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Which would imply the former. < 1263687298 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I mean this type of nougat: http://sv.wikipedia.org/wiki/Fil:Nougat_sweets.jpg < 1263687299 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Gregor: Maybe I absorb sandwiches but it strips all the mayonnaise out due to a computer glitch. < 1263687309 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, not this type: http://en.wikipedia.org/wiki/File:Nougat.jpg < 1263687327 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Nougat is nice but chocolate > nougat. < 1263687331 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :By far. < 1263687349 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I disagree. Also the second one doesn't look like nougat at all < 1263687351 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Controversial statement: < 1263687354 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what about white chocolate? < 1263687356 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Vanilla > Chocolate < 1263687360 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :White chocolate is a lie. < 1263687363 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :And all who like it must die. < 1263687370 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :White chocolate isn't bad... it's just not chocolate. < 1263687375 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, agreed < 1263687378 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Vanilla is a nice taste. < 1263687380 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it is nice, but not chocolate < 1263687382 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I think it's about equal to chocolate. < 1263687385 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Different situations. < 1263687393 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Vanilla is so underappreciated, though. < 1263687398 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, depends. If it is fresh and not dried < 1263687400 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it is wonderful < 1263687408 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that's hellishly expensive though < 1263687409 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :had it once < 1263687412 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :We're talking about flavours, not the source materials < 1263687415 0 :Pthing!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/British_Rail_flying_saucer < 1263687415 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :really really wonderful < 1263687420 0 :Pthing!unknown@unknown.invalid PRIVMSG #esoteric :The British Rail flying saucer, officially known simply as space vehicle, was a proposed spacecraft designed by Charles Osmond Frederick. A patent application was filed by Jensen and Son on behalf of British Rail on 11 December 1970 and granted on 21 March 1973.[1][2][3] The flying saucer originally started as a proposal for a raiseable platform. However, the project was revised and edited, and by the time the patent < 1263687420 0 :Pthing!unknown@unknown.invalid PRIVMSG #esoteric :was filed had become a large passenger craft for interplanetary travel.[4] < 1263687425 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, yeah but I meant for home made vanilla icecream < 1263687470 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Gregor, home made vanilla icecream on *fresh* vanilla pods is wonderful < 1263687475 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Raisable platform -> INTERPLANETARY TRAVEL < 1263687488 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Getting into space is just raising the platform really, really high, right? < 1263687500 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And if you can go upwards you can go leftwards and rightwards and forwards. < 1263687502 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Tada. < 1263687514 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1263687526 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Honestly, NASA should just take consumer jets and fly them directly upwards. < 1263687533 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :How hard can it be? < 1263687598 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well, it won't work < 1263687609 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION punches AnMaster < 1263687612 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I can't hear you. < 1263687616 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Why are you hitting yourself? < 1263687616 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, because they need air at high pressure, it won't work above a certain altitude < 1263687620 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION punches AnMaster < 1263687622 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Stop hitting yourself. < 1263687626 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION puts fingers in ears < 1263687628 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you need ramjets for high altitudes < 1263687630 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :LA LA LA LA LA < 1263687632 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or scramjets < 1263687642 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I CAN'T HEAR YOU < 1263687644 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :like SR-71 Blackbird, had a ramjet < 1263687658 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, and stop being silly. < 1263687665 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I know you are but what am I? < 1263687677 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :laaaaaaaaaaawl < 1263687693 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Okay, I've gotta stop now before I have to commit seppuku. < 1263687698 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :anyway the principle behind a jet engine is very interesting I find. < 1263687772 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and even ramjets will only take you so far. At some point you need a rocket engine (or a space elevator, or space bolas or whatever... but a jet engine just won't cut it). < 1263687796 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also, to actually go straight up would require a lot more power < 1263687813 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I like to imagine space elevators are exactly as Roald Dahl imagined. < 1263687822 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, XD < 1263687823 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Just press floor "Mars". < 1263687851 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Up and Out < 1263687869 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Up and Out" gets you into the glorious Earth air. < 1263687872 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :the engines of a 747 would be unable to lift a 747 *straight up* < 1263687877 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Really Up and Really Out", however... < 1263687894 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :since you get no lift from wings then. which is why a 747 still files normally < 1263687945 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(note, this is simplified, it ignores drag, lift from the body itself and several other details) < 1263687992 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(though for a 747 the lift from the body (or fuselage as is the technical term), would be very small compared to that generated by the wings) < 1263688004 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :All we need is augur to talk about linguistics and all two-way conversation will finally die. < 1263688013 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, :D < 1263688027 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :im busy DOING linguistics < 1263688027 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so < 1263688037 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :In the sexual sense or the academic sense? < 1263688040 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :DON'T ANSWER < 1263688048 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1263688064 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what, is "doing linguistics" innuendo? < 1263688068 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I can't imagine how < 1263688093 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :do, v. see have sexual intercourse with. < 1263688098 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ouch right < 1263688111 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ouch? You might want to go and see a doctor about that. < 1263688130 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, "ouch that I didn't spot that, since I knew about that meaning" < 1263688136 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Whoosh. < 1263688152 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, no it wasn't a joke. < 1263688195 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also: time for ethernet over firewire < 1263688200 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :? < 1263688204 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :going to try it with the new firewire stack in linux kernel < 1263688220 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :wish me best of luck: "(EXPERIMENTAL)" < 1263688231 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And with that, he died. < 1263688241 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not yet < 1263688246 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I'm locating the cable < 1263688254 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Gone but... uh, and forgotten. < 1263688274 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, it would be kernel oops at worst < 1263688292 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Unless it hit a hardware bug that caused it to catch on fire, thus causing e.g. your PSU to explode. < 1263688296 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ehird, in an academic sense :P < 1263688320 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Kernel oops; three fatalities." < 1263688325 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Aww, I thought AnMaster said that, not augur. < 1263688329 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Which made it funnier. < 1263688344 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :what < 1263688348 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heheh < 1263688381 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what would it have meant if I had said it. It doesn't seem to make sense there. < 1263688399 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Well, like how in functional programming we model both errors and non-termination as one value, _|_. < 1263688421 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So, you'd be saying that academically, hardware catching on fire thus making your CPU explode would be considered a kernel oops. < 1263688429 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Thus "Kernel oops; three fatalities.", and now the frog is dead. < 1263688440 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, haha < 1263688456 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :("Explaining a joke is like dissecting a frog: you understand it better, but the frog dies in the process." —Mark Twain) < 1263688489 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also in that case both should be considered failure modes. No difference should be made between a program returning the error code 1 and the system exploding < 1263688498 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :they are just failure modes < 1263688515 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Error: Something went wrong. Are you on fire? [Y/n] " < 1263688519 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if yes → < 1263688527 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Oh dear. Something went badly wrong." < 1263688529 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if no → < 1263688537 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Alright then. You can reboot now." < 1263688557 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what if you aren't on fire yet but the desk is? < 1263688562 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well yeah no difference < 1263688566 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No issue! < 1263688566 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you can just reboot then < 1263688575 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1263689133 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION plays some dna maze < 1263689141 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, it is working btw :) < 1263689154 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yay. < 1263689158 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, btw image editors creating *~ files < 1263689162 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :what is your opinion on it? < 1263689192 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Creating *~ files in general is irritating. < 1263689198 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Put it in some other directory. < 1263689201 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, and for image editors? < 1263689207 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that create 40 MB *~ files < 1263689217 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Put it in ~/.imged/autosaves/somemangleldpath < 1263689220 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*somemangledpath < 1263689228 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(due to you editing large files of course) < 1263689237 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, issue, doesn't work well over different file systems < 1263689247 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :since before it could just move the old file and write a new < 1263689251 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :now it needs to copy it in theory < 1263689256 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Meh. < 1263689258 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Work out some solution. < 1263689264 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But don't put it in the same directory. < 1263689265 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, which is irritating for 40 MB files < 1263689274 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well, "don't create *~" is my idea < 1263689285 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That's risky. < 1263689285 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :just remove it once you synced the new file to disk < 1263689293 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, remove it after the new file is fully written < 1263689306 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :this wallpaper background is nice and soothing < 1263689311 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's like i'm using ubuntu without the ugly < 1263689325 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :mhm? screenshot? < 1263689361 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Uploading. < 1263689422 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ugh, imgur compressed it for being too big. < 1263689428 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :All image hosts eventually suck exactly the same... < 1263689439 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes for trusty old xs.to < 1263689465 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, filebin.ca? < 1263689473 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That would force a download. < 1263689481 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well I would just gimp on the url < 1263689503 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ffffff it did the same < 1263689505 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fine, filebin < 1263689518 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Do you want the wallpaper or a screenshot with it, btw? < 1263689529 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If the former I could just link you < 1263689583 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://filebin.ca/tonxzc/Picture1.png < 1263689594 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: < 1263689616 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ffs. it stopped working once it got hit with a large transfer < 1263689647 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, how large is the file? < 1263689652 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also either is file < 1263689654 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fine* < 1263689683 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The file is just 2 megs or so < 1263689685 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's a screenshot < 1263689694 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, it looks noisy? < 1263689698 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That's an intentional effect < 1263689702 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Only on the background < 1263689703 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1263689738 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Here's a link if you want it: < 1263689751 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://lambda.nirv.net/m/files/Love.png < 1263689753 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I don't really < 1263689760 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :TOUGH :P < 1263689820 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://lambda.nirv.net/m/screenshots/20091201.png Here's a wonderful screenshot of Emacs + chocolate-rain-theme + that background < 1263689829 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(I use both now, because darn they're pretty.) < 1263689910 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also that bg is an awkward size < 1263689923 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It is not. < 1263689925 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :16:10 < 1263689966 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I said size, not aspect ratio < 1263689977 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :What's awkward about it < 1263689982 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's big enough for most monitors < 1263689986 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Your DE can scale the background for you < 1263690012 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, wait aren't macs 16:9? < 1263690023 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The new iMac is 16:9. < 1263690039 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :All other Macs and Apple Displays, plus old iMac models, are 16:10. < 1263690044 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(That is, after they were 4:3.) < 1263690081 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, long live 5:4 < 1263690085 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(it exists) < 1263690090 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No, let's not. < 1263690095 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Long live 3:4 or something. < 1263690103 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, long life 1:1 < 1263690106 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :live* < 1263690112 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :That won't look square. < 1263690120 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what? < 1263690131 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Seriously; make an NxN square in your favourite image program. < 1263690140 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Note how it does not appear to be a perfectly measured bastion of wholeness. < 1263690144 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yes, made a 32x32 one < 1263690146 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :In fact, it seems inequal. < 1263690147 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Bigger. < 1263690149 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Try 100x100. < 1263690155 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Up to 500x500 < 1263690183 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :100x100 looks square at least < 1263690187 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION tries 500x500 < 1263690201 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes, but don't analyse it like that. < 1263690208 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Just look at it and note it seems to be fatter than it is tall < 1263690208 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :looks square < 1263690213 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Meh < 1263690217 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, no it looks taller than fatter < 1263690219 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :at a glance < 1263690222 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Okay then < 1263690224 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The other way around then :P < 1263690229 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :See what I mean? < 1263690234 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, for some sizes < 1263690240 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :for some it is fatter than taller < 1263690246 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :^_^ < 1263690261 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, anyway how to make something that looks square... 4:3 does not < 1263690276 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Don't bother, human vision isn't square < 1263690308 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, how then can we even have a concept of "looking square"? < 1263690316 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Either optimise for A? (hey, fizzieuniversity :P) sort of dimensions for text, or optimise for widescreen for useful computing workspace. < 1263690323 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: ??? < 1263690331 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :We see "square pixels", as nonsensical a concept as that is < 1263690338 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Our whole vision just is rectangular... sort of. < 1263690345 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Point is, vision is obviously widescreen < 1263690358 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I heard someone suggest that hexagonal pixels would be better < 1263690363 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1263690378 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, as in a serious scientist interviewed in radio < 1263690383 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Could be fun < 1263690392 0 :augur!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1263690400 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, he talked about how it could better represent photos < 1263690405 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :for shape < 1263690424 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and also about packing pixels closer, resulting in a higher DPI feeling < 1263690426 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Cool, Esolang forum activity. < 1263690430 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Downside: It's not about an esolang. < 1263690434 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(or was it truly higher dpi? don't remember) < 1263690436 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, spam? < 1263690439 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Nope. < 1263690443 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Just a non-esoteric language. < 1263690445 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :huh < 1263690450 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://esolangs.org/forum/kareha.pl/1262953236/l50 < 1263690467 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Presumably they think it's "experimental" enough to be esoteric. < 1263690573 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :160x55 is a nice Emacs size. < 1263690605 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If you split it vertically, you get two 26-line windows, which is quite a bit; a lot better if you resize one, of course. < 1263690615 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Horizontally it handles a whole two 80-column windows, so no line wrapping. < 1263690628 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(55 was chosen because it lets Emacs be in a nice place and not intrude on my Dock.) < 1263690665 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :mhm < 1263690700 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Damn ehirdOS is so beautiful. :| < 1263690727 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's so much better now that I basically pilfered wholesale the ideas for the underlying language from Luke Palmer. < 1263690730 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Beautiful inside and out! < 1263690800 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what ideas? < 1263690814 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :Dana? < 1263690820 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Uhh. Is there a way for me to say "you wouldn't understand" in a non-offensive, not-really-worth-telling-you way? < 1263690823 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: pretty much < 1263690828 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, "no" < 1263690837 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: You wouldn't understand, then. < 1263690843 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster, it's basically combinator logic with a crazy type system, as I undertand it < 1263690850 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dana is more than just the lang though < 1263690855 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's the frp approach to the entire os < 1263690858 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, interesting for an OS < 1263690870 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has no idea how it (theoretically) works < 1263690880 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I can't imagine how it applies to an OS either < 1263690882 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dependent types and magic < 1263690895 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: See, when I said "you wouldn't understand", I was trying to avoid wasting your time. < 1263690918 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well I wouldn't trust you on that would I? :P < 1263690938 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Considering it was my explanation you were asking for, I'm probably pretty accurate on matters of it. < 1263690976 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well yes, but I wouldn't trust you on what I understand and not < 1263691019 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But considering I would use terminology that I enjoy using, and I have past experience trying and failing to discuss with you using such terminology, I'm an accurate predictor of whether you would understand one of my explanations or not. < 1263691101 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection < 1263691308 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, plus weren't you going for lots of other things before? < 1263691312 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :smalltalk and what not < 1263691332 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ehirdOS: a concrete design, set in stone; unchanging in its precise perfection. < 1263691340 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :There are too many implementations for me to break them wantonly like thaat. < 1263691347 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*that < 1263691348 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1263692200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1263692200 0 :clog!n=nef@bespin.org JOIN :#esoteric < 1263692212 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1263692212 0 :clog!n=nef@bespin.org JOIN :#esoteric < 1263692267 0 :FireFly!unknown@unknown.invalid QUIT :"Leaving" < 1263692505 0 :olsner!unknown@unknown.invalid QUIT :Remote closed the connection < 1263692517 0 :olsner!n=salparot@c83-252-238-148.bredband.comhem.se JOIN :#esoteric < 1263692829 0 :olsner!unknown@unknown.invalid PART #esoteric :? < 1263692844 0 :olsner!n=salparot@c83-252-238-148.bredband.comhem.se JOIN :#esoteric < 1263692880 0 :rodgort!unknown@unknown.invalid QUIT :K-lined < 1263693919 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :klined? < 1263693920 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :o_o < 1263693926 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :clog flooding? < 1263693930 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what is the world < 1263694003 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :spam is the world < 1263694115 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :the bird's the world < 1263694255 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :night < 1263695301 0 :augur!n=augur@c-68-33-240-147.hsd1.dc.comcast.net JOIN :#esoteric < 1263696185 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1263696185 0 :pikhq_!n=pikhq@75-106-100-139.cust.wildblue.net JOIN :#esoteric < 1263696248 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hi pikhq_ < 1263696288 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1263698135 0 :ehird!unknown@unknown.invalid QUIT : < 1263699270 0 :augur!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1263700830 0 :MizardX!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1263702789 0 :augur!n=augur@216-164-33-76.c3-0.slvr-ubr2.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1263702824 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hello kids < 1263705845 0 :rodgort!n=rodgort@adsl-71-142-227-255.dsl.scrm01.pacbell.net JOIN :#esoteric < 1263706052 0 :rodgort!unknown@unknown.invalid QUIT :Client Quit < 1263706074 0 :rodgort!n=rodgort@adsl-71-142-227-255.dsl.scrm01.pacbell.net JOIN :#esoteric < 1263706113 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :http://tvtropes.org/pmwiki/pmwiki.php/Main/MohsScaleOfScienceFictionHardness?from=Main.MohsScaleOfSciFiHardness < 1263706119 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :needs more hard sci fi :( < 1263706127 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I've read snow crash and it's like up at the top that's crazy < 1263707324 0 :rodgort!unknown@unknown.invalid QUIT :Client Quit < 1263707667 0 :rodgort!n=rodgort@adsl-71-142-227-255.dsl.scrm01.pacbell.net JOIN :#esoteric < 1263708506 0 :soupdragon!unknown@unknown.invalid QUIT :"Leaving" < 1263711148 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :blurghle < 1263711156 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :linguistics < 1263711794 0 :oerjan!unknown@unknown.invalid QUIT :"Good blight" < 1263715199 0 :clog!unknown@unknown.invalid QUIT :ended < 1263715200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1263715928 0 :jpc!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1263716011 0 :BeholdMyGlory!n=behold@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1263716284 0 :kar8nga!n=kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1263718169 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection < 1263719509 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :augur: is there a term for when a proper noun is formed by application of an article to a common noun, such as 'the Universe'? < 1263722208 0 :coppro!unknown@unknown.invalid QUIT :"I am leaving. You are about to explode." < 1263722259 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1263725230 0 :Pthing!unknown@unknown.invalid QUIT :Remote closed the connection < 1263725522 0 :Slereah!n=Slereah@ANantes-259-1-134-192.w92-139.abo.wanadoo.fr JOIN :#esoteric < 1263727591 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1263728366 0 :soupdragon!n=somebody@unaffiliated/fax JOIN :#esoteric < 1263729575 0 :zeotrope!n=zeotrope@bas3-kitchener06-1096650646.dsl.bell.ca JOIN :#esoteric < 1263729762 0 :Pthing!n=pthing@cpc11-pres4-0-0-cust168.pres.cable.virginmedia.com JOIN :#esoteric < 1263731676 0 :MizardX!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1263732727 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :properification < 1263733553 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric ::-S < 1263733641 0 :MigoMipo!n=migomipo@84-217-14-251.tn.glocalnet.net JOIN :#esoteric < 1263733657 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :the the is an article, so maybe it could be articulation < 1263735612 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :olsner, isn't that related to pronouncing things? At least I think the similar Swedish word is? < 1263735626 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1263735656 0 :kar8nga!n=kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1263735699 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :of course what olsner said _could_ have been punification, not sure < 1263736265 0 :Pthing!unknown@unknown.invalid QUIT :Remote closed the connection < 1263736772 0 :MizardX-!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1263737014 0 :MizardX!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1263737037 0 :MizardX-!unknown@unknown.invalid NICK :MizardX < 1263739378 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection < 1263739591 0 :MizardX-!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1263739837 0 :cheateur!n=cheater@ip-80-226-230-231.vodafone-net.de JOIN :#esoteric < 1263739841 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :hey guys < 1263739862 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :if i'm going for high performance clusters, should i choose erlang or haskell? < 1263740565 0 :MizardX!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1263740576 0 :MizardX-!unknown@unknown.invalid NICK :MizardX < 1263740724 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, those aren't really esolangs are they? < 1263740784 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but anyway, it would depend on what you would use the cluster for < 1263740879 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :yeah, but i didn't want to ask in either of their channels < 1263740886 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :for obvious reasons :P < 1263740892 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1263740902 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: what would the different uses be that you could single out? < 1263740962 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, number crunching, or handling of lots of concurrent server threads < 1263740964 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :for example < 1263740984 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I don't know enough about haskell, but I know erlang is way better at the second one < 1263741042 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :there would likely be lots of other possibilities too < 1263741051 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i would say concurrent server threads < 1263741085 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :why is erlang better at that? < 1263741095 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :is it just maturity of the platform? < 1263741098 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, remember erlang was originally designed to run on telephony switches. The actual data moving was back then done in hardware. < 1263741114 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i know < 1263741115 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :erlang uses message passing, not shared memory < 1263741176 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, it just isn't optimised for number crunching style of workloads < 1263741200 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :and why is message passing better for high concurrency servers? < 1263741315 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, not in general, but it is optimised for that when it comes to thread scheduling and such. Each thread has a separate heap (to simplify garbage collection on SMP systems, no need to stop other threads from running). The exception is large "binaries" (a data type for binary data) which is stored on a shared heap and ref-counted. So sending other large data types between processes need to copy < 1263741315 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it < 1263741349 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, it has good language level and library level support for server style processes < 1263741368 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ah, so it's not that it has *concepts* that allow better performance < 1263741382 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :it's that it is just better written < 1263741391 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, well, it is well tuned for that load. And it is easy to write that style of thing < 1263741398 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, also you can reload code on the fly < 1263741411 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :without restarting current processes < 1263741450 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :that's nice < 1263741452 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :they are sent an "update you data structures if required and jump to the new code" style message. If you use the standard library modules to implement your server processes then that becomes very easy < 1263741456 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :can haskell do that? < 1263741473 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, well, erlang is a VM, it would be way harder if it wasn't for the VM < 1263741491 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but for haskell, I don't know it well enough < 1263741510 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :aha < 1263741514 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, erlang also have almost seamless support for distributing stuff over several nodes < 1263741521 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i'm just looking at learning a new language < 1263741534 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :C looks like it'll be fucking boring for no reason < 1263741561 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :and most stuff i do is web or service oriented < 1263741578 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :so i thought about something like haskell or erlang to write nice big services < 1263741580 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(almost, as in you need to tell it to connect to the other node, and a few internal details can be tricky, but generally if you do things like you should and don't mess in semi-internal stuff it won't be an issue) < 1263741600 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but you pass it a message the same way as a local process < 1263741607 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :s/it/a remote process/ < 1263741615 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :and haskell doesn't do that? < 1263741632 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, well, I don't know if haskell even has support built in for distributed nodes. < 1263741652 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i would assume so < 1263741655 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :but it is only an assumption < 1263741699 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: if i know php, python, and probably almost everything web-related, what language would you suggest to me? < 1263741735 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, do you know any esolang? Any functional language? < 1263741741 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :no < 1263741750 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :bear in mind i need to be able to make money with it too < 1263741754 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm if you don't know an esolang what are you doing in here? :) < 1263741769 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :trolling? ;) < 1263741773 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hah < 1263741782 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i have brainfuck installed < 1263741784 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :if that helps < 1263741790 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :maybe < 1263741824 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well, both erlang and haskell are functional languages. That will be hard if you only know the imperative approach. Haskell even more so. < 1263741848 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :maybe starting with scheme to get a general idea of functional programming would be a good idea. < 1263741868 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i'm a mathematician, most programming languages aren't that difficult < 1263741868 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i've learnt asm by using a debugger < 1263741894 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, erlang uses tail recursion for loops and such. Also it is single assignment as in math (you don't do x=2; x=x+1; in math if you see what I mean) < 1263741903 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :you're another of these folks that think mathematicians are gods < 1263741905 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I think the same goes for haskell < 1263741920 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :dunno if i want to go with scheme, it feels like a sort of halfway solution < 1263741932 0 :Slip!n=Slip@78-25-47-168.static.vega-ua.net JOIN :#esoteric < 1263741936 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: they aren't ?? < 1263741954 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, it is a nice educationish language for learning the basic concepts of functional programming. < 1263741976 0 :Slip!unknown@unknown.invalid PART #esoteric :? < 1263741981 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: gotcha < 1263741989 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: i know that in erlang variables are immutable < 1263742003 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, but if you know enough of math concepts then it shouldn't be too hard < 1263742015 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but for making money of it, who knows. I can't answer that < 1263742052 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: but i thought this only had to do with the 'place in memory', not the handle < 1263742067 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm? < 1263742077 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i.e. you could do x=1; x=2 but then you'd have two x's and the first one would be dereferenced and would just be 'garbage'? < 1263742115 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well there is no assignment as such in erlang. There is pattern matching. Meaning you can do something like {true,{X,Y,Z}} = somefunction() < 1263742122 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i.e. the '1' would still exist, but it would be dereferenced. < 1263742123 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :where {} is the notation used for tuples < 1263742161 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: is there a one-click way for me to start writing erlang *now*? < 1263742166 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i'm on 'doze < 1263742199 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, that would try to assign the values to X,Y,Z. But if X was set before already then it would fail of the value of X wasn't the same as before. This can be used for some really cool things. < 1263742216 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, hm, I think they have a windows download on erlang.org, but I'm on linux myself < 1263742223 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so I never tried it < 1263742238 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i'm on linux normally too, but ubuntu is gay and it blew up. < 1263742263 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :what about other distros? < 1263742295 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, also I believe the first few chapters of some of the erlang books are available online for free < 1263742299 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has it in paper form < 1263742313 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :no, it's just that it blew up on my laptop < 1263742314 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1263742316 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well one of them < 1263742337 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :luckily i kept windows as dual boot < 1263742344 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah yes there are a few extracts at http://www.pragprog.com/titles/jaerlang/programming-erlang < 1263742417 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1263742421 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, hi < 1263742428 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hi AnMaster < 1263742587 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1263742589 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :thanx < 1263742650 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, btw I didn't get the joke in iwc yesterday < 1263742681 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :iwc? < 1263742691 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, webcomic we both reads. < 1263742692 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :read* < 1263742698 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: iiuc haskell's concurrency is optimized for many cores with shared memory, it's not really designed for distribution < 1263742724 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :aha < 1263742737 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :hiya oerjan < 1263742753 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hi soupdragon < 1263743065 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Paris is pointing out that this proves what she already knew... < 1263743130 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, oh right. Wasn't very funny. Thought it was some pun on "nuts" < 1263743188 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I want cake < 1263743215 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION hands soupdragon a delicious cyanide cake < 1263743233 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oerjan the norwegian dragonslayer < 1263743274 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well oerjan supposedly is a mangled form of "george", so that fits < 1263743297 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, huh that was quite a bit of mangling < 1263743297 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :our "george" is "yrjö", which means "puke" < 1263743310 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :pronounced a bit like oerjan < 1263743324 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: i assume it's via swedish göran < 1263743327 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, wait a sec, is that a name in Finland? < 1263743343 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, we have both Örjan and Göran. < 1263743347 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i know < 1263743348 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1263743370 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :there's a swedish name that means gay, and there's and english name that means dick, not sure how it's interesting < 1263743378 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*n < 1263743380 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*an < 1263743382 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well so what. Odd, Even and Bent are names in norway :) < 1263743396 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, so it's like being called "puke"? As in throwing up? < 1263743408 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1263743413 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :as i said, not at all weird < 1263743419 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :Roar is also a norwegian name < 1263743423 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, must be rare that anyone is called that? < 1263743436 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :a bit. but there are still a lot of "dicks" < 1263743446 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, if "yrjö" both means puke as well as being a name. < 1263743460 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :are you reading what i say? < 1263743464 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :olsner, yes bit it meaning something else in another language isn't as bad as meaning something else in the *same* language < 1263743483 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, I hope so. I was just trying to double check this < 1263743489 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :how is puke worse than "gay" or "dick" < 1263743500 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(given that both are insults) < 1263743513 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :calling someone puke is not an insult < 1263743517 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's just weird. < 1263743520 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :as for that, i understand Homo used to be a norwegian surname. < 1263743521 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, good point. But I don't know which word "there's a swedish name that means gay" you mean < 1263743529 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :starts with b < 1263743531 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ahhh, now i remember iwc < 1263743531 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :calling something gay isn't an insult < 1263743538 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, no clue < 1263743542 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: yes it is < 1263743551 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: it is frequently used as one. < 1263743558 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :then why is calling someone puke not an insult? < 1263743563 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :...it just isn't? < 1263743568 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :illogical < 1263743577 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :gay makes less sense as an insult than puke, yes. < 1263743596 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :just like "idiot" makes less sense as an insult as "guy i don't like" < 1263743605 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but only one is used < 1263743654 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and this is english-specific, i don't know whether "gay" is an insult everywhere < 1263743670 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :my guess is it is in most places < 1263743692 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and my guess is puke isn't an insult anywhere < 1263743724 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ACTION waits for augur to tell him exact statistics < 1263743733 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :what < 1263743734 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1263743749 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :there were supposedly these norwegian professors named Ås and Sørås. one day they were both called to the information desk of an english-speaking airport... < 1263743776 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: calling something gay is indeed an insult. atleast in american english. < 1263743776 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :augur: i just usually assume you have something to say about anything even remotely having to do with linguistics < 1263743805 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(hint: ignore all accents, then pronounce like an american) < 1263743848 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what's "s?r?s"? < 1263743883 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's a perfectly adequate norwegian surname, means southern hill < 1263743897 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, "Sørås" < 1263743901 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, did you see that? < 1263743905 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or was it the same < 1263743907 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i see weird characters < 1263743909 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well assuming you're not mangling the characters on purpose... < 1263743914 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the same weird characters < 1263743947 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, Srs < 1263743949 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: you're not reading utf-8 correctly < 1263743964 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes, i still haven't gotten mirc to render it correctly. < 1263743974 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :im off to shower < 1263743985 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, I thought you had problems with unicode? < 1263744014 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i give up, what's it supposed to sound like? < 1263744033 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sars? < 1263744058 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh if only you all knew IPA/XSAMPA! D: < 1263744070 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, without the dots it is spelled like "Soras", but I guess it is supposed to be "Sir as" < 1263744083 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh lol < 1263744086 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that would be the only way it is funny < 1263744092 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but o and i aren't really close < 1263744096 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: yes but irssi reasonably transliterates the latin-1 subset < 1263744100 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so "sore ass" < 1263744103 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and approximates a bit more < 1263744114 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sir makes no sense if you drop the umlaut < 1263744121 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sore ass it was < 1263744151 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :for some reason i wanted a single word < 1263744202 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, why professors I wonder. And it doesn't make sense for both to believe it is to them unless it is actually interpreted by "sir" as one < 1263744232 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: this is _supposedly_ a true story < 1263744242 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1263744250 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :although i've probably mangled it < 1263744255 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1263744279 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and i was told it in university, by professors < 1263744325 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so if it was true, they were probably acquaintances < 1263744400 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1263744475 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : you're another of these folks that think mathematicians are gods <-- well DUH < 1263744492 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :professors travel a lot, so if there were professors with such names, it's not exactly that improbable for that to happen < 1263744505 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :when was that, i wanna see context < 1263744545 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :07:25:03 in the logs < 1263744657 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :huh. < 1263744815 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :o hai < 1263744821 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh lol logtime < 1263744831 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :assumed 7:25 your time < 1263744833 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :because i'm an idiot < 1263744836 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :MWAHAHA < 1263744857 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :16:25 my time < 1263746646 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1263746667 0 :kar8nga!n=kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1263747035 0 :augur!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1263750481 0 :ehird!n=ehird@91.105.66.124 JOIN :#esoteric < 1263750682 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :21:28:33 http://tvtropes.org/pmwiki/pmwiki.php/Main/MohsScaleOfScienceFictionHardness?from=Main.MohsScaleOfSciFiHardness < 1263750682 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :21:28:39 needs more hard sci fi :( < 1263750683 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's not my fault you're finishing rainbows end before listening to my suggestions :P < 1263750877 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :06:50:41 hey guys < 1263750877 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :06:51:02 if i'm going for high performance clusters, should i choose erlang or haskell? < 1263750877 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ignore AnMaster he just likes erlang :) < 1263750894 0 :MizardX!unknown@unknown.invalid QUIT :Connection timed out < 1263750896 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :both are about the same in potential; haskell is a better language and your code will be more reliable in it. however erlang is far more mature as far as its concurrency support goes < 1263750908 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if you really do have a cluster and you want to highly perform on it, I'd go for erlang until haskell's clustery support improves < 1263750914 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(its single-machine concurrency support is great, though) < 1263750961 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:20:32 cheateur, well, I don't know if haskell even has support built in for distributed nodes. < 1263750961 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:20:52 i would assume so < 1263750961 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :note that AnMaster doesn't really know anything about haskell < 1263750967 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, no, it doesn't, that's why we have excellent libraries. < 1263750978 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection < 1263751016 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:21:39 AnMaster: if i know php, python, and probably almost everything web-related, what language would you suggest to me? < 1263751016 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:22:15 cheateur, do you know any esolang? Any functional language? < 1263751016 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:22:21 no < 1263751017 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Uh... give up now. If you don't know functional programming, you will be useless at both Erlang and Haskell unless you learn functional programming simultaneously. < 1263751017 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:22:30 bear in mind i need to be able to make money with it too < 1263751019 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lol. < 1263751034 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You can make a lot of money with haskell... just not at some dumbfuck Web 2.0 company. < 1263751057 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :is it still at 2.0? I would have thought 2.1 would have been released by now < 1263751059 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:24:28 i'm a mathematician, most programming languages aren't that difficult < 1263751059 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hubris and ego said by someone who has only used imperative languages. < 1263751063 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or at the very least, 2.0.1 < 1263751091 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If you're so intelligent, why not use Haskell's official Least Gentle Tutorial? http://www.haskell.org/tutorial/ < 1263751126 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:25:03 you're another of these folks that think mathematicians are gods < 1263751126 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :++ < 1263751173 0 :BeholdMyGlory!n=behold@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1263751197 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I was interested in helping him until "I don't know any functional languages", "I know everything imperative and web-related" and "I'm a MATHEMATICIAN, every programming language is easy to learn!". < 1263751222 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:27:57 i.e. you could do x=1; x=2 but then you'd have two x's and the first one would be dereferenced and would just be 'garbage'? < 1263751222 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Culture shock! < 1263751234 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:29:26 i'm on 'doze < 1263751242 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :erm < 1263751245 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:29:21 AnMaster: is there a one-click way for me to start writing erlang *now*? < 1263751245 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :07:29:26 i'm on 'doze < 1263751251 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Okay, now I'm interested in helping you a *negative* amount. < 1263751281 0 :coppro!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1263751403 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :08:01:10 oklopol, without the dots it is spelled like "Soras", but I guess it is supposed to be "Sir as" < 1263751403 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :>_, < 1263751404 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*>_< < 1263751420 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Or, you know... sore ass < 1263751427 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :to be fair, "sör" is pronounced "sir" in swedish < 1263751448 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :not "sore" < 1263751553 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well not sure that's an excuse, "sor" is still pronounced closer to "sore" than "sir" in swedish. < 1263751564 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :w/e -> < 1263751571 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"ignore the accents" < 1263751575 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"and pronounce as an american" < 1263751579 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Slight hints there < 1263752309 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm not sure AnMaster compartmentalizes that well < 1263752319 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :then again i might be wrong < 1263752374 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : to be fair, "sör" is pronounced "sir" in swedish <-- not like "sir" would be in Swedish though. Close to English "sir" though. < 1263752416 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also, I was trying to think of something that a actually made sense < 1263752454 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well yeah english "sir", i left type inference to the reader < 1263752850 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection < 1263753060 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :someone should invent inlinelatexcompose < 1263753067 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so i can type, like, \alpha < 1263753341 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ehird: it's ok, i think you're pretty sweet < 1263753346 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ehird: let's hug < 1263753351 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: you're an awful human being! <3 < 1263753353 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION hug < 1263753386 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#esoteric: "We hate you. Your language is crap. Let's hug!" < 1263753548 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection < 1263753651 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ACTION grabs ehird's ass during the hug < 1263753672 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION sues cheateur for statutory rape < 1263753730 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes to every person in ehird's neiborhood and tells them: 'you know, according to your friend ehird, having sex with me is so extreme that it's actually a crime!' < 1263753746 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Things we have learned today: < 1263753752 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :- Ass-grabbing is sexual intercourse < 1263753763 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :- cheateur is moving into all of your neighbourhood's. Run! RUN! < 1263753769 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*neighbourhoods < 1263753777 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :slight sentence restructuring issue thar < 1263753788 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :everyone's? < 1263753811 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :you got sumptin wrong there, smurfette < 1263753835 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: no we just all live in the same building < 1263753848 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Either I'm suffering from post-sleep-deprviation deprivation or this channel is weirder than usual right now. < 1263753865 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :or both < 1263753889 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ehird: have you watched erlang the movie? < 1263753900 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I watched the start but couldn't take any more < 1263753908 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :This, however... http://www.youtube.com/watch?v=1yH_j8-VVLo < 1263753911 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :was it too hardcore for you < 1263753921 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :GRATUITOUS AMOUNTS OF PARALLELISM < 1263753935 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :munctional? < 1263753946 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :LOL. < 1263754114 0 :kar8nga!n=kar8nga@jol13-1-82-66-176-74.fbx.proxad.net JOIN :#esoteric < 1263754445 0 :BeholdMyGlory!n=behold@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1263754705 0 :soupdragon!unknown@unknown.invalid QUIT :"Leaving" < 1263755144 0 :soupdragon!n=somebody@unaffiliated/fax JOIN :#esoteric < 1263756597 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://www.reddit.com/r/programming/comments/aqkt2/dirty_math_tricks_optimizing_divisionby10_on_an/ < 1263756597 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I like how all three of the top code snippets are in Haskell, by different people. < 1263756606 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I guess the practical esolang has finally made it. :P < 1263757008 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :haskell isn't eso :[ < 1263757537 0 :mycroftiv!unknown@unknown.invalid QUIT :"leaving" < 1263758229 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :is prelude haskell? < 1263758282 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :prelude = haskell's "standard library" module < 1263758292 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's "modules you've loaded> ..." < 1263758385 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :and they have a special query for that? < 1263758388 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :that's fucked up. < 1263758399 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i'm just about to install haskell too, so good for warning me < 1263758448 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a special query for what? < 1263758461 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's just a read-eval-print-loop prompt < 1263758468 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :for a different combination of loaded modules < 1263758472 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :??? < 1263758483 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :an example shell session < 1263758485 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ ghci < 1263758485 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :GHCi, version 6.10.3: http://www.haskell.org/ghc/ :? for help < 1263758485 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Loading package ghc-prim ... linking ... done. < 1263758486 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Loading package integer ... linking ... done. < 1263758486 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Loading package base ... linking ... done. < 1263758486 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Prelude> 2+2 < 1263758488 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :4 < 1263758490 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Prelude> < 1263758492 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Leaving GHCi. < 1263758494 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$ < 1263758496 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's just the interactive interpreter's prompt... like $ in a shell... < 1263758508 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :hah, python... I like how they had a completely braindead GIL thingy that made python about twice as slow on two threads than on one thread, but have finally managed to optimize it into something that is *only slightly slower* than single-threaded < 1263758517 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :then what did you mean by "modules you've loaded> ..."? < 1263758526 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: I was explaining the prompt that is hsown. < 1263758531 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :this is not a difficult concept < 1263758533 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*shown < 1263758563 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :you are explaining this in the most confusing way, i still have no idea what you mean < 1263758571 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :but it's ok < 1263758572 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :hug? < 1263758579 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: oh, wait... you're a web guy < 1263758587 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you've probably never even used a language's interactive prompt < 1263758590 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :no i am a mathematician < 1263758597 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :jesus, this fucking thing takes half a gigabyte of hard drive space? the download was 50 megs. < 1263758606 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :if you are such a mathematician whta's square root of -1 < 1263758630 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :it's the value of your mouth applied to my penis < 1263758662 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :that... doesn't even typecheck.. < 1263758663 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: you're boring and egotistical. < 1263758670 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ehird: thank you :) < 1263758681 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, you don't even know any esolangs... or talk about them < 1263758694 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :admittedly everyone else in here does the former and not the latter < 1263758700 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ehird: i used brainfuck! < 1263758703 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I never made any esolangs :( < 1263758710 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: prolly stopped at ,[.,] no? < 1263758712 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :noen of my ideas were good < 1263758736 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ehird: i tried figuring it out and couldn't < 1263758781 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so to recap you're a person who doesn't know any esolangs, doesn't talk about esolangs, is boring, complains about file sizes and constantly mentions how he's a mathematician < 1263758788 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just curious, what mathematics education do you have exactly? < 1263758827 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :not much. < 1263758829 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :why? < 1263758840 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no, see, I said "exactly" < 1263758850 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what mathematics education do you have? < 1263758851 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :it's difficult to tell exactly < 1263758860 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no, it's not, i'm talking about boring formal education < 1263758861 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i'm not sure of the status of that myself < 1263758864 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :approved by the state < 1263758865 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :yeah, so am i < 1263758872 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then there's no ambiguity < 1263758883 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :you're right, there is < 1263758906 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :explain this ambiguity or you're just full of shit and embarrassed < 1263758908 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :well, it is more than 3 years and less than 15 years, depending on your definition of formal education < 1263758933 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fine, we'll go by the prompt method < 1263758937 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :high school? < 1263758949 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i finished that one < 1263758955 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :university? < 1263758970 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i started that at 17 < 1263758982 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I didn't ask that, I'm not interested in stroking your ego < 1263758994 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i get to stroke it myself, though < 1263759014 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes. it would be a lot better if you did it in private, however. < 1263759027 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i thought i was egoistic < 1263759075 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :do you actually have any mathematical achievements < 1263759120 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i know how to multiply numbers in my head, like 10x5 < 1263759136 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :but, they cannot be too big, because then it doesn't work. :-\ < 1263759137 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yeah only mathematicians can do that < 1263759237 0 :lepuspower!n=infernus@h69-128-47-243.mdsnwi.dedicated.static.tds.net JOIN :#esoteric < 1263759312 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i am happy your curiosity is satiated < 1263759376 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's not i just decided talking to you wasn't worthwhile < 1263759403 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :in that case, i am very happy as well. < 1263759506 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ehird: i believe we have gotten off on the wrong foot. wnt 2 try again? < 1263759520 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not if you say things like "wnt" and "2" < 1263759524 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, I'm always an asshole < 1263759567 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :'wnt' and '2' are integral parts of my dialect of english < 1263759581 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it is one i abstain from speaking in. < 1263759633 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :by doing that you are inconveniencing my minority < 1263759672 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i delight in this < 1263759718 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ACTION litigates < 1263760384 0 :GreaseMonkey!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1263760625 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :ACTION titigates < 1263760956 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: maths is great isn't it < 1263760980 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i love all mathematicians equally < 1263760992 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :am I a mathematician? < 1263761009 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think so < 1263761012 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Mathemagician. < 1263761026 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :how can I know for sure? < 1263761030 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :a small but eager mathematician, like myself < 1263761049 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I've been having mathematical thoughts from a young age but I always felt too scared to try it for real < 1263761051 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I've heard that only mathematicians can multply 10 by 5 in their head. < 1263761067 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That is a test. < 1263761068 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :also I don't think my parents would accept it < 1263761101 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: <3 < 1263761121 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: 50 < 1263761131 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :did that in like seconds < 1263761147 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :actually it's 17 < 1263761151 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: A mathematician you then must be. Unless you cheated. < 1263761154 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :because we're multiplying mod 33, duh < 1263761156 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I just realized multiplication is easy < 1263761157 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :no i didn't < 1263761165 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i really did it in my head < 1263761176 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :basically i use the fact if you have zeroes in the end, then you can sort of take them out < 1263761179 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :5*1 0 = 5*1 5*0 = 50 < 1263761180 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and put them back later < 1263761185 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1263761254 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's another way, but in our number theory course we experimented a lot with multiplying numbers that end in zeroes, you sort of learn to forget about them altogether and just operating on the part before the zeroes < 1263761272 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :gets slightly tricky if you have more than one zero ofc < 1263761315 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the lecturer can do numbers with like hundreds of zeroes in the end in his head < 1263761330 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1263761363 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :no idea how he does that but it's damn impressive < 1263761392 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :also this week's homework in combinatorics on words: find a meaningful sentence that's a palindrome < 1263761445 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :a man a plan panama < 1263761461 0 :MizardX!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1263761464 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :these are actually in english, i can prove that http://www.math.utu.fi/opiskelu/opetusohjelma/kurssit/syventavat/mate5075/index/Cow-demot2010.pdf < 1263761485 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :god those are trivial < 1263761492 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :wut are you doing lol < 1263761498 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :this is supposed to be a fucking advanced course < 1263761500 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :that looks hard oklopop < 1263761518 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :it goes all the way up to 8 < 1263761537 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well obviously i started after 5, because i ran out of fingers < 1263761542 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*stopped < 1263761558 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :seriously though, can you believe those? < 1263761574 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1263761575 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i haven't been able to sleep since i saw the triviality of those exercises < 1263761583 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :is the Y combinator a monad? < 1263761601 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, is LISP touring complete? < 1263761613 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is my ass too big for these pants? < 1263761614 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i don't know, i've never used lisp < 1263761624 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i assume it is < 1263761647 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :no you're wrong i have a small ass < 1263761724 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i need to email the lecturer about those exercises < 1263761729 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Of course LISP is Turing-complete. < 1263761740 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :Is oklopol's ass Turing-complete? < 1263761780 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :good question < 1263761796 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :aha is a meaningful sentence which is a palindrome < 1263761817 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :as well as a(ha){2,} < 1263761834 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :oklohoma are you gonna write a program which generates palindromic sentences? < 1263761857 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Unfortunately "A man, a plan, Panama" is not a palindrome. But maybe that was the whole trick. The version with the canal is. < 1263761901 0 :Gregor!unknown@unknown.invalid PRIVMSG #esoteric :A man, a pnal, Panama. < 1263761922 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric : LOL < 1263761932 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :a man, a poo, panama < 1263761947 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :a man a panama < 1263761951 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think i just randomly generated "eel! flee!" < 1263761977 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, would be sorta weird if i remembered that wrong < 1263762017 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :palindromes should not contain names < 1263762036 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :too easy < 1263762040 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :"oko", isn't that a meaningful palindrome? < 1263762046 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okokokokokokokokokokokoko < 1263762048 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okokokokokokoko < 1263762050 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okokokokokokokokokokokokokokoko < 1263762075 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: Does computer science have as much to do with computers as astronomy has to do with telescopes? < 1263762096 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: balls < 1263762112 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :how much does astronomy have to do with telescopes? < 1263762116 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i have zero idea < 1263762137 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :how much does astrology have to do with the golden girls? < 1263762210 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm, not at all? < 1263762234 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :why doesn't everyone answer any questions today < 1263762237 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*anyone < 1263762240 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what's wrong with me < 1263762253 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(someone answer that) < 1263762596 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ACTION watches the tumbleweeds roll by. < 1263762606 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1263762684 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I could answer that, but that'd be lame < 1263762702 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm mostly asking about the typos < 1263762722 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1263762734 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :otherwise i think i'm rather perfect < 1263763047 0 :ehird!unknown@unknown.invalid QUIT : < 1263763061 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :phew, he's gone < 1263763242 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: are you studying maths? < 1263763258 0 :ehird!n=ehird@91.105.66.124 JOIN :#esoteric < 1263763275 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I have to say that http://www.haskell.org/tutorial so far makes a lot more sense than real world haskell or that other one to me < 1263763309 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it is interesting, concise yet explains the issues clearly. Indeed I haven't got far yet, so I'm only speaking of about half of the "values and types" section so far < 1263763324 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(I'm at "2.2.1 Recursive Types") < 1263763343 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If you think you understand the Gentle Introduction and you don't know ML, you don't. < 1263763426 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, possibly, but those other ones were too slow in getting anywhere interesting. And this seems to explain the types well. I can't speak about later sections of course. < 1263763460 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The problem is that you need to be "bored" because as an imperative programmer, you categorially *do not understand the ideas behind Haskell* or how to program effectively in it. < 1263763468 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :If you skip that, you will be a bad Haskell programmer; simple as. < 1263763558 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, you forgot that I know scheme and erlang. And if I can't get anywhere interesting then I can't learn something. To learn something it has to get interesting quickly < 1263763575 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Scheme and Erlang are not remotely like Haskell in actual programming. < 1263763589 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, true, I gathered that from what I read so far < 1263763591 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :You may disagree and think you will be able to learn Haskell without *really learning* the underpinnings, but you are wrrong. < 1263763593 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*wrong < 1263763609 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Also, Real World Haskell *does* do real programs first. < 1263763615 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So maybe you just like complaining. < 1263763682 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :a syntax question though: < 1263763685 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :length [] = 0 < 1263763685 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :length (x:xs) = 1 + length xs < 1263763696 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :why the () in the second but not ([]) in the first? < 1263763708 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :By the way, the Gentle Introduction is wildly out of date. < 1263763712 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :iirc, it even has n+k patterns in. < 1263763724 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Also, I'm not going to answer any questions you have about Haskell because I know that they will only lead to further questions down the line when it turns out you don't understand Haskell at all. < 1263763728 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And I don't feel like answering such questions. < 1263763750 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also, have you heard that story about how mathematicians would build a house? < 1263764178 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :? < 1263764179 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1263764369 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :how mathematicians would build a house? < 1263764522 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh that, well it was directed to ehird. I don't see any point in telling it as he didn't respond < 1263764528 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :*shrug* < 1263764533 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :good night everyone < 1263764675 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :http://www.codexon.com/posts/debunking-the-erlang-and-haskell-hype-for-servers < lulz < 1263764675 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, suffice to say it is "foundations last" < 1263764681 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1263764684 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :that makes sense < 1263764690 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: check the link < 1263764698 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, looking at history yes indeed. < 1263764711 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: that guy is probably just shit at coding < 1263764716 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or configured it wrong < 1263764719 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or used an unrealistic benchmark < 1263764720 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :etc < 1263764731 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yes using -smp disable for erlang is definitely doing it wrong < 1263764731 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :yeah, unrealistic benchmark is unrealistic < 1263764734 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lol see http://www.codexon.com/posts/debunking-the-erlang-and-haskell-hype-for-servers/comment-page-1#comment-464 < 1263764738 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: read the text body < 1263764739 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dons debunking shit about haskell as always < 1263764744 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :enabling smp made it 4x slowar. < 1263764775 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :not in my experience. < 1263764777 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :dons? < 1263764782 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dons = don stewart < 1263764788 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: that's what he said happened in his situation < 1263764790 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :guy at Galois which has been doing commercial haskell for like... 15 years < 1263764795 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and rabid haskell advocate everywhere :) < 1263764797 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :he's great < 1263764858 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :the only galois i know is the kiddie fondling op in efnet #math < 1263764868 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://www.galois.com/ < 1263764877 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :both named after évariste galois obviously < 1263764892 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, also at accepting new connections? Is that the best benchmark? What about handling that many persistent connections instead? < 1263764896 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :do you know differential galois theory? < 1263764906 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: question directed at cheateur presumably < 1263764909 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: see comments. < 1263764911 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: i know, it's a shit benchmark, you don't have to tell me < 1263764912 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :bad benchmark, bad code. < 1263764923 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also let me read that erlang code < 1263764923 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: i do, but i don't know that galois < 1263764924 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :ehird do you ? < 1263764926 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :he got shot < 1263764927 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: AnMaster is single-threaded, he sees a line and calls replyToSeveralLines < 1263764929 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :in a driveby < 1263764936 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then switches back to his process new irc lines thread < 1263764940 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no way to stop him, I'm afraid < 1263764941 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :cheateur stop lieing < 1263764949 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh yeah that erlang one is bad < 1263764951 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Lieing! < 1263764963 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's when you liey. < 1263764970 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: at least i'm not calabi-yauing < 1263764979 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Cabali-yawn. < 1263764981 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*Calabi < 1263764992 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i liked cabali more < 1263764997 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :can we have that version again < 1263765000 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Cabally-yawn. < 1263765035 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :hahah < 1263765046 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :here's your palindrome sentence btw!!!!!!!!! < 1263765051 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :thrugo < 1263765051 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also I did read those comments before < 1263765057 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :the one you linked that was < 1263765060 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :is* < 1263765069 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :http://www.infoq.com/interviews/Erlang-Haskell-John-Hughes < 1263765074 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and yeah the erlang code is shitty. < 1263765079 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :infoq is a crappy site < 1263765090 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"John Hughes, at Erlang Factory" < 1263765094 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well this is obviously not goign to be unbiased < 1263765106 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : Do you miss laziness from Haskell? < 1263765107 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes, absolutely. I have Macros in Erlang that simulate it and I use them all the time. < 1263765112 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so he doesn't even code idiomatic erlang. < 1263765118 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And types? < 1263765118 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes, of course. < 1263765121 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :this is some stunning approval so far < 1263765136 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : well this is obviously not goign to be unbiased <-- indeed < 1263765141 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*going < 1263765146 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :that hughes guy looks like his anus just prolapsed < 1263765152 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"There are advantages than not having type checker, namely generic programming. If you do generic programming in Haskell, you can write a paper about it." < 1263765158 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also, I don't think it makes sense to try to compare them like that. Both are great languages. < 1263765161 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes and then everyone can read the paper and package it into a library < 1263765165 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :meant mostly for different things < 1263765167 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so us plebs don't have to read it < 1263765173 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1263765175 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or understand iit < 1263765176 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*it < 1263765180 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you know, it's called abstraction < 1263765183 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :might have heard of it < 1263765184 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :generic programming is awesome < 1263765201 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"If you do generic programming in Erlang, it's 4 lines - one for lists, one for tuples, one for basic values." < 1263765212 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm. what about binaries? < 1263765226 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :data Showable = forall a. (Show a) => Showable a < 1263765226 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :generic :: [Showable] -> [String] < 1263765226 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :generic = map show < 1263765228 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also that didn't make much sense < 1263765232 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh shit it's three lines < 1263765234 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and is MOST GENERAL < 1263765260 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well, I think erlang is nice, but I agree that page is shit < 1263765265 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yep page closed < 1263765280 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :guess money is making his mind fuzzy < 1263765285 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i didn't understand the code you ahve written < 1263765287 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :money? < 1263765289 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :can't be simply an idiot, quickcheck is awesome < 1263765289 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :he's rich? < 1263765296 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: no, a client wanted a version of quickchcek for erlang < 1263765298 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*quickcheck < 1263765301 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :he looks like he's supported by the red cross < 1263765303 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so, presumably he is getting paid to write erlang < 1263765338 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: the code I've written is simple < 1263765343 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :basically, when we saw (Show a) => ... < 1263765344 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in a type < 1263765349 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it means "this value must satisfy the Show interface" < 1263765357 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(they're actually called typeclasses but that's irrelevant) < 1263765363 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :data Showable = forall a. (Show a) => Showable a < 1263765363 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :means < 1263765364 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :also he's pronouncing erlang err-lang < 1263765377 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :while anyone who's seen erlang the movie knows it's pronounced our-lang < 1263765383 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Showable is a data type with one constructor, taking a single value, a. a must satisfy the Show interface." < 1263765389 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so we can have a list of Showables < 1263765397 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, err. I would pronounce it in Swedish instead. < 1263765402 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[Showable 1, Showable "fuzzy", Showable [1,2,3], Showable ('x','y')] < 1263765408 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :generic :: [Showable] -> [String] < 1263765415 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"Generic takes a list of Showables and returns a list of Strings." < 1263765416 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :generic = map show < 1263765417 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :same as < 1263765419 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, which would be closer to "ärlang" < 1263765421 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :generic xs = map show xs < 1263765425 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :presumably you know what map is < 1263765433 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: which is how the english pronounce 'our' < 1263765438 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :show :: (Show a) => a -> String < 1263765440 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ehird: wait, i got lost < 1263765443 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :cheateur, no not really < 1263765445 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :quite different < 1263765448 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :show is just "this value has a meaningful representation for humans as a string dude" < 1263765452 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that's what the Show typeclass is for < 1263765480 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :but I want read . show = id < 1263765492 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :maybe how it sounds to you, but sounds very different to a native Swede. (And Erlang is originally made by Swedes, though it is named after a Dane) < 1263765503 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no it's named after a company < 1263765513 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: you could do that in coq i think < 1263765516 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :well < 1263765523 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you'd have to put them in the same typeclass < 1263765529 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but then you could do something like (I don't know Coq): < 1263765542 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, officially it is named after http://en.wikipedia.org/wiki/Agner_Krarup_Erlang < 1263765544 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :prop_inverse : ForAll a. read (show a) = a < 1263765589 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1263765590 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it'd be < 1263765602 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :prop_inverse : forall x, read (show x) = x; < 1263765613 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, who did some important work in the telephony sector. < 1263765616 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and of course instances of ReadShow would have to provide a proof themselves... < 1263765645 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :ehird http://github.com/odge/parseq/blob/master/Examples.v < 1263765658 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :of course it also happens to match "Ericsson Language" but iirc I read they had both meanings in mind originally < 1263765665 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :Program Definition par_parser : Parser token (fun _ => True) par (fun x p y => x = print p ++ y /\ length y <= length x) < 1263765671 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I tried to use Coq but I'm not intelligent enough :( < 1263765674 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Agda was easier < 1263765675 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :sort of generalized loop invarient style version of what you wrote < 1263765687 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I just had to replace a few symbols and I could pretend I was using dependent types in haskell < 1263765692 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :you need that ++ y because parsing is incremental < 1263765692 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :anyways all this functional programming is so 2009 < 1263765699 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :and you need the length stuff to justify the recursion < 1263765700 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :what's the next thing after functional programming? < 1263765700 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, " [...] but I'm not intelligent enough :(" <-- a classic! < 1263765705 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: qbasic < 1263765714 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :sweet < 1263765714 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, XD < 1263765716 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :srsly tho < 1263765720 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: I don't know where you've got the impression I'm an egostist < 1263765727 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: this idea of there being a "next" is harmful and fashion-based < 1263765733 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :why do I bother linking stuff to ehird :( < 1263765737 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :we should be trying to improve, not randomly moving onto things < 1263765741 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: what do you mean, I liked it < 1263765744 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :ehird: that's exactly why i enjoy it < 1263765745 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1263765746 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I was just saying that I sucked at Coq < 1263765749 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :i like harmful things <3 < 1263765754 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :http://github.com/odge/parseq/blob/master/Parsing.v < 1263765757 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :that's the monad and all that stuff < 1263765758 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: unsafePerformIO < 1263765765 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, "egostist"? < 1263765770 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :egotist < 1263765773 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: wait that was examples and not the implementation? < 1263765776 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1263765777 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: no, i'm not doing anything atm < 1263765778 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: ok I *really* suck at Coq :) < 1263765785 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :haha ehird sucks cock < 1263765786 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the "at" there is terribly imporatnt... < 1263765791 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*important < 1263765792 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: AT < 1263765793 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AT COQ < 1263765794 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :hehe that Exampels file has a parser for balenced parens and arithmetic < 1263765795 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, did I say you were an egotist? < 1263765796 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1263765798 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that's just as bad < 1263765802 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: then why the combinatorics link? < 1263765805 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: you laughed at me saying i wasn't clever enough for coq < 1263765805 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :the Parsing.v is sort of like mini-parsec++ < 1263765812 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: because it doesn't look like very good self-study material < 1263765814 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: well i'm a math student < 1263765826 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: so in that case, you are studying maths < 1263765835 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the point was exactly that those exercises are incredibly stupid and trivial < 1263765838 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I was amused that _you_ would say you weren't cleaver enough for something < 1263765841 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection < 1263765849 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it just isn't your style < 1263765850 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Which is only funny if you think I'm an egotist. < 1263765854 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cheateur: yes, you could say that < 1263765857 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, isn't it spelled "egoist"? < 1263765863 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but why say that when you can say something else < 1263765865 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Only if you like sounding stupid. < 1263765877 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, both exists according to google define: < 1263765895 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes, but egoist sounds stupid. < 1263765911 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, it is how it is spelled in Swedish < 1263765920 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so I find egotist sounds weird < 1263765926 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes, well, all Swedes are stupid! < 1263765937 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, :( < 1263766177 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Notation "m >>= f" := (@Bind _ _ _ _ _ _ _ m f) (right associativity, at level 20). < 1263766183 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that syntax is weirdly englishlike < 1263766190 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, _ _ _ _ _ _ _ _ _ _ _ _ _ < 1263766224 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, haskell? < 1263766230 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Coq. < 1263766233 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1263766249 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION decides to start pronouncing coq as "coh" < 1263766255 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what does that code do? < 1263766264 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Define an infix ooperator. < 1263766266 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*operator < 1263766278 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1263766287 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :_ _ _ _ _ _ _ _ _ _ _ _ _ looks insane < 1263766409 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, seems agda was developed by Swedes btw ;P < 1263766670 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1263766685 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :this quicktest thing is pretty smart, i have had the same idea like 2 years ago < 1263766710 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's a trivial idea, it's the implementation that's good < 1263766711 0 :MigoMipo!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1263766727 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :what's a trivial idea? < 1263766752 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the trivial idea is the idea containing only one element < 1263766777 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :ACTION HISSES AT OKLOFORK < 1263766783 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oklopol, nice one :D < 1263766791 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah it was pure genius < 1263766818 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or should i say... night -> < 1263767150 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :ehird it's terribly ugly and verbose but all that can be fixed < 1263767275 0 :lepuspower!unknown@unknown.invalid NICK :mycroftiv < 1263767286 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: it's not that trivial < 1263768089 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes it is < 1263768112 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :is not < 1263768173 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes it is < 1263768254 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :no it's not < 1263768291 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :^ < 1263768304 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes it is < 1263768341 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :you lose < 1263768374 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes it is < 1263768478 0 :cheateur!unknown@unknown.invalid PRIVMSG #esoteric :<3 < 1263768483 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :no it's not < 1263768490 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes it is < 1263768533 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : ehird it's terribly ugly and verbose but all that can be fixed <-- read as "ehird is ..." < 1263768535 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1263768540 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1263768543 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and I thought "no ehird isn't verbose" < 1263768565 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(ugly I don't really know about) < 1263768568 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :YGBM < 1263768572 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, ? < 1263768572 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :You Gotta Beleive Me < 1263768575 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :mhm < 1263768625 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Am I not verbose? Am I not overly loquacious with the verbiage and associated endeavours? Indeed, it seems to be that a fully-formed expedition to investigate the verbosity of my person would be left with only one real option amongst the set of options available, with all others being eliminated due to some process (perhaps deduction, perhaps magic, perhaps something else entirely; I cannot say, as this is purely hypothetical. Nevertheless, it does not < 1263768626 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :matter.)—and that option would be to conclude that I am entirely verbose. < 1263768654 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, hehe < 1263768679 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, lets say, you are not verbose if that would annoy me ;P < 1263768705 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Surely you mean I am only verbose if it annoys you. < 1263768732 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, you can be that too < 1263768743 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :whichever annoys me most atm < 1263768769 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh, I parsed it as I am not verbose if being verbose would annoy you. < 1263768771 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Which isn't what you meant. < 1263768786 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :indeed not < 1263768801 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I meant you are terse when that annoys me < 1263768887 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I would be more worried about how they're going to "fix" you. < 1263768898 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Oh man my gut fauna are going mad (like they tend to do when I recover from food poisoning). < 1263768904 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :fizzie, the expedition? < 1263768924 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :When I think fauna I always think of deer. < 1263768929 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :OH NO MY GUT DEER < 1263768939 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :THEY ARE /DISPLEASED/ < 1263768959 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :uh, right < 1263768981 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :well "gut flora" would definitely be wrong < 1263768984 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, was that fake German "good" or was it English "gut" < 1263769016 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :See SimonRC. < 1263769021 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: fauna/fawn is the connection my brain makes. < 1263769026 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ah, ok < 1263769051 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Maybe there are some transparent fish on coral reefs that have actual gut flora, but not humans. < 1263769067 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hmm that's a neat idea actually < 1263769081 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heheh < 1263769091 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC, why transparent? < 1263769261 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: should i play with agda < 1263769299 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, is agda cool? < 1263769308 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Yes, but you won't understand it. :P < 1263769314 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh? why not < 1263769327 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Two phrases. Dependent types. Proof assistant. < 1263769341 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what sort of proofs can you prove with it < 1263769354 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :What is that supposed to mean? < 1263769404 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, well, math ones? is there a limit on what areas you can prove in? Say, over the reals or over the complex numbers, or the quaternions or such? < 1263769412 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Intuitionistic_type_theory < 1263769623 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Oh my god < 1263769623 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Kleene%E2%80%93Rosser_paradox <-- this looks remarkably similar to the proof for the halting problem < 1263769623 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :if you want < 1263769628 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :M-x set-input-method RET TeX RET < 1263769629 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I'm learning epigram < 1263769639 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what does that do? < 1263769643 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"\alpha " → "α " < 1263769649 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :wow cool < 1263769700 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, doesn't work very well. Try \inf < 1263769712 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Obviously prefixes have to be unique, so it'll be something else < 1263769722 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, hm? < 1263769739 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well then I don't know < 1263769772 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah \infty works < 1263769775 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but that is different < 1263769814 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :So? < 1263769823 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well just one small symbol missing < 1263769828 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it may be AMS-Tex even not sure < 1263769831 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1263769843 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, but that is seriously cool < 1263769850 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :\infty shows as the infinity symbol for me < 1263769866 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Cool, \gets gives ← < 1263769896 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :how do you get upper case alpha < 1263769903 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :\Alpha < 1263769907 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"sgml" also works < 1263769910 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :& → & < 1263769915 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, M-x set-input-method RET TeX RET < 1263769917 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :→ → → < 1263769920 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, this is not TeX < 1263769928 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, \Alpha doesn't work. \Delta does < 1263769933 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sheesh < 1263769958 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ηβπ ∈ ∞ ∑ ∪ ∨ Δδ α\Alpha < 1263769962 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm interesting < 1263769965 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lol "there4" < 1263769967 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :∴ < 1263769968 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :XD < 1263769978 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :there4 we kan c dat < 1263769982 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what really? is that input mode sgml? < 1263769985 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1263770005 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :set-input-method greek lets you be all greek all the time < 1263770017 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Ηελλο. Ηος αρε υοθ? < 1263770024 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :WP Greet Box icon < 1263770024 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :X < 1263770024 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :Hello there fellow Reddit user! If you like this msg, please remember to vote for this soupdragon on Reddit. < 1263770034 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :______ posted using my iPhone < 1263770046 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :wat. < 1263770047 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :RECESSION GOT YOU DOWN? CLICK HERE < 1263770063 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : Ηελλο. Ηος αρε υοθ? <-- hm "hello hoc ape voO"? < 1263770064 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :tag cloud: esoteric, esolang, wiki, ehird, insane < 1263770088 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: hello how are you < 1263770089 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :わぱねせ < 1263770093 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, also it works nicely inside erc < 1263770098 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what language is that < 1263770102 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :The user is powered by IRC with xchat < 1263770108 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: go away < 1263770115 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :[w3c complaint?] < 1263770127 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I'm just testing soupdragon[beta] < 1263770127 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, plus I want combined tex + sgml input method < 1263770134 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Tough < 1263770141 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1263770155 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, should be possible < 1263770175 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :will look at it tomorrow or later < 1263770195 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :Follow Me: 244 followers, twitter-counter < 1263770204 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, stop spamming < 1263770215 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Tælkɨŋɲ ɨŋ ɪPɑ mækɚʃ ɑŋɚ ʃøʉŋð prøfœʉŋð. < 1263770228 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I wish I could read IPA < 1263770230 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, "mækɚʃ ɑŋɚ ʃøʉŋð prøfœʉŋð"? < 1263770234 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :makes one? < 1263770236 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :what about shavian? < 1263770238 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Yes. < 1263770253 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, then I have a bit of an issue. could be "an elitist" I guess ;P < 1263770264 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: ??? < 1263770268 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's easy to read. < 1263770274 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Talking in IPA makes one sound profound. < 1263770278 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1263770286 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(set-input-method ipa) < 1263770293 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, how does it work there < 1263770300 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :but there's a difference between figuring out what it says... and read it as it is supposed to be pronounced < 1263770312 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ןאד שךך יקנרק' אם צק! < 1263770327 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and what is that < 1263770327 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: See minibuffer when typing some letters < 1263770331 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Hebrew. < 1263770331 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh right < 1263770384 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Tælkɨŋɲ ɨŋ ɪPɑ <-- okay that was painful to write < 1263770430 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, what does set-input-method brittish do < 1263770435 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't seem to do anything < 1263770454 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :shift-3 = £, I bet < 1263770460 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and shift-2 = " < 1263770467 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and shift-' = @ < 1263770478 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :shift-3 does that < 1263770487 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :for shift-2 that is already true on my keyboard < 1263770497 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :shift-' I can't tell < 1263770537 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :how do you do subscripts with tex < 1263770542 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :_ < 1263770546 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ah yes < 1263770549 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :wait that is subscript < 1263770553 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh yeah < 1263770555 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :except that doesn't work. < 1263770557 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :double misread < 1263770563 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, did ^ for superscript work? < 1263770563 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :type \_0, see failure < 1263770570 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, no \ in front < 1263770571 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :in real tex < 1263770578 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :iirc < 1263770582 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :erm right just _ works < 1263770583 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but produces < 1263770588 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :א₀ < 1263770589 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :er wtf < 1263770593 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :how is that backwards < 1263770593 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that worked? < 1263770594 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1263770595 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hebrerw < 1263770597 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hebrew < 1263770599 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1263770608 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :א₁ < 1263770609 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :>_< < 1263770620 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :set TeX you dolt < 1263770626 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :א₀ ≡ א₁ < 1263770627 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :HERESY < 1263770631 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :what is input method UCS? < 1263770639 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i think alt-NNNN = U+NNNN < 1263770654 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :₁א < 1263770656 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :₁א₁ < 1263770658 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :wtf < 1263770665 0 :ehird_!n=user@91.105.66.124 JOIN :#esoteric < 1263770678 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :א₀ ≡ א₁ < 1263770681 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1263770686 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It might be my OS being stupid < 1263770690 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Works in Emacs < 1263770724 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :Wonder how to do that single :: char < 1263770768 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :f²⁴⁶ s⁴² < 1263770778 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :א₀≡א < 1263770779 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1263770786 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, xchat does that last thing if I use it < 1263770793 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also that dropped an 1 < 1263770832 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :id :: ∀α. α → α < 1263770835 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :id α = α < 1263770882 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : why the () in the second but not ([]) in the first? <-- : has precedence (6 iirc) like an operator, and behaves similarly wrt parentheses < 1263770883 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :\rightarrow works btw < 1263770903 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, hah < 1263770908 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, "aha" < 1263770928 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: what's the dot for compose in ams latex < 1263770955 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :o < 1263770957 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1263770962 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :if you don't mean \circ then i don't remember < 1263770965 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :⊙ < 1263770967 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :dammit < 1263770969 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :thaat's odot < 1263770970 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :so close < 1263770971 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :*that's < 1263771060 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :(○) :: ∀α. ∀β. ∀γ. (α → β) → (γ → α) → (γ → β) < 1263771086 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: technically haskell reserves all operators starting with : as data constructors, and you can define their precedence with the usual infix[lr]? command < 1263771089 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :(f ○ g) x = f (g x) < 1263771094 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :I don't think \circ is it, but close enough < 1263771103 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, oh nice < 1263771106 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Any fancy mathematical symbols for arbitrary function names? < 1263771119 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, circ isn't it < 1263771124 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :but I don't know what is < 1263771125 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :I said that, but close enough < 1263771131 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, I just agreed with you < 1263771150 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :iirc ghc has an extension to allow those for type constructors as well (standard haskell only has -> there) < 1263771161 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird - getting annoyed for me agreeing with him since 2010 < 1263771167 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :I wasn't annoyed. < 1263771167 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you sure have a lot of "since time" < 1263771171 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :I was pointing out I had already said it. < 1263771183 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :suuuuuure < 1263771204 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :You, on the other hand, are apparently so irritable that you interpret my benign actions as against you, and act crazy when I point out that they weren't annoyed. < 1263771218 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, I just don't believe it < 1263771228 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, and I'm chuckling at this < 1263771256 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :Issues; you have them. < 1263771266 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, :D < 1263771291 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird_: i think function naming custom depends a lot on what kind of function it is. < 1263771295 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :also "this" wasn't at "me don't believing you" it was at "you claiming not to be annoyed" < 1263771301 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: anything! :P < 1263771308 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, which indicates not quite as weird issues at least < 1263771313 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :specifically, the arguments to the misnamed (○) < 1263771315 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeah pretty much < 1263771326 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :"me don't believing you". Purveyors of fine grammar. < 1263771330 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :○_○ < 1263771338 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, wonderful < 1263771369 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :↺ < 1263771372 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :↻ < 1263771375 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ooh < 1263771377 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :® < 1263771379 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :Ⓢ < 1263771381 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :↻_↺ < 1263771383 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :⊛ < 1263771388 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :↺_↻ < 1263771390 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :⊚ < 1263771398 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, those are just a blur here < 1263771401 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :⊝ < 1263771402 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :apart from the S in the ring < 1263771409 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :⊝_⊚ < 1263771410 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :the S in the ring was *very* clear < 1263771428 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :▿ < 1263771431 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, ⊛ ⊚ ⊝ are not readable < 1263771437 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :⊴ < 1263771443 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :≜ < 1263771450 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :∗ < 1263771473 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, ∗ is just * ? < 1263771478 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :\ast < 1263771483 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh wait, it is in the middle of the row < 1263771486 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :⊛ is circledast < 1263771499 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :· < 1263771505 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :℃ < 1263771509 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :that's one character < 1263771510 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :so cool < 1263771528 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :33℃ < 1263771556 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :ζ < 1263771559 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :what is cool about ℃ < 1263771583 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :⊤ < 1263771584 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :o(ζ)o < 1263771588 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :⊥ < 1263771590 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :that is one symbol just for degrees C? ℃ < 1263771595 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :rather than a degree sign? < 1263771606 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :error :: String → ⊥ < 1263771640 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :∎ < 1263771646 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I love ∎ < 1263771649 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :⊥ < 1263771649 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :∎ < 1263771660 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, a black square? < 1263771660 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :↑ How to prove anything to a non-total programmer. < 1263771663 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :very small such < 1263771694 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :∍ < 1263771701 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, do you still have that unicode graph line generation script around? < 1263771702 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :‵ < 1263771720 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Yes. < 1263771732 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, that last one was prim? < 1263771741 0 :FireFly!unknown@unknown.invalid QUIT :"Leaving" < 1263771742 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :backprim < 1263771749 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :f′ < 1263771772 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :Optimus′ < 1263771806 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :totally a programmer < 1263771812 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, -_- < 1263771833 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION bows < 1263771834 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird_, also what is ζ now again? < 1263771846 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :‵o′ < 1263771858 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :‵.o.′ < 1263771896 0 :ehird_!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: zeta < 1263771906 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1263771944 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah found it at /mnt/gentoo$HOME/irc/sparkline < 1263772053 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm rewriting it in Haskell now :P < 1263772055 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :look up the rayman zeta function < 1263772060 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, why? < 1263772068 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Because Python sucks and Haskell rocks. < 1263772072 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: lol rayman zeta function < 1263772082 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, why did you write it in python back then < 1263772092 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: I was an unenlightened fool. < 1263772101 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :haha was < 1263772104 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, oh? I thought you knew haskell at that point < 1263772105 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric ::3 < 1263772107 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION stabs soupdragon < 1263772113 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, :D