00:05:49 -!- tromp has joined. 00:06:09 -!- FireFly has quit (Excess Flood). 00:06:20 -!- nisstyre has joined. 00:09:22 -!- FireFly has joined. 00:09:22 -!- FireFly has quit (Excess Flood). 00:10:40 -!- FireFly has joined. 00:11:37 -!- shachaf has quit (Ping timeout: 252 seconds). 00:12:07 -!- shachaf has joined. 00:24:13 if Unicode is supposed to encompass every legacy charset, then shouldn't they have compatibility codepoints somewhere for the UCS-2 characters corresponding to UTF-16 surrogates? 00:24:32 or is the idea that they don't have to because those codepoints were never assigned in UCS-2? 00:26:36 nah they just have a padded cell in their headquarters for anyone who thinks to long about that hth 00:26:41 *too 00:26:46 seems likely 00:30:00 https://github.com/mairin/selinux-coloring-book 00:32:23 Aren't those UCS-2 characters also unicode codepoints 00:32:33 no 00:32:56 U+D800 through U+DFFF are explicitly not valid Unicode codepoints 00:33:09 Oh, those 00:33:10 there's no clear way to represent them in UTF-16, and there is a clear way to represent them in UTF-8 but it's forbidden 00:33:20 Did anyone use those? 00:33:21 though see http://en.wikipedia.org/wiki/CESU-8 00:33:22 (yes.) 00:34:08 does myndzi do anything for ꙮ_ꙮ or ꙮ.ꙮ 00:34:30 seems not c.c o_0 00:34:30 c.c.c 00:34:30 c.c 00:34:38 c.c c.c 00:34:39 c.c.c 00:34:39 c.c 00:38:48 -!- realzies has quit (Ping timeout: 240 seconds). 00:40:20 Jafet: JavaScript has UCS-2 string semantics, so (for example) if you get a string from the DOM that contains an astral plane character and inspect it with charCodeAt() you will see individual surrogates :/ 00:45:51 http://jsfiddle.net/Wj5DN/ 00:48:55 this is a massive pain if you want to represent strings in your browser as something other than UTF-16, say, to save a huge amount of memory 01:06:34 So, for the Ludum Dare Game Jam, some of my friends (and I helped!) made a small roguelike, "ColinQuest" 01:06:41 http://www.ludumdare.com/compo/ludum-dare-29/?action=preview&uid=20617 01:07:31 It would be really helpful if people could make static binaries for Windows and Max 01:07:50 *Macs 01:08:19 OS X doesn't like static binaries. 01:08:53 OK 01:09:00 What does OS X like and could you help with that 01:09:13 http://ecmanaut.blogspot.com/2006/07/encoding-decoding-utf8-in-javascript.html ? 01:09:41 dynamic binaries and no 01:10:15 -!- barrucadu has left. 01:10:20 os x likes irony and fixed-speed bicycles 01:10:54 osx does not like waiting in line, showing up to work on time, going to clubs that let everyone in 01:46:33 Taneb, cool 02:28:28 -!- ^v has joined. 02:44:10 -!- trout has quit (Ping timeout: 265 seconds). 02:51:44 -!- Sorella has quit (Quit: It is tiem!). 03:19:23 -!- ^v has quit (Read error: Connection reset by peer). 03:19:49 -!- ^v has joined. 03:22:54 -!- adu has joined. 03:44:32 -!- ^v has quit (Ping timeout: 252 seconds). 03:45:43 -!- ^v has joined. 03:57:59 -!- tromp has quit (Remote host closed the connection). 03:58:35 -!- tromp has joined. 04:02:50 -!- tromp has quit (Ping timeout: 255 seconds). 04:08:20 [wiki] [[Talk:~-~!]] http://esolangs.org/w/index.php?diff=39430&oldid=38729 * 121.45.207.205 * (+412) /* Getting odd numbers back after ~=~~ (let 1 = 2) */ new section 04:15:42 -!- tertu has joined. 04:34:18 -!- tertu has quit (Ping timeout: 240 seconds). 04:40:11 -!- tertu has joined. 04:51:26 -!- realzies has joined. 05:03:01 -!- tswett has quit (Ping timeout: 252 seconds). 05:06:24 -!- adu has quit (Quit: adu). 05:13:59 -!- Sprocklem has quit (Quit: Goodnight). 05:15:55 -!- ^v has quit (Read error: Connection reset by peer). 05:16:08 -!- ^v has joined. 05:20:16 -!- variable has joined. 05:20:16 -!- variable has quit (Changing host). 05:20:16 -!- variable has joined. 05:20:53 -!- ^v has quit (Client Quit). 05:22:36 -!- ^v has joined. 05:42:53 -!- tertu has quit (Ping timeout: 264 seconds). 05:45:40 -!- nooodl has joined. 05:46:35 -!- nooodl has quit (Client Quit). 05:48:17 -!- nooodl has joined. 05:50:39 -!- FreeFull has quit. 06:00:26 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 06:01:19 -!- tertu has joined. 06:01:24 -!- idris-ircslave has quit (Quit: Terminated). 06:10:29 -!- tertu has quit (Ping timeout: 264 seconds). 06:11:11 It's not cheating if ekmett guides me through what to do, right? 06:11:56 -!- ^v has quit (Ping timeout: 252 seconds). 06:13:25 -!- augur has quit (Ping timeout: 252 seconds). 06:15:40 Sgeo: you are lost in a maze of categories, all different... 06:19:05 -!- ^v has joined. 06:19:20 -!- ^v has quit (Read error: Connection reset by peer). 06:21:30 (lambda (p) (contramap (lambda (o) (lift p ) p 06:21:39 ^^incompletely and possibly wrong aieee 06:21:46 definitely wrong) 06:22:05 )) 06:22:11 ))))) 06:22:16 ^ error 06:23:00 ^ul ()S 06:23:45 ^def ul (I see nothing.)S 06:23:45 Defined. 06:23:50 If I want to get to a profunctor that gets an s, I need to contramap with a profunctor that accepts an s 06:23:51 ^ hm... 06:23:54 darn 06:23:58 ^show 06:23:58 echo reverb rev rot13 rev2 fib wc ul cho choo pow2 source help hw srmlebac uenlsbcmra scramble unscramble asc ord prefixes tmp test celebrate wiki chr ha rainbow rainbow2 welcome me tell eval elikoski list ping def a thanks 06:24:08 ^ 06:24:14 ^ 06:24:33 contramap with a function 06:24:34 i wonder if that got saved anywhere. 06:27:19 -!- nooodl has quit (Quit: Leaving). 06:31:03 oerjan: how do you feel about covariant and contravariant Setters 06:31:14 Huh. 06:32:13 ^style lovecraft 06:32:13 Selected style: lovecraft (H. P. Lovecraft's writings) 06:32:24 ^def tmp2 ul ()S 06:32:24 Defined. 06:32:25 ^show 06:32:25 echo reverb rev rot13 rev2 fib wc ul cho choo pow2 source help hw srmlebac uenlsbcmra scramble unscramble asc ord prefixes tmp test celebrate wiki chr ha rainbow rainbow2 welcome me tell eval elikoski list ping def a thanks tmp2 06:32:32 Hm, no extra gap. 06:32:43 fungot: those setters are non-euclidean, aren't ther 06:32:44 oerjan: all was now ready, and the thinning hair and beard of my friend had laughed, for these fears were of the vaguest, wildest, and most of the palaces the floors were generally thick with detritus, litter, and debris, but farther down this condition decreased. in some places. people sometimes heard the queerest kind of sounds. 06:32:46 *they 06:33:28 ^save 06:33:28 OK. 06:34:01 -!- password2 has joined. 06:34:07 It does not seem to have made it to the state file. 06:34:10 ^source 06:34:11 https://github.com/fis/fungot/blob/master/fungot.b98 06:34:13 heh 06:35:23 so what are we dealing with now? the fungot in the machine? 06:35:24 Bike: the first horrible incident of our acquaintance was the greatest. there was a singularity in my fnord hand. this is not to the complete and engulfing fnord of the 06:35:40 oh dear 06:36:02 Bike: much worse than that, clearly 06:37:03 are you serious 06:37:10 fungot is written in befunge? 06:37:10 fowl: may 18, 1934. now, beyond the roof and the tops of great pointed windows, rose boldly above the tangle of gables and chimneys in the violet valley where the many-bridged charles flows drowsily. these things i was very sorry for him, for 06:37:37 fowl: well it was either that or some hideous chthonic language. 06:37:45 fowl: "fungot". 06:38:34 As far as I can tell, "^def ul ..." indeed parses as command name "", language "ul", body "...". I don't know yet what happens after that. 06:38:47 fancy 06:39:18 cool 06:39:37 i learned a word today! im going to go call someone chthonic brb 06:39:55 just be prepared for them to sprout tentacles hth 06:40:12 Oh, I see what's going on. 06:40:26 The end of the command list is also marked by a 0 where a command name is expected. 06:40:34 heh 06:41:09 so it was "saved", but then ignored, and your tmp2 probably overwrote it. 06:41:14 Yes. 06:42:43 I'm still missing the ^undef command, I think I added that to the TODO list somewhere in 2009-2010. 06:42:52 ^todo 06:43:26 ^def todo ul (Make a todo list command)S 06:43:26 Defined. 06:45:41 now i want to learn befunge to figure this out 06:45:43 >_> 06:50:49 fiendish 06:51:07 fizzie: maybe you'll get pull requests! 06:51:11 &todo 06:51:13 ^todo 06:51:13 Make a todo list command 06:51:23 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 06:51:43 has that ever happened btw 06:52:23 lol 06:53:26 oh, fungot moved to github? 06:53:26 olsner: when i finally found myself fnord and free, i awkwardly clambered down to the sea and fnord down from the fifth story. he had known merely by reputation or not at all. 06:53:40 fungit 06:54:07 "and that's how i got to github." 06:55:24 There have been no Github forks or pull requests or issues or any of that stuff. 06:55:27 `addquote oh, fungot moved to github? olsner: when i finally found myself fnord and free, i awkwardly clambered down to the sea and fnord down from the fifth story. he had known merely by reputation or not at all. 06:55:27 oerjan: in less than an hour or two at a time the man left me alone. some new and wild note in the drumming and chanting, perceptible but slightly to me, and at its inner angles, and view the myriad parts of the 06:55:29 1190) oh, fungot moved to github? olsner: when i finally found myself fnord and free, i awkwardly clambered down to the sea and fnord down from the fifth story. he had known merely by reputation or not at all. 06:57:11 what's twungot? 06:57:49 olsner, i think thats the markov chain part of it 06:58:18 olsner: It's the twitter stuff. 06:58:36 ooh, that stuff 06:58:40 is that active? 06:58:51 And also contains a Perl implementation of the markov chain stuff. 06:59:02 Though what's doing the blabbing here in IRC is all Funge-98. 06:59:07 you mean, fungot uses twitter? 06:59:07 b_jonas: the lurking fear. the thing came abruptly and fnord a sound animal without psychological subtleties, and probably that by which those others had descended. 06:59:18 b_jonas: Well, it has a Twitter account, it hasn't tweeted in quite a while. 06:59:45 https://twitter.com/fungot "29 Jun 2012" 06:59:45 fizzie: if you desire to see him dart purposefully out of the realm of their pets. accordingly, we decided to find a smooth place on the seventh of october, 1928, dr. willett's that the next move. it was when the minds of the requisite sensitiveness. 07:00:05 I wouldn't be surprised if the Twitter-posting parts had bitrotted away. 07:00:15 how many fungots does it take to change lightbulb? 07:00:15 b_jonas: the next day, saying that the stones and altars were as low as those in the sea. for their prehistoric flights through cosmic space, legend said, they absorbed certain chemicals and became almost independent of eating, always curiously like a formality with him, and he knew he must confront his host. 07:01:02 fungot: like a positronic robot? 07:01:02 b_jonas: " you have come to see the high turrets of the onyx nightmare wherein still glowed the lone lurid light of that final horror. i have said, my studies gradually gave me a kind of ophidian animation. everything he saw was abnormal, non-euclidean, and loathsomely redolent of spheres and dimensions apart from ours. now an fnord seaman felt the same anomalous drowsiness which affected me oddly. 07:01:34 fungot: and ravens circling the tower too, I guess? 07:01:34 b_jonas: blake had fnord in the fabulous years beyond history. in the storm 07:01:50 fizzie, im sure the api has changed several times since 2012 07:01:55 Oh, there's apparently also a "collect trending tweets" script. 07:02:19 I think I was going to make a ^style twitter, but then forgot about it. 07:08:45 -!- augur has joined. 07:09:02 fizzie: I have this old quotes file http://www.math.bme.hu/~ambrus/pu/bibul.txt scraped from http://www.lolcatbible.com/ . you could make a style based on it if there isn't one yet. 07:09:38 that's like five years old though so maybe it should be re-scraped 07:10:30 fungot, can has you bake a cake in lolcat? 07:10:30 b_jonas: i eyed him in silence for a while my chief concern during dreams was to avoid looking down at the top, in order that he might use the silver key. a gate had been that one or some other attribute of a family of short-lived men, i afterward pondered long upon these premature deaths, and began making a noose with the other islanders, or as sacrifices to the other. 07:11:05 that. is. awesome. 07:11:47 crafted with love. 07:21:03 -!- heroux has quit (Ping timeout: 276 seconds). 07:37:53 -!- slereah has joined. 07:38:03 I hate it when I do something that works because I made a mistake 07:38:09 And it ceases to work when I fix it 07:43:24 slereah: yes, some of our programs work when we make an even number of sign mistakes 07:45:32 `coins 07:45:33 tbftcoin cuycoin bubandcoin caintacoin nhoolemcoin intycoin singcoin helpiteshimlddreimachcoin mouflaufecoin altcoin bilcoin wiecoin sandcoin udecoin stacoin comaascerecoin noortcoin georrelcoin ribulcoin forcoin 07:45:55 Welp, I tried two sigmoid functions 07:46:07 The usual one solves it in about 5000 iterations 07:46:17 The Elliot one in... 3 millions 07:46:21 Sorry elliott 07:46:26 You're just no good 07:49:25 TWO l's TWO t's 07:50:03 abs? how boring 07:50:19 Although 07:50:23 It might be the gain 07:50:32 A steeper gain might work out vbetter 07:55:04 Hm, it does! 07:55:21 But it works even better with the exponential one 07:55:26 I wonder about the tangent one 08:01:40 i wonder how much faster that can really be. surely exp is just a taylor series. 08:02:08 Well it is faster to compute, surely, but slower to converge 08:03:19 i'm wondering how many taylor terms you really need. maybe you can just go up to ³ or so and get something inaccurate, but faster than more exp, and converging faster than abs 08:03:47 I looked up an implementation of exp once 08:03:50 It didn't use Taylor 08:03:50 what's the math on how fast a givne transfer function converges, anyway? or is it all empiric? 08:04:33 It used the Remez algorithm 08:04:40 Up to maybe 6 orders 08:04:57 That's because at that level, the error is < to significant digits 08:05:10 Also it didn't compute it directly 08:05:14 still just a polynomial, eh 08:05:30 It's more e^x = 2^k e^r 08:05:46 With x = r + k ln(2) 08:06:20 -!- idris-ircslave has joined. 08:07:23 Also the coefficients of the Remez algorithm are pre-tabulated 08:11:05 "Firefox OS lets you live every moment to its fullest and build a brighter future for the Web." 08:11:30 I don't want my OS to crash all the time because I have too many things open 08:12:39 kmc: can you confirm/deny 08:13:37 http://stackoverflow.com/questions/15350856/which-method-to-implement-exp-function-in-c stack overflow closings seem weird 08:14:27 shachaf: seems legit 08:22:35 -!- Tritonio has joined. 08:26:49 shachaf: it's unfortunate that for a &str foo, foo.slice_from(n).as_bytes() is slower than foo.as_bytes().slice_from(n) 08:27:01 I guess this is the sort of thing GHC's rewrite rules are good for 08:27:20 aren't those different things? 08:27:34 well, i guess that depends on what slice_from and as_bytes (and str) are 08:27:53 -!- oerjan has quit (Quit: leaving). 08:28:41 ok, slice_from takes a byte offset, not a code point offset 08:28:42 true, the former will fail in cases where the latter won't 08:28:45 hello internets 08:28:45 yeah :/ 08:28:55 hi quintopia 08:29:13 why is it slower? 08:29:32 because it makes a new str object thing which is taken apart immediately or something? 08:29:51 oh, because it checks for validity? 08:31:58 yeah 08:32:13 to which one 08:32:22 sorry, the latter 08:32:42 the first one i think is solved by inlining, the second one you can't really solve with rewrite rules because it changes the program 08:34:40 -!- Patashu has joined. 08:36:06 i sort of like the thing where you have indices into a string that are "opaque", so you get constant-time indexing but can't get an unsafe index 08:36:11 i guess that's an iterator or something 08:36:24 yeah 08:36:52 iterators are kind of a pain in rust though :/ 08:45:34 oh, this channel has much more active discussion for Rust than #rust itself. :p 08:45:39 (for freenode channels, of course) 08:49:20 that sounds about right 08:49:30 we have more active discussion on any topic than any other channel 08:49:40 except for esoteric programming languages 08:50:57 -!- Patashu_ has joined. 08:50:57 -!- Patashu has quit (Disconnected by services). 08:53:02 coppro: isn't that norm? 08:53:04 kmc: where does n come from in your case? 08:55:08 depends 08:58:28 -!- heroux has joined. 09:04:03 * kmc -> sleep 09:04:04 good night 09:20:30 -!- impomatic has quit (Ping timeout: 265 seconds). 09:29:18 -!- mhi^ has joined. 09:34:57 -!- password2 has quit (Ping timeout: 276 seconds). 09:57:52 -!- oerjan has joined. 10:04:39 Are there special preprocessing things to tell the compiler "Hey don't sweat it it's okay that it's like that" 10:05:04 -!- conehead has quit (Quit: Computer has gone to sleep). 10:05:37 -!- yorick has joined. 10:18:34 -!- oerjan has quit (Quit: leaving). 10:18:34 -!- boily has joined. 11:03:24 -!- Phantom_Hoover has joined. 11:11:40 -!- boily has quit (Quit: EGREGIOUS CHICKEN). 11:13:10 -!- impomatic has joined. 11:17:54 -!- kallisti_ has quit (Read error: Connection reset by peer). 11:42:58 That would presumably depend on the compiler. 11:43:16 GCC has pragmas that can turn off warnings for particular regions. 12:02:33 Are the rationals the smallest field containing the naturals? 12:02:33 -!- Sorella_ has joined. 12:04:19 Smallest? 12:04:33 I don't really know what I'm talking about 12:04:36 There are some fields containing N, but not Q 12:04:43 Such as? 12:05:50 Hmm wait 12:06:55 "The rational numbers can be formally defined as the equivalence classes of the quotient set (Z × (Z \ {0})) / ~ ..." ok I think these math guys really really want it to be the smallest field 12:14:57 Jafet: what else would you have in mind? 12:15:53 (if you start with Z x (Z \ {0}) but don't take that quotient then you won't have a field) 12:16:36 where I'm interpreting Z x (Z \ {0}) as fractions. 12:17:48 Oh, that definition is actually much more overcomplicated than I thought 12:19:27 we could just use the smallest field of characteristic 0 :) 12:20:09 Well, we might first want to make sure that there is a smallest field of characteristic 0 12:20:27 details 12:20:41 Whaaat 12:20:45 I just discovered unions 12:20:58 Why do they never teach all basic C features 12:21:18 WHAT ELSE ARE YOU HIDING C 12:21:33 Jafet: this is in the same spirit as working with *the* complete ordered field. 12:21:48 slereah: digraphs and trigraphs 12:22:02 slereah: and lots of undefined behaviour 12:22:22 Bitfield compiler bugs 12:22:44 Buggy libc linker scripts 12:23:00 strncat 12:23:45 -!- tswett has joined. 12:23:45 -!- tswett has quit (Changing host). 12:23:45 -!- tswett has joined. 12:24:03 It should be straightforward to prove that any field of characteristic 0 contains Q. 12:24:35 Jafet: indeed. 12:25:05 (When preparing the camera copy, change your \shouldbe macro to "is") 12:25:09 Jafet: it contains Z and is closed under division by non-zero numbers, so it contains all fractions. 12:30:03 Is there a way to get around some of the compilation of functions 12:30:20 I want to do some inline stuff, but by default functions do a lot of things on their own 12:32:36 what do you mean? 12:33:20 Well for instance 12:33:22 static inline void foo() { ... } // standard way to urge to compiler to inline the function and not provide a standalone compiled version 12:33:39 s/to c/the c/ 12:33:39 By default, a function of floats load the arguments into the xmm registers 12:34:03 Even if I do nothing with the floats 12:35:08 inlining should take care of that. 12:35:17 Okay 12:35:44 (why do you have functions with unused arguments though?) 12:36:48 If you mean this http://sprunge.us/YKLQ then just plain compiling with optimizations on should get rid of *that*. 12:37:11 (That's not loading arguments to xmm registers, though; it's unloading them from there.) 12:37:13 int-e : Well what if I want to use them in the ST registers, for instance 12:37:49 Oh 12:37:50 fizzie: wow that does look awful :) 12:37:50 I see 12:38:33 Assuming regular x86-64 ABI, they're passed in the SSE regs. 12:38:49 and what was the point of "rep ret" again? meh 12:38:57 int-e: It's to work around an AMD bug. 12:39:15 int-e: Something something branch prediction something something ret directly at a branch target something. 12:39:27 (It does a simple "ret" for suitable values of -march.) 12:39:30 This came up before. http://repzret.org/p/repzret/ was nice. 12:39:35 (Sorry.) 12:40:15 I don't think I've managed to coax the "ret 0" out of GCC. 12:45:46 -!- nisstyre has joined. 12:46:41 Man why does the compiler do movq%rax, -24(%rbp)movsd-24(%rbp), %xmm0 12:46:48 rax isn't even anything in this function 12:47:33 Paste some code, perhaps. 12:47:39 Eh fuck it 12:47:45 Is that without -O? 12:47:46 I'll return one of the argument 12:47:47 Nope 12:47:50 Regular gcc 12:48:11 ... 12:48:12 I'm pretty sure %rax is something if it does that. 12:48:26 If not, you should report a code generation bug. 12:48:30 Maybe outside the function 12:48:32 I guess 12:48:55 anyway, hard to tell without code. 12:49:49 No matter 12:49:55 I'll just return one of the argument 12:50:06 At least I know where they are stored 12:55:15 -!- Sgeo has quit (Read error: Connection reset by peer). 12:57:00 -!- ais523 has joined. 13:03:00 -!- callforjudgement has joined. 13:03:32 -!- ais523 has quit (Read error: Connection reset by peer). 13:03:33 -!- callforjudgement has changed nick to ais523. 13:06:36 -!- callforjudgement has joined. 13:06:40 -!- ais523 has quit (Client Quit). 13:08:23 -!- callforjudgement has quit (Excess Flood). 13:08:43 Is there a site that has like 13:08:47 All basic C functions 13:08:53 That isn't the C norm 13:09:03 In a bit more readable format 13:09:35 -!- callforjudgement has joined. 13:10:19 -!- callforjudgement has changed nick to ais523. 13:21:38 -!- Patashu_ has quit (Ping timeout: 240 seconds). 13:26:39 -!- ais523 has quit (Remote host closed the connection). 13:26:41 -!- callforjudgement has joined. 13:30:33 <`^_^v> what are basic c functions, the ones that are included in the standard? 13:31:00 The ones written in basic 13:31:42 The non-library functions in the standard 13:31:53 Well, not just functions 13:31:58 All the things in general 13:32:03 Types and whatever 13:32:11 <`^_^v> what 13:32:15 There always seems to be some hidden one that I discover 13:39:18 Basically a list of all features of C that isn't a tutorial 13:39:21 And that is exhaustive 13:43:45 -!- callforjudgement has changed nick to ais523. 13:45:20 -!- ais523 has quit. 13:45:26 -!- callforjudgement has joined. 13:52:47 I think that's called a "book". 13:52:53 Something like the K&R. 13:53:28 I have many books 13:53:34 Most if not all don't have said list! 13:55:50 -!- callforjudgement has quit (Read error: Connection reset by peer). 13:56:00 Well, K&R is reasonably thin (274 pages, according to Amazon) and if you read through it once, there shouldn't be all that much left to discover that could be called "basic features". I guess. 13:56:05 -!- callforjudgement has joined. 13:57:22 I will give it a try 13:57:40 src\System\Plugins\Consts.hs:39:23: lexical error in string/character literal at character 'P' 13:57:44 well... this sucks. 13:57:51 There are syntax errors in hackage packages? 13:58:30 why would a 'P' be illegal in a string literal anyway? 13:58:36 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 13:58:39 that's also a good question 13:59:20 <`^_^v> you should just read the standard, because the language has changed a lot since k&r, and even k&r does not have everything about the language 13:59:31 <`^_^v> it's just as boring as you would expect, but you learn a lot 13:59:55 -!- tertu has joined. 14:00:26 <`^_^v> then you can join ##c and start being very pedantic 14:01:37 -!- callforjudgement has quit (Read error: Connection reset by peer). 14:01:42 -!- scarf has joined. 14:03:50 I hate how some packages can't be compiled on windows without cygwin 14:04:01 and as it seems now... they even don't compile with cygwin 14:04:51 -!- scarf has changed nick to ais523. 14:05:09 ah well... 14:05:09 ok 14:05:14 hm 14:05:27 haskell platform isn't really made for >Windows XP 14:05:59 Yeah.. I see... I'm gonna need a Unix again somewhere 14:06:25 If you update cabal stuff get's broken due to AppData\Roaming 14:06:57 -!- nucular has joined. 14:06:58 -!- nucular has quit (Changing host). 14:06:58 -!- nucular has joined. 14:17:35 -!- ais523 has quit (Ping timeout: 240 seconds). 14:19:31 -!- ais523 has joined. 14:23:42 -!- Sorella_ has changed nick to Sorella. 14:26:26 -!- edwardk has quit (Quit: Computer has gone to sleep.). 14:38:06 -!- edwardk has joined. 14:56:42 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 15:01:07 -!- edwardk has quit (Quit: Computer has gone to sleep.). 15:03:35 -!- ^v has joined. 15:08:43 -!- Sprocklem has joined. 15:19:54 -!- ter2 has joined. 15:19:55 -!- tertu has quit (Disconnected by services). 15:23:11 -!- ais523 has quit (Remote host closed the connection). 15:25:33 -!- ais523 has joined. 15:25:33 -!- ais523 has quit (Client Quit). 15:25:54 -!- password2 has joined. 15:26:21 -!- password2 has quit (Max SendQ exceeded). 15:30:44 -!- password2 has joined. 15:31:13 -!- password2 has quit (Max SendQ exceeded). 15:31:52 -!- password2 has joined. 15:32:24 -!- tertu3 has joined. 15:32:24 -!- ter2 has quit (Read error: Connection reset by peer). 15:38:23 -!- AnotherTest has joined. 15:39:42 Today's spam: http://sprunge.us/ZFCH 15:39:55 I assume that list of names is culled from competing spammers. 15:45:44 -!- Tritonio has quit (Ping timeout: 255 seconds). 15:48:08 -!- FreeFull has joined. 15:50:52 -!- drdanmaku has joined. 15:57:58 -!- tertu3 has quit (Ping timeout: 240 seconds). 15:58:19 fizzie: it's so nice to finally find an honest person out there. 16:00:38 -!- augur has quit (Quit: Leaving...). 16:06:54 -!- password2 has quit (Ping timeout: 276 seconds). 16:08:13 -!- slereah has quit (Quit: Leaving). 16:11:27 -!- aloril has quit (Ping timeout: 276 seconds). 16:19:10 -!- edwardk has joined. 16:24:41 -!- password2 has joined. 16:24:43 -!- aloril has joined. 16:45:42 -!- MoALTz has joined. 16:54:52 -!- tertu3 has joined. 17:03:35 -!- password2 has quit (Ping timeout: 255 seconds). 17:10:38 -!- nooodl has joined. 17:16:02 -!- Slereah_ has quit. 17:21:48 -!- password2 has joined. 17:26:20 -!- ter2 has joined. 17:26:20 -!- tertu3 has quit (Read error: Connection reset by peer). 17:30:03 -!- tertu3 has joined. 17:30:28 -!- MindlessDrone has joined. 17:33:17 -!- ter2 has quit (Ping timeout: 264 seconds). 17:33:39 -!- tertu has joined. 17:34:24 -!- ter2 has joined. 17:34:25 -!- tertu has quit (Disconnected by services). 17:35:41 -!- tertu3 has quit (Ping timeout: 264 seconds). 17:35:59 -!- Slereah has joined. 17:36:53 -!- Sprocklem has quit (Ping timeout: 264 seconds). 17:40:53 -!- adu has joined. 17:57:11 -!- password2 has quit (Ping timeout: 265 seconds). 17:57:57 wtf is up with boardgamegeek 17:58:06 {{data.config.moduletitle}} 17:58:53 -!- ter2 has quit (Ping timeout: 252 seconds). 17:58:54 what the hell, that is supposed to be like this with disabled js 17:58:58 that is horrible 18:27:25 -!- CodingBat has joined. 18:33:35 -!- planet23 has joined. 18:37:44 -!- planet23 has quit (Remote host closed the connection). 18:46:12 -!- CodingBat has quit (Quit: Page closed). 18:52:09 -!- Sprocklem has joined. 18:56:47 -!- FreeFull has quit (Ping timeout: 240 seconds). 18:59:52 -!- Main has joined. 19:00:02 -!- Main has quit (Client Quit). 19:01:39 -!- conehead has joined. 19:02:43 -!- nortti has changed nick to noragami. 19:02:56 -!- noragami has changed nick to nortti. 19:02:57 -!- FreeFull has joined. 19:13:42 <`^_^v> http://java.metagno.me/ 19:14:47 `^_^v: you sir/madam/something else have the best nick I've seen yet 19:14:48 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^v:: not found 19:15:10 hmm 19:15:10 loooooooool 19:16:34 `run { echo '#!/bin/sh'; echo "echo '^_^v'"; } > bin/^_^v; chmod +x bin/^_^v 19:16:36 No output. 19:17:48 `^_^v 19:17:49 ​^_^v 19:18:06 `run { echo '#!/bin/sh'; echo "echo '`^_^v'"; } > bin/^_^v; chmod +x bin/^_^v 19:18:06 bash: -c: line 0: unexpected EOF while looking for matching ``' \ bash: -c: line 1: syntax error: unexpected end of file 19:18:11 hmm 19:18:55 `run { echo '#!/bin/sh'; echo "echo '^_^v'"; } > bin/^_^v; sed -i bin/^_^v '2s/^/`/' 19:18:56 sed: can't find label for jump to `in/^_^v' 19:19:13 lol 19:19:34 `run sed -i '2s/^/`/' bin/^_^v 19:19:35 No output. 19:19:41 there, finally 19:19:57 `^_^v: that thing is brilliant 19:19:58 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^v:: not found 19:20:18 `chmod +x bin/^_^v 19:20:19 chmod: missing operand after `+x bin/^_^v' \ Try `chmod --help' for more information. 19:20:32 `run chmod +x bin/^_^v 19:20:32 No output. 19:20:38 `^_^v 19:20:39 ​/hackenv/bin/^_^v: 3: /hackenv/bin/^_^v: Syntax error: EOF in backquote substitution 19:20:54 `rm bin/^_^v 19:20:55 No output. 19:24:03 I can't wrap my head around ICFP. I can't find anything on icfpconference.org about registration, attendance fees, attendance eligibility and so on, but I guess I'm missing something 19:24:26 Knowing this channel, I'm sure you know everything about ICFP (and more), so what am I missing? 19:31:25 fungot: Yes I'll tell you, I'll tell you why I'm lying here... but God forgive me... and God help us all... because you don't know what you ask of me. 19:31:25 kmc: weary moon on the river of the sky like the men from the plains would scale the slope homeward in the dusk as the stars came right again. to this man iranon spoke, as to only a few, since fuller accounts and records are at the disposal of the prisoners. no trials, or even proved to exist. the farther he went the fnord it was clear, and devastating significance nearly fnord to the fiend has ever had. 19:32:16 I knew it, I should've asked fungot for advice instead 19:32:16 FireFly: the next i racked my brain over the problem. what had happened. he did, however, a giant, muscular body, stark naked, was found upon boarding to contain one survivor in a fnord state like a true man and fnord. 19:32:19 ^style 19:32:19 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft* nethack oots pa qwantz sms speeches ss wp youtube 19:32:39 -!- nucular has quit (Quit: Excess Food). 19:32:58 FireFly: it's more than 4 months away, and notifications are next week, so I think not having registrations open yet is normal. 19:33:18 fungot: the giant, muscular, stark naked body contained a survivor?! 19:33:18 FireFly: " but the whisperer seemed not to notice this, and its colour was that same nameless intrusion which ammi had come to the bad end he deserved, is at once the horrible eyes, blacker even than the moss-grown castle walls. these ancient turrets, stained by the storms of generations and crumbling under the slow yet mighty pressure of time, safety, direction, or definite object? there is something queer and unholy about the 19:33:30 FireFly: that's speaking in general, I don't know about ICFP in particular 19:34:02 Oh, okay. 19:34:27 Though hmm, some idea of what fees to expect before submitting papers would be nice. 19:35:01 one MILLLLLLION dollars 19:35:34 I guess I'll wait and see what happens 19:37:57 I'm expecting it to be more expensive than PyCon Sweden's student rate, at any rate :P 19:38:07 a conference I want to go to this summer hasn't even gotten their website up yet and it's two months away :/ 19:38:19 (which amounts to $20 or so) 19:39:59 it's four figures, iirc 19:40:19 but which four, and how many of them? 19:41:01 I guess I'll forget about it then, at that rate 19:41:57 more importantly, is there a decimal point? 19:42:28 (ICFP is sponsored by ACM which means that it is cheaper for ACM members and too expensive in any case) 19:49:18 "crumbling under the slow yet mighty pressure of time, safety, direction, or definite object?" 19:50:47 http://icfpconference.org/icfp2012/registration.html seems the most recent data on the web. Some of the tutorial prices don't make sense. 19:51:03 -!- curiousguy13 has joined. 19:51:09 That's not much of a member discount. 19:52:01 ICASSP 2014 costs €705 for IEEE non-members, €520 for IEEE members, and €470 for IEEE SPS members. 19:52:59 (I'm paying the student price, which is €225 for non-members, €150 for SPS members, and IEEE+SPS membership for the rest of the year was something like $15.) 19:53:57 "professional" ACM membership is $99 a year, a discount of half the membership fee sounds reasonable. 19:54:43 but who am I to judge 19:54:46 IEEE dues are such that it's always cheaper to join than to go to the conference as a non-member. 19:54:57 (I think they get a lot of members that way.) 19:55:53 hmm, just noticed that I've forgotten why I dislike ACM, but I have some idea that being a member is somehow bad 19:56:09 olsner: because they don't actually offer anything useful? 19:56:20 could be that 19:56:51 there was a time when they did. now all they do is spam members 19:56:58 They arrange ICPC, at least that's something I guess 19:57:22 no, their members do, and they would be perfectly able to do so if not for the ACM 19:57:31 it's how many other major disciplines do it :) 19:57:41 Oh, fair enough 20:21:42 -!- edwardk has quit (Ping timeout: 276 seconds). 20:22:12 -!- Froox has joined. 20:22:25 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:22:55 -!- Frooxius has quit (Read error: Connection reset by peer). 20:45:17 -!- AnotherTest has quit (Ping timeout: 264 seconds). 21:02:28 -!- Patashu has joined. 21:14:02 -!- Patashu_ has joined. 21:14:03 -!- Patashu has quit (Disconnected by services). 21:14:43 -!- ter2 has joined. 21:17:21 http://i.imgur.com/NUZoY4G.png 21:17:22 heh 21:19:38 -!- Sprocklem has quit (Ping timeout: 240 seconds). 21:20:11 No one should be a cock to a stranger, ever! 21:21:02 Dicks are very important for figures of speech though 21:21:24 One of my favorite is "I wouldn't fuck her with a stolen dick!" 21:21:32 Because of the sheer absurdity of penis theft 21:21:45 https://www.youtube.com/watch?v=byDiILrNbM4 21:25:19 -!- Patashu_ has quit (Ping timeout: 252 seconds). 21:31:40 -!- nooodl has quit (Remote host closed the connection). 21:33:14 -!- nooodl has joined. 21:36:04 -!- CodingBat has joined. 21:44:14 -!- adu has quit (Quit: adu). 21:45:49 -!- Bicyclidine has joined. 21:49:23 -!- CodingBat has left. 21:53:38 -!- ter2 has quit (Ping timeout: 240 seconds). 21:58:08 -!- Sgeo has joined. 22:05:59 -!- edwardk has joined. 22:08:43 -!- augur has joined. 22:14:38 -!- augur has quit (Ping timeout: 240 seconds). 22:15:00 -!- augur has joined. 22:28:15 -!- mhi^ has quit (Quit: Lost terminal). 22:37:04 -!- ggherdov has quit (Ping timeout: 258 seconds). 22:42:43 -!- nooodl has quit (Quit: Leaving). 22:46:31 #ifdef DEBUG 22:46:32 mHandles[mHandlesUsed] = (nsIContent*)0xC0DEDBAD; 22:46:47 you got that right 22:49:33 -!- ggherdov_ has joined. 22:54:47 -!- MoALTz has quit (Ping timeout: 252 seconds). 23:08:09 -!- yorick has quit (Remote host closed the connection). 23:18:48 -!- CodingBat has joined. 23:19:52 http://coq.inria.fr/distrib/V8.3-beta0/refman/Reference-Manual025.html i think coq should be used to verify a lack of encoding errors >: 23:22:48 -!- CodingBat has quit (Ping timeout: 240 seconds). 23:24:59 -!- tromp has joined. 23:25:02 "Remember, the C++ type system and the XPCOM type system are really two independent things. Because XPCOM interfaces are expressed as abstract C++ base classes, you may be tempted to let C++ handle the differences, or to use C++ casts to navigate between interface types. This is wrong." 23:25:07 :( 23:25:34 This evening I wrote some sort of data queue server 23:25:40 what is the relationship between XPCOM and X-COM: ENEMY UNKNOWN 23:25:56 unclear 23:25:57 -!- curiousguy13_ has joined. 23:26:57 -!- CodingBat has joined. 23:27:18 -!- curiousguy13 has quit (Ping timeout: 265 seconds). 23:27:29 -!- curiousguy13_ has changed nick to curiousguy13. 23:29:48 -!- nisstyre has joined. 23:32:43 -!- CodingBat has quit (Quit: Page closed). 23:36:33 -!- Phantom_Hoover has joined. 23:49:27 -!- edwardk has quit (Quit: Computer has gone to sleep.).