00:08:02 "Whoever undertakes to set himself up as a judge of truth and knowledge is shipwrecked by the laughter of the gods." -- Albert Einstein 00:11:24 elliott: good example 00:16:44 AngryJoe Plays Steel Battalion Kinect http://youtu.be/VxKRBUzElTU?t=5m45s <-- hm that is old 00:16:52 I think I watched it last week or so? 00:17:03 (I subscribe to that channel, it can be quite amusing) 00:17:50 Phantom_Hoover, where was that quote from? 00:18:21 and yes it is funny. I'm not sure about the emo part, but other than that it is spot on 00:20:09 comment on a site 00:26:08 -!- zzo38 has quit (Remote host closed the connection). 01:14:34 ok 01:14:38 * Phantom_Hoover -> sleep 01:14:39 -!- Phantom_Hoover has quit (Quit: Leaving). 01:55:25 -!- Vorpal has quit (Ping timeout: 276 seconds). 01:56:26 -!- zzo38 has joined. 02:21:43 @ask ais523 actually, how can you use "1" in your presentation if you're using a semigroup? they don't have an identity 02:21:44 Consider it noted. 02:21:56 -!- azaq23 has quit (Quit: Leaving.). 02:22:47 elliott: Did you get the hblunmbndle? 02:22:54 Yes. 02:24:03 elliott: Was it good? 02:24:25 I haven't played any of the games yet. 02:25:30 I didn't ask if the games were good. :-( 02:25:37 (You haven't played Braid?) 02:27:39 It’s probably the greatest bundle so far. 02:29:10 shachaf: No. 02:29:10 I haven't played *any* Bundle game. 02:29:12 Yet I've bought most of them. 02:29:14 Except for the crappy ones. 02:29:20 elliott: You ought to try Braid! 02:29:21 Just ask kmc. 02:29:26 (The Android one and some of the developer-specific ones and the Botanica one.) 02:29:42 I didn’t try Braid yet, but it seems interesting. 02:29:45 kmc: Right? I need some moralizing here. 02:34:27 -!- esowiki has joined. 02:34:29 -!- glogbot has joined. 02:34:30 -!- EgoBot has joined. 02:34:30 -!- glogbackup has left. 02:34:32 -!- esowiki has joined. 02:34:32 -!- esowiki has joined. 02:34:44 -!- glogbackup has quit (Excess Flood). 02:34:48 -!- Zetro has joined. 02:35:02 -!- Gregor has quit (Ping timeout: 265 seconds). 02:35:09 -!- HackEgo has joined. 02:35:34 -!- Gregor has joined. 02:36:48 -!- calamari has joined. 02:39:46 -!- david_werecat has quit (Ping timeout: 256 seconds). 02:41:39 -!- calamari has quit (Client Quit). 03:02:02 -!- flyingcow has joined. 03:02:22 -!- flyingcow has left. 03:05:40 -!- sebbu2 has changed nick to sebbu. 03:46:10 -!- copumpkin has joined. 03:46:38 hi copumpkin 03:46:41 hi 03:50:56 What's quote 471? 03:50:58 `quote 471 03:51:01 471) tswett: last argument must be a cub scout!! have you made your money-drop today?? 03:51:08 Oh. 03:51:27 That may be the best quote. 03:54:30 copumpkin: tomodo is fax, right? 03:54:57 I've guessed that before, but I dunno 03:55:03 sounds a lot more depressed than fax ever did 03:57:01 Who's fax? 03:57:25 shachaf: A thing that lets you send documents through the telephone. 03:57:50 @where e_10 03:57:50 let w(p,q)i=(p*i+1,q*i);d%(p,q)=p*d`div`q;(x:y:s)^d|d%y>d%x=s^d|0<1=mod(d%x)10:s^(10*d)in 2:scanl w(1,1)[1..]^10>>=show 03:57:52 Golf! 03:58:14 > let w(p,q)i=(p*i+1,q*i);d%(p,q)=p*d`div`q;(x:y:s)^d|d%y>d%x=s^d|0<1=mod(d%x)10:s^(10*d)in 2:scanl w(1,1)[1..]^10>>=show 03:58:15 "27182818284590452353602874713526624977572470936999595749669676277240766303... 03:59:05 I'm tempted to implement Lenses in Clojure 03:59:23 has it been done? 03:59:33 Good question 03:59:38 shachaf: a recurring character who shares some characteristics with tomodo, and also changes nick every so often 04:00:42 copumpkin: (I think shachaf knows who fax is.) 04:00:49 I don't, actually. 04:00:54 i know who shadowfax is 04:00:58 * copumpkin sticks his tongue out at elliott 04:01:04 Who's shadowfax. :( 04:02:01 i would suspect it's been done 04:02:14 which doesn't mean you shouldn't do it 04:02:22 that never stopped anyone from writing a lenses library in haskell, either :) 04:02:32 have you used Clojure much? 04:04:51 kmc, not really 04:04:53 Want to 04:05:05 Need an example of useful Categories for #clojure 04:05:10 I mentioned rotations 04:05:15 And they're not going to know what arrows are 04:05:28 (I want to illustrate why comp should be general) 04:12:26 -!- MDude has changed nick to MSleep. 04:15:23 ....I am an idiot. 04:16:16 I thought map was supposed to be general on the first argument. Because I am a derp. 04:16:22 I think I was thinking of return. 04:16:24 what does that mean 04:16:38 hi 04:16:41 As in, map's first argument could be more than just a function 04:16:48 ok 04:17:12 > map 3 ["hi","Sgeo_"] 04:17:13 [3,3] 04:17:44 thlambdabot 04:19:04 "hey here's this great interactive tool for learning Haskell! except we've filled it with useless nonstandard behavior for the sake of what amounts to an inside joke." 04:19:19 from the right perspective this is quite a shitty thing to do 04:19:43 kmc: Hey, we're not in #haskell here. 04:19:43 one of the things that wore me out in #haskell was constantly having to explain these aberrations 04:19:52 cale's view has always been that it's not a pedagogical tool so it's kind of disingenuous to argue along those lines 04:19:54 “thambdabot” 04:19:59 i still disagree but 04:20:04 (with cale) 04:20:09 elliott: well, ok, but then people should stop advancing it as a pedagogical tool 04:20:17 elliott: Is #haskell a pedagogical channel? 04:20:21 no 04:20:28 i would rather have the pedagogical tool than the toy, personally 04:20:32 given the current channel composition 04:20:39 Are you a pedagogue? 04:20:52 Peaker was saying something along similar lines. 04:21:08 certainly the number of confused beginners has gone up since the channel was founded 04:22:01 there are multiple ways to solve this problem, but in the absence of consensus on a solution, the status quo sucks 04:22:23 annoying quantum trash 04:22:43 what was Peaker saying? 04:22:51 peaker says lots of things!! 04:22:54 That (.) should be (.) instead of fmap. 04:23:09 Because it just confuses people and makes it more annoying to explain things otherwise. 04:24:15 * kmc gets bitter 04:24:17 They should use Category.. 04:26:51 kmc: gets? gets????? 04:27:10 god bless you kmc but i have never seen you say a single thing about #haskell i would not classify as bitter :P 04:27:16 elliott: As in "a regular thing". 04:27:31 kmc gets bitter every day at noon and stays bitter until ~04:00 the next day. 04:27:41 it comes and goes 04:27:49 elliott: you must have ignored all the nice things I said about #haskell in #haskell, then 04:28:02 It's true. 04:28:10 #haskell has a lot of nice things to say about itself. 04:28:14 and i still have many nice things to say about it 04:28:26 the people are by and large friendly and well-intentioned 04:28:37 it's still the friendliest language channel I've seen, by far 04:28:40 certainly for being that huge 04:28:53 sounds like a nice place 04:29:07 The best langauage channel is #monqys-crawl. 04:29:14 to some extent I think the friendliness is a problem 04:29:21 but it certainly is a virtue even if it has some negative consequences as well 04:30:04 also the people there are fucking smart 04:30:14 except for the ones that aren't 04:30:15 even the ones that aren't ?? 04:30:16 yes 04:30:19 and everyone really seems to like learning 04:30:24 and who are indistinguishable to most people 04:30:30 It looks like many of them cannot answer my questions though 04:30:37 shrug, i never got a feeling from one of the regulars that "this person is an idiot and needs to stfu" 04:30:41 zzo38: at leat they're friendly about it ! 04:30:42 of course maybe this means I was the dumbest regular 04:30:44 which means you have to come up with new and exciting ways to say "you're incompetent; stop misleading the newbies" 04:30:44 zzo38: or so I hear 04:30:48 without actually saying it 04:30:53 kmc: well, they don't have to be regular. 04:31:07 kmc: (I do get such a feeling from one or two. but I think they only became regular as you left.) 04:31:08 elliott: people have explanations i disagree with, and can argue against, but I wouldn't go so far as to insult their intelligence 04:31:20 by "incompetent" I mean strictly in the context of their advice 04:31:29 but yes, it's impolite, that's why you don't say it :P 04:31:56 (and by "regulars" i'm of course ignoring a few perennial helpless beginners) 04:32:06 oh, well that's cheating 04:32:16 kmc: have i linked you to the Monad page on haskellwiki 04:32:21 yeah 04:32:26 it's the best 04:32:30 :/ 04:32:32 (I like how right as copumpkin gets dragged back the channel goes into full on meta-Haskell mode.) 04:32:52 kmc: Did you know the author of the awful parts of that page once downvoted me on Stack Overflow? 04:33:06 Some people, I tell ya. 04:33:30 dragged back? 04:33:35 is copumpkin punting #haskell as well? 04:33:46 shachaf conspicuously said HEY COPUMPKIN DID YOU LEFT #ESOTERIC in -blah. 04:33:57 I don't really pay much attention to #haskell these days 04:34:00 and copumpkin was all OH HA HA I HATE YOU GUYS SO MUCH UURGH BUT I'LL PRETEND I JUST FORGOT 04:34:01 but I haven't actively left it 04:34:01 everyone knows #esoteric is the real #haskell-blah 04:34:03 ok 04:34:16 you must have better self control than me 04:35:15 I do not know if mathematicians normally call the Finalize moand and the Initialize comonad something different, so I just called them by these names. 04:35:36 if mathematicians call them something different, it's probably something dumb 04:35:55 oh "dragged back to #esoteric" i see 04:36:02 it's my fault we went all meta :/ 04:36:15 i will claim shachaf trolld me 04:36:22 kmc: Something dumb? Why do you think that? 04:36:28 kmc: The term is "pronked". 04:36:40 kmc: "sry 4 trollding u :'(" 04:36:44 ("hecked" also works.) 04:36:46 I do not even know how commonly mathematicians would deal with these monad/comonad though 04:36:55 (As in "shachaf thoroughly hecked my aim there".) 04:37:34 But they are valid for any category having a final/initial object 04:38:11 kmc: Should I sleep? 04:38:28 SHIFTING INTO CHANNEL MODE #4: elliott asking whether he should sleep at unreasonable hours 04:38:52 > 22 + 38 04:38:53 60 04:39:00 elliott: You must sleep before the end of this hour. 04:39:13 Why do you ask other people if you want to sleep? 04:39:28 zzo38: He asks other people whether he *should* sleep. 04:42:34 The answer is usually "yes". 04:42:48 He also then ignores the answer, and often asks again. 04:43:06 yes 04:43:12 nobody has answered yet this time though 04:43:30 `pastelogs monqy 04:44:02 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.28315 04:44:18 `pastelogs monqy 04:44:22 pikhq_: should i sleep 04:44:24 monqy: shoudl ji seplh 04:44:26 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.21703 04:47:10 elliott: Si, señór 04:54:13 -!- elliott has quit (Remote host closed the connection). 04:59:53 -!- pikhq_ has quit (Ping timeout: 245 seconds). 04:59:56 -!- pikhq has joined. 05:00:20 "good job elliott" 05:02:44 gelliott 05:08:31 -!- DHeadshot has quit (Read error: Connection reset by peer). 05:08:54 -!- DHeadshot has joined. 05:13:08 -!- DHeadshot has quit (Read error: Connection reset by peer). 05:35:20 -!- sebbu has quit (Ping timeout: 260 seconds). 05:38:24 -!- sebbu has joined. 05:38:25 -!- sebbu has quit (Changing host). 05:38:25 -!- sebbu has joined. 05:44:29 `quote greece 05:44:31 778) Why does CL get called functional? it's sort of like how you call ancient greece democratic. 06:03:07 heh 06:03:24 don't tell the CL people that CL is functional 06:03:27 they have that 06:03:28 hate* 06:25:31 What I mean by Finalize is the endofunctor mapping all objects to the final object; it should be easy to see how this is a monad. 06:25:54 There is only one possibility! 06:32:19 Do you agree? 06:32:36 zzo38: you are very entertaining 06:33:00 quintopia: Do you understand what I am meaning? 06:33:26 i dont even know what monads are silly 06:33:41 -!- Taneb has joined. 06:34:17 Do you know what a category is (in category theory)? 06:34:22 Hello! 06:34:24 Me? 06:34:39 Taneb: No, I mean quintopia, but you are free to answer if you wish 06:35:01 no idea 06:35:11 It's a bunch of elements with morphisms between various elements where composing morphisms is possible, also there is an identity morphism 06:35:15 I think 06:35:37 Taneb: Yes, and composition is associative 06:36:51 There is an identity morphism for each object, which is identity for the composition operator, and a morphism (X -> Y) and (Y -> Z) can be composed to (X -> Z) (although by standard mathematical notation, the (Y -> Z) goes on the left) 06:37:42 eh feel free to use the concatenative style 06:39:53 So the object X identity morphism will be from X to X where id . f = f . id = f if f has the correct object it is from/to, and . means composition. 06:40:12 Any monoid forms a category with one object. 06:42:54 Is that good? 06:43:30 -!- copumpkin has quit (Ping timeout: 244 seconds). 06:44:10 -!- copumpkin has joined. 06:57:49 -!- zzo38 has quit (Quit: Leftput/rightput error). 07:02:12 -!- asiekierka has joined. 07:35:41 -!- IrcCheck has joined. 07:36:33 -!- IrcCheck has left. 07:50:02 -!- DHeadshot has joined. 07:58:06 borkdude: It's hard (nearly impossible) to, for example, use SLIME with both Clojure and Common Lisp. I suppose it's because you use an ancient version of SLIME with Clojure because it's impossible to follow SLIME development because they never release anything. 07:58:08 GAH 07:58:11 * Sgeo_ blarghs 08:03:16 What's happened 08:06:01 Taneb, read the line from Raynes 08:06:19 I have done, and do not realise the significance of it 08:06:39 -!- copumpkin has quit (Ping timeout: 246 seconds). 08:06:39 The significance is it's harder for me to play with both Common Lisp and Clojure 08:06:50 :( 08:07:09 -!- copumpkin has joined. 08:15:52 -!- Taneb has quit (Quit: Leaving). 08:53:32 -!- Phantom_Hoover has joined. 09:09:48 -!- sebbu2 has joined. 09:09:48 -!- sebbu2 has quit (Changing host). 09:09:48 -!- sebbu2 has joined. 09:12:55 -!- sebbu has quit (Ping timeout: 260 seconds). 09:17:40 -!- Taneb has joined. 09:17:43 Hello 09:31:35 fungot 09:31:36 Taneb: bit 4 off, and parameters associated with them. the scale selected is concert pitch, in order to change the routine 09:32:42 -!- Taneb has quit (Quit: Page closed). 09:37:17 -!- kmc has quit (Ping timeout: 246 seconds). 09:44:49 -!- kmc has joined. 10:17:53 -!- derdon has joined. 10:41:21 o 11:12:39 -!- Taneb has joined. 11:14:23 Hello 11:16:00 -!- james-ubc has quit (Remote host closed the connection). 11:16:21 hi 11:18:45 -!- nortti has set topic: forking | http://codu.org/logs/_esoteric/. 11:30:21 -!- david_werecat has joined. 11:31:41 In my new school timetable, on Fridays I alternate between two classrooms. 11:31:52 On the second floor. 11:31:56 Of two different buildings 11:41:22 -!- Tod-Autojoined has joined. 11:41:23 -!- TodPunk has quit (Read error: Connection reset by peer). 11:41:58 -!- aloril has quit (Ping timeout: 260 seconds). 11:43:26 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 11:44:06 -!- Phantom_Hoover has joined. 11:53:54 Hey, PH 11:55:01 -!- aloril has joined. 11:57:14 S5 Modal Logic is... I think it's a coapplicative, if that's a thing that makes sense to me 11:59:37 It has (<*>) and extract 12:00:48 No wait, it's an applicative comonad 12:02:16 GOODBYE 12:02:19 -!- Taneb has quit (Quit: Leaving). 12:08:34 Wow http://youtu.be/p08_KlTKP50 12:30:32 -!- Taneb has joined. 12:32:19 Hello 12:52:55 I find it weird that some monads are comonad 12:53:08 I guess I don't have a sufficient idea of catergoric dual 12:53:09 s 12:54:49 -!- oklopol has quit. 13:27:09 -!- Taneb has quit (Quit: Leaving). 14:06:11 -!- Labbekak has joined. 14:06:42 > [(x, y)|x<-[1..3], y<-[4..6]] 14:06:43 [(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)] 14:08:22 [[x*y|y<-[1..x]]|x <- [1..10]] 14:08:29 > [[x*y|y<-[1..x]]|x <- [1..10]] 14:08:30 [[1],[2,4],[3,6,9],[4,8,12,16],[5,10,15,20,25],[6,12,18,24,30,36],[7,14,21,... 14:09:58 > [[x*y|y<-[1..10]]|x <- [1..10]] 14:09:59 [[1,2,3,4,5,6,7,8,9,10],[2,4,6,8,10,12,14,16,18,20],[3,6,9,12,15,18,21,24,2... 14:10:14 > [[x*y|y<-[1..3]]|x <- [1..3]] 14:10:16 [[1,2,3],[2,4,6],[3,6,9]] 14:12:05 > [[x`max`y|y<-[1..3]]|x <- [1..3]] 14:12:06 [[1,2,3],[2,2,3],[3,3,3]] 14:12:24 > [[x`min`y|y<-[1..3]]|x <- [1..3]] 14:12:26 [[1,1,1],[1,2,2],[1,2,3]] 14:12:59 > [[(x`min`y) * (x`max`y)|y<-[1..3]]|x <- [1..3]] 14:13:00 [[1,2,3],[2,4,6],[3,6,9]] 14:14:03 -!- MSleep has changed nick to MDude. 14:19:52 > [[[x*y*z|z<-[1..3]]|y<-[1..3]]|x<-[1..3]] 14:19:53 [[[1,2,3],[2,4,6],[3,6,9]],[[2,4,6],[4,8,12],[6,12,18]],[[3,6,9],[6,12,18],... 14:20:32 how to generalize that to n dimensions? 14:38:28 write it explicitly as a monad 14:38:42 once you have the monadic construction, then you just fold over the dimentions 14:45:05 -!- sebbu2 has changed nick to sebbu. 14:58:25 -!- Labbekak has quit (Quit: Page closed). 15:16:37 -!- MoALTz has joined. 15:18:35 -!- Taneb has joined. 15:18:38 Hello 15:26:50 -!- elliott has joined. 15:26:57 http://esolangs.org/w/index.php?title=User:Julianc&curid=8485&diff=32739&oldid=32738 hmm... 15:26:57 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 15:27:15 That warrents a warning? 15:30:59 it doesn't /do/ anything 15:31:15 http://esolangs.org/w/index.php?title=User:Julianc&diff=next&oldid=32739 not sure what the nowiki here is meant to accomplish :P 15:34:01 -!- azaq23 has joined. 15:34:05 -!- AnotherTest has joined. 15:34:13 -!- azaq23 has quit (Max SendQ exceeded). 15:36:59 -!- azaq23 has joined. 15:37:12 -!- elliott has quit (Remote host closed the connection). 15:40:53 -!- Patashu has quit (Ping timeout: 246 seconds). 15:56:42 Wow, that reddit nuclear coverup guy went full-on conspiracy nut. 15:56:49 Like, even more full-on conspiracy nut. 15:57:07 nice 15:57:20 I bet reddit itself is in on it 15:57:57 I think his current theory is that the government are somehow covering up a massive, end-of-the-world solar flare in spite of the fact that he's used public solar flare data to corroborate his claims. 15:58:15 Also that the magnetic poles started switching overnight and the magnetosphere is now gone. 16:04:03 -!- nooga has quit (Ping timeout: 245 seconds). 16:04:45 Oh, great. 16:04:56 I'm fairly sure the headphone port of this computer is broken. 16:39:51 Is it due to solar flares covered up by the government 16:48:06 -!- Vorpal has joined. 16:51:03 -!- elliott has joined. 16:51:11 hi 16:51:15 Hello 16:51:39 :) 16:52:29 hi! 16:52:41 -!- nooga has joined. 16:53:10 -!- copumpkin has quit (Ping timeout: 260 seconds). 16:53:41 -!- copumpkin has joined. 16:53:47 -!- copumpkin has quit (Changing host). 16:53:47 -!- copumpkin has joined. 16:53:53 olsner: :) 17:19:07 -!- nooga has quit (Ping timeout: 244 seconds). 17:19:37 Does codo notation even make sense? 17:20:29 Probably. 17:20:47 flip extend :: w a -> (w a -> b) -> w b 17:20:49 So you'd have 17:20:58 codo { x <- w; ... } where 17:21:01 w :: w a 17:21:05 x :: w a 17:21:06 ... :: b 17:21:11 Okay 17:21:13 and then 17:21:17 codo { x <- w; ... } :: w b 17:21:25 not sure how it would chain, though 17:21:30 oh, it'd just be left-associative 17:21:34 Okay, thanks 17:21:37 yw 17:21:41 I'm gonna have dinner now, bye 17:21:42 -!- Taneb has quit (Quit: Leaving). 17:21:58 yw 17:25:41 -!- nooga has joined. 17:42:16 elliott, "yw"? 17:42:28 yer wiggly 17:42:45 right.. 17:43:00 OR: yang wanker 17:43:11 OR: yuppie winks 17:43:13 OR: you're welcome 17:43:14 bbiab 17:43:24 phone 17:55:45 back 17:57:10 elliott: hi 17:57:16 quintopia: hi 17:57:23 Vorpal: (spoiler it's actually the last one) 17:57:32 elliott, I realised that 17:57:38 (spoiler ok) 18:02:27 fizzie: You know the IPv6 2001: stuff? 18:02:30 Was that assigned in 2001? 18:04:32 I don't think all of 2001: is assigned, and the (current) RFC that describes that prefix is from 2006. 18:05:08 and the possibly first one is from 2000 18:05:17 I mean the 2001 IPv4 stuff. 18:05:29 I just always read it as a year. :p 18:05:47 ipv4 stuff? 18:05:52 You know. 18:05:53 oh the teredo? 18:05:54 Bridge stuff. 18:06:06 People have IPv6 IPs that start with 2001: a lot because they don't have native IPv6. 18:06:16 well yeah, I have that 18:07:02 -!- Taneb has joined. 18:07:03 Hello 18:07:18 Taneb: hi 18:07:55 hi Taneb 18:08:03 hi 18:11:17 :) 18:11:24 :) 18:11:29 :\ 18:11:33 :( 18:11:49 :D 18:12:01 :O 18:12:47 >:{D> 18:13:32 <8{B 18:13:56 }:{D> 18:14:12 >:~"d 18:14:21 I just mashed keys randomly. Could have turned out worse. 18:14:28 :^/ 18:15:00 :V 18:15:12 :: 18:15:12 Stop. 18:15:17 "L@:$ 18:15:19 'as;lE 18:15:20 :@"£ 18:15:21 :$@{£ 18:15:22 :±_+@ 18:15:33 ºÐΩıµ®Ð 18:15:35 +_+ looks pretty good 18:15:37 You have a plus-or-minus key? 18:15:41 ∑´#†®˚©˙ƒ~ 18:15:43 who doesnt? 18:15:52 Laptop keyboard :/ 18:16:05 Taneb, for me ± is altgr-' 18:16:05 I'm using a laptop. 18:16:19 where ' is the dead key over é 18:16:26 (it is next to backspace) 18:16:33 18:16:39 \ 18:16:39 ERROR:Word not found 18:16:52 }][{| 18:17:03 :µ 18:17:04 Taneb, ə… 18:17:13 @łe¶ŧ←↓↓→øþßðđŋħjĸł«»¢“”nµ··· 18:17:14 Unknown command, try @list 18:17:18 (I did that using compose, no idea if it can be done with altgr) 18:17:20 \ 18:17:20 ERROR:Word not found 18:17:55 >·^ 18:18:12 FOUND IT 18:18:16 altgr + shift + 9 18:18:19 18:18:20 ¡ 18:18:24 Taneb, that gives me » 18:18:26 øœ∑´®“´π©¬ƒ∂… 18:18:26 18:18:49 Vorpal, I'd assume you're not on a British keyboard 18:18:54 indeed 18:19:21 ´¥¨^º– 18:19:28 Taneb, but a lot of the altgr keys have the same positional mapping though. like ← being altgr-y 18:19:36 YEah 18:19:54 ¬@ 18:20:02 @? 18:20:13 ` 18:20:16 Shift-`, shift '? 18:20:17 Taneb, not at? 18:20:23 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: : not found 18:20:27 Taneb, what? 18:20:31 Don`t you love it when people use the backtick as an apo`strophe? 18:20:37 Confused 18:20:43 sum 18:20:54 ¬ was altgr-shift- 18:21:04 have* 18:21:11 ] 18:21:18 well guess it isn't for you 18:21:21 Is altgr-9 18:21:27 REDUNDANCY, YEAH 18:21:28 Taneb, try the key next to backspace then 18:21:42 Taneb, that altgr-9 is the only place I have ] :P 18:21:44 {[]} altgr-(7-0) 18:21:45 Ḑoesn't do anything 18:21:55 yes it did 18:21:59 it combined with the D 18:22:01 @ altg-2 18:22:05 AAAAH 18:22:06 Taneb, it is a dead char 18:22:10 whatever you had 18:22:22 altgr-shift-= 18:22:29 \ altg-+ 18:22:29 ERROR:Word not found 18:22:36 Taneb, I couldn't even do that. my = is on shift-0 18:22:44 That's ) 18:22:46 my ) is on shift-0 18:22:47 yes 18:22:52 and altgr-shift-0 yields ° 18:22:56 degree sign I think? 18:22:58 18:22:59 Yeah 18:23:00 Same 18:23:15 10C 18:23:22 top row with altgr-shift: ¾¹²³¼¢⅝÷«»°¿¬ 18:23:36 why 5/8? Who knows 18:23:38 |¡⅛£¼⅜⅝⅞™±°¿ 18:23:51 and top row with just altgr: ¶¡@£$€¥{[]}\± 18:24:03 |{[]}\ 18:24:07 #quit 18:24:07 -!- oonbotti has quit (Quit: oonbotti). 18:24:16 Taneb, that first char seems redundant there 18:24:20 Yes 18:24:32 || 18:24:39 Especially as I've never used it? 18:24:43 Vorpal: 5/8 is what comes between between 1/2 and 3/4 18:24:55 Taneb, on UK keyboard, what is the key to the left of 1? 18:25:01 `, 18:25:04 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ,: not found 18:25:06 olsner, hm true 18:25:12 I see 18:25:17 § 18:25:19 here 18:25:23 Taneb, for me it is § and ½ if shifted 18:25:25 With a | printed on it 18:25:40 ± if shifted 18:25:44 hah 18:25:54 apple keyboards are weird 18:25:58 Aaaah 18:25:59 Mac 18:26:01 right 18:26:03 That explains it 18:26:17 I've got a Windows keyboard 18:26:17 where is tilde on those keyboards? 18:26:20 I'm on a thinkpad (running linux) 18:26:22 Shift-hash 18:26:27 Taneb, where is hash? 18:26:31 olsner: to the left of z is ` (~ shifted) 18:26:31 for me that is shift-3 18:26:43 elliott, is that a ` as a dead key? 18:26:45 Betreen ' and return 18:26:48 Vorpal: no 18:26:51 ah 18:26:54 Above right shift 18:26:59 Vorpal: no use for that for UK English speakers 18:27:06 Taneb, oh right, where I have ä then 18:27:14 well that's not really truw 18:27:16 *true 18:27:18 Yeah 18:27:21 oh hmm 18:27:22 elliott, you might want to write French? Or loan words? 18:27:28 is there anything with an ` accent in UK English? 18:27:33 "café"'s is the wrong way around 18:27:36 de ja vu 18:27:39 ah yes 18:27:47 Vorpal: you can just remove all accents when writing stuff in english 18:27:47 On the a 18:27:49 Vorpal: still, that's what the alt stuff is for 18:27:51 and most people won't bother with it 18:27:53 dj vu 18:27:55 and dead keys are kind of confusing 18:28:29 elliott, I mean I have ^ as a dead key, yet I don't know any Swedish word with that. There are a /handful/ of words with é. Can't think of any with ` though. 18:28:45 and dead keys are kind of confusing <-- not if you are used to them? 18:29:00 Nothing's confusing if you're used to it. 18:29:02 Not using accents makes pate harder to understands 18:29:07 exactly 18:29:16 -!- oonbotti has joined. 18:29:21 you should just spell it patay 18:29:55 But that makes its etymological relation with the word "paste" less clear! 18:30:39 call it paste then! 18:30:46 But that's something else! 18:30:48 hm is it worth learning Dvorak? 18:30:53 no 18:30:56 ^ 18:30:59 Better to lean Dvorak than to learn Romulan! 18:30:59 in swedish it's almost called pastay 18:31:06 (pastej) 18:31:16 I like Elfish more than Dvorak 18:31:28 but, personal opinion obviously 18:31:31 Vorpal: If you want to. 18:31:35 Vorpal, do you own a keyboard with Dvorak stickers? 18:31:38 Taneb, nope 18:31:39 Or Colemak, if you want to be cool, like Deewiant. 18:31:57 Get one as cheap as possible for learning with 18:32:13 elliott, how much does it actually help unless you are writing books though? 18:32:30 When programming there is a lot more down time spent thinking about the code anyway 18:32:31 It makes keyboard shortcuts a lot more awkward 18:32:39 Vorpal: You might see a minor increase in typing speed, but it probably doesn't matter much. The real reason to learn such an alternate layout is ergonomics. 18:32:58 Taneb: If you're looking at the keyboard, you're doing it wrong. 18:33:00 elliott, hm true. How much does it help there then. 18:33:30 -!- AnotherTest has left. 18:33:32 Vorpal: Well, more stuff is on the home row and so on. Colemak's site has some statistics: http://colemak.com/wiki/index.php?title=Ergonomic 18:33:49 surely that depends on which language you write in 18:34:21 Colemak places the 10 most common letters of English and Backspace on the home row. <-- backspace on home row? Uh, that means a rather small key next to enter then or something? 18:34:28 Well, Colemak is an English layout. I'm sure there is a Swedish variation. 18:34:33 But I suspect the letter frequencies are comparable. 18:34:41 Vorpal: Caps Lock is backspace, I think. 18:34:44 At least Deewiant maps it like that. 18:34:44 ah 18:34:47 elliott, if you're learning, stickers help 18:34:50 fair enough 18:34:54 (It's a better use for Caps Lock than Ctrl, that's for sure.) 18:35:02 Taneb: I disagree. 18:35:10 Taneb: They'll teach you how to type on a keyboard while staring at it. 18:35:11 elliott: IIRC in Colemak both backspace and caps lock are backspace. I swapped them instead. 18:35:27 Taneb: If you already know how to touch-type in general, you shouldn't have to start from scratch with training wheels. 18:35:31 Deewiant: Ah. 18:35:45 Deewiant: How do you pronounce "Deewiant"? 18:35:50 Vorpal: "Multilingual – Allows to type in over 40 languages and to type various symbols, e.g. "pâté", "mañana", €, em-dash, non-breaking space." 18:35:56 http://colemak.com/wiki/index.php?title=Multilingual#Swedish_.28Svenska.29 18:36:13 elliott, if you haven't learnt, you may not be able to even log in, without stickers or some sort of guide 18:36:14 elliott: Up to you whether it's like "deviant" or with a w sound instead of v. 18:36:20 Vorpal: There's also this https://gist.github.com/1293692 thing. 18:36:27 elliott, doing that altgr thingy sounds a bit painful (in the first link) 18:36:31 Although I guess it's (understandably) settled on the w sound. 18:36:31 Vorpal: With Dvorak there's specific variants for each language. 18:36:33 Svorak or whatever. 18:36:34 they are after all really common letters 18:36:40 yeah svorak exists 18:36:42 Deewiant: It's neither for me; I meant you specifically. 18:36:48 Also you have to be able to pronounce it properly. 18:37:29 Deewiant: I pronounce it as "dew" from "morning dew" + "iant" from "deviant". 18:37:38 elliott: In an English context, nowadays, like "deviant" but with a w sound. 18:37:45 Right. 18:37:47 Mine is better. 18:38:03 Mine is best. 18:38:16 It's second only to my pronounciation of Sgeo_, 18:38:22 How do you pronounce Sgeo_,. 18:39:26 sʒiːoʊ 18:39:44 Phantom_Hoover: No, with normal people methods. 18:39:45 Aww, I just say ess-geo 18:39:58 Taneb: I say "sssgaeoh". 18:40:07 Taneb, same 18:40:08 (I did not waste all that time learning the IPA for nothing.) 18:40:17 Phantom_Hoover: HOW DO YOU PRONOUNCE SGEO IN NORMAL PEOPLE LANGUAGE 18:40:21 I pronounce Phantom_Hoover "fan-tom who ver" 18:40:29 Szheeoh. 18:41:08 how is my ick pronounced? 18:41:16 Phantom_Hoover: THAT'S JUST WRONG. 18:41:16 s/ick/nick/ 18:41:19 s/caps/noncaps/ 18:41:27 nortti: Like "naughty" except more tti. 18:41:35 "I like neither coffee nor tea" 18:41:46 weirdo 18:41:59 http://upload.wikimedia.org/wikipedia/en/8/84/Sgeoct.wav 18:42:05 This is almost how I pronounce it 18:42:18 nortti, I pronounce it in Swedish with a slight Italian twist to it. 18:42:21 (no idea why) 18:42:25 That's like nearly how I pronouce it. 18:42:45 Except I tend to use a u 18:42:46 Sgeo_, why is that on wikimedia!? 18:42:48 Sugeo 18:42:52 Well, not "you" 18:42:54 but "uh" 18:42:59 Sgeo_: I pronounce it like that, but it's "ay" rather than "ee". 18:42:59 Suh-geo 18:43:15 That one sounds kidn of like "ski-oh". :P 18:43:19 *:p WRONG TONGUE 18:43:21 Vorpal, I put it there a long time ago 18:43:27 riiight 18:43:30 -!- Sgeo_ has changed nick to Sqeo. 18:43:44 q? 18:43:46 Squeeoh. 18:43:58 sʉ.dʒioʊ? 18:44:05 Wait. 18:44:07 Vorpal, the .wav sounds like it 18:44:12 kay 18:44:12 it's saying sqeo 18:44:20 can't listen to it atm. 18:44:27 Who do you lot pronounce Taneb? 18:44:28 sʉ.'dʒi.oʊ 18:44:54 Sqeo: No, that's definitely a "g". 18:45:13 Tahhh nehb 18:45:33 "Ngevd" is more interesting to pronounce. 18:45:42 Taneb, I pronounce the Ta bit like in the Swedish word Tagg. The rest like in English. (Not that it tells you much) 18:45:51 ŋevd 18:45:57 http://en.wikipedia.org/wiki/User:Sgeo 18:46:29 I recorded me saying a bunch of names but I sound like an idiot so you ca't hear it. SORRY. 18:46:44 elliott, not used to hearing your own voice? 18:46:47 OK you have no choice but to let us hear it now. 18:46:50 It sounds stupider in a computer but. 18:47:04 (I sound like a total prat, which is why I never listen to my own voice.) 18:47:23 Phantom_Hoover, isn't that because you are one? 18:47:31 Can someone give a list of names, and at some point I'll record me saying them 18:47:44 Oh, I forgot to do Ngevd. 18:47:46 I'll do it again. 18:48:06 Taneb, what if I give you one with non English letters in it? 18:48:15 Vorpal, brb, jumping into the sea to put out that sick burn. 18:48:17 I've been planning on recording my voice a lot, getting over the discomfort of hearing my voice, and use the recordings to perfect various accents I will find useful in my career as a secret agent 18:48:19 Are they still Latin letters? 18:48:34 Phantom_Hoover, ;P 18:48:34 OK Deewiant Sgeo Taneb Ngevd Phantom_Hoover Vorpal ais523: http://ompldr.org/vZThkag/Audio%20Recording%208.m4a 18:48:58 My voice is the worst. 18:49:10 Also I kind of fumbled "Vorpal" there. 18:49:15 I have no headphones and lose connection outside my living room 18:49:23 vawwpal 18:49:25 elliott, that is your voice? XD 18:49:26 Taneb: Your family will love hearing your name! 18:49:28 Vorpal: Rude. :( 18:49:31 Don't worry one day the helium feed to your throat will stop working. 18:49:34 *vawwpl 18:49:37 elliott, no it is better than what I imagined 18:49:38 * Sqeo doesn't believe that that's elliott's voice. 18:49:39 Phantom_Hoover: :'( 18:49:42 Im crey 18:49:46 Sqeo: why :'( 18:49:51 elliott, my name is neither Taneb nor Ngevd nor Vorpal 18:50:01 If it helps, I usually sound more monotone than that! 18:50:05 Taneb, I guess it is Nathan? 18:50:09 I have the Posh Edinburgh Accent which makes me want to punch anyone else who has it. 18:50:19 YOU GUESS CORRECTLY, Vorpal 18:50:26 Taneb: Download it, leave living room, play it, return. 18:50:26 Taneb, BY THE POWER OF WHOIS 18:50:40 Phantom_Hoover: Record yourself saying my name!!!! 18:50:42 I'll listen. 18:50:49 Phantom_Hoover, you should record yourself then 18:50:53 what, there are people who have non-lies in their whois? 18:51:08 Yes, Salparot Olsner. 18:51:15 Hahahah I don't have a micro-- oh shit I do these days. 18:51:27 Sqeo: why unbelieve :'( 18:51:30 I don't have a working mic sadly 18:51:37 elliott, it sounds like a computer. 18:51:47 Sqeo: You realise I am a computer, right? 18:52:35 elliott, I imagined your voice to be sharp and screechy kind of. So my statement about that being your voice wasn't rude, it should be considered positive instead. 18:52:46 -!- oerjan has joined. 18:53:12 Sqeo: You're right, I used text to speech. Here's the REAL me: 18:53:28 elliott, your recording setup had some issues with skipping too. Not sure how that happened when recording audio... 18:53:33 http://ompldr.org/vZThkbw/names.aiff 18:53:45 Vorpal: No skips when I play it back. 18:53:55 Problem exists between Vorpal's network connection and ears. 18:53:58 hm 18:54:06 strange, they are in the same place every time 18:54:12 What time? 18:54:16 Maybe I'm just not hearing them. 18:54:26 in Deewiant 18:54:29 when you say it 18:54:35 No skips that I can hear. 18:54:36 some pops and/or skips 18:54:37 two of them 18:54:39 hm okay 18:54:48 skip poltergeists 18:54:50 elliott, I possibly blame pulseaudio then 18:55:01 oerjan: Do you want me to record how I butcher your name??? 18:55:02 I BET YOU DO 18:55:04 anyway http://ompldr.org/vZThkbw/names.aiff gives me [0x7f4f9c025c88] main decoder error: no suitable decoder module for fourcc `undf'. 18:55:11 elliott: you already did once 18:55:18 -!- oerjan has quit (Client Quit). 18:55:19 oerjan: Wasn't that me attempting to get it right? 18:55:22 Vorpal: you're doing it wrong 18:55:23 elliott, so whatever that is I can't play it 18:55:29 olsner, hm? 18:55:31 Vorpal: It's the OS X text-to-speech engine saying the same names. 18:55:33 It was funnay joek. 18:55:43 elliott, right, I wanted to listen to it though :P 18:55:54 Vorpal: Try running flac on it. 18:55:54 I AM GOING TO RISK GOING INTO THE NEXT ROOM 18:55:56 Then playing the result. 18:56:00 Taneb: ENJOY 18:56:09 elliott, oh mplayer worked 18:56:30 elliott, sounds a bit deeper than your voice, otherwise similar ;P 18:56:38 Taeynb. Njev'd. 18:56:49 ay-eyes five hundred twenty three. 18:56:49 you are like that voice on a small dose of helium 18:56:50 @ping 18:56:50 pong 18:56:55 Okay 18:57:00 Now to get my headset 18:57:56 @ping 18:57:56 pong 18:58:06 @pang 18:58:06 pong 18:58:10 I just want to inform everyone that the correct pronunciation of Ngevd is ŋɛvd. 18:58:40 Phantom_Hoover: Excuse me, it's how I pronounced it. 18:58:47 good 18:58:52 No, I mean. 18:58:55 The correct way is how I pronounce it. 18:59:01 I don't know whether I pronounced it that way. Didn't you listen? 18:59:03 die 18:59:41 Did you not listen. :( 18:59:43 I pronounced your name in it. 19:03:01 Phantom_Hoover: :( 19:03:54 N'geved is the WRONG WAY 19:04:05 UH there is no second e. 19:04:12 It's N'gev'd. 19:04:24 no, it clearly starts with a ŋ 19:04:33 I've got a file, were do I put it? 19:04:38 shachaf: So you can't do that if the monad isn't an instance of IO Monad, right? 19:04:40 Taneb: ompldr.org 19:04:41 And *where. 19:05:13 http://ompldr.org/vZThkeQ/names.flac 19:06:00 I messed up Ngevd on account of having a sore throat 19:06:02 I can't play FLAC here. :( 19:06:19 -!- MoALTz has quit (Ping timeout: 246 seconds). 19:06:26 Taneb: how quiet is that? 19:06:31 I don't know 19:06:36 How quiet's quiet? 19:06:49 It's not especially loud 19:06:55 it is very very quiet 19:07:09 Someone transcode that from FLAC for me. :p 19:07:13 It's quite quiet 19:07:13 Or I guess I could download VLC. 19:07:15 Taneb: I can't hear anything without turning all of my volume controls to max 19:07:34 THEN TURN THEM TO MAX 19:07:54 My mic was picking up a whole load of background 19:08:10 Dammit why can't I convert audio files with mplayer. 19:08:15 Taneb: I still can't really hear what you are saying 19:08:38 Phantom_Hoover: mencoder 19:08:46 I'll re-record louder in a more elliott-friendly format 19:08:52 Nooo. 19:08:53 Don't re-record. 19:08:54 Sorry, did I forget to mention I'm on Windows. 19:08:54 It'll ruin 19:08:55 the 19:08:56 magic 19:09:00 Taneb: when I turn my volumes to max I can hear that someone is speaking 19:09:01 * elliott just downloads VLC. 19:09:08 For nortti 19:09:18 elliott: why not mplayer? 19:09:53 I don't feel like remembering the arguments to amplify things. 19:10:05 fair enough 19:10:34 Here we go. 19:11:29 Taneb: You sound less like a computer than me. 19:11:39 That's because I am more man than machine 19:12:23 I'm so damn manly, I barely even count as a computer. 19:13:08 poor you 19:13:09 Simultaneously, I feel as if my throat is attempting to strangle me 19:13:33 me 2 19:13:52 maybe it doesn't like that you're trying to breathe through it all the time 19:14:07 would you like that? probably not... 19:14:56 i breathe through olsner usually 19:14:59 So VLC claims to have converted the file but is showing no evidence of having done so, for instance by creating a file in the new format. 19:15:24 #quit 19:15:24 -!- oonbotti has quit (Quit: oonbotti). 19:15:35 Phantom_Hoover: I already played it, man. 19:15:44 -!- oonbotti has joined. 19:15:50 I mean the file I made of me saying 'Ngevd' the right way. 19:16:13 Oh. 19:16:16 Just upload it in whatever format, man. 19:16:27 Even WMA? 19:17:31 hahahahaha are you transcoding from wma 19:17:33 that's so embarrassing 19:17:38 monqy: look at Phantom_Hoover. 19:17:59 -!- oonbotti has quit (Client Quit). 19:18:44 Well I would have stopped if VLC didn't have the worst UI for transcoding. 19:18:55 just 19:18:57 record it in non-wma 19:19:00 use sound recorder or sth 19:19:13 I *am* using Sound Recorder. 19:19:18 It doesn't give any other formats. 19:19:24 ouch 19:19:43 Phantom_Hoover, what about audacity? That is a good program. I think there is a windows version too? 19:19:49 elliott: Right. 19:20:04 instance IO Monad where monad = IO 19:20:04 yeah there is 19:22:04 Fucking finally. 19:22:11 I use the same sound for the sh and ch in shachaf 19:22:27 http://ompldr.org/vZThlbg/Ngevd.ogg 19:23:00 Phantom_Hoover, you're right 19:23:05 Your voice is awful 19:23:10 OH SNAP 19:23:13 - Phantom_Hoover 19:23:19 - :'( 19:23:33 Taneb: WELL YOU'RE WRONG 19:23:36 let's just accept that everyone has an awful voice 19:23:46 shachaf: You should record yourself saying "Ngevd". 19:23:48 I have a well-regarded video blog 19:24:04 With 8 subscribers! 19:24:05 elliott: I've never said "Ngevd 19:24:10 Say it now. 19:24:12 "; why should I start for the sake of a recording? 19:24:31 You've answered your own question there 19:24:55 Phantom_Hoover, did you record any other name than that? 19:25:03 also Taneb's recording was really quiet 19:25:29 elliott: Did you know I have a GitHub resository with SEVENTY-FIVE watchers. 19:25:43 shachaf: I like how it is JavaScript! 19:25:49 Yes. 19:26:15 Because if you want to be famous on GitHub, your best bet is to use JavaScript or Ruby. 19:28:11 All of my github repositories are in the top-ten most watched 19:28:16 I have github reposity with 1 watchers 19:28:24 (technically true) 19:28:29 -- This interface is based on @String@, and is likely to behave 19:28:29 -- unpredictably on codepoints above 255. The @ByteString@-based 19:28:29 -- interface in "Acme.Strfry.ByteString" is recommended for serious use. 19:28:36 Wouldn't it be codepoints above 127? 19:28:59 If it was being compared to Text 19:29:02 shachaf: I don't think so. 19:29:05 Well, I guess that depends on what withCString does. 19:29:09 Oh, hmm. 19:29:12 ive never said ngevd but in my head i pronounce it ŋɛvd except when i slip up and accidentally pronounce it something more like ŋɛvəd woops 19:29:14 It's being compared to ByteString, so I guess that it wants a string of bytes 19:29:25 shachaf: Can you test what withCString does for me? 19:29:28 my head is a scary place 19:29:29 Then send a... pull requests. 19:29:37 Oh, looks like you're right. 19:29:42 monqy: can i visit your head 19:29:59 i dont need another map of your head 19:30:03 λ> withCString "ellíott" peekCString 19:30:04 "ell\237ott" 19:30:10 > chr 'í' 19:30:12 Couldn't match expected type `GHC.Types.Int' 19:30:12 against inferred type ... 19:30:16 > ord 'í' 19:30:17 237 19:30:20 Yay. 19:30:27 * Taneb quotes the titles of B-Sides by Alternative Rock groups 19:30:31 I wonder whether kmc knows this. 19:30:36 "another thing to h8" 19:30:37 -!- asiekierka has quit (Remote host closed the connection). 19:31:00 elliott: Also that snippet there is probably undefined behavior or something. 19:31:04 shachaf: Which snippet? 19:31:06 Oh, never mind. 19:31:08 Mine. 19:31:12 Oh well. 19:31:12 But I was just silly. 19:32:14 http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/release-7-4-2.html 19:32:26 s/1/2/ 19:33:15 -!- oonbotti has joined. 19:34:12 Man, I haven't listened to this song in ages 19:34:26 strfry s = B.useAsCString s (c_strfry >=> B.packCString) 19:34:29 Probably because I don't really like it? 19:34:30 -!- Sqeo has changed nick to Sgeo. 19:34:36 elliott: Were you pleased to use >=> there? 19:34:42 shachaf: I think I thought of you! 19:34:46 When writing it. 19:34:57 :-( 19:37:28 CAT PROGRAM IN HASKELL 19:37:49 main = sequence_ . iterate (getChar >=> putChar) $ return () 19:37:59 it happens 19:38:15 Taneb: Overkill. 19:38:16 main = interact id 19:38:26 elliott: LAZY I/O MONSTROSITY 19:38:26 OVERKILL IS THE BEST KIND OF KILL 19:38:27 Taneb: that doesn't work anything at all like a cat 19:38:31 main = getChar >>= putChar >> main -- since yours doesn't handle EOF 19:38:40 main = forever (getChar >>= putChar) 19:39:07 Just goes to show... 19:39:09 There's more than one way to skin a cat 19:39:39 main = cat 19:40:01 main=forever(getChar>>=putChar)`catch`\_->return() 19:40:09 cat.skin() 19:40:37 main=forever$try getChar>>=either(const$return())$(>>main).putChar 19:40:42 :t forever$try getChar>>=either(const$return())$(>>main).putChar 19:40:43 Not in scope: `try' 19:40:43 Not in scope: `main' 19:40:47 I guess "try" is only part of the new exception library. 19:40:49 Oh well. 19:41:11 main = forever (mfix (getChar >=> putChar)) 19:41:39 That works? 19:41:46 Oddly, yes 19:41:59 does it? 19:42:04 Doesn't handle eof 19:42:40 :t (getChar >=> putChar, mfix (getChar >=> putChar), forever (getChar >=> putChar)) 19:42:41 Couldn't match expected type `a -> m b' 19:42:41 against inferred type `IO Char' 19:42:41 In the first argument of `(>=>)', namely `getChar' 19:42:47 getChar >=> putChar doesn't even type. 19:42:49 :t (getChar >=> putChar, mfix (getChar >=> putChar), forever (mfix (getChar >=> putChar))) 19:42:50 Couldn't match expected type `a -> m b' 19:42:50 against inferred type `IO Char' 19:42:50 In the first argument of `(>=>)', namely `getChar' 19:43:00 That's because I had a const in it 19:43:12 main = forever (mfix (const getChar >=> putChar)) 19:43:32 const x >=> y, aka x >>= y 19:43:35 Wait. 19:43:38 const x >=> y, aka const (x >>= y) 19:43:44 Yeah! 19:43:45 :) 19:44:02 mfix . const may be like ID, I'm not sure 19:44:45 OVERKILL 19:45:15 My friend 19:46:01 > fix . const $ "nepotism" 19:46:03 "nepotism" 19:47:37 Some code that I wrote some time ago to object to Clojure seems to just be saying "Clojure doesn't stop you from being stupid" 19:48:09 Overkill leads to obfuscation, which leads to FUN 19:48:15 hi 19:48:26 Did you know: 19:48:39 elliott DOESN'T USE MONOSPACE FONTS FOR IRC 19:48:52 "true fax, from the tomodo department" 19:49:04 Everyone knows that. 19:49:06 Even monqy knows that. 19:49:45 even i know that 19:50:00 monqy: But did you know it before elliott told you? 19:50:11 when was that 19:50:36 before elliott was born :'( 19:51:02 -!- sebbu2 has joined. 19:51:02 -!- sebbu2 has quit (Changing host). 19:51:03 -!- sebbu2 has joined. 19:51:11 "i use irc with a variable width font" ———— elliott's first words 19:51:11 @ping 19:51:12 pong 19:51:24 GOODNIGHT IF YOU CAN HEAR ME OUT THERE 19:51:28 https://www.refheap.com/paste/4fd4fa18e4b0232cc152e706 19:51:45 Me, maybe a year ago, objecting to Clojure not stopping people from being stupid 19:51:51 Taneb: Shout really loud. 19:51:53 Maybe I will hear it. 19:52:50 -!- sebbu has quit (Ping timeout: 260 seconds). 19:54:56 -!- Taneb has quit (Quit: Leaving). 20:01:47 OK, that was ridiculous deja vu. 20:07:06 elliott, what was? 20:07:15 A thing. 20:07:23 also does Taneb have connection issues? 20:08:24 i think so 20:12:01 shachaf: Is there something like Applicative that doesn't have ordering? 20:12:11 Or something. 20:12:22 I guess you could just say f <*> x === x <**> f. 20:12:25 But that seems overly strong. 20:16:04 well, when people talk about commutative monads 20:16:08 that's what it means 20:16:16 I suppose you could talk about a commutative lax monoidal functor 20:16:22 haven't quite thought what that would mean yet 20:16:28 copumpkin: In this case I'm just wondering because HashMap has: 20:16:35 traverseWithKey :: Applicative f => (k -> v1 -> f v2) -> HashMap k v1 -> f (HashMap k v2) 20:16:54 which is a very nice function (you can implement, e.g. an efficient HashMap lens with it) 20:17:04 but it also exposes the underlying ordering of the HashMap 20:17:09 just wondering if you can get the same benefits without exposing that 20:17:10 yeah 20:17:15 hmm, dunno 20:17:23 (You do the Lens by using Cont and breaking out with the value, and when you get resumed with the replacement value, returning it.) 20:17:34 (For edwardk-style lenses.) 20:19:30 Alternatively, can you define a variant of Cont that's a commutative applicative? 20:19:36 I think possibly yes, but I'm not sure. 20:19:40 (It'd have to be restricted somehow, of course.) 20:27:04 Hmmmm. 20:27:10 An SO question from Jon Harrop tagged [haskell]. 20:27:18 shachaf: What are the chances this isn't some partisan trolling bullshit? 20:32:29 -!- ais523 has joined. 20:34:55 I don't know if it's my imagination, or if my Nook is helping me read by forcing me not to skim 20:37:28 hi ais523 20:37:37 hi 20:37:37 ais523: You have 1 new message. '/msg lambdabot @messages' to read it. 20:37:41 @messages 20:37:41 elliott asked 18h 15m 58s ago: actually, how can you use "1" in your presentation if you're using a semigroup? they don't have an identity 20:37:48 elliott: I'm using a semi/ring/ 20:37:50 they have two identities 20:37:52 0 and 1 20:38:10 (and both addition and multiplication, which interact with 0 and 1 like you'd expect) 20:38:15 ais523: ah, semiring 20:38:18 sorry 20:40:42 -!- zzo38 has joined. 21:35:05 what does mean 21:35:23 it means the value was optimised out 21:35:32 i.e. the code was optimised to not need that value 21:35:45 oh 21:36:03 so if i turn off all optimizations, i can find out what it is 21:37:04 it means that you have a bug in your program 21:37:06 (otherwise, why would you be using a debugger?) 21:37:14 kmc: I got a sign from GOD. 21:37:16 damn right i have a bug 21:37:34 the bug being "it doesnt work and doesnt give me any indication of why" 21:37:35 tip: remove the bug 21:37:57 * quintopia throws olsner at the problem, sees if he sticks 21:38:14 tip: convert bug to other type of bug 21:38:27 tip: redefine bug as feature 21:38:28 the kind that explains itself? 21:38:36 olsner: good idea 21:39:22 olsner: do you mean the microsoft way of handling bugs? 21:39:38 elliott: guess what this new scoring system does? it epitomizes equality and fair play by giving all competitors a score of 0! no more squabbling about who is the best, and no more chaos on the hill. it's revolutionary! 21:39:57 :D 21:40:30 quintopia: That sounds kind of egalitarian. 21:40:36 I would change your name and move to another country ASAP. 21:40:53 -!- quintopia has changed nick to aipotniuq. 21:41:01 sweden sure is nice this time of year 21:42:00 -!- aipotniuq has changed nick to quintopia. 21:56:22 -!- oklopol has joined. 21:56:33 push everything four salad salad 21:56:52 ? 21:59:52 i can't sleep, whenever i close my eyes i start thinking about the ranks of countably converging cellular automata 22:00:01 :( 22:00:18 ! 22:00:31 exactly 22:05:36 shachaf: Sign from GOD? What kind of sign? Stop sign? Or the other sign? 22:05:45 hm can CCDs degrade over time as to produce noisier images? When I compared a picture I took today and one I took ten years ago with the same camera under similar conditions the one I took today is significantly noiser. (Similar subjects too, large grey areas) 22:06:23 zzo38: Other sign. 22:06:33 What other sign? 22:06:59 Ask elliott. 22:07:00 both were taken with ISO 64. f/11, and similar times (1/500 and 1/450) 22:07:22 elliott: What other sign does shachaf get? 22:09:22 zzo38: GOD's. 22:09:53 The Sign Panther also left me some signs. 22:10:08 LITTLE-KNOWN FACT: When I played _World of Goo_, I thought the signs were life by "The Sign Panther". 22:11:16 I know it is GOD's sign, but still that doesn't explain much. 22:11:18 but really they were death by him 22:11:45 and all the little goos when to gooey heaven 22:11:53 i meant to say went 22:12:00 oh believe me 22:12:03 i meant to say went 22:13:32 signs from MOM! 22:25:04 -!- derdon has quit (Remote host closed the connection). 22:25:05 -!- Vorpal has quit (Ping timeout: 246 seconds). 22:38:05 -!- oonbotti has quit (Quit: oonbotti). 22:39:56 -!- oonbotti has joined. 22:40:13 -!- oonbotti has quit (Client Quit). 22:47:08 -!- nooga has quit (Ping timeout: 245 seconds). 22:54:09 hey shachaf give elliott portal 2 22:54:22 alternately: play portal 2 with me 22:54:30 No don't play Portal 2 with PH he's awful. 22:54:47 awful by which you mean amazing 22:55:00 Phantom_Hoover: OK, I'll play Portal 2 with you! 22:55:03 Not today, though. 22:55:07 "i needed to go a while ago" 22:55:22 ok 22:55:28 Do you know some things about 6502 programming, such as how I could add support for music subroutines to PPMCK? 22:55:39 Phantom_Hoover: Also, elliott said he wouldn't even get around to it if I did. 22:55:42 "for, like, a month" 22:55:48 yes 22:55:51 I didn't say that! 22:55:53 that is why i will play with you 22:56:04 elliott, IT SOUNDS LIKE SOMETHING YOU WOULD SAY 22:56:11 Phantom_Hoover: I'll play Portal 2 with you N units of time before shachaf plays Portal 2 with you if shachaf gives me it. 22:56:15 BAMMMMM 22:57:21 portal 2 has an achievement for completing the game, then playing co-op with someone who has never played co-op before (or completed the game before?) 22:57:31 IIRC, it's set up so it's theoretically impossible for /everyone/ to get it 22:57:36 Phantom_Hoover just doesn't have any friends 22:57:43 that's the real reason 22:57:59 thats not true 22:58:07 yes 22:58:08 it is 22:58:15 shachaf: i'll pay you $99999 for protals 1 & 3 22:58:33 elliott: offer not valid when 3 is released? 22:58:41 that;s my age 22:58:42 3 22:58:43 (if 3 is released) 22:58:49 -!- oonbotti has joined. 22:59:01 > 1 .&. 3 :: Int 22:59:02 1 22:59:05 elliott: OKAY 22:59:14 AND ALSO 2 22:59:27 AND ALSO IT'S 0 instead of $9999999 22:59:44 "0: a number so cool, it doesn't even need units" 22:59:55 yes! 23:15:18 -!- nortti_ has joined. 23:22:38 shachaf: Maybe I could play Portal 1... right now? 23:22:45 Is it fun early on. 23:22:52 Phantom_Hoover: Is it. 23:22:57 wit is 23:22:59 *it is 23:24:13 coppro: Can my computer run Portal 2. 23:24:16 dunno 23:24:21 :( 23:24:29 (How good a connection, latency-wise, do you need for Portal 2 coop?) 23:24:34 dunno 23:33:38 shachaf: Did you know I meet Portal 2's system requirements? I think? 23:33:44 I'm not sure if this card counts as Nvidia 8600M or higher. 23:34:59 elliott, yes, but the thing is it's a Valve game so the start is kind of babystepping and you don't want to stop right as the pace picks up. 23:35:13 Phantom_Hoover: But I don't have time to play the whole thing right now! 23:59:44 shachaf: Does Portal really only take two hours to complete?