00:00:43 dumb? 00:00:56 do you mean unrealistic or just stupid? 00:01:58 -!- ehird has quit. 00:05:22 -!- anmaster_l has quit ("Leaving"). 00:07:18 -!- ehird has joined. 00:07:38 :( 00:07:41 soupdragon: lemme get a link for you 00:09:34 http://docs.google.com/Doc?id=ddv7939q_20gw8h9pcx 00:09:40 great singularity scifi 00:09:52 by steve yegge (yes, that steve yegge) 00:10:19 huh 00:10:23 okay thanks 00:10:30 I'll read it after rainbows end 00:10:50 yeah I think I enjoyed some of yegges blog 00:10:52 not sure 00:10:58 it's nothing like his blog, anyway 00:11:04 guy should become an author 00:11:13 also most people think the singularity is stupid/unrealistic/harmful/whatever, it's just an intuitively wrong-seeming concept 00:11:27 that's what you get for abnormal thought :P 00:12:15 Baconnaise. 00:12:51 Gregor: bacon + anything non-bacon is inferior to solely bacon 00:12:57 it's like you're diluting the bacon with an inferior concept 00:13:07 Baconnaise actually contains no bacon :P 00:13:09 the same goes for chocolate, which makes bacon chocolate the only exception 00:13:16 I agree with ehird on this for mayonnaise 00:13:25 Gregor, it exists? 00:13:27 Yes. 00:13:31 and if you want chocolate bacon, well 00:13:32 http://www.vosgeschocolate.com/category/bacon_and_chocolate 00:13:34 go buy some 00:13:34 I am eating a turkey sandwich made with it /right now/. 00:13:45 ehird, also garlic. This baconchocolategarlic is also allowed 00:13:45 I want Pthing to say 00:13:49 Pthing say!! 00:13:50 I've never actually had mayonnaise. True facts. 00:14:10 AnMaster: No, baconchocolategarlic would just be awful. 00:14:16 ehird: You either don't eat sandwiches, or use "sandwich spread" 00:14:22 ehird, anyway nougat (of the right type, there are several unrelated things called nougat) > chocolate 00:14:25 Gregor: Or am a being of pure energy. 00:14:34 These are the three realistic options. 00:14:37 say what 00:14:37 ehird: Which would imply the former. 00:14:58 ehird, I mean this type of nougat: http://sv.wikipedia.org/wiki/Fil:Nougat_sweets.jpg 00:14:59 Gregor: Maybe I absorb sandwiches but it strips all the mayonnaise out due to a computer glitch. 00:15:09 ehird, not this type: http://en.wikipedia.org/wiki/File:Nougat.jpg 00:15:27 Nougat is nice but chocolate > nougat. 00:15:31 By far. 00:15:49 ehird, I disagree. Also the second one doesn't look like nougat at all 00:15:51 Controversial statement: 00:15:54 ehird, what about white chocolate? 00:15:56 Vanilla > Chocolate 00:16:00 White chocolate is a lie. 00:16:03 And all who like it must die. 00:16:10 White chocolate isn't bad... it's just not chocolate. 00:16:15 ehird, agreed 00:16:18 Vanilla is a nice taste. 00:16:20 it is nice, but not chocolate 00:16:22 I think it's about equal to chocolate. 00:16:25 Different situations. 00:16:33 Vanilla is so underappreciated, though. 00:16:38 Gregor, depends. If it is fresh and not dried 00:16:40 it is wonderful 00:16:48 that's hellishly expensive though 00:16:49 had it once 00:16:52 We're talking about flavours, not the source materials 00:16:55 http://en.wikipedia.org/wiki/British_Rail_flying_saucer 00:16:55 really really wonderful 00:17:00 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 00:17:00 was filed had become a large passenger craft for interplanetary travel.[4] 00:17:05 ehird, yeah but I meant for home made vanilla icecream 00:17:50 Gregor, home made vanilla icecream on *fresh* vanilla pods is wonderful 00:17:55 Raisable platform -> INTERPLANETARY TRAVEL 00:18:08 Getting into space is just raising the platform really, really high, right? 00:18:20 And if you can go upwards you can go leftwards and rightwards and forwards. 00:18:22 Tada. 00:18:34 hah 00:18:46 Honestly, NASA should just take consumer jets and fly them directly upwards. 00:18:53 How hard can it be? 00:19:58 ehird, well, it won't work 00:20:09 * ehird punches AnMaster 00:20:12 I can't hear you. 00:20:16 Why are you hitting yourself? 00:20:16 ehird, because they need air at high pressure, it won't work above a certain altitude 00:20:20 * ehird punches AnMaster 00:20:22 Stop hitting yourself. 00:20:26 * ehird puts fingers in ears 00:20:28 you need ramjets for high altitudes 00:20:30 LA LA LA LA LA 00:20:32 or scramjets 00:20:42 I CAN'T HEAR YOU 00:20:44 like SR-71 Blackbird, had a ramjet 00:20:58 ehird, and stop being silly. 00:21:05 I know you are but what am I? 00:21:17 laaaaaaaaaaawl 00:21:33 Okay, I've gotta stop now before I have to commit seppuku. 00:21:38 anyway the principle behind a jet engine is very interesting I find. 00:22:52 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). 00:23:16 also, to actually go straight up would require a lot more power 00:23:33 I like to imagine space elevators are exactly as Roald Dahl imagined. 00:23:42 ehird, XD 00:23:43 Just press floor "Mars". 00:24:11 Up and Out 00:24:29 "Up and Out" gets you into the glorious Earth air. 00:24:32 the engines of a 747 would be unable to lift a 747 *straight up* 00:24:37 "Really Up and Really Out", however... 00:24:54 since you get no lift from wings then. which is why a 747 still files normally 00:25:45 (note, this is simplified, it ignores drag, lift from the body itself and several other details) 00:26:32 (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) 00:26:44 All we need is augur to talk about linguistics and all two-way conversation will finally die. 00:26:53 ehird, :D 00:27:07 im busy DOING linguistics 00:27:07 so 00:27:17 In the sexual sense or the academic sense? 00:27:20 DON'T ANSWER 00:27:28 lol 00:27:44 ehird, what, is "doing linguistics" innuendo? 00:27:48 I can't imagine how 00:28:13 do, v. see have sexual intercourse with. 00:28:18 ouch right 00:28:31 Ouch? You might want to go and see a doctor about that. 00:28:50 ehird, "ouch that I didn't spot that, since I knew about that meaning" 00:28:56 Whoosh. 00:29:12 ehird, no it wasn't a joke. 00:29:55 ehird, also: time for ethernet over firewire 00:30:00 ? 00:30:04 going to try it with the new firewire stack in linux kernel 00:30:20 wish me best of luck: "(EXPERIMENTAL)" 00:30:31 And with that, he died. 00:30:41 not yet 00:30:46 I'm locating the cable 00:30:54 Gone but... uh, and forgotten. 00:31:14 ehird, it would be kernel oops at worst 00:31:32 Unless it hit a hardware bug that caused it to catch on fire, thus causing e.g. your PSU to explode. 00:31:36 ehird, in an academic sense :P 00:32:00 "Kernel oops; three fatalities." 00:32:05 Aww, I thought AnMaster said that, not augur. 00:32:09 Which made it funnier. 00:32:24 what 00:32:28 heheh 00:33:01 ehird, what would it have meant if I had said it. It doesn't seem to make sense there. 00:33:19 Well, like how in functional programming we model both errors and non-termination as one value, _|_. 00:33:41 So, you'd be saying that academically, hardware catching on fire thus making your CPU explode would be considered a kernel oops. 00:33:49 Thus "Kernel oops; three fatalities.", and now the frog is dead. 00:34:00 ehird, haha 00:34:16 ("Explaining a joke is like dissecting a frog: you understand it better, but the frog dies in the process." —Mark Twain) 00:34:49 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 00:34:58 they are just failure modes 00:35:15 "Error: Something went wrong. Are you on fire? [Y/n] " 00:35:19 if yes → 00:35:27 "Oh dear. Something went badly wrong." 00:35:29 if no → 00:35:37 "Alright then. You can reboot now." 00:35:57 ehird, what if you aren't on fire yet but the desk is? 00:36:02 well yeah no difference 00:36:06 No issue! 00:36:06 you can just reboot then 00:36:15 Yes. 00:45:33 * ehird plays some dna maze 00:45:41 ehird, it is working btw :) 00:45:54 Yay. 00:45:58 ehird, btw image editors creating *~ files 00:46:02 what is your opinion on it? 00:46:32 Creating *~ files in general is irritating. 00:46:38 Put it in some other directory. 00:46:41 ehird, and for image editors? 00:46:47 that create 40 MB *~ files 00:46:57 Put it in ~/.imged/autosaves/somemangleldpath 00:47:00 *somemangledpath 00:47:08 (due to you editing large files of course) 00:47:17 ehird, issue, doesn't work well over different file systems 00:47:27 since before it could just move the old file and write a new 00:47:31 now it needs to copy it in theory 00:47:36 Meh. 00:47:38 Work out some solution. 00:47:44 But don't put it in the same directory. 00:47:45 ehird, which is irritating for 40 MB files 00:47:54 ehird, well, "don't create *~" is my idea 00:48:05 That's risky. 00:48:05 just remove it once you synced the new file to disk 00:48:13 ehird, remove it after the new file is fully written 00:48:26 this wallpaper background is nice and soothing 00:48:31 it's like i'm using ubuntu without the ugly 00:48:45 mhm? screenshot? 00:49:21 Uploading. 00:50:22 Ugh, imgur compressed it for being too big. 00:50:28 All image hosts eventually suck exactly the same... 00:50:39 * ehird goes for trusty old xs.to 00:51:05 ehird, filebin.ca? 00:51:13 That would force a download. 00:51:21 ehird, well I would just gimp on the url 00:51:43 ffffff it did the same 00:51:45 fine, filebin 00:51:58 Do you want the wallpaper or a screenshot with it, btw? 00:52:09 If the former I could just link you 00:53:03 http://filebin.ca/tonxzc/Picture1.png 00:53:14 AnMaster: 00:53:36 ffs. it stopped working once it got hit with a large transfer 00:54:07 ehird, how large is the file? 00:54:12 ehird, also either is file 00:54:14 fine* 00:54:43 The file is just 2 megs or so 00:54:45 It's a screenshot 00:54:54 ehird, it looks noisy? 00:54:58 That's an intentional effect 00:55:02 Only on the background 00:55:03 ah 00:55:38 Here's a link if you want it: 00:55:51 http://lambda.nirv.net/m/files/Love.png 00:55:53 ehird, I don't really 00:56:00 TOUGH :P 00:57:00 http://lambda.nirv.net/m/screenshots/20091201.png Here's a wonderful screenshot of Emacs + chocolate-rain-theme + that background 00:57:09 (I use both now, because darn they're pretty.) 00:58:30 ehird, also that bg is an awkward size 00:58:43 It is not. 00:58:45 16:10 00:59:26 ehird, I said size, not aspect ratio 00:59:37 What's awkward about it 00:59:42 It's big enough for most monitors 00:59:46 Your DE can scale the background for you 01:00:12 ehird, wait aren't macs 16:9? 01:00:23 The new iMac is 16:9. 01:00:39 All other Macs and Apple Displays, plus old iMac models, are 16:10. 01:00:44 (That is, after they were 4:3.) 01:01:21 ehird, long live 5:4 01:01:25 (it exists) 01:01:30 No, let's not. 01:01:35 Long live 3:4 or something. 01:01:43 ehird, long life 1:1 01:01:46 live* 01:01:52 That won't look square. 01:02:00 ehird, what? 01:02:11 AnMaster: Seriously; make an NxN square in your favourite image program. 01:02:20 Note how it does not appear to be a perfectly measured bastion of wholeness. 01:02:24 yes, made a 32x32 one 01:02:26 In fact, it seems inequal. 01:02:27 AnMaster: Bigger. 01:02:29 Try 100x100. 01:02:35 Up to 500x500 01:03:03 100x100 looks square at least 01:03:07 * AnMaster tries 500x500 01:03:21 Yes, but don't analyse it like that. 01:03:28 Just look at it and note it seems to be fatter than it is tall 01:03:28 looks square 01:03:33 Meh 01:03:37 ehird, no it looks taller than fatter 01:03:39 at a glance 01:03:42 Okay then 01:03:44 The other way around then :P 01:03:49 See what I mean? 01:03:54 ehird, for some sizes 01:04:00 for some it is fatter than taller 01:04:06 ^_^ 01:04:21 ehird, anyway how to make something that looks square... 4:3 does not 01:04:36 Don't bother, human vision isn't square 01:05:08 ehird, how then can we even have a concept of "looking square"? 01:05:16 Either optimise for A? (hey, fizzieuniversity :P) sort of dimensions for text, or optimise for widescreen for useful computing workspace. 01:05:23 AnMaster: ??? 01:05:31 We see "square pixels", as nonsensical a concept as that is 01:05:38 Our whole vision just is rectangular... sort of. 01:05:45 Point is, vision is obviously widescreen 01:05:58 ehird, I heard someone suggest that hexagonal pixels would be better 01:06:03 lol 01:06:18 ehird, as in a serious scientist interviewed in radio 01:06:23 Could be fun 01:06:32 -!- augur has quit (Read error: 110 (Connection timed out)). 01:06:40 ehird, he talked about how it could better represent photos 01:06:45 for shape 01:07:04 and also about packing pixels closer, resulting in a higher DPI feeling 01:07:06 Cool, Esolang forum activity. 01:07:10 Downside: It's not about an esolang. 01:07:14 (or was it truly higher dpi? don't remember) 01:07:16 ehird, spam? 01:07:19 Nope. 01:07:23 Just a non-esoteric language. 01:07:25 huh 01:07:30 http://esolangs.org/forum/kareha.pl/1262953236/l50 01:07:47 Presumably they think it's "experimental" enough to be esoteric. 01:09:33 160x55 is a nice Emacs size. 01:10:05 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. 01:10:15 Horizontally it handles a whole two 80-column windows, so no line wrapping. 01:10:28 (55 was chosen because it lets Emacs be in a nice place and not intrude on my Dock.) 01:11:05 mhm 01:11:40 Damn ehirdOS is so beautiful. :| 01:12:07 It's so much better now that I basically pilfered wholesale the ideas for the underlying language from Luke Palmer. 01:12:10 Beautiful inside and out! 01:13:20 ehird, what ideas? 01:13:34 Dana? 01:13:40 Uhh. Is there a way for me to say "you wouldn't understand" in a non-offensive, not-really-worth-telling-you way? 01:13:43 soupdragon: pretty much 01:13:48 ehird, "no" 01:13:57 AnMaster: You wouldn't understand, then. 01:14:03 AnMaster, it's basically combinator logic with a crazy type system, as I undertand it 01:14:10 dana is more than just the lang though 01:14:15 it's the frp approach to the entire os 01:14:18 soupdragon, interesting for an OS 01:14:30 * soupdragon has no idea how it (theoretically) works 01:14:40 I can't imagine how it applies to an OS either 01:14:42 dependent types and magic 01:14:55 AnMaster: See, when I said "you wouldn't understand", I was trying to avoid wasting your time. 01:15:18 ehird, well I wouldn't trust you on that would I? :P 01:15:38 Considering it was my explanation you were asking for, I'm probably pretty accurate on matters of it. 01:16:16 ehird, well yes, but I wouldn't trust you on what I understand and not 01:16:59 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. 01:18:21 -!- BeholdMyGlory has quit (Remote closed the connection). 01:21:48 ehird, plus weren't you going for lots of other things before? 01:21:52 smalltalk and what not 01:22:12 ehirdOS: a concrete design, set in stone; unchanging in its precise perfection. 01:22:20 There are too many implementations for me to break them wantonly like thaat. 01:22:27 *that 01:22:28 :P 01:36:40 -!- clog has joined. 01:36:40 -!- clog has joined. 01:36:52 -!- clog has joined. 01:36:52 -!- clog has joined. 01:37:47 -!- FireFly has quit ("Leaving"). 01:41:45 -!- olsner has quit (Remote closed the connection). 01:41:57 -!- olsner has joined. 01:47:09 -!- olsner has left (?). 01:47:24 -!- olsner has joined. 01:48:00 -!- rodgort has quit (K-lined). 02:05:19 klined? 02:05:20 o_o 02:05:26 clog flooding? 02:05:30 what is the world 02:06:43 spam is the world 02:08:35 the bird's the world 02:10:55 night 02:28:21 -!- augur has joined. 02:43:05 -!- pikhq has quit (Read error: 54 (Connection reset by peer)). 02:43:05 -!- pikhq_ has joined. 02:44:08 hi pikhq_ 02:44:48 -!- Slereah has quit (Read error: 110 (Connection timed out)). 03:15:35 -!- ehird has quit. 03:34:30 -!- augur has quit (Read error: 110 (Connection timed out)). 04:00:30 -!- MizardX has quit (Read error: 60 (Operation timed out)). 04:33:09 -!- augur has joined. 04:33:44 hello kids 05:24:05 -!- rodgort has joined. 05:27:32 -!- rodgort has quit (Client Quit). 05:27:54 -!- rodgort has joined. 05:28:33 http://tvtropes.org/pmwiki/pmwiki.php/Main/MohsScaleOfScienceFictionHardness?from=Main.MohsScaleOfSciFiHardness 05:28:39 needs more hard sci fi :( 05:28:47 I've read snow crash and it's like up at the top that's crazy 05:48:44 -!- rodgort has quit (Client Quit). 05:54:27 -!- rodgort has joined. 06:08:26 -!- soupdragon has quit ("Leaving"). 06:52:28 blurghle 06:52:36 linguistics 07:03:14 -!- oerjan has quit ("Good blight"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:12:08 -!- jpc has quit (Read error: 110 (Connection timed out)). 08:13:31 -!- BeholdMyGlory has joined. 08:18:04 -!- kar8nga has joined. 08:49:29 -!- kar8nga has quit (Remote closed the connection). 09:11:49 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'? 09:56:48 -!- coppro has quit ("I am leaving. You are about to explode."). 09:57:39 -!- coppro has joined. 10:47:10 -!- Pthing has quit (Remote closed the connection). 10:52:02 -!- Slereah has joined. 11:26:31 -!- FireFly has joined. 11:39:26 -!- soupdragon has joined. 11:59:35 -!- zeotrope has joined. 12:02:42 -!- Pthing has joined. 12:34:36 -!- MizardX has joined. 12:52:07 properification 13:05:53 :-S 13:07:21 -!- MigoMipo has joined. 13:07:37 the the is an article, so maybe it could be articulation 13:40:12 olsner, isn't that related to pronouncing things? At least I think the similar Swedish word is? 13:40:26 yes 13:40:56 -!- kar8nga has joined. 13:41:39 of course what olsner said _could_ have been punification, not sure 13:51:05 -!- Pthing has quit (Remote closed the connection). 13:59:32 -!- MizardX- has joined. 14:03:34 -!- MizardX has quit (Read error: 60 (Operation timed out)). 14:03:57 -!- MizardX- has changed nick to MizardX. 14:42:58 -!- kar8nga has quit (Remote closed the connection). 14:46:31 -!- MizardX- has joined. 14:50:37 -!- cheateur has joined. 14:50:41 hey guys 14:51:02 if i'm going for high performance clusters, should i choose erlang or haskell? 15:02:45 -!- MizardX has quit (Read error: 110 (Connection timed out)). 15:02:56 -!- MizardX- has changed nick to MizardX. 15:05:24 cheateur, those aren't really esolangs are they? 15:06:24 but anyway, it would depend on what you would use the cluster for 15:07:59 yeah, but i didn't want to ask in either of their channels 15:08:06 for obvious reasons :P 15:08:12 hah 15:08:22 AnMaster: what would the different uses be that you could single out? 15:09:22 cheateur, number crunching, or handling of lots of concurrent server threads 15:09:24 for example 15:09:44 I don't know enough about haskell, but I know erlang is way better at the second one 15:10:42 there would likely be lots of other possibilities too 15:10:51 i would say concurrent server threads 15:11:25 why is erlang better at that? 15:11:35 is it just maturity of the platform? 15:11:38 cheateur, remember erlang was originally designed to run on telephony switches. The actual data moving was back then done in hardware. 15:11:54 i know 15:11:55 erlang uses message passing, not shared memory 15:12:56 cheateur, it just isn't optimised for number crunching style of workloads 15:13:20 and why is message passing better for high concurrency servers? 15:15:15 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 15:15:15 it 15:15:49 cheateur, it has good language level and library level support for server style processes 15:16:08 ah, so it's not that it has *concepts* that allow better performance 15:16:22 it's that it is just better written 15:16:31 cheateur, well, it is well tuned for that load. And it is easy to write that style of thing 15:16:38 cheateur, also you can reload code on the fly 15:16:51 without restarting current processes 15:17:30 that's nice 15:17:32 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 15:17:36 can haskell do that? 15:17:53 cheateur, well, erlang is a VM, it would be way harder if it wasn't for the VM 15:18:11 but for haskell, I don't know it well enough 15:18:30 aha 15:18:34 cheateur, erlang also have almost seamless support for distributing stuff over several nodes 15:18:41 i'm just looking at learning a new language 15:18:54 C looks like it'll be fucking boring for no reason 15:19:21 and most stuff i do is web or service oriented 15:19:38 so i thought about something like haskell or erlang to write nice big services 15:19:40 (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) 15:20:00 but you pass it a message the same way as a local process 15:20:07 s/it/a remote process/ 15:20:15 and haskell doesn't do that? 15:20:32 cheateur, well, I don't know if haskell even has support built in for distributed nodes. 15:20:52 i would assume so 15:20:55 but it is only an assumption 15:21:39 AnMaster: if i know php, python, and probably almost everything web-related, what language would you suggest to me? 15:22:15 cheateur, do you know any esolang? Any functional language? 15:22:21 no 15:22:30 bear in mind i need to be able to make money with it too 15:22:34 hm if you don't know an esolang what are you doing in here? :) 15:22:49 trolling? ;) 15:22:53 hah 15:23:02 i have brainfuck installed 15:23:04 if that helps 15:23:10 maybe 15:23:44 well, both erlang and haskell are functional languages. That will be hard if you only know the imperative approach. Haskell even more so. 15:24:08 maybe starting with scheme to get a general idea of functional programming would be a good idea. 15:24:28 i'm a mathematician, most programming languages aren't that difficult 15:24:28 i've learnt asm by using a debugger 15:24:54 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) 15:25:03 you're another of these folks that think mathematicians are gods 15:25:05 I think the same goes for haskell 15:25:20 dunno if i want to go with scheme, it feels like a sort of halfway solution 15:25:32 -!- Slip has joined. 15:25:36 soupdragon: they aren't ?? 15:25:54 cheateur, it is a nice educationish language for learning the basic concepts of functional programming. 15:26:16 -!- Slip has left (?). 15:26:21 AnMaster: gotcha 15:26:29 AnMaster: i know that in erlang variables are immutable 15:26:43 cheateur, but if you know enough of math concepts then it shouldn't be too hard 15:26:55 but for making money of it, who knows. I can't answer that 15:27:32 AnMaster: but i thought this only had to do with the 'place in memory', not the handle 15:27:47 hm? 15: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'? 15:28:35 well there is no assignment as such in erlang. There is pattern matching. Meaning you can do something like {true,{X,Y,Z}} = somefunction() 15:28:42 i.e. the '1' would still exist, but it would be dereferenced. 15:28:43 where {} is the notation used for tuples 15:29:21 AnMaster: is there a one-click way for me to start writing erlang *now*? 15:29:26 i'm on 'doze 15:29:59 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. 15:30:16 cheateur, hm, I think they have a windows download on erlang.org, but I'm on linux myself 15:30:23 so I never tried it 15:30:38 i'm on linux normally too, but ubuntu is gay and it blew up. 15:31:03 what about other distros? 15:31:35 cheateur, also I believe the first few chapters of some of the erlang books are available online for free 15:31:39 * AnMaster has it in paper form 15:31:53 no, it's just that it blew up on my laptop 15:31:54 :P 15:31:56 well one of them 15:32:17 luckily i kept windows as dual boot 15:32:24 ah yes there are a few extracts at http://www.pragprog.com/titles/jaerlang/programming-erlang 15:33:37 -!- oerjan has joined. 15:33:41 oerjan, hi 15:33:48 hi AnMaster 15:36:27 cool 15:36:29 thanx 15:37:30 oerjan, btw I didn't get the joke in iwc yesterday 15:38:01 iwc? 15:38:11 cheateur, webcomic we both reads. 15:38:12 read* 15:38:18 cheateur: iiuc haskell's concurrency is optimized for many cores with shared memory, it's not really designed for distribution 15:38:44 aha 15:38:57 hiya oerjan 15:39:13 hi soupdragon 15:44:25 AnMaster: Paris is pointing out that this proves what she already knew... 15:45:30 oerjan, oh right. Wasn't very funny. Thought it was some pun on "nuts" 15:46:28 I want cake 15:46:55 * oerjan hands soupdragon a delicious cyanide cake 15:47:13 oerjan the norwegian dragonslayer 15:47:54 well oerjan supposedly is a mangled form of "george", so that fits 15:48:17 oerjan, huh that was quite a bit of mangling 15:48:17 our "george" is "yrjö", which means "puke" 15:48:30 pronounced a bit like oerjan 15:48:44 AnMaster: i assume it's via swedish göran 15:48:47 oklopol, wait a sec, is that a name in Finland? 15:49:03 oerjan, we have both Örjan and Göran. 15:49:07 i know 15:49:08 yeah 15:49:30 there's a swedish name that means gay, and there's and english name that means dick, not sure how it's interesting 15:49:38 *n 15:49:40 *an 15:49:42 well so what. Odd, Even and Bent are names in norway :) 15:49:56 oklopol, so it's like being called "puke"? As in throwing up? 15:50:08 yeah 15:50:13 as i said, not at all weird 15:50:19 Roar is also a norwegian name 15:50:23 oklopol, must be rare that anyone is called that? 15:50:36 a bit. but there are still a lot of "dicks" 15:50:46 oklopol, if "yrjö" both means puke as well as being a name. 15:51:00 are you reading what i say? 15:51:04 olsner, yes bit it meaning something else in another language isn't as bad as meaning something else in the *same* language 15:51:23 oklopol, I hope so. I was just trying to double check this 15:51:29 how is puke worse than "gay" or "dick" 15:51:40 (given that both are insults) 15:51:53 calling someone puke is not an insult 15:51:57 it's just weird. 15:52:00 as for that, i understand Homo used to be a norwegian surname. 15:52:01 oklopol, good point. But I don't know which word "there's a swedish name that means gay" you mean 15:52:09 starts with b 15:52:11 ahhh, now i remember iwc 15:52:11 calling something gay isn't an insult 15:52:18 oklopol, no clue 15:52:22 soupdragon: yes it is 15:52:31 soupdragon: it is frequently used as one. 15:52:38 then why is calling someone puke not an insult? 15:52:43 ...it just isn't? 15:52:48 illogical 15:52:57 gay makes less sense as an insult than puke, yes. 15:53:16 just like "idiot" makes less sense as an insult as "guy i don't like" 15:53:25 but only one is used 15:54:14 and this is english-specific, i don't know whether "gay" is an insult everywhere 15:54:30 my guess is it is in most places 15:54:52 and my guess is puke isn't an insult anywhere 15:55:24 * oklopol waits for augur to tell him exact statistics 15:55:33 what 15:55:34 :| 15:55:49 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... 15:56:16 soupdragon: calling something gay is indeed an insult. atleast in american english. 15:56:16 augur: i just usually assume you have something to say about anything even remotely having to do with linguistics 15:56:45 (hint: ignore all accents, then pronounce like an american) 15:57:28 what's "s?r?s"? 15:58:03 it's a perfectly adequate norwegian surname, means southern hill 15:58:17 oklopol, "Sørås" 15:58:21 oklopol, did you see that? 15:58:25 or was it the same 15:58:27 i see weird characters 15:58:29 well assuming you're not mangling the characters on purpose... 15:58:34 the same weird characters 15:59:07 oklopol, Srs 15:59:09 oklopol: you're not reading utf-8 correctly 15:59:24 yes, i still haven't gotten mirc to render it correctly. 15:59:34 im off to shower 15:59:45 oerjan, I thought you had problems with unicode? 16:00:14 i give up, what's it supposed to sound like? 16:00:33 sars? 16:00:58 oh if only you all knew IPA/XSAMPA! D: 16:01:10 oklopol, without the dots it is spelled like "Soras", but I guess it is supposed to be "Sir as" 16:01:23 oh lol 16:01:26 that would be the only way it is funny 16:01:32 but o and i aren't really close 16:01:36 AnMaster: yes but irssi reasonably transliterates the latin-1 subset 16:01:40 so "sore ass" 16:01:43 and approximates a bit more 16:01:54 sir makes no sense if you drop the umlaut 16:02:01 sore ass it was 16:02:31 for some reason i wanted a single word 16:03:22 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 16:03:52 AnMaster: this is _supposedly_ a true story 16:04:02 heh 16:04:10 although i've probably mangled it 16:04:15 hm 16:04:39 and i was told it in university, by professors 16:05:25 so if it was true, they were probably acquaintances 16:06:40 hm 16:07:55 you're another of these folks that think mathematicians are gods <-- well DUH 16:08:12 professors travel a lot, so if there were professors with such names, it's not exactly that improbable for that to happen 16:08:25 when was that, i wanna see context 16:09:05 07:25:03 in the logs 16:10:57 huh. 16:13:35 o hai 16:13:41 oh lol logtime 16:13:51 assumed 7:25 your time 16:13:53 because i'm an idiot 16:13:56 MWAHAHA 16:14:17 16:25 my time 16:44:06 -!- oerjan has quit ("leaving"). 16:44:27 -!- kar8nga has joined. 16:50:35 -!- augur has quit (Read error: 110 (Connection timed out)). 17:48:01 -!- ehird has joined. 17:51:22 21:28:33 http://tvtropes.org/pmwiki/pmwiki.php/Main/MohsScaleOfScienceFictionHardness?from=Main.MohsScaleOfSciFiHardness 17:51:22 21:28:39 needs more hard sci fi :( 17:51:23 it's not my fault you're finishing rainbows end before listening to my suggestions :P 17:54:37 06:50:41 hey guys 17:54:37 06:51:02 if i'm going for high performance clusters, should i choose erlang or haskell? 17:54:37 ignore AnMaster he just likes erlang :) 17:54:54 -!- MizardX has quit (Connection timed out). 17:54:56 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 17:55:08 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 17:55:14 (its single-machine concurrency support is great, though) 17:56:01 07:20:32 cheateur, well, I don't know if haskell even has support built in for distributed nodes. 17:56:01 07:20:52 i would assume so 17:56:01 note that AnMaster doesn't really know anything about haskell 17:56:07 also, no, it doesn't, that's why we have excellent libraries. 17:56:18 -!- BeholdMyGlory has quit (Remote closed the connection). 17:56:56 07:21:39 AnMaster: if i know php, python, and probably almost everything web-related, what language would you suggest to me? 17:56:56 07:22:15 cheateur, do you know any esolang? Any functional language? 17:56:56 07:22:21 no 17:56:57 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. 17:56:57 07:22:30 bear in mind i need to be able to make money with it too 17:56:59 lol. 17:57:14 You can make a lot of money with haskell... just not at some dumbfuck Web 2.0 company. 17:57:37 is it still at 2.0? I would have thought 2.1 would have been released by now 17:57:39 07:24:28 i'm a mathematician, most programming languages aren't that difficult 17:57:39 Hubris and ego said by someone who has only used imperative languages. 17:57:43 or at the very least, 2.0.1 17:58:11 If you're so intelligent, why not use Haskell's official Least Gentle Tutorial? http://www.haskell.org/tutorial/ 17:58:46 07:25:03 you're another of these folks that think mathematicians are gods 17:58:46 ++ 17:59:33 -!- BeholdMyGlory has joined. 17:59:57 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!". 18:00:22 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'? 18:00:22 Culture shock! 18:00:34 07:29:26 i'm on 'doze 18:00:42 erm 18:00:45 07:29:21 AnMaster: is there a one-click way for me to start writing erlang *now*? 18:00:45 07:29:26 i'm on 'doze 18:00:51 Okay, now I'm interested in helping you a *negative* amount. 18:01:21 -!- coppro has quit (Read error: 110 (Connection timed out)). 18:03:23 08:01:10 oklopol, without the dots it is spelled like "Soras", but I guess it is supposed to be "Sir as" 18:03:23 >_, 18:03:24 *>_< 18:03:40 Or, you know... sore ass 18:03:47 to be fair, "sör" is pronounced "sir" in swedish 18:04:08 not "sore" 18:05:53 well not sure that's an excuse, "sor" is still pronounced closer to "sore" than "sir" in swedish. 18:06:04 w/e -> 18:06:11 "ignore the accents" 18:06:15 "and pronounce as an american" 18:06:19 Slight hints there 18:18:29 i'm not sure AnMaster compartmentalizes that well 18:18:39 then again i might be wrong 18:19:34 to be fair, "sör" is pronounced "sir" in swedish <-- not like "sir" would be in Swedish though. Close to English "sir" though. 18:20:16 also, I was trying to think of something that a actually made sense 18:20:54 well yeah english "sir", i left type inference to the reader 18:27:30 -!- kar8nga has quit (Remote closed the connection). 18:31:00 someone should invent inlinelatexcompose 18:31:07 so i can type, like, \alpha 18:35:41 ehird: it's ok, i think you're pretty sweet 18:35:46 ehird: let's hug 18:35:51 cheateur: you're an awful human being! <3 18:35:53 * ehird hug 18:36:26 #esoteric: "We hate you. Your language is crap. Let's hug!" 18:39:08 -!- BeholdMyGlory has quit (Remote closed the connection). 18:40:51 * cheateur grabs ehird's ass during the hug 18:41:12 * ehird sues cheateur for statutory rape 18:42:10 * cheateur 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!' 18:42:26 Things we have learned today: 18:42:32 - Ass-grabbing is sexual intercourse 18:42:43 - cheateur is moving into all of your neighbourhood's. Run! RUN! 18:42:49 *neighbourhoods 18:42:57 slight sentence restructuring issue thar 18:43:08 everyone's? 18:43:31 you got sumptin wrong there, smurfette 18:43:55 cheateur: no we just all live in the same building 18:44:08 Either I'm suffering from post-sleep-deprviation deprivation or this channel is weirder than usual right now. 18:44:25 or both 18:44:49 ehird: have you watched erlang the movie? 18:45:00 I watched the start but couldn't take any more 18:45:08 This, however... http://www.youtube.com/watch?v=1yH_j8-VVLo 18:45:11 was it too hardcore for you 18:45:21 GRATUITOUS AMOUNTS OF PARALLELISM 18:45:35 munctional? 18:45:46 LOL. 18:48:34 -!- kar8nga has joined. 18:54:05 -!- BeholdMyGlory has joined. 18:58:25 -!- soupdragon has quit ("Leaving"). 19:05:44 -!- soupdragon has joined. 19:29:57 http://www.reddit.com/r/programming/comments/aqkt2/dirty_math_tricks_optimizing_divisionby10_on_an/ 19:29:57 I like how all three of the top code snippets are in Haskell, by different people. 19:30:06 I guess the practical esolang has finally made it. :P 19:36:48 haskell isn't eso :[ 19:45:37 -!- mycroftiv has quit ("leaving"). 19:57:09 is prelude haskell? 19:58:02 prelude = haskell's "standard library" module 19:58:12 it's "modules you've loaded> ..." 19:59:45 and they have a special query for that? 19:59:48 that's fucked up. 19:59:59 i'm just about to install haskell too, so good for warning me 20:00:48 a special query for what? 20:01:01 it's just a read-eval-print-loop prompt 20:01:08 for a different combination of loaded modules 20:01:12 ??? 20:01:23 an example shell session 20:01:25 $ ghci 20:01:25 GHCi, version 6.10.3: http://www.haskell.org/ghc/ :? for help 20:01:25 Loading package ghc-prim ... linking ... done. 20:01:26 Loading package integer ... linking ... done. 20:01:26 Loading package base ... linking ... done. 20:01:26 Prelude> 2+2 20:01:28 4 20:01:30 Prelude> 20:01:32 Leaving GHCi. 20:01:34 $ 20:01:36 it's just the interactive interpreter's prompt... like $ in a shell... 20:01:48 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 20:01:57 then what did you mean by "modules you've loaded> ..."? 20:02:06 cheateur: I was explaining the prompt that is hsown. 20:02:11 this is not a difficult concept 20:02:13 *shown 20:02:43 you are explaining this in the most confusing way, i still have no idea what you mean 20:02:51 but it's ok 20:02:52 hug? 20:02:59 cheateur: oh, wait... you're a web guy 20:03:07 you've probably never even used a language's interactive prompt 20:03:10 no i am a mathematician 20:03:17 jesus, this fucking thing takes half a gigabyte of hard drive space? the download was 50 megs. 20:03:26 if you are such a mathematician whta's square root of -1 20:03:50 it's the value of your mouth applied to my penis 20:04:22 that... doesn't even typecheck.. 20:04:23 cheateur: you're boring and egotistical. 20:04:30 ehird: thank you :) 20:04:41 also, you don't even know any esolangs... or talk about them 20:04:54 admittedly everyone else in here does the former and not the latter 20:05:00 ehird: i used brainfuck! 20:05:03 I never made any esolangs :( 20:05:10 cheateur: prolly stopped at ,[.,] no? 20:05:12 noen of my ideas were good 20:05:36 ehird: i tried figuring it out and couldn't 20:06:21 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 20:06:28 just curious, what mathematics education do you have exactly? 20:07:07 not much. 20:07:09 why? 20:07:20 no, see, I said "exactly" 20:07:30 what mathematics education do you have? 20:07:31 it's difficult to tell exactly 20:07:40 no, it's not, i'm talking about boring formal education 20:07:41 i'm not sure of the status of that myself 20:07:44 approved by the state 20:07:45 yeah, so am i 20:07:52 then there's no ambiguity 20:08:03 you're right, there is 20:08:26 explain this ambiguity or you're just full of shit and embarrassed 20:08:28 well, it is more than 3 years and less than 15 years, depending on your definition of formal education 20:08:53 fine, we'll go by the prompt method 20:08:57 high school? 20:09:09 i finished that one 20:09:15 university? 20:09:30 i started that at 17 20:09:42 I didn't ask that, I'm not interested in stroking your ego 20:09:54 i get to stroke it myself, though 20:10:14 yes. it would be a lot better if you did it in private, however. 20:10:27 i thought i was egoistic 20:11:15 do you actually have any mathematical achievements 20:12:00 i know how to multiply numbers in my head, like 10x5 20:12:16 but, they cannot be too big, because then it doesn't work. :-\ 20:12:17 yeah only mathematicians can do that 20:13:57 -!- lepuspower has joined. 20:15:12 i am happy your curiosity is satiated 20:16:16 it's not i just decided talking to you wasn't worthwhile 20:16:43 in that case, i am very happy as well. 20:18:26 ehird: i believe we have gotten off on the wrong foot. wnt 2 try again? 20:18:40 not if you say things like "wnt" and "2" 20:18:44 also, I'm always an asshole 20:19:27 'wnt' and '2' are integral parts of my dialect of english 20:19:41 it is one i abstain from speaking in. 20:20:33 by doing that you are inconveniencing my minority 20:21:12 i delight in this 20:21:58 * cheateur litigates 20:33:04 -!- GreaseMonkey has joined. 20:37:05 * soupdragon titigates 20:42:36 cheateur: maths is great isn't it 20:43:00 i love all mathematicians equally 20:43:12 am I a mathematician? 20:43:29 i think so 20:43:32 Mathemagician. 20:43:46 how can I know for sure? 20:43:50 a small but eager mathematician, like myself 20:44:09 I've been having mathematical thoughts from a young age but I always felt too scared to try it for real 20:44:11 I've heard that only mathematicians can multply 10 by 5 in their head. 20:44:27 That is a test. 20:44:28 also I don't think my parents would accept it 20:45:01 oklopol: <3 20:45:21 fizzie: 50 20:45:31 did that in like seconds 20:45:47 actually it's 17 20:45:51 oklopol: A mathematician you then must be. Unless you cheated. 20:45:54 because we're multiplying mod 33, duh 20:45:56 I just realized multiplication is easy 20:45:57 no i didn't 20:46:05 i really did it in my head 20:46:16 basically i use the fact if you have zeroes in the end, then you can sort of take them out 20:46:19 5*1 0 = 5*1 5*0 = 50 20:46:20 and put them back later 20:46:25 yeah 20:47:34 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 20:47:52 gets slightly tricky if you have more than one zero ofc 20:48:35 the lecturer can do numbers with like hundreds of zeroes in the end in his head 20:48:50 :( 20:49:23 no idea how he does that but it's damn impressive 20:49:52 also this week's homework in combinatorics on words: find a meaningful sentence that's a palindrome 20:50:45 a man a plan panama 20:51:01 -!- MizardX has joined. 20:51:04 these are actually in english, i can prove that http://www.math.utu.fi/opiskelu/opetusohjelma/kurssit/syventavat/mate5075/index/Cow-demot2010.pdf 20:51:25 god those are trivial 20:51:32 wut are you doing lol 20:51:38 this is supposed to be a fucking advanced course 20:51:40 that looks hard oklopop 20:51:58 it goes all the way up to 8 20:52:17 well obviously i started after 5, because i ran out of fingers 20:52:22 *stopped 20:52:38 seriously though, can you believe those? 20:52:54 yes 20:52:55 i haven't been able to sleep since i saw the triviality of those exercises 20:53:03 is the Y combinator a monad? 20:53:21 cheateur, is LISP touring complete? 20:53:33 is my ass too big for these pants? 20:53:34 i don't know, i've never used lisp 20:53:44 i assume it is 20:54:07 no you're wrong i have a small ass 20:55:24 i need to email the lecturer about those exercises 20:55:29 Of course LISP is Turing-complete. 20:55:40 Is oklopol's ass Turing-complete? 20:56:20 good question 20:56:36 aha is a meaningful sentence which is a palindrome 20:56:57 as well as a(ha){2,} 20:57:14 oklohoma are you gonna write a program which generates palindromic sentences? 20:57:37 Unfortunately "A man, a plan, Panama" is not a palindrome. But maybe that was the whole trick. The version with the canal is. 20:58:21 A man, a pnal, Panama. 20:58:42 LOL 20:58:52 a man, a poo, panama 20:59:07 a man a panama 20:59:11 i think i just randomly generated "eel! flee!" 20:59:37 well, would be sorta weird if i remembered that wrong 21:00:17 palindromes should not contain names 21:00:36 too easy 21:00:40 "oko", isn't that a meaningful palindrome? 21:00:46 okokokokokokokokokokokoko 21:00:48 okokokokokokoko 21:00:50 okokokokokokokokokokokokokokoko 21:01:15 cheateur: Does computer science have as much to do with computers as astronomy has to do with telescopes? 21:01:36 soupdragon: balls 21:01:52 how much does astronomy have to do with telescopes? 21:01:56 i have zero idea 21:02:17 how much does astrology have to do with the golden girls? 21:03:30 hmm, not at all? 21:03:54 why doesn't everyone answer any questions today 21:03:57 *anyone 21:04:00 what's wrong with me 21:04:13 (someone answer that) 21:09:56 * cheateur watches the tumbleweeds roll by. 21:10:06 ;) 21:11:24 I could answer that, but that'd be lame 21:11:42 i'm mostly asking about the typos 21:12:02 ok 21:12:14 otherwise i think i'm rather perfect 21:17:27 -!- ehird has quit. 21:17:41 phew, he's gone 21:20:42 oklopol: are you studying maths? 21:20:58 -!- ehird has joined. 21:21:15 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 21:21:49 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 21:22:04 (I'm at "2.2.1 Recursive Types") 21:22:23 If you think you understand the Gentle Introduction and you don't know ML, you don't. 21:23:46 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. 21:24:20 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. 21:24:28 If you skip that, you will be a bad Haskell programmer; simple as. 21:25:58 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 21:26:15 Scheme and Erlang are not remotely like Haskell in actual programming. 21:26:29 ehird, true, I gathered that from what I read so far 21:26:31 You may disagree and think you will be able to learn Haskell without *really learning* the underpinnings, but you are wrrong. 21:26:33 *wrong 21:26:49 Also, Real World Haskell *does* do real programs first. 21:26:55 So maybe you just like complaining. 21:28:02 a syntax question though: 21:28:05 length [] = 0 21:28:05 length (x:xs) = 1 + length xs 21:28:16 why the () in the second but not ([]) in the first? 21:28:28 By the way, the Gentle Introduction is wildly out of date. 21:28:32 iirc, it even has n+k patterns in. 21:28:44 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. 21:28:48 And I don't feel like answering such questions. 21:29:10 ehird, also, have you heard that story about how mathematicians would build a house? 21:36:18 ? 21:36:19 :) 21:39:29 how mathematicians would build a house? 21:42:02 oh that, well it was directed to ehird. I don't see any point in telling it as he didn't respond 21:42:08 *shrug* 21:42:13 good night everyone 21:44:35 http://www.codexon.com/posts/debunking-the-erlang-and-haskell-hype-for-servers < lulz 21:44:35 soupdragon, suffice to say it is "foundations last" 21:44:41 heh 21:44:44 that makes sense 21:44:50 AnMaster: check the link 21:44:58 soupdragon, looking at history yes indeed. 21:45:11 cheateur: that guy is probably just shit at coding 21:45:16 or configured it wrong 21:45:19 or used an unrealistic benchmark 21:45:20 etc 21:45:31 yes using -smp disable for erlang is definitely doing it wrong 21:45:31 yeah, unrealistic benchmark is unrealistic 21:45:34 lol see http://www.codexon.com/posts/debunking-the-erlang-and-haskell-hype-for-servers/comment-page-1#comment-464 21:45:38 AnMaster: read the text body 21:45:39 dons debunking shit about haskell as always 21:45:44 enabling smp made it 4x slowar. 21:46:15 not in my experience. 21:46:17 dons? 21:46:22 dons = don stewart 21:46:28 AnMaster: that's what he said happened in his situation 21:46:30 guy at Galois which has been doing commercial haskell for like... 15 years 21:46:35 and rabid haskell advocate everywhere :) 21:46:37 he's great 21:47:38 the only galois i know is the kiddie fondling op in efnet #math 21:47:48 http://www.galois.com/ 21:47:57 both named after évariste galois obviously 21:48:12 cheateur, also at accepting new connections? Is that the best benchmark? What about handling that many persistent connections instead? 21:48:16 do you know differential galois theory? 21:48:26 soupdragon: question directed at cheateur presumably 21:48:29 AnMaster: see comments. 21:48:31 AnMaster: i know, it's a shit benchmark, you don't have to tell me 21:48:32 bad benchmark, bad code. 21:48:43 also let me read that erlang code 21:48:43 soupdragon: i do, but i don't know that galois 21:48:44 ehird do you ? 21:48:46 he got shot 21:48:47 cheateur: AnMaster is single-threaded, he sees a line and calls replyToSeveralLines 21:48:49 in a driveby 21:48:56 then switches back to his process new irc lines thread 21:49:00 no way to stop him, I'm afraid 21:49:01 cheateur stop lieing 21:49:09 oh yeah that erlang one is bad 21:49:11 Lieing! 21:49:23 It's when you liey. 21:49:30 soupdragon: at least i'm not calabi-yauing 21:49:39 Cabali-yawn. 21:49:41 *Calabi 21:49:52 i liked cabali more 21:49:57 can we have that version again 21:50:00 Cabally-yawn. 21:50:35 hahah 21:50:46 here's your palindrome sentence btw!!!!!!!!! 21:50:51 thrugo 21:50:51 ehird, also I did read those comments before 21:50:57 the one you linked that was 21:51:00 is* 21:51:09 http://www.infoq.com/interviews/Erlang-Haskell-John-Hughes 21:51:14 and yeah the erlang code is shitty. 21:51:19 infoq is a crappy site 21:51:30 "John Hughes, at Erlang Factory" 21:51:34 well this is obviously not goign to be unbiased 21:51:46 Do you miss laziness from Haskell? 21:51:47 Yes, absolutely. I have Macros in Erlang that simulate it and I use them all the time. 21:51:52 so he doesn't even code idiomatic erlang. 21:51:58 And types? 21:51:58 Yes, of course. 21:52:01 this is some stunning approval so far 21:52:16 well this is obviously not goign to be unbiased <-- indeed 21:52:21 *going 21:52:26 that hughes guy looks like his anus just prolapsed 21:52:32 "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." 21:52:38 also, I don't think it makes sense to try to compare them like that. Both are great languages. 21:52:41 yes and then everyone can read the paper and package it into a library 21:52:45 meant mostly for different things 21:52:47 so us plebs don't have to read it 21:52:53 hehe 21:52:55 or understand iit 21:52:56 *it 21:53:00 you know, it's called abstraction 21:53:03 might have heard of it 21:53:04 generic programming is awesome 21:53:21 "If you do generic programming in Erlang, it's 4 lines - one for lists, one for tuples, one for basic values." 21:53:32 hm. what about binaries? 21:53:46 data Showable = forall a. (Show a) => Showable a 21:53:46 generic :: [Showable] -> [String] 21:53:46 generic = map show 21:53:48 also that didn't make much sense 21:53:52 oh shit it's three lines 21:53:54 and is MOST GENERAL 21:54:20 ehird, well, I think erlang is nice, but I agree that page is shit 21:54:25 yep page closed 21:54:40 guess money is making his mind fuzzy 21:54:45 i didn't understand the code you ahve written 21:54:47 money? 21:54:49 can't be simply an idiot, quickcheck is awesome 21:54:49 he's rich? 21:54:56 cheateur: no, a client wanted a version of quickchcek for erlang 21:54:58 *quickcheck 21:55:01 he looks like he's supported by the red cross 21:55:03 so, presumably he is getting paid to write erlang 21:55:38 cheateur: the code I've written is simple 21:55:43 basically, when we saw (Show a) => ... 21:55:44 in a type 21:55:49 it means "this value must satisfy the Show interface" 21:55:57 (they're actually called typeclasses but that's irrelevant) 21:56:03 data Showable = forall a. (Show a) => Showable a 21:56:03 means 21:56:04 also he's pronouncing erlang err-lang 21:56:17 while anyone who's seen erlang the movie knows it's pronounced our-lang 21:56:23 "Showable is a data type with one constructor, taking a single value, a. a must satisfy the Show interface." 21:56:29 so we can have a list of Showables 21:56:37 cheateur, err. I would pronounce it in Swedish instead. 21:56:42 [Showable 1, Showable "fuzzy", Showable [1,2,3], Showable ('x','y')] 21:56:48 generic :: [Showable] -> [String] 21:56:55 "Generic takes a list of Showables and returns a list of Strings." 21:56:56 generic = map show 21:56:57 same as 21:56:59 cheateur, which would be closer to "ärlang" 21:57:01 generic xs = map show xs 21:57:05 presumably you know what map is 21:57:13 AnMaster: which is how the english pronounce 'our' 21:57:18 show :: (Show a) => a -> String 21:57:20 ehird: wait, i got lost 21:57:23 cheateur, no not really 21:57:25 quite different 21:57:28 show is just "this value has a meaningful representation for humans as a string dude" 21:57:32 that's what the Show typeclass is for 21:58:00 but I want read . show = id 21:58:12 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) 21:58:23 no it's named after a company 21:58:33 soupdragon: you could do that in coq i think 21:58:36 well 21:58:43 you'd have to put them in the same typeclass 21:58:49 but then you could do something like (I don't know Coq): 21:59:02 ehird, officially it is named after http://en.wikipedia.org/wiki/Agner_Krarup_Erlang 21:59:04 prop_inverse : ForAll a. read (show a) = a 21:59:49 ah 21:59:50 it'd be 22:00:02 prop_inverse : forall x, read (show x) = x; 22:00:13 ehird, who did some important work in the telephony sector. 22:00:16 and of course instances of ReadShow would have to provide a proof themselves... 22:00:45 ehird http://github.com/odge/parseq/blob/master/Examples.v 22:00:58 of course it also happens to match "Ericsson Language" but iirc I read they had both meanings in mind originally 22:01:05 Program Definition par_parser : Parser token (fun _ => True) par (fun x p y => x = print p ++ y /\ length y <= length x) 22:01:11 I tried to use Coq but I'm not intelligent enough :( 22:01:14 Agda was easier 22:01:15 sort of generalized loop invarient style version of what you wrote 22:01:27 I just had to replace a few symbols and I could pretend I was using dependent types in haskell 22:01:32 you need that ++ y because parsing is incremental 22:01:32 anyways all this functional programming is so 2009 22:01:39 and you need the length stuff to justify the recursion 22:01:40 what's the next thing after functional programming? 22:01:40 ehird, " [...] but I'm not intelligent enough :(" <-- a classic! 22:01:45 cheateur: qbasic 22:01:54 sweet 22:01:54 ehird, XD 22:01:56 srsly tho 22:02:00 AnMaster: I don't know where you've got the impression I'm an egostist 22:02:07 cheateur: this idea of there being a "next" is harmful and fashion-based 22:02:13 why do I bother linking stuff to ehird :( 22:02:17 we should be trying to improve, not randomly moving onto things 22:02:21 soupdragon: what do you mean, I liked it 22:02:24 ehird: that's exactly why i enjoy it 22:02:25 oh 22:02:26 I was just saying that I sucked at Coq 22:02:29 i like harmful things <3 22:02:34 http://github.com/odge/parseq/blob/master/Parsing.v 22:02:37 that's the monad and all that stuff 22:02:38 cheateur: unsafePerformIO 22:02:45 ehird, "egostist"? 22:02:50 egotist 22:02:53 soupdragon: wait that was examples and not the implementation? 22:02:56 yes 22:02:57 cheateur: no, i'm not doing anything atm 22:02:58 soupdragon: ok I *really* suck at Coq :) 22:03:05 haha ehird sucks cock 22:03:06 the "at" there is terribly imporatnt... 22:03:11 *important 22:03:12 oklopol: AT 22:03:13 AT COQ 22:03:14 hehe that Exampels file has a parser for balenced parens and arithmetic 22:03:15 ehird, did I say you were an egotist? 22:03:16 wait 22:03:18 that's just as bad 22:03:22 oklopol: then why the combinatorics link? 22:03:25 AnMaster: you laughed at me saying i wasn't clever enough for coq 22:03:25 the Parsing.v is sort of like mini-parsec++ 22:03:32 oklopol: because it doesn't look like very good self-study material 22:03:34 cheateur: well i'm a math student 22:03:46 oklopol: so in that case, you are studying maths 22:03:55 the point was exactly that those exercises are incredibly stupid and trivial 22:03:58 ehird, I was amused that _you_ would say you weren't cleaver enough for something 22:04:01 -!- kar8nga has quit (Remote closed the connection). 22:04:09 it just isn't your style 22:04:10 AnMaster: Which is only funny if you think I'm an egotist. 22:04:14 cheateur: yes, you could say that 22:04:17 ehird, isn't it spelled "egoist"? 22:04:23 but why say that when you can say something else 22:04:25 Only if you like sounding stupid. 22:04:37 ehird, both exists according to google define: 22:04:55 Yes, but egoist sounds stupid. 22:05:11 ehird, it is how it is spelled in Swedish 22:05:20 so I find egotist sounds weird 22:05:26 Yes, well, all Swedes are stupid! 22:05:37 ehird, :( 22:09:37 Notation "m >>= f" := (@Bind _ _ _ _ _ _ _ m f) (right associativity, at level 20). 22:09:43 that syntax is weirdly englishlike 22:09:50 also, _ _ _ _ _ _ _ _ _ _ _ _ _ 22:10:24 ehird, haskell? 22:10:30 Coq. 22:10:33 ah 22:10:49 * ehird decides to start pronouncing coq as "coh" 22:10:55 ehird, what does that code do? 22:11:04 Define an infix ooperator. 22:11:06 *operator 22:11:18 ah 22:11:27 _ _ _ _ _ _ _ _ _ _ _ _ _ looks insane 22:13:29 ehird, seems agda was developed by Swedes btw ;P 22:17:50 hmm 22:18:05 this quicktest thing is pretty smart, i have had the same idea like 2 years ago 22:18:30 it's a trivial idea, it's the implementation that's good 22:18:31 -!- MigoMipo has quit (Read error: 104 (Connection reset by peer)). 22:18:47 what's a trivial idea? 22:19:12 the trivial idea is the idea containing only one element 22:19:37 * soupdragon HISSES AT OKLOFORK 22:19:43 oklopol, nice one :D 22:19:51 yeah it was pure genius 22:20:18 or should i say... night -> 22:25:50 ehird it's terribly ugly and verbose but all that can be fixed 22:27:55 -!- lepuspower has changed nick to mycroftiv. 22:28:06 oklopol: it's not that trivial 22:41:29 yes it is 22:41:52 is not 22:42:53 yes it is 22:44:14 no it's not 22:44:51 ^ 22:45:04 yes it is 22:45:41 you lose 22:46:14 yes it is 22:47:58 <3 22:48:03 no it's not 22:48:10 yes it is 22:48:53 ehird it's terribly ugly and verbose but all that can be fixed <-- read as "ehird is ..." 22:48:55 XD 22:49:00 lol 22:49:03 and I thought "no ehird isn't verbose" 22:49:25 (ugly I don't really know about) 22:49:28 YGBM 22:49:32 soupdragon, ? 22:49:32 You Gotta Beleive Me 22:49:35 mhm 22:50:25 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 22:50:26 matter.)—and that option would be to conclude that I am entirely verbose. 22:50:54 ehird, hehe 22:51:19 ehird, lets say, you are not verbose if that would annoy me ;P 22:51:45 Surely you mean I am only verbose if it annoys you. 22:52:12 ehird, you can be that too 22:52:23 whichever annoys me most atm 22:52:49 Oh, I parsed it as I am not verbose if being verbose would annoy you. 22:52:51 Which isn't what you meant. 22:53:06 indeed not 22:53:21 I meant you are terse when that annoys me 22:54:47 ehird: I would be more worried about how they're going to "fix" you. 22:54:58 Oh man my gut fauna are going mad (like they tend to do when I recover from food poisoning). 22:55:04 fizzie, the expedition? 22:55:24 When I think fauna I always think of deer. 22:55:29 OH NO MY GUT DEER 22:55:39 THEY ARE /DISPLEASED/ 22:55:59 uh, right 22:56:21 well "gut flora" would definitely be wrong 22:56:24 ehird, was that fake German "good" or was it English "gut" 22:56:56 See SimonRC. 22:57:01 SimonRC: fauna/fawn is the connection my brain makes. 22:57:06 ah, ok 22:57:31 Maybe there are some transparent fish on coral reefs that have actual gut flora, but not humans. 22:57:47 hmm that's a neat idea actually 22:58:01 heheh 22:58:11 SimonRC, why transparent? 23:01:01 soupdragon: should i play with agda 23:01:39 ehird, is agda cool? 23:01:48 Yes, but you won't understand it. :P 23:01:54 oh? why not 23:02:07 Two phrases. Dependent types. Proof assistant. 23:02:21 ehird, what sort of proofs can you prove with it 23:02:34 What is that supposed to mean? 23:03:24 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? 23:03:32 http://en.wikipedia.org/wiki/Intuitionistic_type_theory 23:07:03 Oh my god 23:07:03 http://en.wikipedia.org/wiki/Kleene%E2%80%93Rosser_paradox <-- this looks remarkably similar to the proof for the halting problem 23:07:03 if you want 23:07:08 M-x set-input-method RET TeX RET 23:07:09 I'm learning epigram 23:07:19 ehird, what does that do? 23:07:23 "\alpha " → "α " 23:07:29 wow cool 23:08:20 ehird, doesn't work very well. Try \inf 23:08:32 Obviously prefixes have to be unique, so it'll be something else 23:08:42 ehird, hm? 23:08:59 well then I don't know 23:09:32 ah \infty works 23:09:35 but that is different 23:10:14 So? 23:10:23 well just one small symbol missing 23:10:28 it may be AMS-Tex even not sure 23:10:31 -!- oerjan has joined. 23:10:43 ehird, but that is seriously cool 23:10:50 \infty shows as the infinity symbol for me 23:11:06 Cool, \gets gives ← 23:11:36 how do you get upper case alpha 23:11:43 \Alpha 23:11:47 "sgml" also works 23:11:50 & → & 23:11:55 oerjan, M-x set-input-method RET TeX RET 23:11:57 → → → 23:12:00 oerjan, this is not TeX 23:12:08 ehird, \Alpha doesn't work. \Delta does 23:12:13 sheesh 23:12:38 ηβπ ∈ ∞ ∑ ∪ ∨ Δδ α\Alpha 23:12:42 hm interesting 23:12:45 lol "there4" 23:12:47 ∴ 23:12:48 XD 23:12:58 there4 we kan c dat 23:13:02 ehird, what really? is that input mode sgml? 23:13:05 yeah 23:13:25 set-input-method greek lets you be all greek all the time 23:13:37 Ηελλο. Ηος αρε υοθ? 23:13:44 WP Greet Box icon 23:13:44 X 23:13:44 Hello there fellow Reddit user! If you like this msg, please remember to vote for this soupdragon on Reddit. 23:13:54 ______ posted using my iPhone 23:14:06 wat. 23:14:07 RECESSION GOT YOU DOWN? CLICK HERE 23:14:23 Ηελλο. Ηος αρε υοθ? <-- hm "hello hoc ape voO"? 23:14:24 tag cloud: esoteric, esolang, wiki, ehird, insane 23:14:48 AnMaster: hello how are you 23:14:49 わぱねせ 23:14:53 ehird, also it works nicely inside erc 23:14:58 ehird, what language is that 23:15:02 The user is powered by IRC with xchat 23:15:08 soupdragon: go away 23:15:15 [w3c complaint?] 23:15:27 I'm just testing soupdragon[beta] 23:15:27 ehird, plus I want combined tex + sgml input method 23:15:34 AnMaster: Tough 23:15:41 -!- BeholdMyGlory has quit (Read error: 104 (Connection reset by peer)). 23:15:55 ehird, should be possible 23:16:15 will look at it tomorrow or later 23:16:35 Follow Me: 244 followers, twitter-counter 23:16:44 soupdragon, stop spamming 23:16:55 Tælkɨŋɲ ɨŋ ɪPɑ mækɚʃ ɑŋɚ ʃøʉŋð prøfœʉŋð. 23:17:08 I wish I could read IPA 23:17:10 ehird, "mækɚʃ ɑŋɚ ʃøʉŋð prøfœʉŋð"? 23:17:14 makes one? 23:17:16 what about shavian? 23:17:18 AnMaster: Yes. 23:17:33 ehird, then I have a bit of an issue. could be "an elitist" I guess ;P 23:17:44 AnMaster: ??? 23:17:48 It's easy to read. 23:17:54 Talking in IPA makes one sound profound. 23:17:58 ah 23:18:06 (set-input-method ipa) 23:18:13 ehird, how does it work there 23:18:20 but there's a difference between figuring out what it says... and read it as it is supposed to be pronounced 23:18:32 ןאד שךך יקנרק' אם צק! 23:18:47 and what is that 23:18:47 AnMaster: See minibuffer when typing some letters 23:18:51 Hebrew. 23:18:51 oh right 23:19:44 Tælkɨŋɲ ɨŋ ɪPɑ <-- okay that was painful to write 23:20:30 ehird, what does set-input-method brittish do 23:20:35 it doesn't seem to do anything 23:20:54 shift-3 = £, I bet 23:21:00 and shift-2 = " 23:21:07 and shift-' = @ 23:21:18 shift-3 does that 23:21:27 for shift-2 that is already true on my keyboard 23:21:37 shift-' I can't tell 23:22:17 how do you do subscripts with tex 23:22:22 _ 23:22:26 ah yes 23:22:29 wait that is subscript 23:22:33 oh yeah 23:22:35 except that doesn't work. 23:22:37 double misread 23:22:43 ehird, did ^ for superscript work? 23:22:43 type \_0, see failure 23:22:50 ehird, no \ in front 23:22:51 in real tex 23:22:58 iirc 23:23:02 erm right just _ works 23:23:03 but produces 23:23:08 א₀ 23:23:09 er wtf 23:23:13 how is that backwards 23:23:13 that worked? 23:23:14 oh 23:23:15 hebrerw 23:23:17 hebrew 23:23:19 :D 23:23:28 א₁ 23:23:29 >_< 23:23:40 set TeX you dolt 23:23:46 א₀ ≡ א₁ 23:23:47 HERESY 23:23:51 what is input method UCS? 23:23:59 i think alt-NNNN = U+NNNN 23:24:14 ₁א 23:24:16 ₁א₁ 23:24:18 wtf 23:24:25 -!- ehird_ has joined. 23:24:38 א₀ ≡ א₁ 23:24:41 :D 23:24:46 It might be my OS being stupid 23:24:50 Works in Emacs 23:25:24 Wonder how to do that single :: char 23:26:08 f²⁴⁶ s⁴² 23:26:18 א₀≡א 23:26:19 hm 23:26:26 ehird_, xchat does that last thing if I use it 23:26:33 also that dropped an 1 23:27:12 id :: ∀α. α → α 23:27:15 id α = α 23:28:02 why the () in the second but not ([]) in the first? <-- : has precedence (6 iirc) like an operator, and behaves similarly wrt parentheses 23:28:03 \rightarrow works btw 23:28:23 oerjan, hah 23:28:28 oerjan, "aha" 23:28:48 oerjan: what's the dot for compose in ams latex 23:29:15 o 23:29:17 :P 23:29:22 if you don't mean \circ then i don't remember 23:29:25 ⊙ 23:29:27 dammit 23:29:29 thaat's odot 23:29:30 so close 23:29:31 *that's 23:31:00 (○) :: ∀α. ∀β. ∀γ. (α → β) → (γ → α) → (γ → β) 23:31:26 AnMaster: technically haskell reserves all operators starting with : as data constructors, and you can define their precedence with the usual infix[lr]? command 23:31:29 (f ○ g) x = f (g x) 23:31:34 I don't think \circ is it, but close enough 23:31:43 oerjan, oh nice 23:31:46 oerjan: Any fancy mathematical symbols for arbitrary function names? 23:31:59 ehird_, circ isn't it 23:32:04 but I don't know what is 23:32:05 I said that, but close enough 23:32:11 ehird_, I just agreed with you 23:32:30 iirc ghc has an extension to allow those for type constructors as well (standard haskell only has -> there) 23:32:41 ehird - getting annoyed for me agreeing with him since 2010 23:32:47 I wasn't annoyed. 23:32:47 you sure have a lot of "since time" 23:32:51 I was pointing out I had already said it. 23:33:03 suuuuuure 23:33:24 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. 23:33:38 ehird_, I just don't believe it 23:33:48 ehird_, and I'm chuckling at this 23:34:16 Issues; you have them. 23:34:26 ehird_, :D 23:34:51 ehird_: i think function naming custom depends a lot on what kind of function it is. 23:34:55 also "this" wasn't at "me don't believing you" it was at "you claiming not to be annoyed" 23:35:01 oerjan: anything! :P 23:35:08 ehird_, which indicates not quite as weird issues at least 23:35:13 specifically, the arguments to the misnamed (○) 23:35:15 yeah pretty much 23:35:26 "me don't believing you". Purveyors of fine grammar. 23:35:30 ○_○ 23:35:38 soupdragon, wonderful 23:36:09 ↺ 23:36:12 ↻ 23:36:15 ooh 23:36:17 ® 23:36:19 Ⓢ 23:36:21 ↻_↺ 23:36:23 ⊛ 23:36:28 ↺_↻ 23:36:30 ⊚ 23:36:38 ehird_, those are just a blur here 23:36:41 ⊝ 23:36:42 apart from the S in the ring 23:36:49 ⊝_⊚ 23:36:50 the S in the ring was *very* clear 23:37:08 ▿ 23:37:11 ehird_, ⊛ ⊚ ⊝ are not readable 23:37:17 ⊴ 23:37:23 ≜ 23:37:30 ∗ 23:37:53 ehird_, ∗ is just * ? 23:37:58 \ast 23:38:03 oh wait, it is in the middle of the row 23:38:06 ⊛ is circledast 23:38:19 · 23:38:25 ℃ 23:38:29 that's one character 23:38:30 so cool 23:38:48 33℃ 23:39:16 ζ 23:39:19 what is cool about ℃ 23:39:43 ⊤ 23:39:44 o(ζ)o 23:39:48 ⊥ 23:39:50 that is one symbol just for degrees C? ℃ 23:39:55 rather than a degree sign? 23:40:06 error :: String → ⊥ 23:40:40 ∎ 23:40:46 I love ∎ 23:40:49 ⊥ 23:40:49 ∎ 23:41:00 soupdragon, a black square? 23:41:00 ↑ How to prove anything to a non-total programmer. 23:41:03 very small such 23:41:34 ∍ 23:41:41 ehird_, do you still have that unicode graph line generation script around? 23:41:42 ‵ 23:42:00 AnMaster: Yes. 23:42:12 ehird_, that last one was prim? 23:42:21 -!- FireFly has quit ("Leaving"). 23:42:22 backprim 23:42:29 f′ 23:42:52 Optimus′ 23:43:26 totally a programmer 23:43:32 oerjan, -_- 23:43:53 * oerjan bows 23:43:54 ehird_, also what is ζ now again? 23:44:06 ‵o′ 23:44:18 ‵.o.′ 23:44:56 AnMaster: zeta 23:45:06 ah 23:45:44 ah found it at /mnt/gentoo$HOME/irc/sparkline 23:47:33 I'm rewriting it in Haskell now :P 23:47:35 look up the rayman zeta function 23:47:40 ehird, why? 23:47:48 Because Python sucks and Haskell rocks. 23:47:52 soupdragon: lol rayman zeta function 23:48:02 ehird, why did you write it in python back then 23:48:12 AnMaster: I was an unenlightened fool. 23:48:21 haha was 23:48:24 ehird, oh? I thought you knew haskell at that point 23:48:25 :3 23:48:27 * ehird stabs soupdragon 23:48:33 soupdragon, :D