00:03:35 -!- Koen_ has quit (Quit: Koen_). 00:32:54 did you know "awry" is pronounced like "a-wry" and not like "awe-ri"........................... 00:33:02 that makes it the worst word of all words 00:33:24 really 00:33:27 i thought it was awe-ri 00:33:47 same way everyone says eesoteric rather than essoteric 00:33:58 Phantom_Hoover: uh I say essoteric 00:34:09 fuck you i don't do what you tell me *guitar* 00:34:21 i say ezoteric 00:34:30 are you telling me it's not pronounced 'z'...... 00:34:43 Bike, but is it a gittar or a geetar 00:36:00 Bike: where did you get the guitar from 00:36:09 have you considered a mandolin instead 00:36:12 "better than guitars" 00:36:29 The h in hesoteric is silent. 00:36:35 whoa dude Bike is twitterizing now 00:36:45 Bike: you should follow me hth 00:36:51 the stalk thing's getting weird you know 00:36:59 well "getting" 00:37:07 https://twitter.com/Bike 00:37:11 um 00:37:22 that person is beating me by an order of magnitude :'( 00:37:23 @bike 00:37:24 Maybe you meant: bid dice time wiki 00:37:28 yes 00:37:35 who is bike on twitter 00:37:54 -!- augur has joined. 00:38:00 you'll surely find out by watching my "following" list 00:38:33 Oh, Bike is already following kmc. 00:38:48 twitter says you're not following anybody. 00:39:00 Twitter is wrong. 00:39:10 D: 00:39:25 i mean, assuming you're @shachaf 00:39:25 nope but I found Nathan von Doom 00:39:41 good name 00:39:48 i'm @mnxmnkmnd, mostly been complaining about darwin 00:39:50 so far 00:39:55 i look at twitter.com/copumpkin almost every day!! 00:40:06 copumpkin is just that good hth 00:41:08 Bike: darwin more like darlose isntthatso 00:41:20 yes 00:43:09 kmc: what does tqbf mean 00:43:35 godWIN the discussion 00:43:51 don't know 00:43:58 -!- carado has quit (Ping timeout: 256 seconds). 00:44:06 is it an abbreviation for tqbfjotld 00:44:30 @tqbf is one of the Matasano founders 00:44:30 Done. 00:44:41 wat 00:44:47 fuck I thought I put a ZWNJ at the start of that message 00:44:50 lambdabot: eff you 00:44:51 i think i've had maybe 3 twitter accounts 00:44:54 maybe mosh ate it or something 00:44:55 and about that many tweets 00:45:09 @tqbf 00:45:10 Done. 00:45:14 thank god 00:45:44 @help 00:45:44 help . Ask for help for . Try 'list' for all commands 00:46:02 @help tqbf 00:46:03 help . Ask for help for . Try 'list' for all commands 00:46:08 thanks 00:46:12 Yes, but I meant where his nick came from. 00:46:17 Who knows. 00:46:28 -!- augur has quit (Read error: Connection reset by peer). 00:46:45 lambdabot: ? 00:46:46 Maybe you meant: . ? @ activity activity-full admin all-dicts arr ask b52s babel bf bid botsnack brain bug check choice-add choose clear-messages compose devils dice dict dict-help djinn djinn-add 00:46:46 djinn-clr djinn-del djinn-env djinn-names djinn-ver do docs dummy easton echo elements elite eval fact fact-cons fact-delete fact-set fact-snoc fact-update faq farber flush foldoc forget fortune 00:46:46 fptools free freshname ft gazetteer get-shapr ghc girl19 google googleit gsite gwiki hackage help hitchcock hoogle hoogle+ id ignore index instances instances-importing irc-connect jargon join karma 00:46:46 karma+ karma- karma-all keal kind learn leave let list listall listchans listmodules listservers localtime localtime-reply lojban map messages messages? more msg nazi-off nazi-on nixon oeis offline 00:46:46 oldwiki palomer part paste ping pl pl-resume pointful pointless pointy poll-add poll-close poll-list poll-remove poll-result poll-show pretty print-notices protontorpedo purge-notices quit quote rc 00:46:48 read reconnect remember repoint run shootout show slap smack source spell spell-all src tell thank you thanks thx ticker time todo todo-add todo-delete topic-cons topic-init topic-null topic-snoc 00:46:50 topic-tail topic-tell type undefine undo unlambda unmtl unpf unpl unpointless uptime url v vera version vote web1913 what where where+ wiki wn world02 yarr yhjulwwiefzojcbxybbruweejw yow 00:48:54 -!- augur has joined. 00:53:36 When people say "the password is hashed N000000 times" without clarifying I like to pretend they mean "for (i : Range(1, N000000)) { res = hash(password); }" 00:54:08 :D 00:54:27 Clearly hash :: IO Hash 00:54:52 That was pseudo-C++, not pseudo-Haskell. 00:55:18 obviously, it's not syntactically valid haskell 00:56:32 It's syntactically valid C++ but probably not good C++. 00:56:38 How would you do the Range thing in C++11? 00:56:57 I guess for (const auto &i : Range(1, ...)) { ... } 00:57:01 Or something like that. 00:57:23 something like that, yeah 00:57:41 do you need the type paramater? sometimes they can be inferred 00:58:07 is it actually syntactically valid C++ 00:58:11 "(i :" looks dubious 00:58:18 C++11 00:58:27 Maybe you don't need it. 00:58:36 Maybe if you specify the type on the left side. 00:58:49 don't we all know what you meant anyway 00:59:08 shachaf: Surely if you omit the type on the left it infers int? 00:59:55 you don't need const or & there 01:00:12 But I want it! 01:00:22 Not that it matters much. 01:00:28 for (auto i : Range(1, ...)) { } 01:00:46 But i is const. :-( 01:00:53 who cares 01:03:53 -!- TodPunk has quit (Quit: This is me, signing off. Probably rebooting or something.). 01:04:55 http://en.wikipedia.org/wiki/The_Beginning_Was_the_End 01:08:12 'The book was influential on new wave band Devo, with the founding members noting the connection between its subject matter and the concept of "de-evolution" which is central to the band's message. Bassist/synth player/vocalist Gerald V. Casale claimed, "It's a better story than the Bible as far as DEVO's concerned."[20]' 01:08:39 ...does DEVO actually... believe it, or just consider it a fascinating fiction story? 01:09:09 elliott: You should go to Haskell eXchange 2013! 01:09:38 i don't even know where that is 01:10:06 I may have confused DEVO with ... that band that is similar to the group that did I My Me Mine 01:10:28 elliott: London 01:10:30 Sgeo_: i guess they're into "kitsch science fiction" 01:10:39 Polysics, which came after.... Devo... 01:10:43 Same Devo or different? 01:11:01 same devo 01:11:04 elliott: £75 for the first 25 tickets! 01:11:09 ... 01:13:00 i'm unsure as to the confusion here 01:13:11 confuséd 01:14:27 confusèd actually 01:14:52 confusēd 01:15:13 i never remember which way around the accent goes for the shakespearian type 01:15:15 c̈ön̈f̈üs̈ëd̈ 01:15:23 good diaereses 01:15:25 -!- olsner has joined. 01:15:34 cmccann-style 01:15:43 i think it's a grave accent if you're being shake spear ian 01:15:59 rip 01:17:06 rip. 01:17:42 "We'll work on encrypting the cookie value. There should be a solution that will work without troubling the 100 thousand or so "legacy" accounts." 01:18:07 Sgeo_: why are you making everyone in this channel miserable 01:18:17 i was perfectly happy before you started talking about tvtropes 01:18:17 harsh 01:18:21 now look where i am 01:18:37 ok well it's not actually that interesting but if you want a range(1, 10) for C++ then you can use this one i just wrote https://gist.github.com/kmcallister/5640703 01:18:42 also this is probably in some library anywya 01:18:49 kmc: Hey, I wrote one too! 01:19:10 omgnoway 01:19:13 probably the shortest way to write [1..10] in c++ 01:19:25 http://slbkbs.org/ir.txt 01:19:32 you could also implement syntax "1..10"_r 01:19:35 crazy huh 01:19:40 i started on that but ran out of fucks 01:19:55 void operator++() { ++cur_; } 01:19:56 void operator++(int) { cur_--; } 01:19:57 Hmm. 01:19:57 really shachaf 01:20:00 really 01:20:03 -!- mnoqy has joined. 01:20:06 you bad man 01:20:13 i can't quite remember the motivation for that............... 01:20:20 was there motivation or is it a bug 01:20:33 one is prefix ++ and the other is postfix ++ (don't remember which) 01:20:38 Right. 01:20:56 Probably the one without (int) is prefix because the code worked, I think? 01:21:42 My mnemonic is going to be that postfix is supposed to be less efficient and passing in an extra int argument is obviously less efficient. 01:21:44 hth 01:22:06 c_c 01:22:13 is the value of the int argument specified 01:22:18 I don't think so. 01:22:21 But maybe it's passed on the stack. 01:23:22 what a hack 01:24:05 -!- madbr has joined. 01:24:34 Does this code work for iter(UINT_MIN, UINT_MAX)? 01:24:59 -!- TodPunk has joined. 01:25:03 I'm just going to leave that -- in there. 01:25:25 It can trip someone up if they ever make the mistake of trying to use my code. 01:30:21 -!- Phantom_Hoover has quit (Quit: Leaving). 01:38:53 * kmc forks and fixes 01:38:58 An elegant, modern ir.txt, done right 01:39:25 celebrates craftswhiteship? 01:39:29 celebrates artisanship (!!!!!) 01:39:44 yeah 01:40:01 wrt gendered language i actually have less of a problem with 'craftsmanship' because it's an abstract concept 01:40:04 still not toally ideal 01:40:21 Bike: is that a kind of cheese 01:40:26 i do have a problem with it being faddish and arguably meaningless 01:40:35 or a kind of boat 01:40:37 shachaf: if only 01:40:53 kmc: is it really "arguably"? how is it anything more than marketing 01:41:00 describing programmers as craftsppl is at least more accurate than describing us as ninjas or painters 01:41:14 Yay, everyone's voting for my GHC proposal. 01:41:16 or rock musicians 01:41:38 hey you know what's good, answer: prokofiev 01:41:55 in fact "craft" is a pretty good compromise that admits the presence of aesthetic concerns while keeping the focus on practical utility 01:41:56 * Bike instantly gets "Dance of the Knights" playing in his head 01:42:39 kmc: more like crapft 01:42:42 b/c programming sucks 01:42:46 indeed 01:42:48 cruftsmanship 01:43:04 crapsmith 01:43:10 no wait it's poopsmith isn't it 01:43:28 It's Poopsmith. 01:43:47 He deals in Whatsit. 01:44:39 I don't know why I thought OpenPandora would be cheap 01:45:37 Dance of the Bikes 01:45:49 i'd watch that opera 01:46:29 it can be Alexander Nevsky but with bikes instead of horses. yes, hell yes 01:49:50 Bike: i'd watch that hth 01:49:58 yes you would 01:50:50 shachaf: what's your GHC proposal 01:51:17 shachaf;'s marrying ghc 01:51:44 omg congratulations!! 01:52:02 maybe i should get "Battle of the Ice" stuck in my head instead of knights 01:52:09 on 01:52:11 w/e. 01:52:32 http://hackage.haskell.org/trac/ghc/ticket/7633 01:53:42 "It's a bit ad hoc, but probably a jolly useful feature. Nothing technically hard about implementing it. If anyone wants to have a go, I'm happy to advise" he's not actually british right 01:54:32 are you telling me this man is not british http://en.wikipedia.org/wiki/File:Simon_Peyton_Jones_01.jpg 01:55:03 he looks like wallace (of & gromit) 01:55:11 he was born in .za though 01:55:23 that's a crazy photo 01:55:43 i don't like Lemming's alternative proposal 01:55:44 I'm still trying to understand how lenses work 01:55:47 {-# MINIMAL return AND (join OR (>>=)) #-} 01:55:48 that's a crazy man 01:55:54 If you give a lens return or pure, what happens? 01:56:17 kmc: i think some kind of and/or based thing could be good because that's how they're written in haddocks 01:56:29 and ideally haddock should parse these and format like that 01:56:30 seems needlessly complex. the original is just as expressive, it's just in DNF with simpler syntax 01:56:54 obviously haddock should have a subroutine to generate minimal English descriptions of DNF formulæ!!! 01:56:57 (A OR B) AND (C OR D) 01:56:58 right but if that form is what people write already and what we want our tools to display regardless, then you don't save much by doing it the simpler way 01:56:58 I don't like his syntax much either. I'm not sure that my original syntax is optimal, though. 01:57:09 i'm sure it's not optimal shachaf ;) 01:57:10 I don't like the concrete syntax of his proposal though of course 01:57:10 few things are 01:57:23 kmc: i meant "optimal enough" hth 01:57:35 elliott: obv it should be return ^ (join v (>>=)) 01:57:37 this sounds slightly bikesheddy 01:57:38 I guess that could be expressed 01:57:45 Bike: 'slightly' 01:57:47 kmc: return /\ (join \/ (>>=)) 01:57:52 kmc: return * (join + (>>=)) 01:57:54 A,C A,D B,C B,D 01:57:57 But that's verbose 01:58:05 I don't know if there are classes that would benefit 01:58:08 {-# MINIMAL COMPLETE DEFINITION: return and either join or (>>=). #-} 01:58:13 yeah you shuould draw an ascii art truth table 01:58:21 shuould: word of 2013?? 01:58:48 [Quit: http://www.kiwiirc.com/ - A handcrafted IRC client] 01:58:53 what does that even mean 01:59:01 it celebrates craftsmanship 01:59:09 has a little /celebrate command 01:59:22 Clearly it's hand-made. They rewrite the entire thing for each user. 01:59:48 like do they think it means anything 01:59:49 is it a joke 01:59:53 i'm at a loss here people 02:00:09 I like it when people say "handpicked". 02:00:10 Designed to be used easily and freely. 02:00:16 kmc: it's like some kind of cutesy tongue in cheek bullshit 02:00:21 -!- Sgeo|kiwi has joined. 02:00:21 Like "a handpicked collection of short stories" or something. 02:00:23 which shows you're v. indie 02:00:26 holy fucking shit Sgeo|kiwi 02:00:35 ✔ No PhD required 02:00:43 ... 02:00:50 what 02:01:04 I tried the slap function. Kiwi seems to indicate that I ACTIONed something' 02:01:05 obviously they mean "not written in haskell" 02:01:21 /set var_name new_value command to modify settings 02:01:22 Sgeolkivich 02:01:31 * Sgeo|kiwi slaps elliott around a bit with a large trout 02:01:31 * Sgeo|kiwi slaps elliott around a bit with a large trout 02:01:41 it's like it's really the 90s 02:01:43 oops, meant to paste once 02:01:48 Bike, but it never actually DID that 02:01:52 the dream of the 90s is alive in kiwiirc 02:01:52 Kiwi is lying to me 02:02:04 "sexy channel list" when i am world dictator programmers will be banned from calling things sexy. anything whatsoever. it is the burden you accept when becoming a programmer 02:02:11 I love it when my software lies to me! 02:02:15 fuck you kmc i don't want it stuck in my head again 02:02:22 elliott: celibate channel list? 02:02:23 Sgeo_: well let's be fair, the trout thing is obnoxious as hell 02:02:42 But then why even pretend to support it? 02:02:50 to make fun of you 02:04:04 Oh hey it's open-source 02:04:12 Let me go see if I can find any details about this 02:04:19 about this hand craftedness 02:04:46 Bike: things stick in your head eaisly.......................... 02:04:51 they make their software by hand, not like those faceless corporations with their software machines 02:05:03 shachaf: i get music stuck in my head really easily yeah 02:05:17 kmc: i kind of want an irc client that was written by simulated annealing or something, now 02:05:24 we decide what goes inside your head 02:05:48 https://www.youtube.com/watch?v=GHCp2-YcBeU 02:06:17 phosphene dream, heh 02:06:32 they also released an EP named Phosgene Nightmare 02:06:55 is that fertilizer or nerve gas? 02:07:16 it's a chemical weapon, not technically nerve gas I think 02:07:38 http://en.wikipedia.org/wiki/File:Phosgene_poster_ww2.jpg 02:07:46 now i want to listen to some classic fucked up shit 02:07:56 time for some throbbing gristle i think 02:08:19 kmc: dumbo's lookin' pretty kinky there 02:08:21 "Toxic phosgene doses (greater than or equal to 30 ppm X min) inhaled into the terminal respiratory passages render the blood-air-barrier more permeable to blood plasma, which gradually collects in the lung." 02:08:24 hmm, I think I am getting a bit of an "increased dopey feeling" from listening to this 02:08:25 D: 02:08:28 so basically you drown in your own blood 02:08:55 is that better or worse than drowning in someone else's blood 02:09:45 haaaamburger laaaaady 02:13:06 -!- Sgeo|kiwi has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 02:13:07 kmc: imo your name is Keegan Miuaf Callister 02:13:12 welp 02:13:27 cracked the code 02:13:38 miuaf is the sound a high cat makes, imo 02:14:16 miuchaf 02:14:49 main is usually shachaf 02:22:58 shachaf: how do i get less bitter 02:23:43 kmc: hugs? 02:24:14 could help 02:24:22 do you mean about something specific 02:24:23 but i get a lot of hugs as is 02:25:09 -!- Nisstyre has joined. 02:26:55 who's more bitter, shachaf or kmc? 02:27:33 well right now i'm bitter about getting fired from my web startup job, and the fact that either the stated reasons are bullshit, or they completely failed at communicating with me while i worked there 02:28:11 these are people who I thought were friends and good people and now I'm so angry that I can't sleep properly and probably want to never talk to them again 02:28:46 Huh. afaict, gzip does in fact have an option for saying "This is uncompressed" 02:31:26 shachaf: sounds like kmc is bittrer 02:33:11 in that situation it's normal 02:33:19 http://www.webvisionsevent.com/portland/session/build-your-brand-the-rock-star-way-y4p0/ i'm thinking i don't want to attend this 02:33:32 http://www.webvisionsevent.com/slides/portland/pix/trammell.jpg 02:34:53 i can't really understand this well enough to make fun of it 02:35:08 Gregor, fluidsynth is claiming chorium has invalid generators 02:35:20 Wovon man nicht sprechen kann, darüber muss man schweigen. 02:35:57 * Sgeo_ wonders if Titanic is good 02:36:04 i realize it's normal to be bitter in this situation, but i would still like to learn how to become less bitter over time 02:36:14 wait until you forget about it? 02:36:29 could be a while 02:37:46 i think you automatically become less angry about things unless you put effort into staying angry, most of the time 02:37:51 at least i do?? 02:37:52 but i am getting a new job and moving to a new city far away from here 02:37:55 so that should help 02:38:02 Gregor, fluidsynth is claiming chorium has invalid generators // Yup. 02:38:12 i would rather be able to stay friends with these people 02:38:22 maybe it just ain't gonna happen, though 02:38:28 Sgeo_: You need to stop worrying and love the bomb. 02:38:35 it does sound pretty crappy on their part 02:38:43 but maybe you'll feel differently in a while, it's hard to say 02:38:48 Gregor, have you tried Titanic? Is it good? I'm getting it from the same site that has Chorium 02:38:53 I mean, I think they just fired me because I was unhappy, which I was, and I'm glad to be done with working there because it wasn't a great place for me 02:39:17 I wish they could admit that instead of coming up with a bunch of stuff about how I didn't work on enough / the right things, when that never came up in weekly meetings with my manager 02:39:38 Also, why do I need unfree software to piece together a multipart rar? 02:39:46 because now I worry that I missed some super coded management signal regarding working on the wrong stuff 02:39:49 isn't rar patented or something 02:40:03 Am I breaking the law by doing this? :/ 02:40:04 7zip doesn't do it? 02:40:17 kmc: from what you've said it seems unlikely that you missed a signal, and even if you did shouldn't they just talk to you instead of some weird coy sign language bullshit 02:40:21 Ark wanted unrar so I gave it unrar 02:40:23 yeah 02:41:17 I was never super excited about the job, but it turns out that failure hurts like a motherfucker even if you weren't super excited about the thing you failed at 02:41:25 Hmm, Titanic seems nice 02:41:27 yeah :/ 02:41:46 I kind of forgot what the SONiVOX version sounded like though 02:42:03 http://25.media.tumblr.com/43a1ee041966efb2d37064e67501b2fd/tumblr_mjti81sBVi1s5k0eto1_500.jpg oh just in time for sgeo 02:42:23 i haven't seen Titanic 02:42:34 * Sgeo_ is referring to the soundfont known as Titanic 02:42:36 kmc: i love super coded management signals 02:42:43 failure hurts hard 02:42:52 by love i mean the opposite of that 02:42:55 shachaf: do you have experience with this in the past? 02:42:58 yeah i figured that but: i don't care because the movie is better probably 02:43:45 not exactly... well, it depends 02:44:22 the point was going to be that super coded signals aren't a great way to communicate 02:44:38 yeah 02:44:53 and i'd be angry regardless, but if there is a coded signal I should learn to recognize it, for my own self preservation 02:45:08 I think I really like Titanic 02:45:18 Seems ... quiet though 02:46:09 fluidsynth is a bit slow to start with it though 02:47:18 Gregor, have you tried Titanic? Is it good? I'm getting it from the same site that has Chorium // Haven't heard of it. 02:47:37 http://artagap.free.fr/karpbo/index.htm 02:50:40 Hmm, I finally found a song that I don't like how Titanic handles 02:50:45 The fifth element theme 02:51:47 How does it compare to SONiVOX? 02:52:27 I like SONiVOX's fifth element better than Titanic's, but I think other than that they're similar or, with stheme5a I think I liked Titanic's much better 02:52:33 paper clips are called "trombones" in french 02:52:50 Un trombone « classique ». 02:53:24 wrlds1 sounds just fine in Titanic I ... think 02:53:28 un trombone moderne 02:53:32 Would need to relisten to the SONiVOX though 02:53:53 Dans l'environnement de Microsoft Office, la forme par défaut de l'assistant est un trombone anthropomorphique appelé Trombine (Clippit dans la version anglaise). 02:56:40 It does something... weird to oh_lamour.mid 02:57:44 oh l'trombone 02:59:31 > fluidsynth: warning: Instrument not found on channel 14 [bank=8 prog=14], substituted [bank=0 prog=14] 02:59:32 :1:62: parse error on input `=' 02:59:42 (for some midi which I haven't tried with other soundfonts) 03:00:25 why does it have bank changes 03:01:54 No idea 03:02:03 I don't know much about MIDI 03:02:13 is it GS or XG or GM2 ? 03:02:22 Don't know 03:02:28 I know I do have XG files.. 03:02:34 Don't know how many though 03:02:46 usually that's what those bank changes are used for 03:02:53 i broke a glass just by putting ice cubes into it 03:03:01 stupid thermal stress 03:03:58 my friend broke a bunch of non-pyrex petri dishes this way :/ 03:25:40 kmc: It's ^/. It's tilted the same direction as italics. 03:25:48 ok 03:26:41 I do think Titanic is better than Chorium 03:27:03 Although maybe my (unknown in accuracy) assumption that they're by the same person may be unfounded 03:27:21 Which may be biasing my thoughts 03:30:00 Ok, quite different sounds on this one file 03:31:00 generaluser makes this instrument sound ... crisp. I'm not sure if that's good 03:33:26 http://www.youtube.com/watch?v=I_x0wXsJq5I 03:33:34 (Some guy who likes Titanic) 03:34:16 this is bad sgeo 03:34:42 i demand only the highest in fine quality F-ZERO sound track 03:36:44 the percussion is pretty meh 03:38:37 needs velocity on the hihats 03:39:31 i dont think thats the biggest problem 03:39:45 :/ I'm a bad judge of music 03:40:26 HEY IT'S MNOQY 03:40:28 HELLO MNOQY 03:40:37