00:00:05 I have printed business cards for someone using TeX, a few times. 00:01:58 Have you printed Magic: The Gathering cards using TeX? 00:02:32 shachaf: No, I haven't done so. I do not even have the fonts for the mana symbols and that stuff 00:02:45 shachaf: No, that's TeXnicard. 00:03:10 TeXnicolor 00:03:36 (Which means I cannot do so by TeXnicard either; but if someone make GF fonts for the mana symbols then it will work) 00:03:46 oerjan: hands off 00:04:12 (METAFONT is preferable since it is scalable; GF is not scalable) 00:04:48 hands off wat 00:05:02 EGL 00:05:11 You can add it to the language list though 00:05:27 * oerjan isn't even browsing esolang at the moment 00:05:56 http://esolangs.org/wiki/EGL 00:06:07 looks like it's in need of some hands 00:09:26 hi monqy 00:09:47 no 00:10:05 monqy: do you what elliott told me today monqy 00:10:14 14:43 hi 00:10:43 elliott doesn't want you to quit hi because it's bad for you 00:10:48 he just wants all the hi for himself 00:10:55 im struggling too 00:12:08 hi 00:12:15 Do LLVM programs require the standard C library to run? 00:12:36 I should hope not. 00:12:55 http://esolangs.org/wiki/EGL tada 00:13:41 this C++03 faux-functional stuff is really awful 00:13:44 kmc: FEW TOO MANY WORDS THERE EH EH 00:13:53 SPECIFICALLY THE "03 FAUX-FUNCTIONAL" PART 00:14:46 HA, HA! 00:15:11 SOUNDS TO ME LIKE "THIS" and "STUFF" ARE ALSO EXTRANEOUS 00:15:26 BECAUSE C++? MORE LIKE STUPID PLUS PLUS, AM I RIGHT? 00:19:44 Apparently esolangs.org has 1,406 incoming links from animepaper.net. 00:19:50 Thanks... Google? 00:20:08 I will go see what that is. 00:20:56 maybe that's a japanese center for malbolge programming 00:21:11 Aw, it doesn't seem to sell anime-decorated stationary or toilet paper. 00:21:33 Finally. Anime-decorated toilet paper. 00:21:44 The one thing I have been waiting for my entire life! 00:22:10 If you spin the roll fast enough, it's like a flip book. 00:22:23 Yesss 00:25:20 [[ 00:25:20 I've been asking a few questions about concurrency in Haskell, particular TVar, and I've had concerns about livelock with TVar. 00:25:20 Instead, I've proposed this solution. 00:25:21 (1) Wrap all shared data in the program in one data structure, and wrap that in an IORef. (2) Simply do any changes using atomicModifyIORef. 00:25:21 ]] 00:25:28 kmc: Why didn't the smart Haskell people think of that before? 00:25:47 :3 00:25:54 I am not able rightly to apprehend etc. 00:26:26 it's not actually a bad idea, dependint on your workload 00:26:41 elliott: garbage in, babbage out 00:26:59 i remember Simon Marlow benchmarked a bunch of different concurrent datastructures for the IO manager 00:27:06 and the one that did best was IORef + persistent data structure 00:27:23 i guess I can't tell without context whether they think this should replace all STM ever 00:27:41 also you can't make it strict 00:27:47 kmc: Yes, but that would correspond to one IORef for each "structure". 00:27:52 Not one IORef with your ENTIRE PROGRAM STATE. 00:27:59 well, if you want STM-like atomicity... 00:28:39 elliott: so he's basically reinvented the python GIL (sp?) 00:28:49 kmc: At least it won't livelock! 00:28:51 oerjan: Yep XD 00:29:00 atomicModifyIORef is lockless 00:29:18 Still forces serialisation 00:29:20 sure 00:29:31 i mean saying it "reinvents the GIL" is not really fair 00:29:40 but maybe fair enough for our "making fun of people on stackoverflow" mode 00:30:42 Ha! Those people on the stack overflow! 00:30:48 @quote kmc stack.overflow 00:30:48 No quotes match. There are some things that I just don't know. 00:30:52 @quote kmc stackoverflow 00:30:52 No quotes match. Are you on drugs? 00:30:54 @quote kmc overflow 00:30:54 No quotes match. And you call yourself a Rocket Scientist! 00:30:55 @quote kmc stack 00:30:55 No quotes match. My brain just exploded 00:30:56 @quote kmc o 00:30:56 kmc says: on December 21, 2012 A.D., Jesus Christ himself will return to Earth and make the final commit on GHC 00:31:03 That's a terrible quote. 00:31:04 I think lambdabot's database got wiped. :-( 00:31:07 @forget kmc on December 21, 2012 A.D., Jesus Christ himself will return to Earth and make the final commit on GHC 00:31:07 Done. 00:31:29 shachaf: nah it's probably just elliott 00:31:48 oerjan: No, I think it did. 00:31:57 ALl my good quotes got wiped and now lambdabot only has bad quotes by me. :-( 00:32:04 :( 00:32:33 shachaf: Then retype the good one 00:33:00 I had some good quotes, and some other quotes too that were written by me (and some other people too) 00:33:12 elliott: I'm no good at that. 00:33:14 @quote shachaf 00:33:14 shachaf says: Group projects are stupid Try a semigroup project sometime. You need to lose your identity. 00:39:59 -!- azaq23 has joined. 00:40:11 -!- azaq23 has quit (Max SendQ exceeded). 00:41:07 Is it permitted to take a shorthand writing paper into a live theatre or movie theatre? 00:41:40 no 00:43:16 -!- azaq23 has joined. 00:47:02 I want to film film from back of cinema. 00:50:41 i'm film 00:55:07 http://youtu.be/67p4QihDO9c 00:55:44 Warning: don’t begin clicking on other Fonejacker clips in the related videos. You’ll lose the whole night. 00:56:08 "This video contains content from Base79 TV (Base79/2) and Channel 4, one or more of whom have blocked it in your country on copyright grounds." 00:58:01 ಠ_ಠ and they’ve not blocked it in Finland? 00:58:29 ion: IIRC there's good reason it's usually blocked in the country of origin and nowhere else. 00:58:39 I forget what that reason is, though. 01:00:16 How about this copy? http://youtu.be/8No35aomeok 01:09:15 Same. 01:09:45 How about this copy? http://www.dailymotion.com/video/x2j5vx_fonejacker-you-want-buy-dvd_fun 01:12:08 -!- hagb4rd has quit (Ping timeout: 246 seconds). 01:13:32 That works. 01:17:26 -!- Tod-Autojoined has changed nick to TodPunk. 01:25:53 -!- augur has quit (Remote host closed the connection). 01:27:33 -!- oerjan has quit (Quit: Good night). 01:52:57 kmc: If you enjoyed our product "Believing everything you read on Hacker News", why not try "Believing everything you read in the Weekly World News"? 01:58:35 Man, reading this HN thread, I think the "nobody is ever good enough to write crypto ever and unless you're using crypto code handed down by God himself on stone tablets, you are already hacked" crap has done more overall harm than incompetent crypto istelf. 01:58:36 *itself 01:59:43 "What I find especially interesting is how they explicitly decided to design the site like a startup's. I always think it's cool when philanthropy learns from commercial enterprises." 01:59:44 oh wow 02:01:03 "Seems pretty clear they’re breaking with the crappy, poorly designed webpages open source software—especially anything having to do with networking or security—often have. 02:01:03 These guys understand: how something is presented matters too; not just how well the code works." 02:01:12 i heard kmc reference this but i had no idea 02:01:17 yeah 02:01:32 thank god our hipster startup aesthetic has finally reached those tragically un-cool academics 02:01:38 I don't think they realize that we're deliberately making fun of them 02:01:52 I really hate twitter bootstrap because I can tell without fail whenever anything is using it 02:01:56 it's like Blueprint was a few years ago 02:02:07 haha 02:03:04 In the idle time for WHOIS, what things are counted? For example, do NOTICE messages count? 02:04:00 myndzi sent me a NOTICE message, and it seem not count. 02:04:15 kmc: is there a way to artificially slow my connection down, i wanna see mosh's prediction :'( 02:04:30 how about this 02:04:43 nope, and whois neither 02:04:52 elliott, run mosh-server in valgrind 02:05:00 myndzi: That didn't count either; the idle time increased 02:05:15 kmc: you think I'm installing valgrind on solidity? 02:05:15 also http://www.linuxfoundation.org/collaborate/workgroups/networking/netem 02:05:21 wait 02:05:24 maybe I can bounce the connection a bit 02:05:29 ssh solidity ssh dinky ssh solidity ssh dinky ssh solidity ssh dinky ssh solidity ssh dinky ssh solidity ssh dinky ... 02:05:33 lol 02:05:51 I think it is useful that NOTICE messages don't count 02:05:51 -!- hagb4rd has joined. 02:06:13 probably to do with the nature of privmsg/notice 02:06:32 notice is generally for responding to privmsg to avoid loops, at least with ctcp 02:06:38 but i'm sure the server protocol existed before ctcp 02:06:55 elliott: Doesn't the program "ettercap" have a feature to slow down the internet? (I think I read something about this in 2600) 02:07:23 I like how http://esolangs.org/wiki/Timeline_of_esoteric_programming_languages stops at 2005 02:07:27 (Okay, modulo the future.) 02:07:36 ettercap rings a bell 02:14:31 -!- olsner has joined. 02:17:19 Great, #haskell is explaining monads again. 02:22:07 channel.me is great 02:23:05 elliott, are they also inside-joking? 02:23:29 i mean saying "#haskell is explaining monads again" is like saying "it's cool and slightly foggy in san francisco" 02:23:51 kmc: No, they weren't. I managed to rescue the poor guy, though :P 02:23:56 heh 02:24:09 It wouldn't be so bad if it wasn't so quadraphonic. 02:25:15 kmc: Anyway, I thought California was hot all the time. 02:25:38 i've heard that california is actually a very large state with a range of climates 02:25:54 Nonsense. 02:26:20 I refuse to devote 50 times the memory space to the USA than I would to any other country. 02:26:28 Therefore California is just hot all the time. 02:26:40 it is pretty funny to see confused tourists in SF shivering in a t-shirt and shorts 02:26:52 heh 02:35:46 -!- TodPunk has quit (Quit: This is me, signing off. Probably rebooting or something.). 02:40:26 -!- augur has joined. 03:06:46 kmc: HELP I CAN'T STOP MYSELF MAKING SNARKY C++ COMMENTS 03:06:49 HELP!!!! 03:07:06 try drugs 03:08:04 :( 03:08:10 I saw what happened to monqy. 03:09:20 hi is the worst drug 03:10:42 -!- pikhq has quit (Read error: Operation timed out). 03:12:29 -!- pikhq has joined. 03:14:14 -!- Mathnerd314 has quit (Ping timeout: 260 seconds). 03:15:22 -!- MDude has changed nick to MSleep. 03:17:07 debugging a C++ type mismatch error using git diff --word-diff on logs 03:18:50 lol 03:19:29 -!- sebbu has quit (Read error: Connection reset by peer). 03:19:52 -!- sebbu has joined. 03:19:53 -!- sebbu has quit (Changing host). 03:19:53 -!- sebbu has joined. 04:21:23 -!- asiekierka has joined. 04:32:31 -!- hagb4rd has quit (Disconnected by services). 04:32:31 -!- hagb4rd2 has joined. 04:53:24 -!- Case1 has quit (Ping timeout: 260 seconds). 04:53:38 -!- elliott has quit (Ping timeout: 265 seconds). 05:41:21 Please tell me what your idea of this type system I have idea of (for Ibtlfmm, not for Haskell; but similar). I will describe some of its features so that you can complain about it properly. 05:41:29 One thing is the kind (*(x) -> {x} -> *) meaning a type taking two parameters, the first is an ordinary type and the second is a value of that type in braces. (For example if the type having this kind is called X then the type (X Int8 {15}) is of kind *) 05:41:50 A more complicated example is (*(x) -> *(Class1 x y => y) -> {Succ y} -> *) (note: where Succ is the equivalent of Haskell's Maybe) 05:43:06 And then there are still the other built-in kinds + @ & and so on, and the user-defined datakinds 05:58:42 so 05:58:51 any innovative paradigms invented recently? 05:59:24 augur: I don't know. 06:02:43 how recently is recently and how innovative is innovative 06:02:46 what is a paradigm 06:03:08 and how are they invented 06:05:57 :| 06:08:07 augur: you should invent innovative programming 06:08:48 * itidus20 . o O ( recently is 50 years. innovative is that you could write a whole book about the new paradigm. i'm not sure what a paradigm is, ergo not sure how they are invented ) 06:09:59 ^80 years 06:18:31 hi monqy 06:20:53 you almost got me 06:21:45 monqy: Don't you want to party? 06:21:56 tonight is party night, and the party is a hi party 06:22:37 :( 06:23:24 monqy: You can quit hi any time. But when can you go to a hi party? 06:23:35 That's right, only now. 06:23:43 It's a once-in-a-lifetime opportunity. 06:23:53 When are you going to go to a lo party? 06:24:46 What is your opinion of type system idea I have written? 06:24:49 what'ts a hi party jk i know what a i had enough hi party last night 06:25:03 qwoops i misdeleted my tetxt 06:25:31 monqy: "enough hi" :( 06:25:41 what would your own mother think of you 06:25:52 she would probably think "hi monqy" and you wouldn't think "hi" back 06:26:23 she'd never think "hi monqy"; she dsoesn't know im monqy 06:26:25 she does ntknow 06:30:23 monqy woulld she thinkt "hi william" 06:30:28 probalbuluy. 06:31:13 probabley 06:32:57 -!- zuelfda has joined. 06:33:34 -!- zuelfda has quit (Remote host closed the connection). 06:54:33 -!- zzo38 has quit (Remote host closed the connection). 07:02:52 -!- Case1 has joined. 07:20:53 -!- derdon has joined. 07:21:42 -!- Ngevd has joined. 07:21:52 Hello! 07:23:26 hi Ngevd 07:23:43 What's happening in THE WORLD OF ESOTERIC PROGRAMMING!? 07:24:45 `welcome Ngevd 07:24:54 Ngevd: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 07:29:06 -!- Case1 has quit (Read error: Connection reset by peer). 07:31:19 I am in stage 3 of Brainfuck Island stomping on corrupt mushrooms. 07:40:27 Brainfuck Island? 07:40:49 It's a level in Mario. 07:41:09 -!- derdon has quit (Remote host closed the connection). 07:41:23 -!- Ngevd has quit (Read error: Connection reset by peer). 07:41:47 -!- Ngevd has joined. 07:48:20 -!- olsner has quit (Ping timeout: 246 seconds). 07:49:47 in other words it is Brainfuck Island in name alone.. 07:52:09 i don't remember them using the word "fuck" in mario 07:53:28 yeah even wario wouldn't say that. i wouldn't put it past waruigi though 07:53:34 This is a crossover with Call of Duty: Modern Warfare 07:56:41 mariofuck 07:57:04 obligatory http://plumberplace.files.wordpress.com/2007/01/image_70.jpg 08:00:25 -!- Ngevd has quit (Ping timeout: 260 seconds). 08:01:08 -!- olsner has joined. 08:06:12 kmc that looks scary 08:16:38 -!- monqy has quit (Quit: hello). 08:22:09 -!- sebbu2 has joined. 08:22:09 -!- sebbu2 has quit (Changing host). 08:22:10 -!- sebbu2 has joined. 08:22:59 -!- sebbu has quit (Ping timeout: 246 seconds). 09:23:50 -!- aloril has quit (Ping timeout: 260 seconds). 09:36:15 -!- aloril has joined. 10:10:09 -!- derdon has joined. 10:55:24 -!- atrapado has quit (Ping timeout: 272 seconds). 11:04:59 -!- Ngevd has joined. 11:05:20 Hello 11:05:25 This seems the best place to ask this 11:05:38 I'm having some trouble installing a driver on Windows 98 11:07:01 "The SETUPASSISSTANT.EXE fuke is linked to missing export KERNEL32.DLL:GetUserDefaultUILanguage." is the error I get when I try to run the setup application 11:07:57 Any advice or referrals? 11:08:34 ... that OS. 11:08:43 It is 14 years old. 11:08:45 Let it go. 11:09:18 I just want it to be useful 11:09:47 The fact that it's Windows precludes that possibility already. 11:10:12 It's looking at me, with those big, sad eyes. 11:10:21 Saying, "I want to be useful" 11:10:26 "Please make me useful" 11:10:34 "Like I was all those years ago" 11:10:50 Nostalgia. It was never useful. 11:11:23 Ssshhh! 11:11:28 It doens't know that! 11:11:47 No, it doesn't, but I don't have to hush. It is too stupid to understand. 11:12:19 Well, I'm rampantly anthropomorphizing, but still. 11:12:39 I can't make it boot from CD, so it's either this or have a hefty box to get rid of 11:14:18 Does it have a floppy drive? Bootable? 11:14:41 And wired network? 11:14:47 It has a floppy drive, but it's the only device I own with one 11:14:52 And no wired network 11:15:02 Then to the trash with it! 11:15:04 2012! 11:15:14 It has a DSL port, but is way too far from a DSL cable 11:15:31 lol 11:16:13 An idea I have just had! 11:19:52 -!- Ngevd has quit (Read error: Connection reset by peer). 11:20:36 -!- Ngevd has joined. 11:24:20 Didn't work... 11:28:55 -!- Taneb has joined. 11:30:27 -!- Ngevd has quit (Read error: Connection reset by peer). 11:33:40 -!- Taneb has changed nick to Ngevd. 11:38:13 -!- derdon has quit (Remote host closed the connection). 11:43:51 is it win98 second edition? 11:43:56 I believe so 11:44:09 yay 11:44:24 i don't even have a freaking clue what the difference is but i just know SE is better! 11:53:34 "Isabella" is the most popular name for female newborns in the US. 11:53:35 ... wut. 11:57:29 -!- cheater_ has quit (Ping timeout: 244 seconds). 11:57:44 -!- Taneb has joined. 11:58:33 -!- Ngevd has quit (Read error: Connection reset by peer). 11:58:47 -!- Taneb has changed nick to Ngevd. 12:01:21 -!- Taneb has joined. 12:01:33 -!- Ngevd has quit (Read error: Connection reset by peer). 12:02:02 -!- Taneb has changed nick to Ngevd. 12:05:59 -!- Ngevd has quit (Client Quit). 12:57:22 -!- Slereah has joined. 12:57:55 -!- Slereah_ has quit (Ping timeout: 260 seconds). 13:00:13 -!- nortti has joined. 13:15:21 -!- Slereah_ has joined. 13:16:33 -!- Slereah has quit (Ping timeout: 265 seconds). 13:16:54 -!- MoALTz has joined. 13:27:28 -!- MoALTz has quit (Quit: brb). 13:30:57 -!- MoALTz has joined. 13:51:05 -!- TodPunk has joined. 14:02:07 -!- Ngevd has joined. 14:02:11 Hello! 14:02:27 I have arrived in an alternate universe where I own a copy of Rome: Total War 14:05:33 are you planning to play it? 14:05:37 -!- Ngevd has quit (Client Quit). 14:08:05 Sometimes just being in the right universe is enough, y'know. 14:08:47 he would if his net connection started working 14:12:30 why would it require a network connection? it's a singleplayer game 14:12:34 well, mostly 14:12:47 and I'm reasonably sure I've played it on a non-internet-connected machine 14:13:16 hmm.... you're right 14:13:43 if anything, his flailing connection might motivate him to play it 14:18:06 -!- Mathnerd314 has joined. 14:34:40 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 14:44:26 -!- sebbu3 has joined. 14:44:27 -!- sebbu3 has quit (Changing host). 14:44:27 -!- sebbu3 has joined. 14:45:11 -!- sebbu2 has quit (Ping timeout: 246 seconds). 14:52:29 -!- augur has quit (Remote host closed the connection). 14:58:52 -!- cheater has joined. 15:00:39 -!- Deewiant has quit (Ping timeout: 260 seconds). 15:01:09 -!- Deewiant has joined. 15:25:05 -!- cheater has quit (Ping timeout: 246 seconds). 15:27:23 -!- rod_ has joined. 15:27:31 -!- rod_ has changed nick to atrapado. 15:35:59 -!- KingOfKarlsruhe has joined. 15:38:45 -!- cheater has joined. 15:50:33 -!- augur has joined. 16:09:22 -!- ais523 has quit (Remote host closed the connection). 16:13:45 -!- elliott has joined. 16:27:05 @John L: Can you give an example where STM will avoid extra work that can not be avoided using IORefs? – Clinton 17 mins ago 16:27:14 RocketJSquirrel: This guy CANNOT BE STOPPED 16:31:53 -!- sebbu3 has changed nick to sebbu. 16:40:45 kmc: that "replacement for SSH" wording + "uses SSH for login" is really confusing people 16:51:06 -!- boily has joined. 17:06:17 Have any of you ever taken a look at F#, by the way? 17:06:28 I must admit I only glanced at it once 17:06:31 When I was learning Haskell 17:06:43 It's OCaml. 17:06:50 -!- calamari has joined. 17:07:00 RocketJSquirrel: Not true. 17:07:05 OK, it's OCaml.NET 17:07:24 RocketJSquirrel: Exactly! 17:07:31 RocketJSquirrel: It's the only way you can make OCaml's standard library worse. 17:07:38 ^^ 17:09:05 Aw, I love C# <3 17:10:09 qfr: Is "<3" a new-fangled sarcasm mark? 17:11:22 No, it is supposed to depict the bubbly behind of a woman 17:11:36 But I do love C#, I wasn't being sarcastic 17:11:52 Yes, very funny. 17:12:12 Well, there actually are some theories that the heart symbol is derived from that 17:12:18 Others say it's from that plant 17:12:23 It's not entirely clear 17:12:30 No, I'm talking about But I do love C#, I wasn't being sarcastic 17:13:19 :\ do you still think I was being sarcastic? I have grown very fond of C# recently 17:13:29 I used to be opposed to it because I thought its portability sucked 17:13:30 C# rocks! 17:13:34 I think it's literally impossible for anyone to like C# non-ironically. 17:13:36 lol I live in Karlsruhe 17:13:43 I mean, unless your point of comparison is Java. 17:13:51 Okay, the lambdas and LINQ stuff are nice too. 17:13:53 But it's still C#! 17:14:38 I ran more tests with Mono on my Linux servers and it worked quite flawlessly for the most part 17:14:52 I was surprised by how you could just feed it any Visual Studio compiled binary 17:15:21 So I ended up changing my mind and I've been quite productive this past month 17:16:09 And now I'm maintaining a C# open source project that actually has a considerable share of MacOS and Linux users 17:17:21 -!- nortti has quit (Quit: leaving). 17:18:45 Other than the fact that it's a fairly dreary language (i.e. it's just not that interesting), my fear is that Microsoft are basically a bunch of dicks, and so will become sue-happy eventually. 17:18:59 See for example: Oracle vs Google "lol Java runs everywhere except when we decide to sue you" debacle. 17:19:33 I have to give them credit for the LINQ stuff, but only because they stole it from Haskell. 17:19:41 lol 17:20:38 Maybe "lol" should be the next Internet idiom I quit. 17:20:50 I'm living a very happy and successful life without the tongue face smiley. 17:21:03 * elliott has mastered the art of using "lol" sparingly. 17:21:18 -!- sebbu2 has joined. 17:21:19 -!- sebbu2 has quit (Changing host). 17:21:19 -!- sebbu2 has joined. 17:22:20 -!- sebbu has quit (Ping timeout: 246 seconds). 17:22:25 -!- sebbu2 has changed nick to sebbu. 17:22:38 `pastelogs [<]elliott> lol 17:22:39 [19:19:00] See for example: Oracle vs Google "lol Java runs everywhere except when we decide to sue you" debacle. 17:22:43 Oh? I'm not familiar with this case 17:22:49 Care to elaborate? 17:23:11 As for the Microsoft vs. Mono thing, I thought they were on amicable things now 17:23:14 At least pre-Xamarin 17:23:16 No output. 17:23:44 Err, amicable *terms 17:23:48 qfr: Oracle sued (is still in the endless process of suing) Google over vague Java-related patent infringement in Android. 17:24:02 Oh, I totally missed that 17:24:08 Or, put differently, "you implemented our language intended to be implemented everywhere, so we're suing you" 17:24:20 (On the basis of "as there's only one way to implement these really trivial methods, you clearly stole them from us") 17:24:31 Because they supposedly implemented some proprietary JVM technology? 17:24:33 I certainly don't believe Microsoft is above such things, and I even more certainly don't believe that their current relationship with Mono has any relevance whatsoever. 17:24:48 qfr: The exact details are (naturally) fuzzy, but that's the gist. 17:25:09 qfr: Because they supposedly copied code from the standard library. 17:25:16 RocketJSquirrel: "intended to be implemented everywhere" <-- you forgot "by us" 17:25:21 elliott: No, the lawsuit is over patents, not copyrights. 17:25:25 Oh, it is? 17:25:35 Yes. 17:26:00 Which means it's far more insidious. And squirrely. And flat-out evil. 17:26:11 Well, you'd know about that second-last one. 17:26:29 Indeeeeeed. 17:26:52 it's funny because he has SQUIRREL in his nick name! 17:27:02 On what legal basis could Microsoft leash out against Mono? 17:28:27 "The C# language definition and the CLI are standardized under ISO and Ecma standards that provide reasonable and non-discriminatory licensing protection from patent claims. However, Microsoft uses C# and the CLI in its Base Class Library (BCL) that is the foundation of its proprietary .NET framework, and which provides a variety of non-standardized classes (extended I/O, GUI, Web services, etc.). 17:28:43 -!- cheater_ has joined. 17:28:43 There's http://en.wikipedia.org/wiki/Mono_(software)#Mono_and_Microsoft.27s_patents. 17:28:50 But they have agreements with Novell making such action unlikely, I believe. 17:29:25 The Mono-will-be-destroyed-by-MS-patents people tend to be conspiracy theorists. 17:29:36 What was that blog again... 17:29:52 "The concerns primarily relate to technologies developed by Microsoft on top of the .NET Framework, such as ASP.NET, ADO.NET and Windows Forms (see non-standardized namespaces), i.e. parts composing Mono’s Windows compatibility stack." 17:30:01 Ah, that doesn't sound like an issue 17:30:05 Who cares about those! 17:30:14 I actually know some Mono ASP.NET developer 17:30:22 Dammit, where is that insane blog :P 17:30:46 it is also possible to run mono on android, i think you cannot do that with haskell! 17:30:52 Haha 17:30:56 I think you can 17:31:08 GHC has a working iPhone port. 17:31:09 KingOfKarlsruhe doesn't Android pretty much enable you to run arbitrary binaries? 17:31:12 The Android port mostly works too, as I understand it. 17:31:16 GHCi doesn't run on ARM yet, though. 17:31:18 yeah, sounds like it 17:31:29 Of course, the bindings to the Java GUI libraries aren't there yet. 17:31:31 Does GHC have an AMD64 version for Windows yet? 17:31:33 -!- cheater has quit (Ping timeout: 248 seconds). 17:31:35 But there's no inherent obstacle. 17:31:37 qfr: Dunno. 17:31:38 Back when I was doing Haskell it didn't 17:32:43 http://hackage.haskell.org/trac/ghc/ticket/1884 17:32:46 Opened 4 years ago 17:32:55 Oh, I remember igloo 17:33:00 I think I talked to him on freenode 17:33:19 "A working mingw64 port, which doesn't exist yet." ohhh 17:33:22 I totally forgot about this 17:33:58 But "The 64-bit mingw probably works now", said spj 2 years ago 17:34:08 haha 17:34:41 the primary obstacle for things like that is always finding someone who cares enough to do it 17:35:04 Yeah, I actually talked to devs about this 17:35:09 They said it's quite an adventure to do this 17:35:52 And involves a complicated multi-stage bootstrapping process where components are partially translated with an existing GHC on another platform to generate C out of that 17:36:10 And then it's compiled using a C compiler for the target platform 17:36:22 Or something like that 17:36:26 It sounded like a nightmare anyways 17:39:59 Last I checked, mingw64 works quite well. 17:41:00 :) 17:41:30 They will gladly port GHC to random phone XYZ 17:41:30 Well, modulo the fact that it's Windows-related, and thus does not work by definition. 17:41:42 But for Windows... no interest! 17:41:58 64-bit Windows is kiiiind of a niche market. 17:42:07 Heh 17:42:15 qfr: [Sponsored by Microsoft Research] 17:44:47 Aha, I think this is the insane anti-Mono site: http://techrights.org/?stories 17:44:58 Not sure though 17:46:04 Oh, D. 17:46:06 D, D, D. 17:46:09 Why you gotta, D? 17:46:10 D 17:46:34 D is a language so good it made me leave it and learn to love C again. 17:47:01 * elliott wonders if Esolang should really be linking to a site that contains things like http://detain.me/tools/aimspem.php. 17:47:13 RocketJSquirrel: Anyway, why'd you bring up D :P 17:47:25 Because people were talking about C# *shrugs* 17:48:23 Incidentally, is it officially C#, or C♯? 17:48:45 I know the pronunciation is C♯, but then Apple pronounces 'X' as "ten" so *eh* 17:49:17 (As opposed to "decem", PEDANTS) 17:49:25 It's C#. 17:49:47 Feh. C Octothorpe. 17:50:50 I wish elliott would stop appending dots to URLs 17:51:11 Requires me to manually copy URLs to open them :'( 17:51:35 [19:49:18] (As opposed to "decem", PEDANTS) 17:51:40 qfr: Appending dots where? 17:51:44 Oh. 17:51:46 qfr: you have to finish the sentence with a dot, and spurious whitespace makes you look stupid 17:51:47 Well, most of them would fail to pronounce that properly, too 17:51:49 I write sentences, man. 17:51:58 olsner: I like how that sentence didn't end with a dot. 17:52:10 oh, I mean... "stupid ." 17:52:54 oh well, I don't speak in sentences anyway, I speak in lines 17:53:20 The classical Latin DECEM was probably pronounced [dE"ke~] 17:53:43 Most would probably erroneously pronounce it with an [m], heh 17:55:54 Woops, the second vowel should be long, I think 17:56:04 [dE"ke:~], there 18:00:13 -!- azaq23 has quit (Quit: Leaving.). 18:04:42 I always add spurious whitespace when there's a URL or email address at the end of a sentence. 18:04:47 At least it's unambiguous. 18:04:54 In fact, it's not even spurious whitespace, it's only grammatically spurious. 18:08:00 -!- atrapado has quit (Ping timeout: 265 seconds). 18:10:54 RocketJSquirrel: It's ugly :( 18:11:04 Waaaah. 18:11:21 elliott: In your last line, you used ":(" as your punctuation, and had a space before it. 18:12:33 Plenk ! 18:12:41 -!- monqy has joined. 18:20:16 DevHC_ is such a huge raging asshole jesus christ 18:21:38 I misread "raging" as "rotating". 18:21:40 I was confused. 18:32:25 elliott: I think you just don't appreciate the expressiveness. 18:32:45 shachaf: I like how dmwit told me to stop and not DevHC. :( 18:32:52 @sclv is right; Haskell typeclasses are much closer to OOP interfaces than OOP classes, but even that analogy isn't perfect. In fact, the closest thing to OOP classes in Haskell are simply data types containing functions and monadic actions. – ehird 15 mins ago 18:32:52 Unknown command, try @list 18:32:52 @ehird Not really. – Marcin 13 mins ago 18:32:53 Unknown command, try @list 18:32:57 * elliott has been LOGICED 18:33:24 elliott: Did you know geekosaur == allbery_b? 18:33:42 did you know _why == Cale? 18:33:51 whoa 18:33:53 shachaf: I keep realising that and then forgetting it later. 18:34:31 Anyone who says the exact same things as me for like five minutes gets on my Good Person List, though. 18:34:42 Cue shachaf copying my lines verbatim for the next five minutes. 18:35:22 elliott: I've already said the exact same things as you for five minutes. 18:35:49 But I'm pretty sure anyone "shachaf" `isInfixOf` whose nick gets off your Good Person List. 18:35:49 I almost said hi shachaf what is wrong with me 18:35:54 hi monqy 18:35:57 D: 18:36:12 monqy: It's very natural. 18:36:29 Everyone wants to say hi shachaf once in a while. 18:36:46 shachaf: Are you referring to five-minute periods of silence? 18:37:07 elliott: Also to the times when we were both saying sense to someone in #haskell who was saying non-. 18:37:10 Remember those times? 18:37:16 Those were the times, man. 18:37:29 libmonqy.so.1 18:38:02 accepts answer -> 10 minutes pass -> "I think I need to digest this some more :) – Peter Hall 4 secs ago" -> de-accepts answer 18:38:03 How come there are seemingly so many people who talk about Haskell but no high profile projects other than maybe GHC itself? 18:38:04 :'( 18:38:15 qfr: Because that's a stupid lie. 18:38:33 because haskell isn't practical 18:38:38 There's xmonad and darcs, for one. And Yesod, Snap, Happstack. 18:38:48 (If you think libraries can't count as buzz, cf. Ruby, Rails.) 18:38:53 Oh yeah I know all of those actually 18:38:56 elliott: Uh-oh. 18:38:56 I used Yesod and Snap 18:39:01 I just didn't consider them high profile honestly 18:39:13 elliott: Google now autocapitalizes letters at the beginning of a search. 18:39:15 I think xmonad is the highest profile one out of those 18:39:23 Well, how many famous Ruby things can you name off the top of your head, if you're not paying attention to the Ruby community? 18:39:23 nobody actually uses xmonad 18:39:30 s/Ruby/pretty much any language/ 18:39:31 elliott: Not always, but if you have an existing Google search and press Esc and then type something new... 18:39:41 I think I know two or three people who use it 18:39:42 Haskell gets most of its use in internal corporate junk, I think. 18:39:43 dbelange: I don't use a window manager, so I would know 18:39:45 That's evidence enough for me 18:39:52 elliott: TWITTER = THE FUTURE 18:40:04 shachaf: [status-norepro] 18:40:10 elliott Rails, Github? 18:40:23 I must admit I'm not good with this though 18:40:25 qfr: Okay, that's two. Twitter also counts. 18:40:44 Because I don't really know what most of them use 18:40:45 Since we have 6 for Haskell, that doesn't seem bad, considering Haskell is rather less popular (at least on the internet) than Ruby. 18:40:52 (I can think of like 5 more for Ruby, though.) 18:40:56 It was just recently that I discovered about the history of Reddit, for example 18:40:59 Common Lisp -> Python 18:41:07 I think Facebook is PHP + MySQL :\ 18:41:09 elliott: http://rubyonrails.org/applications 18:41:34 lol I don't know any of those 18:41:35 (Did I ever mention how Ruby === Rails.) 18:41:36 Except for Github 18:41:41 qfr: Funny you should mention that, because Facebook use Haskell. 18:41:43 To transform PHP code. 18:41:47 They also have a PHP compiler thing in Haskell 18:41:50 *Haskell. 18:42:02 elliott: Their PHP-to-C++ compiler isn't in Haskell... 18:42:03 boycott haskell 18:42:08 shachaf haha, every time I say I did something in Ruby I add "(not Rails)" 18:42:09 elliott, they use Erlang for the chat, right? 18:42:11 shachaf: Maybe I mean their virtual machine or something. 18:42:14 I don't know. 18:42:19 Do they use CL or Scheme for anything? 18:42:19 They have multiple PHP things in Haskell. 18:42:26 elliott: I don't think there's anything. 18:42:30 shachaf: Eh? 18:42:49 They have one PHP thing in Haskell. Which they probably don't even use anymore. 18:43:06 I swear it was two. But okay. 18:43:14 "Facebook uses some Haskell internally for tools. lex-pass is a tool for programmatically manipulating a PHP code base via Haskell." 18:43:17 See, "tools", plural! 18:43:26 "Large, bloated Javascript framework with an unintuitive, verbose syntax and very few features. Browsing its inelegant, poorly written source is an unwelcome experience." -- description of Facebook project 18:43:28 shachaf yeah 18:43:48 I thought the Facebook frontend was pretty much fully written in plain PHP 18:43:52 No idea about the backend 18:44:10 It's surprising enough that they still use MySQL 18:44:26 I think it's the only big site I know that uses it 18:44:32 hisql 18:44:34 hi 18:44:36 hi monqy 18:44:44 I think Reddit used Postgres 18:46:02 shachaf is that a poem 18:46:10 qfr: Google AdWords uses it... 18:46:14 :o 18:46:27 And so does Wikipedia. 18:46:33 monqy: You tell me. 18:47:36 i have expunged my poem sense, none remains 18:47:49 Oh yeah, Wikipedia is the second big fish with MySQL under the hood 18:48:13 AdWords is kind of a big fish. 18:52:10 Does MediaWiki only work with MySQL? 18:52:16 Yes 18:52:23 They don't support any other DBMS afaik 18:52:47 It's the traditional horror of PHP and MySQL 18:53:23 Uh... 18:53:31 qfr: You're just pulling that out of your ass, right? 18:53:56 RocketJSquirrel: MediaWiki supports MySQL, PostgreSQL, Oracle, SQLite, and IBM DB2. 18:54:05 Close enough! 18:54:09 RocketJSquirrel: MySQL has the best support, followed by either PostgreSQL or SQLite, I forget which. 18:54:12 The other two are experimental. 18:58:43 shachaf: How do I make ssh-agent only ask me for my password on the first ssh login? 19:07:00 -!- nortti has joined. 19:10:50 -!- asiekierka_ has joined. 19:10:57 -!- asiekierka_ has quit (Remote host closed the connection). 19:24:20 shachaf: Is there a faster way of getting (n .&. 255, n `unsafeShiftR` 8)? 19:24:33 -!- oerjan has joined. 19:24:58 hi oerjan 19:25:06 hi elliott 19:29:03 > (-1234) .&. 255 19:29:04 Ambiguous type variable `a' in the constraint: 19:29:04 `Data.Bits.Bits a' 19:29:04 a... 19:32:43 > (-1234) .&. 255 :: Int 19:32:44 46 19:34:59 -!- Mathnerd314 has quit (Ping timeout: 246 seconds). 19:35:49 -!- MSleep has changed nick to MDude. 19:36:00 -!- asiekierka has quit (Remote host closed the connection). 19:41:09 -!- oerjan has quit (Quit: Ye olde reboote). 19:41:59 Deewiant: Is there a faster way of getting (n .&. 255, n `unsafeShiftR` 8)? :( 19:43:37 If it compiles to a mov and a shift then no :-P 19:44:24 Maybe fromIntegral is faster than the .&., if you're storing it in a Int8/Word8 19:47:44 -!- oerjan has joined. 19:47:54 Deewiant: Nope 19:47:59 Deewiant: Hmm 19:48:04 Deewiant: I could separate that fast path out 19:49:38 turning 19:49:39 reifyIntPtr :: IntPtr -> (forall s. ReifiesIntPtr s => Proxy s -> r) -> r 19:49:39 #define GO(n) reifyIntPtr n k = k (Proxy :: Proxy CAT(T,n)); 19:49:39 BYTES(GO) 19:49:39 #undef GO 19:49:39 reifyIntPtr p k = 19:49:40 reifyIntPtr (p .&. 255) (\a -> 19:49:42 reifyIntPtr (p `unsafeShiftR` 8) (\b -> 19:49:44 k (liftA2 (,) a b))) 19:49:46 into 19:49:48 reifyIntPtr :: IntPtr -> (forall s. ReifiesIntPtr s => Proxy s -> r) -> r 19:49:50 reifyIntPtr p k 19:49:52 | p < 256 = reifyByte (fromIntegral p) k 19:49:54 | otherwise = 19:49:56 reifyByte (fromIntegral p) (\a -> 19:49:58 reifyIntPtr (p `unsafeShiftR` 8) (\b -> 19:50:00 k (liftA2 (,) a b))) 19:50:02 where { 19:50:04 reifyByte :: Word8 -> (forall s. ReifiesIntPtr s => Proxy s -> r) -> r; 19:50:06 #define GO(n) reifyByte n k = k (Proxy :: Proxy CAT(T,n)); 19:50:08 BYTES(GO) 19:50:10 #undef GO 19:50:12 reifyByte _ _ = undefined; 19:50:14 } 19:50:16 But I dunno if that'd do anything 19:50:49 http://stackoverflow.com/users/1097181/ehird?tab=reputation YESSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS 19:52:06 oerjan: Take that, team Trondheim! 19:52:27 I have 186 points 19:53:43 I HAVE 20,001 19:53:47 I have 1 19:54:02 THAT'S 20,000 LESS THAN ME 19:54:13 Damn, now I really want to lose 1 rep. 19:54:18 And keep it like that. Forever 19:54:22 *. 20:01:24 My Stackoverflow history is shameful 20:01:56 I'm at 11 and my profile even contains questions about HTML 20:02:15 elliott: "That's mitigated by laziness (only the parts of the tree you actually look at get constructed), " 20:02:21 * elliott just does all Haskell all the time. 20:02:24 istr Map is spine strict 20:02:33 oerjan: Oh, right. 20:02:39 oerjan: Remind me to edit that later. 20:02:58 @tell elliott Edit "That's mitigated by laziness (only the parts of the tree you actually look at get constructed), " 20:02:58 Consider it noted. 20:03:05 @clear-messages 20:03:06 Messages cleared. 20:03:13 BTW, can someone figure out whether http://esolangs.org/w/index.php?title=Tiny&curid=1810&diff=31902&oldid=30619 is valid and make the necessary adjustment :P 20:03:33 case eqWord# a1_a2zI (__word 0) of _ { 20:03:33 False -> 20:03:33 case eqWord# a1_a2zI (__word 1) of _ { 20:03:33 False -> 20:03:33 case eqWord# a1_a2zI (__word 2) of _ { 20:03:34 False -> 20:03:36 case eqWord# a1_a2zI (__word 3) of _ { 20:03:38 False -> 20:03:40 case eqWord# a1_a2zI (__word 4) of _ { 20:03:42 False -> 20:03:44 case eqWord# a1_a2zI (__word 5) of _ { 20:03:46 False -> 20:03:48 case eqWord# a1_a2zI (__word 6) of _ { 20:03:50 False -> 20:03:52 Hooooly shit 20:03:54 GHC 20:03:56 There are much 20:03:58 better ways to do that 20:03:58 nice core 20:04:19 It gets better 20:04:25 False -> 20:04:25 case eqWord# 20:04:25 a1_a2zI 20:04:25 (__word 32) 20:04:27 of _ { 20:04:30 False -> 20:04:33 case eqWord# 20:04:36 a1_a2zI 20:04:37 Is this really necessary? 20:04:39 (__word 33) 20:04:42 of _ { 20:04:45 False -> 20:04:47 so, how far does it go? 20:04:48 case eqWord# 20:04:51 a1_a2zI 20:04:54 (__word 34) 20:04:57 20:04:59 @tell elliott_ Edit "That's mitigated by laziness (only the parts of the tree you actually look at get constructed), " 20:04:59 oerjan: BAN ELLIOTT 20:05:00 Margins? What margins? 20:05:00 Consider it noted. 20:05:01 Absolutely. 20:05:03 olsner: Up to 255 20:05:05 It ends up at one word per line. 20:05:07 oerjan: I don't use that nick :'( 20:05:09 Much. 20:06:00 elliott: well it should be late enough then :P 20:06:09 -!- Loupca has joined. 20:06:14 Hi. 20:06:16 welcome Loupca 20:06:17 oops 20:06:18 `welcome Loupca 20:06:25 Loupca: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page 20:06:26 would hate to give the impression i'm personally welcoming someone, naturally 20:06:45 elliott: TOO LATE 20:06:53 your reputation is _ruined_ 20:06:55 MY REPUTATION!!! 20:06:57 Yes. 20:07:50 (hi Loupca) 20:08:01 why is it no longer "hub of witchcraft and occultism"? 20:08:14 nortti: because April 1 passed, hth 20:08:28 nortti: you might be looking for #esoteric on dalnet 20:08:35 `? esoteric 20:08:38 This channel is about programming -- for the other kind of esoterica, try #esoteric on irc.dal.net. 20:09:52 STOP SAYING "S00N" AAAARGH 20:10:01 Wait, there's someone new here. 20:10:11 * elliott resolves to make marginally more sense for the next 10 minutes. 20:10:29 *more* sense? why? 20:10:39 Egad. 20:10:44 s4y 14T3R inst34d 20:10:53 .......... 20:10:56 I wonder what http://sprunge.us/MbYN is. 20:11:34 RocketJSquirrel: wat 20:11:49 elliott: looks like an absentError 20:21:14 -!- Loupca has left. 20:22:25 RIP Loupca. 20:23:08 -!- boily has quit (Quit: WeeChat 0.3.7). 20:24:08 > 2493 / 200 20:24:09 12.465 20:24:18 Hmm. 20:26:13 Oh, I just realised, I've never actually investigated what kind of SQL interfaces the Haskell people came up with 20:26:26 I imagine it's like a more sophisticated version of Linq 20:28:39 qfr: Alas, not really 20:29:02 Monad comprehensions are new and monasd don'ta llow the kind of introspection you need to do something like that nicely 20:30:15 :( 20:30:23 So they've been using raw SQL strings? 20:30:26 I am very disapointed 20:30:34 I was expecting some overengineered solution 20:30:47 Which allows overly condensed expressions 20:30:57 In native Haskell syntax without any strings at all 20:31:13 No, not raw SQL strings. 20:31:29 Well, not universally, at least. 20:33:13 Why are computery people so opposed to capitalization, I wonder. 20:33:34 what is so special about haskell compared to scheme for example? 20:33:34 Is it a backlash from THE DAYS OF COBOL WHEN EVERYTHING HAD TO BE ALL CAPS? 20:33:52 RocketJSquirrel how are they opposed to capitalisation? 20:34:03 Look at us, we are computery people and we capitalise properly! 20:34:04 qfr: Consider for example your nick. 20:34:15 qfr: Consider for example names of 99% of projects in the F/OSS world. 20:34:15 My choice in names is atypical 20:34:25 Usually I capitalise full nick names 20:34:41 This, however, is a cryptic short string from a Semitic root 20:34:49 qfr: Then look beyond yourself, look at all the nicks on this channel. Me and my bots account for nearly every capitalized nick. 20:34:49 Which I chose when I stopped using centralised names on the internet 20:34:58 I now use about 30 different names, one for each service 20:35:35 Currently I use 4 two or three letter nicks on IRC 20:35:39 qfr: Kind of unrelated to my point ;) 20:35:41 All of which are lower case 20:35:45 And one longer upper case nick 20:35:57 I mean, initial capital 20:36:04 Not all caps 20:38:27 So aaaaaaaaaaanyway. My point still stands, that in general computer folks eschew capitalization. Even if they capitalize sentences properly, proper names are rarely capitalized, and sometimes defiantly decapitalized even when sentence-initial. 20:39:44 I started switching to UpperCamelCase in my project names when I switched to C# 20:39:57 My Ruby projects mostly-used-this-notation 20:40:07 In my C++ days I was using this_notation 20:40:20 For both names in the code and project names 20:41:23 RocketJSquirrel: for a start, the irc nick in irssi is by default the same as the username, which historically did not work well with upper case in it (i think using upper case for the username triggered a caps-only terminal mode?) 20:43:08 oerjan: And most of those who don't use irssi or choose not to use the default nick will still choose an all-lower name. You're shaving a tiny corner off of a more fundamental issue. 20:43:33 RocketJSquirrel: it may be entrenched tradition, is what i'm saying 20:43:35 Capitalisation is ugly. 20:43:50 Anyway, I would guess that the Unix days, or just before that, is when it came about. 20:43:59 RocketJSquirrel: Remember that there wasn't an upper/lowercase distinction for quite a while. 20:44:10 elliott: Yes, but when there wasn't, EVERYTHING WAS UPPER CASE. 20:44:22 RocketJSquirrel: Yes, but once you get case distinction, with your entrenched single-case habits, do you call yourself KEN or ken? 20:44:24 Is it a backlash from THE DAYS OF COBOL WHEN EVERYTHING HAD TO BE ALL CAPS? 20:44:30 I know which I'd pick. 20:44:45 So, in short, "yes" is your answer to that question ;) 20:44:55 -!- cheater_ has quit (Ping timeout: 276 seconds). 20:46:09 -!- Ngevd has joined. 20:46:12 hi Ngevd 20:46:17 team hexham just hit 20k 20:46:17 Hello 20:46:23 Oh dear god 20:46:33 Team Hexham exists 20:47:00 Also, our dear friend NSXQ seems to have forgotten the existence of talk pages 20:49:04 That's not NSQX. 20:49:14 For a start, his IP isn't in the 200s any more. 20:49:17 For a start, it was never that :) 20:49:18 So it isn't 20:49:38 It's NSQXesque 20:51:22 Also, what's the context to team hexham? 20:52:01 All the Courant has is "War declared on pigeons" 20:52:09 http://stackoverflow.com/users/1097181/ehird?tab=reputation 20:52:21 Oh, that one 20:52:35 Well, I haven't upvoted you since you got passed 20 20:53:23 -!- nortti has quit (Quit: nortti). 20:53:23 why does everybody knows haskell in this channel? should i really lean it? 20:53:32 It's up to you 20:53:42 It's a nice language that I enjoy using 20:53:46 Not everyone does! Just the most active people :P 20:53:56 But everyone is different, so you may not enjoy it 20:54:02 (If you do decide to learn it, http://learnyouahaskell.com/ is probably the best way.) 20:54:08 (amen to that) 20:54:42 It's a quirky language, when compared to the vast majority of languages 20:54:50 Even other functional ones 20:55:05 > nubBy(((>1).).gcd)[2..] 20:55:06 [2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101... 20:55:42 oerjan, is that... 20:55:42 Uh oh 20:55:48 dons is back in the game 20:55:49 is that an infinite list of all the primes? 20:55:53 yes. 20:56:00 -!- oerjan has quit (Quit: Lost terminal). 20:56:16 rip oerjan 20:56:23 The assassins of C++ have killed him 20:56:49 [22:53:24] why does everybody knows haskell in this channel? should i really lean it? 20:56:51 No, don't bother 20:57:05 KingOfKarlsruhe you still haven't reacted to me mentioning that I live in Karlsruhe, by the way 20:57:20 are you a student? 20:57:21 Karlsruhe: the new Hexham? 20:57:30 ONLY TIME WILL TELL 20:57:36 KSC = looser club 20:57:55 looser than what? 20:58:06 than any other club 20:58:16 Aaah 20:58:24 looser in tightness of winningness. 20:58:32 Then surely the superlative would be more appropriate? 20:58:37 As in, "loosest club" 20:59:06 hmm 20:59:12 yeah probably 20:59:34 http://www.wolframalpha.com/input/?i=hexham%2C+karlsruhe%2C+helsinki 20:59:39 Hexham's still the densest 20:59:48 > map (\n -> 2 * n^2 + 11) [0..10] 20:59:50 [11,13,19,29,43,61,83,109,139,173,211] 21:00:07 KingOfKarlsruhe yes, I'm a student 21:00:13 It's "loser", by the way 21:00:21 (unless someone here lives in a town with less than ~6000 people?) 21:00:58 qfr: my english is really bad 21:01:21 http://en.wikipedia.org/wiki/Karlsruher_SC ah 21:01:24 elliott: I just use ssh-add. 21:01:50 KingOfKarlsruhe I have no interest in sports 21:02:10 shachaf: :( 21:02:11 elliott: "faster" in what sense. 21:02:20 In the sense of SPEED. 21:02:24 elliott: Oh. 21:02:27 qfr: what do you study? 21:02:34 Computard science 21:02:38 me too ^^ 21:02:39 About 7 months to go for my MSc 21:02:44 elliott: I'm going to not read all the scrollbacklog and just assume that you managed to solve it. 21:02:48 it's "computer", by the way 21:02:53 elliott: However, there *is* a way. 21:02:54 Could have been done in about 3 months from now but I'm being so lazy right now 21:03:01 shachaf: I... sort of did. 21:03:04 I know that because Ubuntu gives you a fancy GUI by default. 21:03:10 What? 21:03:13 Oh. 21:03:17 I thought you were talking about the faster thing. 21:03:22 shachaf: That's GNOME's ssh-agent. 21:03:26 Which is a different implementation. 21:03:27 KingOfKarlsruhe Diplom or BSc/MSc? 21:03:35 <- 12th semester 21:03:42 elliott: OK. 21:03:51 qfr: BSc at the HSKA 21:04:03 semester = half a year? 21:04:05 Yes 21:04:06 6th Semester 21:04:08 I don't know what HSKA is 21:04:11 I'm at KIT 21:04:14 hi 21:04:16 hi monqy 21:04:19 HSKA = FH? 21:04:20 hi there monqy 21:04:21 hi 21:04:23 i've finished my degree but would be my 8th 21:04:44 University of Applied Sciences http://www.hs-karlsruhe.de/en/home.html 21:04:47 i don't know if that's really appropriate anymore since i don't really take any classes 21:04:59 -!- Ngevd has quit (Read error: Connection reset by peer). 21:07:42 qfr: 12th? 4 yeas oO 21:07:56 4? 21:08:07 idgi 21:08:08 It takes most people 13 semesters to finsih this degree 21:08:25 most people are idiots 21:08:41 -!- RocketJSquirrel has quit (Read error: Operation timed out). 21:08:53 I have no incentive to work any harder honestly 21:09:28 is that 13 semesters in real time, or 13 semesters of studies? 21:09:28 I know somebody who did it in 11 21:09:30 my incentive was to get my degree fast. 21:09:32 That's about as low as you can go 21:09:38 He got 100% in every exam 21:09:45 he's doing his PhD now 21:09:55 well my degree usually takes 12 semesters, and i did it in 6 21:10:08 lol 21:10:19 100%? cool 21:10:26 I think I am currently on my 16th semester 21:10:39 olsner 13 semesters of real time I think 21:10:50 -!- cheater has joined. 21:10:53 i've been told you pretty much cannot get 100% when percentage grading is used 21:10:57 in most universities 21:11:05 They don't use percentage grading 21:11:19 It's a variety of bizarre German systems 21:11:19 oh well i have the best possible average too 21:11:23 None of which make any sense 21:11:29 but we just have a scale from 1 to 5 21:12:03 but i've gotten a few things wrong on exams 21:12:14 I think there is 1, 1.3, 1.7, 2, 2.3, 2.7, 3, 3.3, 3.7, 4.0 and 5.0 21:12:22 1 being the best 21:12:24 i see :D 21:12:25 5.0 failed 21:12:27 It makes no sense 21:12:44 that may be the silliest thing i've ever heard 21:12:48 it's a clever ruse to keep people from caring too much about grades 21:12:56 But hey, I've never failed an exam and my grades are 1.7 - 2 mostly 21:13:08 i've failed one exam 21:13:15 basic computer skills. 21:13:28 I'm mostly just hanging out at home 21:13:44 Overeating, pursuing my addiction to video games and series 21:13:53 Occasionally doing a bit of coding or making music 21:14:02 I don't attend of any the lectures honestly 21:14:09 i read that as "doing a bit my cousin" 21:14:12 I stopped doing that after one semester 21:14:31 and i was like wtf 21:14:34 I've been pretty much consistently skipping all of them for 4 years 21:14:37 because the grammar was just horrile 21:14:40 *horrible 21:14:55 -!- augur has quit (Ping timeout: 246 seconds). 21:15:06 And I still believe that I have learned pretty much nothing that is of professional relevance to me, lol 21:15:11 But hey, it's better than working 21:15:17 And I get money for this, so 21:15:28 -!- oerjan has joined. 21:15:29 i have to attend lectures nowadays because it's just us 3 ppl giving the course to each other :( 21:15:46 i think they would notice if i skipped it 21:15:58 hi oerjan 21:16:19 hi oerjan, what's up and how high? 21:16:38 -!- augur has joined. 21:16:48 the andromeda galaxy, about 2 million light years 21:16:53 The high oerjan. 21:17:14 (I'm no longer in oerjanland now.) 21:17:22 (Isn't that what it's called?) 21:17:27 sure 21:17:37 how did you escape my devious snow trap 21:17:53 Some other Norwegians helped us to push the car out. 21:17:57 (True story.) 21:18:04 ah. 21:18:19 Also two other groups were all "what the what kind of car this is, it doesn't even have the rear hook". 21:18:24 (It was a city kind of car.) 21:18:30 fizzie: how do you know one of them wasn't oerjan? 21:18:39 Well, I don't, really. 21:18:52 well that's a bit suspicious 21:19:20 * oerjan cackles mysteriously 21:19:37 There were two places called Bø in Lofoten, we were kind of wondering how they disambiguate those. (The road signs to Å said "Å i Lofoten", but that doesn't work for the two Bøs.) 21:20:07 are you sure of this 21:20:26 Reasonably, though we did not take photos of the signs. 21:20:33 I guess they could've meant something else. 21:20:46 But they looked very similar to the other signs that were unmistakably place names. 21:20:59 -!- augur has quit (Ping timeout: 245 seconds). 21:21:02 Also I kept mentally-pronouncing "bobil" like the English "mobile", except with 'b'. 21:21:19 just because they are unmistakable doesn't mean you necessarily unmistake them. 21:21:21 fizzie: note that Vesterålen is _not_ Lofoten, despite being sort of part of the general area 21:21:27 it just means you can unmistake them. 21:21:57 oerjan: Well, it could be something like that. The second Bø was more nearer to the mainland, I suppose. 21:22:15 I mean, it was somewhere between Svolvær and Kiruna (in Sweden), that's about all I know. 21:22:55 http://en.wikipedia.org/wiki/B%C3%B8 has rather a lot in Nordland & Troms :P 21:23:19 You sure like your Bøs. 21:23:40 I wonder if Mono will ever gain a status like JVM in terms of being targeted by other programming languages 21:24:10 i believe only the Vestvågøy one counts as Lofoten 21:24:19 qfr: .NET already is. 21:24:24 cf. IronPython etc. 21:25:17 1970 kilometres was the whole Kemi-Kiruna-Svolvær-Henningsvær-Uttakleiv-Hamnøy-Reine-Å-Moskenes-Hamnøy-Vikten-Nusfjord-Krystad-Hamnøy-Kiruna-Kemi trip. (Skipped some midway stops there.) 21:25:21 Oh yeah true, I just realised those probably already work with Mono 21:25:32 although there _do_ seem to be several in Vesterålen... 21:25:50 fizzie: did you walk? 21:26:09 oklofok: Not much. 21:26:40 well i just meant that trip 21:26:42 I never walked. 21:26:49 not your extracurricular activities 21:27:05 Walking wasn't included in that number, anyway, since it came from the car's distancometer. 21:27:15 The whatsitcalledometer. 21:27:19 oh you used a car 21:27:20 Odourmeter. 21:27:29 it's called ameterometer 21:27:33 *a meterometer 21:28:35 oerjan: I zoomed maps.google.com to the general region where we were, and wrote "Bø" in the search field. It showed me the borders of Bolivia. 21:29:12 (I think this whole "show the borders" thing is new-ish.) 21:29:18 Bølivia 21:31:26 http://www.reddit.com/r/lolphp/comments/ps6x5/0x0_wat/ 21:32:06 fizzie: fancy 21:33:48 Of the views, I kinda liked that one beach most. It kinda had a funny combination of "one of those warm places down south" sand-beach, and then the snow: http://zem.fi/~fis/beach.jpg 21:34:18 That's the most Finnish beach ever. 21:34:32 The most Finnish beach in Norway. 21:34:53 We don't have anything as mountainy as those things that come out of the water, really. 21:35:02 http://www.reddit.com/r/lolphp/comments/s6kqy/when_references_go_bad/ heh 21:35:05 fizzie: Well, same thing. 21:35:06 elliott yep 21:35:09 That one was disturbing 21:37:08 -!- Mathnerd314 has joined. 21:37:32 "MintChip misses the point of digital currency" 21:37:52 Well, if you're a fan of starting your own currency independent of government... 21:38:02 I'd say the article misses the point of MintChip 21:38:09 http://www.forbes.com/sites/jonmatonis/2012/04/12/mintchip-misses-the-point-of-digital-currency/ 21:49:34 -!- Deewiant has quit (Ping timeout: 260 seconds). 21:55:41 -!- elliott has quit (Ping timeout: 246 seconds). 21:59:03 -!- Deewiant has joined. 22:04:21 -!- cswords_ has joined. 22:07:55 -!- cswords has quit (Ping timeout: 264 seconds). 22:11:46 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.88.2 [Firefox 11.0/20120312181643]). 22:16:32 -!- RocketJSquirrel has joined. 22:24:12 -!- augur has joined. 23:01:17 -!- Mathnerd314 has quit (Read error: Connection reset by peer). 23:01:49 -!- Mathnerd314 has joined. 23:21:12 -!- variable has changed nick to const. 23:37:25 -!- Patashu has joined. 23:53:15 -!- elliott has joined. 23:57:28 -!- elliott has quit (Read error: Connection reset by peer).