00:00:18 Yes, those quotes are definitely very relevant to the fact that I used to type on a piano. 00:00:25 `quote 88 00:00:26 `quote 00:00:26 `quote 00:00:26 `quote 00:00:26 `quote 00:00:27 `quote 00:00:29 `quote 00:00:32 `quote 00:00:34 `quote 00:00:36 `quote 00:00:39 `quote 00:00:41 shachaf has gone rogue 00:00:44 someone stop him! 00:00:50 `quote rogue 00:00:51 `quote stop 00:00:51 istr we removed quote 88 00:00:58 I will try to stop shachaf. 00:01:00 shachaf: please stop. 00:01:03 I'm not sure if that worked. 00:01:03 88) (still, whatever possessed anyone to invent the N-Gage?) 00:01:08 tswett: stop what 00:01:15 ​/bin/sh: Can't open /hackenv/bin/allquotes 00:01:17 shachaf: I'm not sure. 00:01:29 shachaf: ask Phantom_Hoover. 00:01:35 shachaf: please stop spamming the bots 00:01:38 ah, we didn't delete 88, we just made another quote about it 00:01:39 ​/bin/sh: Can't open /hackenv/bin/allquotes 00:01:42 ais523: OK. 00:01:49 what was 88 00:01:52 Why me and not elliott? 00:02:17 Why not Zoidberg? 00:02:34 `quote 1 00:02:46 shachaf: there's a tradition where we request exactly five quotes then delete one 00:02:46 I don't like how HackEgo renumbers a quote any time a prior quote is deleted. 00:02:50 even that gets spammy after a while 00:03:04 What about requesting 10 quotes and deleting two. 00:03:05 requesting that many in a row is ridiculous, though 00:03:05 There's also a tradition where HackEgo is really slow. 00:03:14 That method is clearly superior. 00:03:19 tswett, you're talking about a system designed by someone who implemented fortune by selecting a random line in the quotes file and seeking back to the separator. 00:03:19 1) I used computational linguistics to kill her. 00:03:31 623) Can you file for univorce if you are unmarried and don't like yourself anymore? 00:03:33 ais523: You get more choice, so you can delete worse quotes on average. 00:03:34 115) Gregor-P: I don't think lambda calculus is powerful enough 00:03:41 15) IN AN ALTERNATE UNIVERSE: First, invent the direct mind-computer interface. Second, learn the rest with your NEW MIND-COMPUTER INTERFACE. 00:03:41 638) There's British KFC? Kent Fried Chicken? 00:03:41 823) olsner: over the undertow! under the overpass! around the future and not just fnord for example. it's just the syntax 00:03:41 747) Phantom_Hoover: gsi-ffs.scm just has a tendency to give procedures meaningful, spelled out, names, unlike " fnord)" 00:03:41 182) OK, let's reduce the human genome to 4 chromosomes, in 2 homologous pairs. 00:03:41 188) My quotes are boring 00:03:47 277) elliott: parents who put just "Chris" on a birth certificate are... like parents who put just "Bob" on a birth certificate. 00:03:48 50) Maternal instincts? Don't you just leave the thing in a box until it starts crying, and then shake it until it stops? \ 278) ZOMGMODULES, St. Christopher, saint and werewolf. \ 289) and then there's the slightly annoying one where suddenly, i start rolling forward and i can't stop like i can be having some great sex dream or whatever and then suddenly "oh 00:03:56 ais523: And there's less of the noise-spam that happens between `quotes. 00:04:56 why is hackego so slow to respond, fwiw? 00:05:22 "I certify that ____ ____ ____ was born to parents ____ ____ ____ and ____ ____ ____ here in ____ this ____ day of ____, CHRIS." 00:05:40 Phantom_Hoover: It boots up a VM and installs Debian on it before running your program. 00:05:43 Or something. 00:06:25 but it's actually just running with a patched libc or something, no? 00:07:20 *"I certify that CHRIS ____ ____ was born to parents CHRIS ____ ____ and CHRIS ____ ____ here in CHRIS this CHRIS day of CHRIS, CHRIS." 00:09:22 it might be doing a clean checkout of that hg repo for every command, then committing whatever changes the command made 00:09:49 don't think that would be that slow though 00:10:19 olsner: it's doing that + starting linux 00:11:50 oh great, this is one of those indiana jones episodes 00:14:04 featuring: germans, russians, macgyver and traps 00:15:19 my dwarves are idiots pt. 325: 00:15:37 175 units of forgotten beast meat, sitting out in the open to rot 00:20:30 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:20:36 -!- DH____ has joined. 00:23:16 the goblins have arrived 00:23:36 i forgot to actually make the bridges into my fortress retractible 00:23:39 `oh deer' 00:23:46 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: oh: not found 00:27:06 `quote 00:27:06 `quote 00:27:06 `quote 00:27:07 `quote 00:27:07 `quote 00:27:19 549) king is something women are better at than men 00:27:50 417) I can't afford one of those! A grandchild, not a laser printer 00:27:56 768) ais523: well, Dylan said "hahaha, Lawlabee is running windows", and then Lawlabee said "'cuz it's pretty awesome." Except that by "it", Lawlabee was referring to something entirely different. So when I added that quote, Lawlabee emotifrowned. 00:27:59 537) elliott: mr president, commissioner, i fully accept that description when it comes to human rights. yes, with an average fat content of chocolate, and we are using double standards! we all know that under present legislation and also in relation to standardization bodies. if i do not want. 00:28:01 289) and then there's the slightly annoying one where suddenly, i start rolling forward and i can't stop like i can be having some great sex dream or whatever and then suddenly "oh god not this again" (i go "not this again" but not necessarily realize it's a dream) 00:28:46 monqy: any opinions 00:29:48 yes mayor this is the opportune moment to declare a party 00:30:22 we shall found... the Cheese Party! 00:30:22 Phantom_Hoover: im going to start the df fort in a few minutes but 00:30:25 hm 00:30:25 ive forgotten how to play df entirely 00:30:52 wiki man 00:31:12 imo termcast it 00:31:25 monqy: ugh have you seen termcast brogue 00:31:30 er 00:31:31 df... 00:31:33 i like to play `hugeterm faketerm df' 00:31:34 ive seen termcast df yes 00:31:39 its hieous 00:31:39 with a teeny tiny font 00:31:46 80x25 df sounds unplayable 00:32:02 i forget, did i termcast df adventure mode when i played it 00:32:11 ye. 00:32:13 it was 00:32:13 something 00:32:17 i missed that :( 00:32:35 meanwhile, shachaf is whipping sorry motherfuckers apart left right and centre 00:32:36 Phantom_Hoover: it's pretty much how any first df adventure mode experience goes 00:32:47 he is 'quite content' with this 00:33:08 his favourite food is also coelecanth 00:33:20 best dorf 00:33:28 hi Phantom_Hoover 00:33:33 "whats going on" 00:33:38 holy shit 00:33:43 i checked his kills list 00:33:46 coelephant 00:33:47 monqy: any opinions on the quotes btw 00:33:57 Phantom_Hoover: "oh" 00:34:01 Phantom_Hoover: Rename that dwarf! 00:34:07 "thirty-three trolls (female sign) in Ghouldrip" 00:34:22 "one troll (male sign) in The Mire Of Stroking" 00:34:34 elliott: uhh 00:34:34 you really hate female trolls 00:34:56 it's their rude winking at him 00:35:34 elliott: #1 problem is my eyes keep glazing over, so to speak, when i try reading 537 00:36:22 fungot: hey, what are those corpora you can use, again? 00:36:22 tswett: it is as bad as please. the channel secretary will mail you the bill. :) 00:36:32 fungot: thanks in advance. 00:36:32 tswett: ( i threw in the python-style slicing e.g. ( is that a computer cannot do? 00:36:33 ^style 00:36:33 Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack pa qwantz sms speeches ss wp youtube 00:36:44 elliott, req. that you at least enable scourges in the raws 00:36:48 for dorfs, that is 00:36:56 ^style qwantz 00:36:56 Selected style: qwantz (Dinosaur Comics transcriptions 2003-2011) 00:36:59 fungot: oi 00:37:00 tswett: but i've got great names for everyone else's hypothetical sons! anything that comes out and people want to know 00:37:07 * tswett nods. 00:38:28 Phantom_Hoover: what do those do again 00:38:50 whip shit 00:38:56 that sounds bad 00:39:10 also goblins 00:39:43 -!- sivoais has quit (Ping timeout: 260 seconds). 00:41:19 Phantom_Hoover: im going to leave the raws unchanged 00:41:21 u r going to have to deal w/ it 00:41:32 :( 00:42:52 -!- sivoais has joined. 00:44:11 -!- ais523 has quit. 00:45:49 `welcome sivoais 00:45:54 sivoais: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 00:45:54 -!- nooga has joined. 00:46:48 -!- DH____ has quit (Read error: Connection reset by peer). 00:46:54 -!- DHeadshot has joined. 00:48:40 * Phantom_Hoover checks shachaf's entry in legends 00:48:56 his title is the Scholarly Ghost 00:49:30 fungot: can I have another one svp? 00:49:31 tswett: are you in this house, god? i am! 00:49:40 fungot: I dunno. One more svp. 00:50:07 fungot: well? Don't just ignore me svp. 00:50:20 Phantom_Hoover: let t=t+1 let t=t+1 let t=t+1 let t=t+1 let t=t+1 let t=t+1 00:50:22 qed 00:50:53 what's tha 00:50:54 t 00:52:12 Phantom_Hoover: Hmm, was that an impostor a couple of days ago? 00:52:27 Doesn't look like it. 00:53:22 what are you talking about 00:53:34 Never mind. 00:59:38 -!- DHeadshot has quit (Read error: Connection reset by peer). 00:59:46 -!- DH____ has joined. 01:02:31 -!- Jafet has quit (Ping timeout: 245 seconds). 01:09:27 -!- nooga has quit (Ping timeout: 244 seconds). 01:11:55 -!- Phantom_Hoover has quit (Remote host closed the connection). 01:21:14 -!- monqy has quit (Quit: hello). 01:24:13 -!- carado_ has joined. 01:24:14 -!- carado has quit (Read error: Connection reset by peer). 01:33:17 -!- Jafet has joined. 01:37:16 -!- carado_ has quit (Remote host closed the connection). 01:38:25 -!- carado has joined. 01:42:46 fungot: hug 01:42:47 kmc: looks more to me like a bush. my first play is more abstract, for you see, i ran this exercise! i also like to say hello 01:43:09 i also like to say hello 01:43:13 fungot = monqy? 01:43:14 shachaf: alternate universe, that's " law and order". and it doesn't have to be shakespeare. how's the weather up there so it makes sense, dromiceiomimus! anyway, if i did, good! cause you're just walking around, chatting with their friends, being attractive in the media 01:44:07 fungot knows about the dromiceiomimus 01:44:08 Jafet: i don't think i ever want to be on to something like this, if people saw me on a mountaineering tale of the star of the story! choose from! and if i ever turn into a werewolf, i would definitely rate her current attractiveness as at least, i've never remembered them and they've never been enough to wake me up, which amounts to pretty much, yeah, i was there, encouraging when i see a jerk sitting, cautious in your movemen 01:45:10 kmc: Should I listen to Alice's Restaurant today? 01:45:11 Jafe: i think, as a people, have been responsible. it'll all come flooding, then i'll certainly be blue! because 01:45:20 tswett: you used to type on a piano? 01:45:29 shachaf: today and every day 01:45:54 Jafet: How did you do that? 01:46:09 kmc: Have you been to the restaurant? 01:46:17 It's in MA somewhere, isn't it? 01:46:45 Stockbridge, MA 01:46:46 i have not 01:47:05 that is at the other end of massachusetts :( 01:47:35 Are there any trains stopping there? 01:47:55 i could take the train to albany and bike 01:47:56 fungot: check check, i am making sense? reverse duck nailed on the fnord, we examine it gravely 01:47:57 Jafet: oh, but i was never going to. but, i do know that others may live a real life it'll be a great show. people can call me... 01:50:26 or to pittsfield actually 01:51:27 kmc: Did you know they made an Alice's Restaurant film? 01:51:38 Featuring Officer Obie as Officer Obie. 01:51:47 less than 4 hours 01:51:50 heh 01:53:18 Ripple Effect 01:53:19 haha 01:53:28 à égalité avec Window of Opportunity je pense 01:53:39 merci coppro de m'avoir poussé à continuer 01:56:21 oh wait, wrong language 01:57:28 I was saying, thank you coppro for talking me into watching the last two seasons of sg-1 01:58:06 -!- Arc_Koen has quit (Quit: and with that I'm off. gnight everyone). 02:00:25 kmc: I used to type on a device with 88 keys. A piano is a device with 88 keys. 02:00:33 Therefore, it is possible to logically conclude that I used to type on a piano. 02:01:11 -!- oerjan has quit (Quit: dgghinoot). 02:02:04 ... i see 02:02:13 i was hoping for a cooler answer than that, sorry 02:02:48 Yamaha makes keyboards with 88 keys; therefore, it can be concluded that this sentence makes no sense 02:13:05 -!- sirdancealot7 has quit (Ping timeout: 255 seconds). 02:16:42 kmc: feel free to come up with a cooler answer. 02:19:47 the cooler answer would be that you had a MIDI keyboard hooked up to your computer and were using it to type in some clever way 02:20:05 not just "one key per character" but like sweet chords and such 02:20:35 Imagine using emacs with that 02:21:16 obviously you would use pedals for control and meta 02:21:55 I,I pedal to the meta 02:22:22 tswett removed 17 of the alphabet characters from his keyboard. 02:22:24 "I sprained my ankles the other day." "How?" 02:24:06 I am currently two keys short of a full keyboard. 02:24:54 (...If you know what I mean.) 02:25:51 i should buy the kinesis foot pedals 02:30:40 kmc: can someone direct me to the list of available IRC commands for this channel? seems to be unique (restricted), relative to other channels. 02:30:42 s/ // 02:30:44 er 02:30:45 s/ / / 02:33:13 -!- carado has quit (Ping timeout: 246 seconds). 02:34:59 -!- aloril_ has quit (Ping timeout: 260 seconds). 02:47:26 -!- aloril_ has joined. 03:06:26 s/\/\//\/ \// 03:11:23 kmc: yeah, I like that idea. 03:11:27 Should be easy enough to implement. 03:12:02 -!- monqy has joined. 03:12:40 First, say that there are 31 characters that you can type by pressing some combination of the notes C through G. 03:12:50 Make them octave-independent, so that you can alternate between hands. 03:14:04 You could make other characters using black keys, right? Say that D, E, and G can be flatted, giving you three options for those letters instead of two, so that brings you up to... 107 characters. 03:14:29 Which is more than the number of ASCII printable characters, so you should be more or less in business. 03:14:31 what about the other two notes in the octave...? 03:15:05 I dunno. 03:15:18 As and Bs can be modifiers, if you want. 03:25:34 -!- lightquake has quit (Quit: ZNC - http://znc.in). 03:25:55 -!- lightquake has joined. 04:00:34 ♫ 04:03:03 hi 04:04:19 elliott: Solved the unsafeCoerce! 04:04:29 monqy, kmc: 04:04:46 hi 04:07:48 yuck, fmap unsafeCoerce 04:07:50 that's inefficient 04:09:27 "just use unsafeCoerce :: (Functor f) => f a -> f b" 04:09:53 elliott: Huh? 04:09:56 That's not the solution. 04:10:07 The solution is fmap (const undefined) 04:10:15 elliott: "btw this function never actually gets called ever" 04:10:33 is https://github.com/ekmett/lens/commit/529aa2e6992de1c1a91ae58bc77e29381cb1de00 the wrong commit 04:10:35 "should i feel foolish now" 04:10:40 so why does coerce exist 04:10:42 if it is never called 04:10:50 and why is it (<$) undefined rather than just undefined 04:10:55 Yes, that's when I told edwardk "you can use fmap undefined" and he read it as "fmap unsafeCoerce" 04:11:37 instance Gettable g => Gettable (EvilBazaar a b g) where 04:11:40 elliott: "why not" 04:12:02 monqy: "who needs the where" 04:12:16 who needs the random double quotes around every sentence 04:13:49 I do. 04:13:52 "yeah who needs them" 04:14:56 'Haddock' seems to 'require' 'them' 04:15:22 http://windows95tips.tumblr.com/ 04:20:51 It’s just as i remember. 04:23:20 -!- Jafet1 has joined. 04:24:56 -!- Jafet has quit (Ping timeout: 250 seconds). 04:26:01 kmc: Wasn't Windows 95 great? 04:26:20 no 04:27:01 hth 04:27:42 http://25.media.tumblr.com/tumblr_mcdjm3MIdo1rehruqo1_500.png 04:27:50 That screen was great. 04:28:26 ah yes 04:29:29 Now that BazaarT’s Gettable doesn’t use unsafeCoerce, couldn’t one just have a single Bazaar and document it with “plz don’t make stupid Gettable instances, kthxbye”? 04:29:47 I think I brought that up in #-blah 05:00:07 -!- Jafet1 has quit (Ping timeout: 260 seconds). 05:00:32 -!- Jafet has joined. 05:45:02 -!- copumpkin has quit (Ping timeout: 255 seconds). 05:45:34 -!- copumpkin has joined. 05:47:04 -!- sirdancealot8 has joined. 06:00:31 -!- Jafet has quit (Quit: Leaving.). 06:01:53 -!- sirdancealot8 has quit (Ping timeout: 244 seconds). 06:03:30 kmc: Uh oh. 06:17:49 shachaf: is edwardk really adding this abomination 06:20:17 elliott: "should i fight it" 06:20:43 how about 06:20:44 yes 06:20:47 or at least 06:20:51 fight for it to not take the name field :P 06:20:58 but hey free country 06:21:03 do whatever is right 06:21:46 Which country? 06:22:02 exactly 06:24:44 There’s about ⅓ chance he’s trolling us. 06:25:53 elliott is hitting back. 06:25:57 "countertroll" 06:26:56 no i'm serious about this peek thing 06:28:47 -!- sirdancealot8 has joined. 06:36:57 -!- Jafet has joined. 06:37:10 -!- copumpkin has quit (Ping timeout: 246 seconds). 06:37:42 -!- copumpkin has joined. 07:01:21 -!- nooga has joined. 07:03:36 shachaf: are you really improving this awful thing 07:04:03 it'll go on your tombstone 07:05:07 "sorry" 07:06:21 container analogies :( 07:06:59 shachaf: wow, I had no idea it was this bad 07:07:17 -!- FreeFull has quit. 07:08:36 "covariant" is just a scary word. :-( 07:08:53 Maybe I should say a functor "produces" a value in some sense. 07:09:01 shachaf: congrats on introducing a new use of unsafeCoerce 07:09:03 hope you're happy 07:09:07 oh 07:09:09 there was one before too! 07:09:18 elliott: Yes, how else would it work? 07:09:21 elliott: remember that time you used unsafeCoerce 07:09:30 Hmm, maybe if it kept the TypeRep around? 07:09:31 I dont think I've ever used unsafeCoerce!! 07:09:41 Well, that wouldn't really help, would it? 07:09:42 monqy: i use unsafeCoerce a lot, i like it 07:09:59 > unsafeCoerce 5 :: IO Int 07:09:59 1342177280 07:10:00 Not in scope: `unsafeCoerce' 07:10:03 theres a first time for everything 07:10:32 wrong monqy 07:10:33 λ> unsafeCoerce 5 :: IO Int 07:10:33 -3458764513820540928 07:10:39 > unsafeCoerce "hello" :: IO String 07:10:39 : internal error: stg_ap_v_ret (GHC version 7.6.1 for i386_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug 07:10:40 when will you learn to haskell :'( 07:10:41 Not in scope: `unsafeCoerce' 07:10:42 [1] 10014 abort (core dumped) ghci 07:10:57 i'm liking this function 07:12:23 Prelude Unsafe.Coerce System.IO.Unsafe> unsafeCoerce (unsafePerformIO $ putStr "safe") :: String 07:12:26 "safe" 07:12:28 this is the best function ever 07:12:41 monqy.... you just coerced a to a 07:12:43 oh no wait 07:12:48 you coerced () to String 07:12:49 cool cool 07:12:52 yes 07:29:32 o.O at that working 07:29:54 what 07:30:23 Getting "safe" back from putStr "safe" 07:30:47 are you sure you understand what's going on 07:32:13 My understanding says it's surprising that that happens, so possibly not. 07:34:06 shachaf: bam 07:34:15 bam? 07:34:19 immutable data jokes. 07:34:55 bam 07:36:16 elliott: "fighting the good fight" 07:37:25 I like how our IRC is spread pretty arbitrarily over, like, four active channels. 07:37:44 What's the fourth one? 07:37:51 -lens 07:37:59 Oh, I guess. 07:38:13 there's a lens channel? 07:38:32 It's mostly a "making fun of elliott" channel. 07:38:48 mun of elliott 07:38:50 mulliott 07:39:17 that's every channel 07:39:22 so is it #haskell-lens 07:40:06 #making-fun-of-elliott-lens 07:42:42 -!- Frooxius has quit (Ping timeout: 264 seconds). 07:49:53 -!- augur has joined. 07:52:05 -!- elliott has quit (Remote host closed the connection). 08:03:36 -!- Sgeo__ has joined. 08:06:47 -!- Sgeo_ has quit (Ping timeout: 256 seconds). 08:16:57 -!- Bike has quit (Quit: leaving). 09:30:54 -!- Phantom_Hoover has joined. 09:42:59 -!- aloril_ has quit (Read error: Connection reset by peer). 09:46:12 -!- aloril has joined. 09:58:00 -!- augur has quit (Ping timeout: 244 seconds). 09:59:26 -!- epicmonkey has joined. 10:53:25 -!- Jafet has quit (Quit: Leaving.). 11:37:34 WYRMWOOD - An Australian Zombie Film (Out 2013) http://youtu.be/yFrGrH5zfbg 11:38:03 do you just continually dump irrelevant links 11:40:35 I think it's some sort of a bot. 11:40:47 Is that a problem? I can cease if they’re not wanted. (That trailer was promising, though.) 11:41:44 well it's mainly that you just post them without comment or anything 11:41:44 It seems to have an impressive capability of providing superficially relevant-looking responses. 11:41:54 oh wow 11:42:00 fungot: Listen and learn something, would you? 11:42:01 fizzie: alternate universe, that's " law and order". and it doesn't have to be shakespeare. i'll do better next time, ok? let me know, right? 11:42:06 fizzie's claws are out 11:42:08 i'm scared 11:42:31 No, no, I was just monkeying around. 11:44:43 ion, also zombies have been done to death by now 11:45:13 I know. That trailer was still promising. 11:45:35 *Everything* has been done to death by now. :-P 11:45:54 It just looked like a lot of shaky camera work and washed-out filters to me 11:46:52 Ignoring the visual style, i found what they were doing with the zombies (not spoiling) interesting. 11:46:58 Hadn’t seen that before. 11:47:03 you mean the gas? 11:48:10 yeah 11:48:26 i'm not sure adding a new infection vector makes zombies interesting again 11:48:40 No, not that. 11:49:11 Gurl jrer hfvat mbzovrf sbe shry. 11:49:50 well that's just silly 11:50:43 Feel free to dislike it, but i’m going to watch that movie. :-P 11:51:56 http://www.bay12games.com/dwarves/mantisbt/view.php?id=5971 11:52:00 df bugs are best bugs 11:52:22 It’s not as if the concept of zombies isn’t silly in the first place, it can still be entertaining. 11:52:46 hah 11:53:14 I like the links to graphs. 11:54:20 there are correct ones later on 11:54:36 df's temperature system is probably the most awful piece of coding in it 11:54:51 I like the bit that says "When the unit's fat amount crosses a 2500 boundary, its clothing insulation is recomputed." 11:55:09 it has very little effect on gameplay outside of a couple of situations, yet having it on at all cuts your fps in half 11:56:24 -!- monqy has quit (Quit: hello). 13:32:22 -!- atriq has joined. 13:36:45 Monads are pronounced "mon-adds"? 13:36:47 Wow 13:36:57 I've always pronounced them "moan-adds" 14:00:33 -!- carado has joined. 14:01:23 -!- boily has joined. 14:05:39 I've always pronounced them "gonads". 14:21:01 -!- ogrom has joined. 14:33:01 atriq: Both are acceptable 14:33:33 Oh, that's a relief 14:33:42 "mon-add" sounds really weird to me 14:45:16 -!- DH____ has quit (Ping timeout: 244 seconds). 14:48:30 -!- Nisstyre has quit (Ping timeout: 248 seconds). 14:51:13 -!- Arc_Koen has joined. 14:57:19 -!- Nisstyre has joined. 15:07:26 -!- Frooxius has joined. 15:10:23 the ad in gonad is not pronounced the same way as the add in add? 15:29:10 -!- carado has quit (Ping timeout: 246 seconds). 15:41:57 -!- AnotherTest has joined. 15:42:05 Hello 15:54:14 -!- osho_ has joined. 16:02:29 -!- osho_ has left ("Leaving"). 16:51:45 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 16:54:09 I cannot believe it 16:54:16 my music prof was going to give us a dictation test 16:54:33 and managed to pull off a rare and highly irritating psyche out 3x combo 16:54:44 *x3 16:55:33 Did you enjoy the ballet, then? 16:55:40 -!- Arc_Koen has quit (Quit: Gateship. It's a ship. It goes through the gate!). 17:21:12 -!- FreeFull has joined. 17:28:22 -!- augur has joined. 17:37:13 -!- elliott has joined. 17:39:34 atriq: no ballet :( 17:43:46 -!- Bike has joined. 17:52:44 I have no idea what I'm doing 17:52:56 I'm stumbling around in the darkness of my own mind 17:52:59 atriq: neither does elliott 17:53:24 17:53:30 see? 17:53:36 -!- epicmonkey has quit (Ping timeout: 276 seconds). 18:50:49 -!- ogrom has quit (Read error: Connection reset by peer). 19:10:19 -!- epicmonkey has joined. 19:11:49 oi elliott 19:11:52 how dwarfs 19:12:11 Phantom_Hoover, should I continue with PalaceCrushed? 19:12:45 well... i don't think a succession game with 2 people really /works/ 19:13:10 for one thing, there's no succession like with 3 people, you're just swapping 19:13:22 Hmm 19:13:45 It's a pretty nice fort, though, so I'll continue it on my own 19:14:23 Phantom_Hoover: oh i didn't start it 19:14:24 i will soon 19:24:15 -!- oerjan has joined. 19:28:56 -!- Frooxius has quit (Quit: ChatZilla 0.9.89-rdmsoft [XULRunner 1.9.0.17/2009122204]). 19:30:52 -!- atriq has quit (Quit: Leaving). 19:33:51 -!- Frooxius has joined. 19:36:35 so today 19:36:41 i walked into class to hear elevatorstuck 19:36:57 i think the world is trying to tell me something 19:37:01 its probably to get more sleep 19:37:33 ion, also zombies have been done to death by now <-- they were dead from the start hth 19:38:11 i waited so long for someone to make that joke 19:38:38 i guess i did help, then 19:42:32 17:52:44: I have no idea what I'm doing 19:42:32 17:52:56: I'm stumbling around in the darkness of my own mind 19:42:41 welcome to the club 19:43:09 > " " 19:43:11 " " 19:44:00 > xor 3 4 19:44:02 7 19:44:22 > print "test" 19:44:23 can't find file: L.hs 19:45:00 that's a lambdabot race condition, i think. 19:45:04 > print "test" 19:45:06 No instance for (GHC.Show.Show (GHC.Types.IO ())) 19:45:06 arising from a use of ... 19:45:29 that's the usual response. or wait it didn't use to that for IO types... 19:45:36 *to do that 19:45:54 the number of stupid conflicting instances in lambdabot is growing. 19:46:21 yeah 19:47:28 in any case under none of the instances would lambdabot actually print "test" 19:47:59 lol 19:48:14 the number of stupid conflicting instances in lambdabot is growing. 19:48:17 read the error again 19:48:21 it's shrinking 19:48:49 -!- carado has joined. 19:50:16 oh there are _none_ now? 19:51:01 well I wouldn't go that far. 19:51:10 well for IO. 19:52:24 shachaf: i see edwardk renamed field 19:54:35 -!- zzo38 has joined. 19:54:58 This week I thought of using RGB<->HSV for audio as well not only for pictures 19:57:23 What would that even mean for audio? 19:58:42 the closest I can think of for audio would be like an FFT...? but it's really not the same thing 19:58:49 extract the red, green and blue sounds, put back hued, saturated and valuable sounds 19:59:32 something with the colors of noise? 19:59:42 What I thought was something like using R,G,B as the left, front, back channels and then convert to HSV to do modification on that and then back to RGB 20:01:02 There's something *analogous* done in a lot of audio formats, actually. 20:01:50 Backwards-compatible analog stereo is generally done via L+R and L-R signals, and audio compression prefers doing that too. 20:02:00 Yes I know about that. 20:02:12 Is it something like YUV? 20:03:22 L+R is literally L added to R (and similarly for L-R) 20:03:58 Yes, and I think Ambisonic-B is similar but with more directions than just left and right 20:04:01 I... think YUV has more complex coefficients 20:04:20 Y ~= 0.7G + 0.2R + 0.1B? 20:04:23 zzo38: Yeah, Ambisonic-B is more similar. 20:04:46 -!- Vorpal has joined. 20:05:04 Fair approximation. 20:07:55 I have won all 23 games of basketball this season. But I still try to improve, just in case. 20:08:31 Fiora: Once I have made something like YUV for pictures, but treating all channels as equal instead of using coefficients like that 20:08:51 I think you need the coefficients to match human perception... 20:10:45 great 20:11:06 my mayor has sentenced a random bone doctor to 40 days in jail because i forgot to make him some damn shields 20:11:32 little does he realise that i have a cold case for murder that i can pin on anyone i want 20:11:32 Fiora: Strictly speaking it's not *necessary*. 20:11:51 The advantage of the coefficients is that it lets you transmit U and V with less resolution and still look acceptable. 20:11:53 for the best results I mean, but yeah 20:12:00 isn't there also the thing with grayscale? 20:12:10 i.e. "the Y channel looks like a grayscale version of the video" 20:12:13 Ah, right, duh. 20:12:15 like if it was shot with black and white film 20:12:36 I remember YUV was originally created as a backwards-compatibility thing to black and white television if I'm remembering my wikipedia right 20:12:45 Yes, you wouldn't be able to use the Y signal as greyscale. 20:12:49 And, yes, that's what it's for. 20:12:50 enjoy your 201 days in prison you twat 20:12:54 You can also use that with component video input/output in TV sets and other devices which have that. 20:13:01 It just so happens it's *also* good as an easy compression format. 20:13:01 I have tried that and it works. 20:13:08 -!- ais523 has joined. 20:13:17 aha 20:13:36 The other compression scheme used on analog video, interlacing, sucks ass though. 20:24:14 does that even qualify as a compression scheme? 20:24:33 it's more of a hack to increase the perceived framerate without affecting the bandwidth at all 20:27:52 I just noticed an interesting behaviour of flash videos on Windows, if the browser window is not focused the video stutters badly (< 1 FPS). How strange. 20:32:43 it makes a certain amount of sense that programs that aren't focused should get fewer resources 20:32:54 it's not necessarily a good idea but i could see why someone would think it is 20:40:03 hm 20:40:34 kmc, it is not like the computer is heavily loaded either though 20:40:51 could flash itself choose to do that? maybe to avoid loading the CPU when the tab isn't active 20:41:01 well, that is of course possible 20:41:04 like, to not render images when it's not displayed 20:41:26 possibly since it doesn't happen on youtube in fact 20:43:34 flash would never avoid loading the CPU 20:45:29 true 20:48:58 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 20:52:04 elliott: Renamed field *and* pushed it into Data.Data.Lens! 20:52:08 "i did it 4 u" 20:56:48 is it just me is the IO scheduler of windows terrible when under heavy load? 20:57:38 as soon as you start an installer for something huge, anything else trying to use the disk become very unresponsive. Linux on the same computer doesn't do that. 21:00:30 -!- atriq has joined. 21:04:02 The thing you're searching for is always the hardest to find... 21:09:48 Nevermind, I found it 21:09:56 i hear it's always in the last place you look 21:12:00 -!- Phantom_Hoover has joined. 21:22:35 -!- epicmonkey has quit (Ping timeout: 244 seconds). 21:24:31 oerjan, that's totally not true. 21:25:09 ...I don't see a way to elaborate without killing the joke 21:25:36 don't fret, you already have 21:25:52 If you never find it, it was not in the last place you looked. 21:29:15 Bike, how's the Eodermdrone interpreter going? 21:29:57 he's probably stuck on the edge cases 21:30:07 got as far as subgraph isomorphism, got bored with the replacement bit 21:30:11 guess I should figure that out 21:32:37 oerjan: c.c 21:33:09 * oerjan hasn't seen that smiley before 21:35:24 -!- Nisstyre has quit (Ping timeout: 250 seconds). 21:40:34 :t (%~) 21:40:36 Setting s t a b -> (a -> b) -> s -> t 21:41:01 :t both 21:41:02 Applicative f => (a -> f b) -> (a, a) -> f (b, b) 21:43:04 > both %~ 4 $ ("hello","oerjan" 21:43:06 :1:30: parse error (possibly incorrect indentation) 21:43:06 > both %~ 4 $ ("hello","oerjan") 21:43:08 (4,4) 21:43:19 atriq: I can't tell if that's meant as a joke or not. 21:43:31 Who knows 21:43:42 You're applying the function 4 to two strings. 21:44:06 4 is the best function, which means I should get some sleep soon 21:44:25 Because I haven't had sugary food in... 30 hours 21:44:52 :t 4 21:44:53 Num a => a 21:45:06 :t 4 `asAppliedTo` "" 21:45:08 Num b => [Char] -> b 21:45:21 Of course, I should have written 21:45:24 just what i've always wanted 21:45:28 :t (both %~) 21:45:28 > "hm..." 21:45:29 (a -> b) -> (a, a) -> (b, b) 21:45:30 "hm..." 21:45:33 > both .~ 4 ("hello", "oerjan") 21:45:36 *Exception: show: No overloading for function 21:45:42 > both .~ 4 $ ("hello", "oerjan") 21:45:44 (4,4) 21:45:54 > set both 4 ("hello","Bike") 21:45:56 (4,4) 21:46:30 > productOf both (4,4) 21:46:31 16 21:46:59 -!- monqy has joined. 21:47:02 :t productOf 21:47:03 Getting (Product a) s t a b -> s -> a 21:47:15 AAAAAAAAAAAAAAAAaa 21:47:39 s t a b seems like the right sequence of characters, there 21:47:40 monqy: help 21:47:50 > productOf folded [1,2,3,4,5,6,7,8,9,10] 21:47:52 3628800 21:47:58 oerjan: I advocated for it and went through th entire package renaming to it. 21:48:01 :t folded 21:48:02 It was a b c d before. 21:48:03 (Applicative f1, Foldable f, Gettable f1) => (a -> f1 a) -> f a -> f1 (f a) 21:48:14 Folded turns a Foldable into a Fold 21:48:16 That type is ugly. 21:48:27 folded :: Foldable f => Fold (f a) a 21:48:55 @ty id :: Getting a a a a a 21:48:57 Getting a a a a a 21:49:22 id ^?! "huh" 21:49:32 > id ^?! "huh" 21:49:34 Not in scope: `^?!' 21:49:34 Perhaps you meant one of these: 21:49:34 `^!' (imported from... 21:50:01 Apparently, Cale doesn't upgrade his libraries every half an hour like the rest of us 21:50:21 That's a type error anyway 21:50:45 > "huh" ^? folded 21:50:46 "huh" ^?! id, however 21:50:47 Just 'h' 21:51:01 > "huh" ^? id 21:51:03 Just "huh" 21:51:21 But why use ^?! when you can use ^. ? 21:51:29 i think haskell has officially gone off the deep end. 21:51:43 Haskell started off the deep end 21:51:44 oerjan: NO U 21:51:49 It's doing laps of the pool 21:51:58 oerjan: Want a quick explanation of lens? 21:52:43 no, i don't think my brain can absorb one. 21:52:53 It's not that complicated! 21:53:02 i was just reading the first post in a slow one. 21:53:03 > sumOf mapM [1,2,3,4] 21:53:05 No instance for (GHC.Base.Monad 21:53:05 (Control.Lens.Internal.... 21:53:14 Hah. 21:53:14 Lenses are like Monads: they look complicated because they are complicated 21:53:20 However you get them with practise 21:53:26 Good point. 21:54:36 oerjan, basically, edwardk went insane and kidnapped then brainwashed and enslaved shachaf 21:54:37 my problem right now is that :t gives types that don't fit together without memorizing type synonyms... 21:55:02 atriq, eh, the problem with monads is that they're actually infuratingly simple 21:55:03 The synonyms are actually simple if you know the pattern. 21:55:12 there's just no obvious motivation for them to exist at all 21:55:23 They're like lenses but backwards then 21:55:27 sesnel 21:55:45 snel 21:55:49 whoa, dude 21:55:52 whoa 21:56:04 fresnel lens = almost a palindrome 21:56:12 fresnel lens erf 21:56:14 bitte snel 21:56:24 Ee, fresnel lens, er... free! 21:56:30 kmc: "this fact requires immediate attention" 21:57:04 monqy: ☝ 21:57:15 hi 21:57:33 i thought monqy quit 21:57:36 oh monqy 21:57:40 where would we be without you 21:57:43 a dark ungreeted world 21:57:47 I quit???? 21:57:53 monqy: don't ever start smoking, ok? 21:57:59 monqy: quit hi 21:58:04 never 21:58:13 hi is bad for you, monqy 21:58:20 you might get irc cancer 21:58:35 :[ 21:58:38 hi is the gateway drug to irc 21:58:54 I went cold turkey on "Hello" 21:59:04 You can give up hi, monqy! 21:59:05 oerjan: I thought they made computers? 21:59:08 It's not hard! 21:59:16 shachaf: who? 21:59:25 Gateway 21:59:31 oh 21:59:36 On October 16, 2007, Acer Inc. completed its acquisition of Gateway for approximately US$710 million.[3] 22:01:32 > set (partsOf (traverse.both.traverse)) "OERJAN JOHANSEN" [("hi","there"),("to","you"),("san","francisco")] 22:01:34 [("OE","RJAN "),("JO","HAN"),("SEN","francisco")] 22:02:06 oerjan johansen francisco 22:03:04 What did that even do 22:03:21 No one knows. 22:03:26 Well, Bike knows. 22:03:30 Maybe Fiora knows? 22:03:34 Oe rjan jo han Sen Francisco. 22:03:37 Jafet would know. 22:03:47 Deewiant knows. 22:03:49 Phantom_Hoover knows. 22:04:10 oh 22:04:14 would I know? 22:04:21 sorry monqy 22:04:24 "the answer is no" 22:04:28 :'( 22:04:37 "wait, was the answer know?" 22:04:38 why would you ever want to do that, I wonder 22:04:41 "maybe it was a command" 22:04:41 ...well to be honest I see what it did but I have no idea why 22:04:43 @type traverse 22:04:44 know monqy 22:04:45 (Applicative f, Traversable t) => (a -> f b) -> t a -> f (t b) 22:04:53 know monqy! 22:05:10 @type partsOf 22:05:12 Functor f => LensLike (Control.Lens.Internal.Bazaar a a) s t a a -> ([a] -> f [a]) -> s -> f t 22:05:35 im glad everything in lens has a dumb type signature 22:05:44 "wow that type is old" 22:05:47 everything is so clear now 22:05:48 "and outdated" 22:05:50 partsOf :: Functor f => LensLike (BazaarT a a f) s t a a -> LensLike f s t [a] [a] 22:06:51 "if only i knew lens" 22:07:00 maybe i should learn it!!!!!!! 22:07:14 monqy: "tbh idk if you can handle it" 22:07:23 woops 22:07:38 Okay, partsOf takes a Traversal and returns a Lens 22:07:57 A Traversal is basically a traditional Haskell Traversable 22:08:00 :t traverse 22:08:02 (Applicative f, Traversable t) => (a -> f b) -> t a -> f (t b) 22:08:05 partsOf' :: LensLike (Bazaar a a) s t a a -> Lens s t [a] [a] 22:08:34 monqy: lens 3.6 is getting a new function called "upon" 22:08:38 traverse is in base, AND in lens! And it's exactly the same thing! 22:08:42 is upon good ? 22:08:51 monqy: no it's evil :'( 22:08:57 I heard there's a function called "field" and it's evil 22:08:59 The deeply-nested version will be called uponTheDeep 22:09:06 shachaf: then it's only a matter of time before it gets "smite" 22:09:10 * oerjan sidles away carefully -> 22:09:10 monqy: "field" is now called "upon" :'( 22:09:14 ah 22:09:23 Anyway, a Traversal s t a b is Applicative f => (a -> f b) -> s -> f t 22:09:35 / s t a b atriq 22:09:42 Oh no! 22:09:44 * atriq dies 22:14:46 You can read a Traversal s t a b as something where if you can change an a into a b, you can change an s into a t, and also if you can turn a into a monoid, you can turn s into THE SAME MONOID! 22:15:12 Pretty cool, huh? 22:15:25 why does everything have to be single letters 22:15:41 Because single letters make words 22:15:45 Like "stab" 22:15:54 I guess that is a good answer 22:16:17 And also I can't think of long names 22:16:34 Traversal hi there monqy 22:16:36 "Traversal collectionType1 collectionType2 elementType1 elementType2"? 22:16:44 RIDICULOUS 22:16:49 Traversal source target alpha beta 22:18:14 > partsOf both %~ reverse $ ('a','b') 22:18:16 ('b','a') 22:18:42 atriq: ew 22:18:47 partsOf lets you use list functions on Traversals with a consistent element type 22:18:48 partsOf :( 22:18:53 okay, wait 22:18:59 It's very good for overkilling like that 22:18:59 > reverse $ ('a','b') 22:19:01 Couldn't match expected type `[a0]' with actual type `(t0, t1)' 22:19:06 geh. 22:19:08 > swap ('a','b') 22:19:10 ('b','a') 22:22:42 atriq: ghc doesn't inline reverse :-( 22:22:50 I mean that it doesn't turn reverse [a,b] into [b,a] 22:23:14 -!- AnotherTest has quit (Quit: Leaving.). 22:23:15 Which is to say, if you write unsafePartsOf both %~ (\[x,y] -> [y,x]), the code gets nicely optimized. 22:23:28 Even without unsafe 22:23:38 monqy: can you fix ghc's optimizer 22:23:56 That assumes you know that it's being given a traversal with only two elements 22:24:08 atriq: You do. 22:24:15 True, true 22:24:32 m_X1kK = 22:24:32 case reverse1 22:24:32 @ a_aRu 22:24:32 (: 22:24:32 @ a_aRu 22:24:34 (case w_s1mf of _ { (a4_a1e3, a'_a1e4) -> a4_a1e3 }) 22:24:37 (: 22:24:39 @ a_aRu 22:24:42 (case w_s1mf of _ { (a4_a1e8, a'_a1e9) -> a'_a1e9 }) 22:24:43 Bit if I said "partsOf traverse %~ reverse" 22:24:44 ([] @ a_aRu))) 22:25:12 > partsOf traverse %~ reverse $ Seq.fromList [1,2,3] 22:25:14 fromList [3,2,1] 22:25:37 -!- impomatic has joined. 22:26:29 I need to learn to read GHC Core 22:26:47 cabal install ghc-core 22:27:10 ghc-core --no-cast file.hs 22:27:14 Just learn to ignore everything 22:27:23 Ignore all the parts that have @s 22:27:32 Those are type arguments. 22:28:36 The trick to reading generated code is knowing what *not* to read. 22:29:21 -!- boily has quit (Quit: POULEEEEEEEEEEEET!). 22:32:02 -!- copumpkin has joined. 22:32:40 you should just compile -fvia-C and read the C code instead 22:32:41 obviously 22:33:54 I was going to write a Haskell interpreter at one point 22:35:36 were you 22:35:37 -!- jix has quit (Read error: Connection reset by peer). 22:35:42 Yes 22:35:44 Yes I was 22:35:47 -!- jix has joined. 22:35:50 It was going to be called "PHI" 22:37:00 -!- oerjan has quit (Quit: Lost terminal). 22:40:44 Portinatx Haskell Interpreter 22:42:01 -!- atriq has quit (Quit: Leaving). 22:43:41 -!- oerjan has joined. 22:55:54 I think that we should airlift nomic players to any nation that has just been through revolution, so maybe they can check for loopholes that allow power grabs. 22:56:37 i sense a sudden decrease in nomic player life expectancy 23:01:34 yo elliott r you fortress 23:01:51 no, should i 23:02:21 yes!! 23:04:59 also i just know you're going to do something dumb like embark on a terrifying glacier, don't do that 23:05:06 well, if you do anything at all 23:05:22 well i am busy playing crawl to an audience of 76 people right now 23:05:26 sorry, 55 now 23:05:35 now it's 9 23:05:46 excellent 23:05:56 projected time till it hits 0? 23:06:10 Infinite. 23:06:31 it's still 9 23:06:42 9 million? 23:06:49 tell them to go away! 23:22:05 -!- impomatic has quit (Quit: http://BASICcomic.com). 23:27:39 elliott: "you're missing all the lens discussions" 23:27:45 "your chance to make history" 23:29:26 what discussions 23:29:56 -!- Vorpal has quit (Ping timeout: 248 seconds). 23:31:32 they seem to have lost focus. 23:31:56 oerjan: Is this a pun? 23:32:01 Do you have a spy in our midst? 23:32:24 no comment. 23:32:47 what discussions 23:32:57 oerjan: We're talking about renaming operations in .Zipper now 23:33:07 oh 23:33:08 "focus" is one of the operations in .Zipper 23:33:13 This can't be a coïncidence. 23:33:14 is the joke that it's in the secret lens channel 23:33:19 that you won't tell me the name of if i ask 23:33:46 Yes I will? 23:34:35 so that isn't the joke 23:34:42 i did already ask yesterday iirc anyway 23:34:49 Oh. 23:34:52 It's #haskell-lens 23:36:22 shachaf: this channel doesn't make any sense 23:36:42 elliott: It doesn't even have a topic! 23:47:12 in Nagios, "output" means "first line of output", and "long output" means "other lines of output" 23:47:36 > let output = take 1 output in output 23:47:40 mueval-core: Time limit exceeded 23:50:23 Fiora, elliott and monqy and Phantom_Hoover have been updated.