00:10:32 -!- Madoka-Kaname has quit (Ping timeout: 252 seconds). 00:16:02 -!- Darth_Cliche has quit (Quit: You are now graced with my absence.). 00:18:17 01:15 elliott> one of the two steps from hell guys 00:18:17 01:16 elliott> oerjan: is from trondheim 00:18:32 well hell _is_ only a half hour drive from trondheim. 00:27:18 Date: Fri, 28 Oct 2011 17:15:33 +0100 00:27:18 To: elliott 00:27:18 User-Agent: Heirloom mailx 12.5 7/5/10 00:27:18 MIME-Version: 1.0 00:27:18 Content-Type: text/plain; charset=us-ascii 00:27:18 Content-Transfer-Encoding: 7bit 00:27:21 Subject: editor saved ``.git/COMMIT_EDITMSG'' 00:27:23 You were editing the file ".git/COMMIT_EDITMSG" 00:27:25 at on the machine ``dinky'' 00:27:27 when the editor was killed. 00:27:29 You can retrieve most of your changes to this file 00:27:31 using the "recover" command of the editor. 00:27:33 An easy way to do this is to give the command "vi -r .git/COMMIT_EDITMSG". 00:27:35 This method also works using "ex" and "edit". 00:27:37 -- ~/dead.letter 00:37:42 elliott, ~/dead.letter is there because you don't have a MTA setup 00:37:50 and something tried to mail 00:37:58 i know what dead.letter is 00:38:12 elliott has killed many a letter 00:38:15 so why did you paste it? 00:38:23 because the letter is funny 00:38:27 okay 00:39:29 -!- augur has joined. 00:46:13 night 00:46:28 nave 00:50:53 -!- Vorpal has quit (Ping timeout: 248 seconds). 01:06:54 hmm 01:07:20 And time is running backwards. And so is the bride. 01:16:18 oerjan: hey i was just /wondering/ about the dst when i said hmm 01:16:31 s/just \/wondering\//\/just wondering\// 01:18:29 hack & slash 01:20:13 assuming oerjan is referring to dst. 01:20:45 yes hack & slash is _so_ connected with dst 01:24:50 elliott: hi what is EC 01:24:55 ec 01:25:27 ah yes, I suppose it is. 01:25:44 ec is ec 01:26:00 if you look at it objectivistically 01:27:16 I generally object to objectivistic. 01:31:26 how subjective of you 01:34:21 if a tree falls on an objectivist and no one else hears it: does anyone else care? 01:34:55 depends where you buried the body. 01:36:37 -!- Sgeo|web has quit (Ping timeout: 265 seconds). 01:39:51 !logs 01:40:40 `logs 01:40:44 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: logs: not found 01:40:50 @logs 01:40:51 http://haskell.org/ghc/docs/latest/html/libraries/index.html 01:40:52 oerjan: try it yourself 01:40:55 ^logs 01:40:55 !logs, that is 01:41:01 oh hm 01:41:03 !logs 01:41:56 !sh echo hi 01:42:07 rip 01:44:06 rip 01:44:09 oerjan: it worked 01:44:12 !logs, that is 01:44:15 i know 01:44:15 you're just not looking in the right place 01:44:19 oh 01:44:36 but that doesn't help poor EgoBot 01:49:32 -!- sllide has joined. 01:52:33 astonishing spam 01:53:23 heh 01:59:48 -!- kmc_ has joined. 02:02:53 -!- kmc has quit (Ping timeout: 248 seconds). 02:04:40 -!- kmc_ has quit (Ping timeout: 260 seconds). 02:12:04 do C++ templates make C++ kind of sort of dependently typed? 02:12:51 * oerjan looks worried at elliott 02:12:55 CakeProphet: no 02:12:58 no. 02:13:02 okay. 02:16:52 it's more like macro expansion than dependent types. 02:17:47 -!- madbr has joined. 02:20:20 -!- kmc_ has joined. 02:22:32 -!- kmc_ has changed nick to kmc. 02:23:05 whee doing ARM assembly at work 02:26:38 you madbr o? 02:28:26 speed optimizing sound code :3 02:33:06 CakeProphet:.....:( 02:33:45 doing a reverb atm and it's a challenge :3 02:34:30 monqy: .... ? 02:35:29 I'm sorry I've never dealt with dependent types so I don't know much about them. T looked kind of like dependent types. 02:35:33 -!- elliott has quit (Read error: Connection reset by peer). 02:36:08 -!- elliott has joined. 02:36:43 CakeProphet: you know perfectly well what you did 02:36:49 CakeProphet: do you feel no shame 02:37:19 monqy mad./ 02:37:22 s/\/$// 02:38:34 :( 02:41:00 monqy: er, I don't know what I did. 02:41:14 19:26:08 < CakeProphet> you madbr o? 02:41:22 oh. yeah, no shame. 02:41:24 eh? 02:42:01 -!- sllide has quit (Read error: Connection reset by peer). 02:42:55 CakeProphet: i suppose C++ templates would be dependently typed if they actually _had_ types. 02:43:56 wait why am i even speaking, i don't know c++ templates. 02:46:24 oerjan: right thus more like macro expansion 02:46:47 but kind of like dependent types if you think of templates as a kind of parametric type (which I think is a pretty reasonable analogy) 02:48:08 see: http://en.wikipedia.org/wiki/Template_metaprogramming 02:50:35 but unless you store the value parameters in a struct or something you don't really have access to the value at runtime. 02:51:56 phantom values! 02:52:39 templates do allow you to do most of the things you can do in haskell's type system 02:52:46 but that doesn't mean it's dependent 02:52:52 not at all 02:53:02 considering, uh, Haskell is not dependently typed. :P 02:53:15 well, haskell approaches dependent types with GADTs 02:53:25 they give you pseudo type-depending-on-value behavior 02:53:30 if you jump through enough hoops 02:54:14 anyway, I must go kill brain cells. 02:54:22 later. 02:56:01 :) 03:12:31 monqy: as soon as https://github.com/pbrisbin/aurget/pull/4 is merged you should switch over to aurget :p 03:13:58 once I need an aur, sure 03:15:12 wonder if it would be possible to make an efficient dataflow oriented VLIW processor :D 03:15:26 -!- MDude has changed nick to MSleep. 03:16:01 copumpkin: zzo38's recent logic experiments made me wonder - while haskell isn't dependently typed, is haskell's _type system_ dependently typed, with all the extensions heaped up so far... 03:16:38 as in, if you just ignore the values and look at the types as values 03:16:49 then you'd have to see the types influencing kinds 03:16:58 which they don't, because we don't even have kind polymorphism yet 03:17:02 monqy: everyone always needs an aur 03:17:14 but as far as values and types, it sort of already is dependently typed already 03:17:17 -already 03:17:33 copumpkin: well someone is adding it, i think i saw... 03:17:38 yeah 03:17:54 not sure how the GADT equivalent will work at the kind level 03:27:36 is this intended to allow things like making Data and Typeable kind polymorphic? 03:30:15 yep, among other things 03:35:19 -!- Jafet has joined. 03:35:23 fun to see someone discussing your bug report minutes after you make it on IRC :P 03:35:33 (without knowing you're there) 03:49:13 Zero-Analogy Monad Tutorial (unknownparallel.com) 03:49:13 no get it away from me 03:52:38 elliott: hum? 03:52:51 hum to what? 03:53:20 monads are like elliott-eating monsters 03:53:38 monads are like monads 03:53:48 monads are like things that are difficult to explain 03:54:47 not really 03:55:14 elliott: I don't see a ZAMT there 03:55:20 monads are like things that are easy to explain 03:55:22 (thumbs up) 03:55:29 coppro: it was a paste from a reddit.com line 03:55:34 " no get it away from me" was my reaction 03:55:38 oh 03:55:51 anything i post that looks like a title and a domain in parens is me being snarky at programming reddit links :P 03:57:19 ah 04:09:55 -!- hagb4rd has quit (Quit: Nettalk6 - www.ntalk.de). 04:19:57 I can safely say that Vorpal was completely right about #archlinux and it is beyond even the wildest dreams of people who dream about really bad IRC channels. 04:20:08 how bad is it really 04:20:17 I typed: sudo rc.d start webmin -x 04:20:17 And got nothing 04:20:17 lol 04:20:17 stop trying to use webmic 04:20:17 "getopt: invalid option -- 'x'" 04:20:18 webmin 04:20:20 just quit. 04:20:22 you don't want that 04:20:24 Why does everything suck? 04:20:26 sudo bash -x /etc/rc.d/webmin start 04:20:28 you suck 04:20:39 THANKS ZENDEAVOR, I'M SURE ZIPSPLAT REALLY APPRECIATES YOUR HELP 04:21:04 blah blah one bad apple 04:21:12 Patashu: this guy literally talks all the time 04:21:34 like there hasn't been a five minute stretch when (a) I've been in #archlinux (b) he isn't talking every tenth line 04:21:56 clearly investigative journalism is required 04:21:59 admittedly this ZipSplat guy is super annoying too :P 04:23:30 well neither is an op, it seems 04:23:57 yeah, you should kline them. you're an ircop as well as a wiki admin, right? 04:25:02 obviously 04:25:49 good. 04:47:10 -!- zzo38 has joined. 04:50:48 You know, I just came in here to say NetBeans had a sexy preloader, and now it's been half an hour 04:50:48 ffs 04:50:49 http://i.imgur.com/eRCu6.png That is seriously sexy though. Or maybe that's just because I love that shade of blue. 04:51:04 Patashu: no seriously, any channel that allows more than three (there were earlier) messages of netbeans preloader praise is the worst 04:51:12 LOL 04:53:04 Why are so many IDE's Java powered anyways? 04:53:16 netbeans is java??? so weird 05:03:37 The only effective control structure in the SQL reporting program I made is the for-each structure. It seem to be able to do most computations needed, but maybe there is something missing. Would it be needed? A virtual table that has an infinite number of records with values 0 for the first row, and then 1, 2, 3, 4, 5, 6, and so on... do you think it would help at all? 05:04:57 sometimes I wonder why that doesn't exist 05:04:59 it would be really useful 05:16:12 -!- kmc_ has joined. 05:16:53 -!- augur has quit (Remote host closed the connection). 05:18:36 -!- kmc has quit (Disconnected by services). 05:18:37 -!- kmc_ has changed nick to kmc. 05:24:40 -!- tiffany has quit (Quit: Leaving). 05:26:34 Gregor: Ping 05:31:18 -!- zzo38 has quit (Remote host closed the connection). 05:36:57 pikhq: Wake Gregor up :) 05:37:32 -!- hagb4rd has joined. 05:42:14 -!- derrik_ has joined. 05:43:25 -!- derrik_ has changed nick to derrik. 05:48:12 -!- Madoka-Kaname has joined. 05:49:45 -!- madbr has quit (Quit: Radiateur). 05:57:44 -!- ive has quit (Ping timeout: 256 seconds). 06:11:23 @tell Vorpal Re the triple fault, http://p.zem.fi/v6ll 06:11:23 Consider it noted. 06:35:13 -!- ive has joined. 06:36:33 -!- ive has quit (Client Quit). 06:44:44 -!- augur has joined. 06:57:03 fizzie: I like the not-in-the-usage "force". 06:57:06 I wonder where it goes?? 07:12:18 -!- Ngevd has joined. 07:15:44 -!- elliott has quit (Remote host closed the connection). 07:22:27 Hello! 07:22:36 -!- oerjan has quit (Quit: Good night). 08:03:58 -!- monqy has quit (Quit: hello). 08:19:53 -!- kmc_ has joined. 08:23:42 -!- kmc has quit (Ping timeout: 255 seconds). 08:25:27 -!- kmc__ has joined. 08:29:24 -!- kmc_ has quit (Ping timeout: 276 seconds). 08:39:02 -!- derrik has quit (Quit: no reason). 08:44:30 -!- derrik has joined. 08:49:44 -!- Vorpal has joined. 08:57:27 @pl \x -> b ++ [x] 08:57:28 (b ++) . return 08:57:42 :t return 08:57:43 forall a (m :: * -> *). (Monad m) => a -> m a 08:58:45 -!- Ngevd has quit (Quit: Leaving). 09:16:03 -!- sebbu2 has joined. 09:16:03 -!- sebbu2 has quit (Changing host). 09:16:03 -!- sebbu2 has joined. 09:18:45 -!- sebbu has quit (Ping timeout: 258 seconds). 09:19:45 -!- Ngevd has joined. 09:33:04 Hello! 09:36:44 -!- Phantom_Hoover has joined. 09:37:11 -!- kmc__ has quit (Remote host closed the connection). 09:37:41 -!- kmc has joined. 09:39:08 Does anyone know a proper (as in, POSIX conforming) cat(1) in an esolang apart from the one I wrote in befunge98? I was cleaning up $HOME and just found it. 09:39:08 Vorpal: You have 1 new message. '/msg lambdabot @messages' to read it. 09:40:37 fizzie, " kbd Use the keyboard controller. cold reset (default)" <-- how does that even work 09:40:47 I'm scared to look 09:44:21 just my luck. 09:44:24 someone stole money from me. 09:44:27 assholes. 09:44:29 ouch 09:44:38 $120 09:44:42 oh well. 09:45:01 * CakeProphet gets his baseball bat. 09:45:05 time to fuck some bitches up. 09:45:21 (Note: not really) 10:02:39 -!- kmc_ has joined. 10:06:01 -!- kmc has quit (Ping timeout: 252 seconds). 10:09:16 -!- kmc has joined. 10:11:39 -!- kmc_ has quit (Ping timeout: 258 seconds). 10:14:02 -!- kmc_ has joined. 10:17:17 -!- kmc has quit (Ping timeout: 248 seconds). 10:20:06 -!- kmc__ has joined. 10:23:32 -!- kmc_ has quit (Ping timeout: 258 seconds). 10:28:03 -!- kmc_ has joined. 10:31:09 -!- kmc__ has quit (Ping timeout: 248 seconds). 10:31:41 -!- Ngevd has quit (Ping timeout: 248 seconds). 10:35:07 -!- kmc_ has quit (Ping timeout: 240 seconds). 10:35:40 -!- kmc_ has joined. 10:39:19 -!- Ngevd has joined. 10:44:25 -!- kmc_ has quit (Ping timeout: 260 seconds). 10:58:31 I like how the language shootout has benchmarks on CINT 10:58:42 a good way to demonstrate the importance of implementation over language. 10:58:43 CakeProphet, ? 10:58:49 CINT? 10:58:50 CINT = some C interpreter 10:58:52 ah 10:58:59 it's apparently really fucking slow. 10:59:11 slower than Perl, by a huge amount. 10:59:38 heh 10:59:48 I wonder why. 11:00:02 it's not like C has complex semantics when interpreted. 11:00:14 Perl does all kinds of wasteful things. 11:00:43 especially when carelessly coded... which is... often. 11:00:52 C doesn't have complex semantics? Seriously? 11:01:08 I mean compared to perl I don't see what would slow it down so much at runtime 11:01:31 perhaps CINT is implemented in some poorly chosen language. 11:01:38 and is just a poorly implemented interpreter. 11:02:31 The language interpreted by CINT is actually something of a hybrid between C and C++, covering about 95% of ANSI C and 85% of C++. The syntax, however, is a bit more forgiving than either language. For example, the operator -> can be replaced by . with only an optional warning. In addition, statements on the command line do not need to end with a semi-colon, although this is necessary for statements in macros. 11:02:37 oh, okay. so its not really C. 11:02:41 but some weird C-like scripting language. 11:03:41 -!- derdon has joined. 11:04:03 welcome Tyler Derdon. 11:04:29 oh, thanks for welcoming me :) 11:05:03 I haven't seen you before. Are you new and stuff? 11:05:11 !welcome (I think) 11:05:16 no... 11:05:17 `welcome 11:05:22 :( nevermind. 11:05:33 fungot: please welcome derdon. 11:05:34 CakeProphet: why would he have attempted?! decide!" on the floor tonight 11:05:35 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welcome: not found 11:06:07 CakeProphet: I'm not really new, just a lurker in this channel ;) 11:08:17 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 .). 11:10:25 -!- sebbu2 has changed nick to sebbu. 11:18:27 some channels hate lurkers too 11:18:47 not this one 11:19:06 i got my first kick on irc with message "lurking" 11:19:11 huh 11:19:55 i.e. for joining a channel and saying nothing for 15 minutes, while everybody else was also silent 11:20:48 what was the transfer speed of a typical PC floppy drive btw? Anyone happens to know? 11:21:29 must have been around a few kb/s 11:21:36 it was slow, yes 11:22:01 olsner, yes but I'm looking for numbers here. Are we talking, say, 1 kb/s, 10 kb/s or 20 kb/s 11:22:11 talking about* 11:22:29 ISTR it took a few minutes to read (or format) the whole floppy 11:22:35 hm 11:23:04 formatting could have involved operations that took a different time than normal reading or writing 11:23:14 but yeah, something like that 11:24:03 so... 1440kB divided by something between 60s and 240s 11:24:58 so between 6 and 24 kb/s approx? 11:25:10 hm 11:28:30 or look it up in the big table of storage device transfer speeds 11:28:44 olsner, huh, where? 11:28:48 oh wait, wikipedia? 11:28:58 (who else would compile such a list?) 11:29:15 I dunno, I haven't seen the list yet 11:29:38 oh I thought you referred to some specific list you knew existed 11:30:00 yeah wikipedia doesn't seem to have one 11:30:53 -!- Ngevd has quit (Ping timeout: 245 seconds). 11:31:09 Amount an unemployed Utah man is charging for the opportunity to hunt and kill him : $10,000 11:32:00 ... 11:37:25 -!- derrik has quit (Quit: done). 11:47:52 I know, he should be charging way more. 11:47:52 Phantom_Hoover: You have 3 new messages. '/msg lambdabot @messages' to read them. 11:57:45 Vorpal: The keyboard controller had an extra output pin they hooked up into the reboot like way back then, to provide a programmatic reset. Much like they did with the A20 gate. 11:58:27 -!- Jafet has quit (Quit: Leaving.). 12:00:35 (And the PC speaker.) 12:01:01 (Though I suppose the beep is a kinda-sorta keyboard-related thing.) 12:06:23 fizzie, ah 12:09:40 -!- Trista has joined. 12:22:41 -!- Ngevd has joined. 12:35:21 Hello! 12:36:44 -!- MSleep has changed nick to MDude. 12:39:36 I've got a tuple of ([Int],[Char]) 12:39:51 Actually, I've got a bunch of those 12:40:22 And I want to get rid of the ones with equal [Int] parts so it is unique 12:44:45 -!- Trista has quit (Quit: Leaving.). 12:46:27 -!- Trista has joined. 12:48:25 Any idea how? 12:48:32 In haskell, btw 12:52:02 ?ty nubBy ((==) `on` fst) 12:52:02 forall a b. (Eq a) => [(a, b)] -> [(a, b)] 12:53:14 > let l = [(1, "foo"), (2, "bar"), (1, "baz"), (3, "quux")] in nubBy ((==) `on` fst) l 12:53:15 [(1,"foo"),(2,"bar"),(3,"quux")] 12:53:21 :D 12:53:22 Thanks 12:53:25 I was just going to do that. 12:53:38 [Int], fizzie, not Int. 12:53:38 Deewiant is such a spoilamator. 12:53:59 Phantom_Hoover: Why would that matter? 12:54:00 :t nubBy 12:54:01 forall a. (a -> a -> Bool) -> [a] -> [a] 12:54:23 fizzie, it doesn't, it's just hardly the best demonstration. 12:55:34 > let l = [([1], "foo"), ([2], "bar"), ([1], "baz"), ([3], "quux")] in nubBy ((==) `on` fst) l -- much improved. 12:55:35 [([1],"foo"),([2],"bar"),([3],"quux")] 12:56:17 Also, he said that he wanted to get rid of those with equal [Int] parts, not pick only one of them. 12:56:42 Well, I interpreted a bit. 12:57:24 Mostly from the "so it is unique" part, though admittedly completely removing multiple things would also match that. 12:58:33 fizzie is right 12:58:42 But it's not Phantom_Hoover's fault 12:58:44 It's mine 12:58:49 Also, I will go now 12:58:50 -!- Ngevd has quit (Quit: Goodbye). 12:59:58 -!- Trista has quit (Read error: Connection reset by peer). 13:27:34 -!- copumpkin has quit (Ping timeout: 252 seconds). 13:28:09 -!- copumpkin has joined. 14:28:05 -!- tiffany has joined. 14:38:11 -!- ais523 has joined. 14:38:50 ooh, spam claiming to be from Microsoft 14:38:55 I thought that died out years ago 14:44:46 hmm, they broke the theme.. it sounds like they took the old theme and just added another theme on top of (or under) it 15:08:30 -!- Slereah_ has quit (Ping timeout: 276 seconds). 15:09:48 -!- Slereah_ has joined. 15:37:29 -!- Slereah_ has quit (Ping timeout: 258 seconds). 15:39:15 -!- Slereah_ has joined. 15:40:55 -!- Slereah_ has quit (Client Quit). 15:41:13 -!- Slereah_ has joined. 15:45:13 -!- derrik has joined. 15:45:42 -!- Slereah_ has quit (Ping timeout: 260 seconds). 15:47:38 -!- Slereah_ has joined. 15:49:46 -!- zzo38 has joined. 16:01:51 -!- monqy has joined. 16:06:57 -!- ive has joined. 16:37:18 -!- Slereah_ has quit (Ping timeout: 240 seconds). 16:40:46 Is this a proper way of representing a TFM font in Haskell? data Font = Font { fontName :: ByteString, fontChecksum :: Word32, atSize :: Word32, designSize :: Word32, fontDimen :: [Int32], firstChar :: Word8, leftBoundChar :: [LigKern], rightBoundChar :: Word8, characters :: [FontChar] } deriving (Eq, Show); 16:41:25 data FontChar = FontChar { charWidth :: Int32, charHeight :: Int32, charDepth :: Int32, charItalCorr :: Int32, charLarger :: Maybe Word8, charLigKern :: [LigKern], charExten :: Maybe Extensible } deriving (Eq, Show); 16:42:48 data LigKern = Kerning { lkChar :: Word8, kernDist :: Int32 } | Ligature { lkChar :: Word8, ligChar :: Word8, ligDelCur :: Bool, ligDelNext :: Bool, ligSkip :: Int } deriving (Eq, Show); 16:43:08 data Extensible = Extensible { extTop :: Word8, extMid :: Word8, extBot :: Word8, extRep :: Word8 } deriving (Eq, Show); 16:43:12 do Americans really pronounce "buoy" as "booey"? 16:43:20 or is it just this one particular American being crazy? 16:43:28 (the UK pronunciation is "boy") 16:43:43 ais523: Probably it is more than one, and not only necessarily American. 16:43:52 -!- Ngevd has joined. 16:44:03 Hello! 16:44:49 hi 16:45:52 I've written a crappy program to help me write Pietbot 16:46:26 It's essentially a version of Dijkstra's algorithm, over the space of Piet programs that only use push 1, add, sub, mult, and dup 16:46:46 It doesn't really work very well 16:47:42 ais523: yeah I've only ever heard "booey" 16:48:15 American English is bizarre sometimes 16:48:23 but thanks for letting me know 16:48:32 (I suppose British English is bizarre sometimes too) 16:49:51 it's not like the word has a sensible spelling for either pronunciation 16:50:14 Which word are we talking about? 16:50:18 "buoy" 16:50:36 Definitely homophonic to "boy" 16:50:59 Should be pronounce "boo-oi" if language was logical 17:11:14 -!- evincar has joined. 17:13:14 Working on Even has given me a good idea for that other language I was working on, Very. 17:13:37 I also found out that Unicode doesn't have a lot of the arrow symbols I want. :( 17:13:41 :( 17:15:03 Meanwhile, since IWC ended, I'm bingeing on Gunnerkrigg Court 17:16:29 So, for a stack-based language, a good set of basic combinators is dup, swap, drop, quote, apply, compose. 17:16:53 The problem with restricting it to stack-based operation is that you have to make a lot of unnecessary guarantees about sequence. 17:17:57 If you make those (or any minimal set of) combinators into composition operations, then in, say, "x dup f g", you can perform f and g in parallel. 17:18:20 You go from just composition into building a Big Damn DAG. 17:18:34 I'm not even entirely sure it needs to be acyclic. 17:20:03 I'm not too sure what you are on about 17:23:21 -!- elliott has joined. 17:25:25 Hey elliott 17:25:29 hi 17:25:38 How are you? 17:25:58 09:40:37: fizzie, " kbd Use the keyboard controller. cold reset (default)" <-- how does that even work 17:25:58 09:40:47: I'm scared to look 17:26:04 Vorpal: x86 does everything through the keyboard 17:26:05 Ngevd: good 17:27:52 11:31:09: Amount an unemployed Utah man is charging for the opportunity to hunt and kill him : $10,000 17:27:59 amount CakeProphet is gullible: 100% 17:28:36 There's an objective measure of gullibility now? 17:28:50 yep! 17:28:54 hey Ngevd ROSYARROW 17:30:36 Ngevd: it's measured in CakeProphets 17:31:10 olsner++ 17:39:37 MERGE MY PULL REQUEST DAMMIT :| 17:39:45 Also 17:39:47 Ngevd: ROSYARROW 17:41:42 i always misread rosyarrow as roysarrow 17:42:07 and it makes no sense 17:43:07 Gregor: Yooooooooooooooooooooooooooooooooooooooo 17:43:23 Targets (8): glibc-2.14.1-1 gcc-libs-4.6.2-1 gcc-4.6.2-1 libltdl-2.4.2-2 17:43:23 libpurple-2.10.0-3 libtool-2.4.2-2 pidgin-2.10.0-3 17:43:23 sudo-1.8.3.p1-1 17:43:38 How do core system packages even get upgraded this often. 17:43:54 arch mysteries 17:44:39 I wish Nix was actually pcsm instead so I could use NixOS. 17:45:34 Vorpal: x86 does everything through the keyboard <-- yeah, I forgot that 17:45:43 elliott, it reminded me of the horrible A20 line 17:45:46 Precisely. 17:46:13 elliott, and what scares me more is that it is still the default way of rebooting! 17:46:27 Vorpal: You should have seen that reddit post. 17:46:31 elliott, which one? 17:46:42 The one I can't find, about how Linux reboots. 17:46:43 It's really grotty. 17:46:46 heh 17:46:53 elliott, is that with or without kexec? 17:47:06 elliott, anyway what does "grotty" mean? 17:47:09 kexec doesn't actually involve a reboot. 17:47:12 I seen you using it recently 17:47:23 http://en.wiktionary.org/wiki/grotty 17:47:36 ah 17:55:13 -!- GreaseMonkey has joined. 18:13:32 I've just seen this: http://research.microsoft.com/en-us/people/dimitris/fc-kind-poly.pdf 18:13:35 Interesting read. 18:14:46 -!- elliott has quit (Remote host closed the connection). 18:16:41 -!- elliott has joined. 18:22:31 -!- hagb4rd has quit (Ping timeout: 240 seconds). 18:30:41 I like how using GNOME apps in Xfce is now ultra-painful because of GTK3 themes. 18:30:47 SORRY I MISSPELLED HATE 18:31:32 elliott, yes it sucks. I can live with it though, only eog and evince that have that issue for me. Don't use many gnome programs 18:31:36 I use more KDE ones in fact 18:31:45 or QT at least 18:31:47 For me it's file-roller and evince. 18:32:01 ah, well I open file-roller sometimes 18:32:02 Adwaita is in fact uglier than the Raleigh-esque "no theme" that it uses by default. 18:32:03 not often 18:32:10 heh 18:32:17 elliott, Raleigh being? 18:32:25 You know, the one that looks like Windows 95. 18:32:28 oh 18:32:29 right 18:32:44 elliott, and Adwaita is the weird GTK3 theme? 18:32:50 that it defaults to normally 18:32:53 or? 18:33:08 It's the "standard" one. And, well, didn't default to it here; gnome-themes-standard isn't pulled in by the (tiny) xfce4 group. 18:33:15 I forgot how that looked. I gave up on GNOME 3 after about half an hour of trying to get anything saneö. 18:33:16 Although both gtk2 and gtk3 are. 18:33:17 sane* 18:33:19 Because of some weird bug, I'm using a recolored Mist. 18:33:24 Because most other things lag everything to hell. 18:33:26 Madoka-Kaname: Grey Mist. 18:33:31 It's the only acceptable colouration of Mist. 18:33:42 I'm a clearlooks fan myself 18:33:42 Gray with pink highlights. 18:33:42 Doh. 18:33:50 Madoka-Kaname, ouch 18:33:52 Vorpal, clearlooks lags to crap too... :( 18:33:59 elliott, given that Grey Mist only exists in your mind, apparently... 18:34:01 Madoka-Kaname, what sort of computer? 18:34:04 Phantom_Hoover: What. 18:34:07 Laptop, pretty current. 18:34:11 Phantom_Hoover: People have used Grey Mist for years. 18:34:12 huh 18:34:14 Before I updated, everything worked fine. 18:34:15 But... 18:34:16 Something broke. 18:34:23 so downgrade! 18:34:24 It's a known problem. 18:34:27 easy with a proper OS 18:34:29 elliott, ISTR asking for a link, whereupon you told me it should be on my system, which it wasn't. 18:34:31 such as NixOS 18:34:33 Vorpal, =p 18:34:36 Yeah, uh.. 18:34:37 Phantom_Hoover: grep -r 18:34:43 * Madoka-Kaname hits Debian with a giant sledgehammer 18:34:59 Vorpal: NixOS doesn't let you roll back service state. 18:35:00 Madoka-Kaname, just select old config in the grub menu and it will magically be back where it was before, modulo bootloader, which is quite a special case 18:35:07 elliott, oh? 18:35:12 elliott, that is wrong then. 18:35:14 Vorpal: This is because it is not pcsm. 18:35:24 elliott, still it is better than most other distros currently available 18:35:26 Vorpal, I don't think it's a kernel problem. 18:35:29 (You can rollback /default/ service state, I would think, but definitely not running service state.) 18:35:31 Xorg, I think. 18:35:43 Madoka-Kaname, I think it lets you rollback that too? 18:35:48 Madoka-Kaname, it is not just kernel 18:35:50 Dunno. 18:35:56 -!- GreaseMonkey has quit (Quit: The Other Game). 18:36:00 Madoka-Kaname, it lets you rollback the system configuration because it is crazy awesome. 18:36:01 Bootloader entries only do kernel, I think. 18:36:07 Madoka-Kaname, not in nixos 18:36:07 Or are you talking NixOS? 18:36:08 Ah. 18:36:10 Madoka-Kaname, yes 18:36:11 elliott, Grey Mist is not an option I can see. 18:36:16 Anyway, what hopefully will happen is Clearlooks or whatever will be ported to GTK3 and then GTK2 will die. 18:36:36 Madoka-Kaname, of course I'm a nixos fan. I'm not switching from arch just yet because of catalyst issues. 18:36:39 Phantom_Hoover: Are you deliberately wasting my time? 18:36:48 * Madoka-Kaname liked Shiki a lot, but it lags too. 18:37:15 elliott, you keep saying how fantastic it is and I can't find it for the life of me? 18:37:24 [elliott@dinky esoteric]$ grep -r 'Grey Mist' . | grep sprunge 18:37:24 THAT WAS SO FUCKING HARD 18:37:55 Ah, you want me to grep the esoteric logs. This was completely clear from 'grep -r'. 18:38:15 Nah, I leaked Grey Mist to #ubuntu and then never revealed it to any other channel again. 18:38:26 It would be completely unreasonable to expect it to be in the logs of #esoteric. 18:38:55 -!- tiffany has quit (Ping timeout: 240 seconds). 18:38:59 And it was also clear from 'grep -r' that you made the theme and distributed it here. 18:51:33 -!- tiffany has joined. 18:57:16 Phantom_Hoover, Actually I seem to remember pikhq was involved in its creation too. 18:57:21 I have a vague memory of it 18:57:55 elliott, also... dinky as a hostname? heh 18:58:05 are you going for cute or something? 18:58:11 Vorpal: It's small! 18:58:17 well sure 18:58:28 elliott, is that the Toshiba? 18:58:41 Yes. The Air is katia. 18:58:52 I don't see any obvious meaning of that one 18:58:56 My naming scheme is that I don't have a naming scheme. 18:58:59 ah 18:59:05 Vorpal: Prequel. 18:59:05 katia meaning? 18:59:08 hm 18:59:19 (I had spent about two days trying to think of a name so I just picked one at random and stuck with it.) 18:59:50 Yay, I've almost wrangled Adwaita into something tolerable. 19:02:54 what it is this 19:03:19 quintopia, an irc channel named #esoteric 19:03:43 no, i mean this adwaita thing 19:03:50 gtk3 theme 19:03:50 i haven't paid much attention here lately 19:03:52 ah 19:05:14 elliott, btw don't you like the win95 style? You said it was better than the default Adwaita. But it sounded like it was "oh Adwaita is so bad even the win95 style lack of theme that gtk3 defaults to is better" 19:05:23 It's uglier than Win95 :) 19:05:27 well okay 19:05:39 But I almost have Adwaita looking mostly like Clearloooks. 19:05:41 So woo? 19:05:46 elliott, I find it somewhat acceptable though somewhat jarring compared to everything else that I use, which either use gtk2 or qt with gtk2 backedn 19:05:49 backend* 19:05:55 I ujst have to make the scrollbars smaller and more tolerable and make the menus slightly less awful. 19:06:11 elliott, cool. Show me the screenshots and upload the modified theme somewhere 19:06:29 elliott, btw can you keep separate gtk2 and gtk3 themes? Otherwise I will prefer getting the gtk2 one right for now 19:06:36 so few things use gtk3 19:06:38 as of yet 19:06:42 Vorpal: Yes, you can. 19:06:47 You just dump shit into ~/.config/gtk-3.0. 19:06:53 ah 19:07:02 I should make a derived theme or w/e but I just copied all the Adwaita CSS and started hacking at it because I'm lazy :P 19:07:06 elliott, it didn't seem to work out with a quick look at the GUI tools for it, but meh 19:07:16 probably gnome's settings did something stupid 19:07:19 like store it in gconf 19:07:21 or whatever 19:07:29 elliott, wait what, it is css!? 19:07:36 Vorpal: Yes. 19:07:38 I thought GTK themes used a custom format 19:07:43 GTK 2 themes do. 19:07:45 ah 19:07:48 GTK 3 themes are an engine, like before, plus CSS. 19:07:49 why oh why css 19:07:57 Vorpal: Dude, shut up, the old format was about 90 billion times worse. 19:08:02 At least I already _know_ CSS. 19:08:02 well, sure 19:08:11 Same goes for Mutter (= Metacity 3) themes. 19:08:19 heh 19:08:46 elliott, I'm just saying CSS doesn't make that much sense for formatting stuff like scrollbar handle decoration 19:08:55 postscript, that is the way to go 19:10:02 elliott, ^ 19:10:22 No :P 19:10:33 elliott, a turing complete language for drawing windowing system, it makes perfect sense! 19:10:43 Well, Quartz uses PDF... 19:10:48 hell, lets do postscript + vector displays 19:10:51 that should be cool 19:10:58 Which is great because, in the first few OS X versions, screenshots were actually PDFs by default. 19:11:02 Scalable PDFs. 19:11:06 elliott, you told me before 19:11:12 (OK, with embedded bitmaps for window buttons and the like but still :P) 19:11:24 elliott, I know postscript has been used for display in several systems 19:11:28 I think they even "layered" it properly so you could plausibly eliminate a single window from the front. 19:11:34 and pdf in OS X 19:11:40 Vorpal: Yes, Quartz is the successor to Display PostScript or whatever from NeXT :P 19:11:47 indeed 19:12:50 outline: 99px solid red; 19:12:53 This had better show up. 19:13:35 elliott, ouch. Just ouch 19:13:46 It didn't :( 19:16:59 I wonder if I can get a WebKit Inspector on the menus :P 19:17:27 http://i42.tinypic.com/35ask5s.png < Too pink? =p 19:17:50 -!- Taneb has joined. 19:18:04 barf 19:18:34 Hey look, I lost connection momentarily 19:18:47 -!- oerjan has joined. 19:21:08 Madoka-Kaname, IT'S LIKE MY RETINAS STARTED HAEMORRHAGING 19:21:42 -!- Ngevd has quit (Ping timeout: 240 seconds). 19:23:34 ;.; 19:27:23 HOW THE FUCK DO I ADD BORDERS TO THIS MENU 19:35:56 19:36:06 * shachaf has no context whatsoever about whatever's going on in this channel. 19:36:19 I just thought a bit of invalid XML would improve the mood. 19:39:15 I told you we need an esoteric markup language! 19:43:01 -!- Slereah_ has joined. 19:50:03 whats an esoteric 19:51:16 http://i42.tinypic.com/35ask5s.png < Too pink? =p <-- ouch 19:51:35 well, the colours are kind of matched at least 19:51:40 (probs more of a lavender) 19:52:16 Madoka-Kaname, personally I go for a blue-grey theme 19:52:30 standard clearlooks + blue-grey solid colour desktop bg 19:52:32 yeah 19:53:04 http://i41.tinypic.com/i35l5e.png 19:53:09 Think that icon set matches beter? 19:53:10 better* 19:53:26 Closer hue, I think, but it's a bit darker. 19:53:29 ugh 19:53:41 eewww 19:53:43 Madoka-Kaname, I'm just not fond of pink 19:53:47 or lavender 19:53:49 or lilac 19:53:58 I can do ultramarine. 19:54:29 https://en.wikipedia.org/wiki/File:Ultramarinepigment.jpg <-- like that 19:54:45 Way too strong of a color. 19:54:49 doesn't look too good on this monitor 19:54:53 looks better in real life 19:55:05 I don't know, perhaps it is outside of sRGB? 19:56:41 Which is better: (\b -> if b == 0 then Nothing else Just (b, b-1)) or (\x -> guard (x /= 0) >> Just (x, x-1)) ? 19:58:00 gnome-colors distrobution is a tarbomb 19:58:01 :I 19:58:06 Or this: (\x -> (x, x-1) <$ guard (x /= 0)) 19:58:12 zzo38: Whichever one you like more. 19:58:42 I happen to like the third one but what is your opinions of it? 19:59:07 I'd use ($>) if such a thing existed 19:59:20 Deewiant: Another one for "combinators"? :-) 19:59:41 I think there ought to be a standard function (I'm not creative with names) of type Bool -> a -> Maybe a that returns Nothing if its first argument false, otherwise Just its second argument. 19:59:45 Deewiant: You can write one then, if you want that one 19:59:45 If such a thing exists, use that. 19:59:47 elliott: Should be in base, given that the flipped one exists 19:59:49 Otherwise write it. 20:00:01 elliott: (Control.Applicative is in base right?) 20:00:03 Deewiant: Everything in combinators should probably be in base. 20:00:05 And yes. 20:00:11 elliott: Yeah, but this even more so. :-P 20:00:39 *is False 20:00:47 I wonder if (<*) =/= flip (*>) bothers anyone but fax. 20:00:50 (\b -> listToMaybe [(b,b-1) | b /= 0]) 20:01:05 shachaf: Monad comprehensions eliminate the listToMaybe part, no? 20:01:14 elliott: Right. 20:01:24 What it sounds like zzo38 needs is safeMinus :: Integer -> Integer -> Maybe Integer 20:01:24 I thought I've give a Haskell solution, though. 20:01:27 Not glasgow-exts 20:01:28 safeMinus 0 _ = Nothing 20:01:33 safeMinus m n = Just (m - n) 20:01:35 Then it's 20:01:38 It does not have to be only for Maybe, it could be more general to use any MonadPlus (or Alternative, although it seem less useful with Alternative because of the lesser laws) 20:01:40 \b -> (b,) <$> safeMinus b 20:01:45 Booleans are evil, and whatnot. 20:01:49 Erm 20:01:51 \b -> (b,) <$> safeMinus b 1 20:01:59 ?pl \b -> (,) b <$> safeMinus b 1 20:02:00 liftM2 (<$>) (,) (flip safeMinus 1) 20:02:03 There you go. 20:02:12 what's so safe about safe minus 20:02:14 liftM2 (<$>) (,) $ safeSubtract 1 20:02:20 monqy: It's safe if you think Integer = Natural. 20:02:30 safeminus 1 100 20:03:45 if n was always 1 it would work as a safepred though 20:04:19 Well, I prefer (\x -> (x, x-1) <$ guard (x /= 0)) rather than using list comprehensions and that stuff, but I suppose you can use whatever 20:05:18 Why does (<*) =/= flip (*>) bother anyone? It is supposed to be different (with some (not all) Applicatives); it useful both ways with parsing, for example. 20:08:57 Things such as Data.ByteString and Data.List and Data.Set have many common functions; why aren't these functions a class? 20:11:43 Why does (<*) =/= flip (*>) bother anyone? 20:11:50 flipped operator almost always means = fliped version of the non-flipped one 20:11:56 (visually) 20:12:01 e.g. (<<) and (>>) 20:12:05 @ty (<<) 20:12:06 Not in scope: `<<' 20:12:10 (*>) = (>>) also so it's quite surprising that (<*) =/= (<<) 20:12:11 ?hoogle (<<) 20:12:12 Text.Html (<<) :: HTML a => (Html -> b) -> a -> b 20:12:12 Text.XHtml.Frameset (<<) :: HTML a => (Html -> b) -> a -> b 20:12:12 Text.XHtml.Strict (<<) :: HTML a => (Html -> b) -> a -> b 20:12:14 huh 20:12:16 it's somewhere :P 20:12:18 well there's =<< 20:12:24 elliott: No it ain't. 20:12:24 elliott: i don't think << exists 20:12:24 which is THE SAME 20:12:33 THE SAME ONLY DIFFERENT 20:12:35 just pretend I said (=<<) 20:12:43 (=<<) is different. 20:12:52 There's no way it could work like <* 20:12:57 Anyway, <* is actually useful. 20:13:23 It is. 20:13:30 fax wanted it to be called (*<), which is hideous. 20:14:28 <⁎ 20:14:34 <⁑ 20:14:49 <∗ 20:15:14 ⁂ 20:16:14 <☃ 20:16:23 (because, hey, why not) 20:23:36 -!- sebbu has quit (Read error: Connection reset by peer). 20:24:01 -!- sebbu has joined. 20:37:24 Re keyboard, I don't think there's much more than the keyboard itself, the rebooting, the A20 gate, and the PC speaker thing. 20:37:44 Also, "<". 20:37:44 (the UK pronunciation is "boy") 20:37:52 i sense great pun opportunities 20:38:06 not really, it's actually quite hard to make a pun out of that 20:38:08 although probably doable 20:38:13 oerjan: That's called a "pun-portunity". 20:38:16 oh buoy here we go 20:38:22 something involving fishing, presumably 20:39:04 fizzie: a port-boyteau? 20:39:40 oerjan: Groan. 20:39:43 oerjan: idgi 20:39:54 a port buoy tow? 20:40:06 elliott: a pun on portmanteau 20:40:15 groan 20:40:41 i dont like yuoe 20:40:48 ;_; 20:41:23 oerjan: Is the fact that you usually find buoys at ports part of the pun too? 20:41:34 ...maybe. 20:41:53 Puns upon puns upon puns. 20:42:07 P U N C E P T I O N 20:42:09 Within, not upon. I guess. 20:42:34 upun 20:42:46 Up puns. 20:42:50 fizzie: You know how to get this GTK 3 theming thing to work, right? I'm sure you're an expert. 20:42:51 Why do I deserve this pun ishment? 20:43:26 ... 20:43:27 oerjan: kickban 20:43:38 Taneb: you retroactively deserve it for saying that 20:43:39 elliott: It used to be so that you just gtkrc and include and whatever and there was this thing to reload, but I suppose with three it's all so different. 20:43:42 elliott: i was about expecting to be kickbanned myself... 20:43:54 fizzie: Yes. It's: CSS. 20:44:17 elliott: Oh, is it also HTML5 or 6 or 7 or so? 20:44:30 fizzie: No, it's just CSS. 20:44:35 How rude. 20:44:37 I guess they have some internal XML representation to make that work? 20:44:42 But yeah, the tags are named after the widget classes. 20:44:56 GtkTreeMenu.menu { 20:44:56 Sorry, I'm not exactly sobber. And I doubt I could help otherwise either. 20:44:56 background-color: @theme_base_color; 20:44:56 } 20:45:04 Sobber. 20:45:54 finns never sob. they drown the tears in alcohol. 20:46:38 they might sob if they ever got sobber though 20:46:52 elliott: Here's the useful. Perl, "use Gtk2; init Gtk2; my $ev = Gtk2::Gdk::Event->new('client-event'); $ev->message_type(Gtk2::Gdk::Atom->intern('_GTK_READ_RCFILES')); $ev->data_format(8); 20:46:59 $ev->data('burp'); 20:46:59 Gtk2::Gdk::Event->send_clientmessage_toall($ev); 20:47:01 And so on. 20:47:07 fizzie: What... what does that do. 20:47:11 burp 20:47:11 Sorry, I was going to paste all that on one line but didn't manage. 20:47:14 Reload themes in all open windows? 20:47:17 It refreshes a thing. 20:47:22 A thing that a thing. 20:47:27 Ah. 20:47:35 You modify your .gtkrc2rc2rc2rc rc manually and then it refresh. 20:47:45 You sure aren't very sobber. 20:48:02 Give me a break, it was like one litter of liter of tequila or something. 20:48:19 poor tequila pups 20:48:20 Also not just any but *Greek*. 20:48:31 It had lambdas and all. 20:48:41 fizzie: How are you funnier when drunk nobody is ever funnier when drunk. 20:48:42 so it was functional tequila, i take 20:49:17 (In "τηλ"!) 20:49:24 A tellyphone number. 20:49:32 Oh no, a cat. 20:49:49 -!- sllide has joined. 20:49:54 the great keyboard hunter 20:50:29 I'm just imagining fizzie staggering all over the channel. 20:50:33 -!- evincar has quit (Read error: Connection reset by peer). 20:50:45 a staggering thought 20:50:49 "Mee-eep", the cat said. 20:51:23 fizzie: IT'S A CATBOT 20:51:31 This is like when fizzie started talking in lowercase but amazing instead of horrifying. 20:52:15 I'm pretty sure I'm "sobber" 20:52:43 * oerjan passes Taneb some kleenex 20:52:43 im sobbrest 20:52:54 most sobbre 20:55:23 <✱ 20:56:17 :> 20:56:33 <: 20:58:37 :> 20:58:51 :> 20:59:00 <:> 20:59:26 elliott: It is the fault of ineiros I think I say. 20:59:33 Isn't everything? 20:59:34 This is like when fizzie started talking in lowercase but amazing instead of horrifying. 20:59:45 Oh god lay off the Halloween stories. 20:59:53 Phantom_Hoover: He didn't use ANY PUNCTUATION. 21:00:00 AUAHUGHGUAHGAU 21:00:07 Phantom_Hoover: It wasn't like 2002. 21:00:12 That was rational, punctuated, lowercase other-fizzie. 21:00:17 This was HORRIFIZZIE. 21:00:34 I wanted to sleep tonight. 21:00:56 Is fizzie 30 yet. 21:01:24 elliott: Not quite yet; actually not even 29 until April next year. But I suppose it's NEAR. 21:01:40 Humans live to 30????? 21:01:49 I thought we died off around 26 or so. 21:01:57 fizzie is just exceptionally long-lasting. 21:01:59 Erm s/we/you/ 21:01:59 It'll be his time soon. 21:02:27 Damn 21:02:36 It is only musicians that die at 27. 21:02:37 I've caught up on Gunnerkrigg Court 21:03:42 wow deja vu 21:03:43 Taneb: After starting... this morning? 21:03:50 Yep 21:04:04 What is it with comics that are short. 21:04:10 I do not even comprehend how they exist any more. 21:04:32 No, I just time-travelled multiple times 21:04:39 So I can read while I can read 21:04:41 s/^ // 21:05:03 That indent was important 21:05:21 Taneb, how did you merge the parallel Tanebs into a single whole which read all of GK, rather than bits of it. 21:05:32 Careful planning 21:05:35 If you need a program to read Haskell file without an extension so it doesn't know .hs or .lhs format, you can make it treated as .lhs if the first character is one of > \ % because none of these character are valid as the first character of a Haskell program anyways 21:05:53 So, I'm a couple of weeks older than I was yesterday 21:06:11 Which means my birthday was today 21:07:00 Actually add < to that list as well 21:07:40 Okay, there is a sticker on my hand 21:07:55 It says "ENERGY STAR" 21:08:15 X-D 21:08:33 Could have been worse 21:08:39 Taneb, no your birthday can't be in two weeks we 16-year-olds need to stick together. 21:09:00 It's on Thursday, young Phantom_Hoover 21:09:03 The 15-year-olds are beating at our doors! 21:09:05 Nooooo! 21:09:22 Although I will be delaying the celebrations until Saturday for personal reasons 21:09:24 OK, you get the infrastructure ready. 21:09:39 I'll take over later while elliott covers the retreat. 21:11:06 i don't want to be 16 ;_; it's going to be horrible 21:11:15 rip monqy "old age" 21:11:32 rip 21:11:33 monqy "old age" rip 21:11:39 monqy: I can assure you it's awful 21:12:18 monqy, yes, you deserve it for being 15 for so long. 21:12:29 :( 21:12:38 15 is bad too 21:13:08 Yes, which is why you must give penance for it. 21:13:10 but I imagine 16 is worse 21:13:24 15 is semiprime 21:13:29 16 is a fourth power 21:13:36 It's 2^2^2 21:13:40 Listen to Taneb, monqy. 21:13:46 You're in the semiprime of your life. 21:14:07 (He knows this because he is 16, thus wise.) 21:14:08 16 is a pretty okay number but there are just so many bad things that could happen 21:14:16 You could die. 21:14:40 -!- evincar has joined. 21:14:41 death by learning how to operate motor vehicles 21:14:48 my biggest fear 21:14:49 You can do that at 16? 21:14:55 usa 21:15:22 people start learning at 15 I think?? and can get a lisens at 16 / I just hope nobody notices me 21:15:24 I'm planning to go insane when I'm allowed to get a driving licence. 21:16:02 It's going to go wrong, PH 21:16:07 What variety of insane? 21:16:18 monqy: Why would you even bother. 21:16:18 Is Chinese New Year when the Sun and Moon are near 315 degrees? I thought I read somewhere but am not entirely sure how it works. 21:16:20 From school information on road safety I understand that driving in your teens basically consists of endless melodrama and tragedy. 21:16:28 elliott: my hope is that I don't have to bother 21:16:28 You're going to have all the materials you need to make a llama bone bracelet studded with bismuthite 21:16:34 elliott: but my fear is that i'll have to bother 21:16:37 monqy: Move somewhere with a rail system that actually exists. 21:16:37 It will menace with spikes of maple 21:16:42 (Amtrak is actually made of pixie dust.) 21:16:47 I have always refused the driving license 21:16:51 rail system sounds nice 21:16:58 Come to Hexham! 21:17:06 Taneb, no, if I was in a strange mood I would leave the bismuthinite alone. 21:17:23 monqy, tram system is better. 21:17:38 anything but me driving cars 21:17:45 (Note: I am probably going to get lynched if anyone else from Edinburgh reads that.) 21:17:47 monqy, go to Sheffield! 21:17:57 Or Melbourne! 21:18:02 Or... Beamish! 21:18:04 Sheffield is bad I can confirm. 21:18:08 Yes move to Beamish. 21:18:16 monqy, don't listen to his lies nobody goes to Sheffield voluntarily. 21:18:16 Be a Victorian! 21:18:18 -!- ais523 has quit (Remote host closed the connection). 21:18:27 You can do that with Melbourne /or/ Beamish! 21:18:29 Phantom_Hoover: Yes Beamish is where it is at. 21:18:32 I don't know what any of these places are :( 21:18:40 monqy has never heard of Melbourne. 21:18:42 are they important 21:18:46 (You have heard of Melbourne right.) 21:18:47 Come to Edinburgh we have a bus company with a really detailed WP article. 21:18:48 I've heard of melbourne by name 21:18:55 It is a place in Scotland. 21:18:55 I don't know what it is though 21:18:58 It was almost called Batmania 21:19:02 They drink beer there. 21:19:02 is it a good place 21:19:04 After Batman 21:19:04 Also coffee. 21:19:06 monqy, do you, and I cannot overstress the importance of this question, know where Scotland is? 21:19:09 Phantom_Hoover: Tell monqy about the delights of Melbourne, Scotland. 21:19:14 scotland's over there 21:19:19 elliott, no, that's Perth you're thinking of. 21:19:22 I'm miserable at geography 21:19:23 Phantom_Hoover: Oh, right. 21:19:26 monqy: Perth, Scotland. 21:19:27 and I hate geography 21:19:33 Maybe it's Inverness...? 21:19:42 I don't even know how usa geography works 21:19:57 Taneb: You used to live in Melbourne, Scotland, right? 21:20:01 monqy, nobody does. 21:20:02 Right below Wales. 21:20:06 elliott, nearby 21:20:10 In the suburbs 21:20:19 (In the middle of London.) 21:20:29 The South is in the southwest? WTF? 21:20:30 London is of course part of Canada. 21:20:46 Taneb, you're thinking of Inverness, Sweden. 21:20:52 Of course 21:21:02 Daily reminder that British place names are so good. 21:21:13 Or perhaps one of the nine Invernesses in the States. 21:21:18 (Invernessi?) 21:21:35 Phantom_Hoover: No, that's Mexico. 21:21:40 Mexico, Iceland. 21:22:09 (I refer, of course, to the supermarket.) 21:22:15 Oh dear god if all of civilization is lost and future archeologists find this channel's logs they are going to be so educated 21:22:25 Yes. 21:22:29 We are doing a public service. 21:22:46 The USA also has 5 Edinburghs and two other places with misspellings of it. 21:22:50 Iceland is, of course, near Argos 21:22:51 Archaeologists: This is in fact a mating ritual. 21:23:04 Taneb seeks to mate with aloril. 21:23:06 Taneb: Yes, the famous Aztec temple. 21:23:16 Do you like to make up lies that confuse future archaeologists? 21:23:25 Pfff 21:23:25 zzo38: Such a joker!!!!! 21:23:30 Archaeologists: zzo38 is a robot. Do not trust his lies. 21:23:42 We wouldn't bring ourselves down to the level of /cereal manufacturers/ 21:23:47 i.e. farmers 21:23:51 Actually I asked a question. 21:23:53 We are a religious superclass 21:24:09 I am not trying to accuse anyone. 21:24:26 I am just saying something that I think I once saw some idea somewhere, I forget, was it on television? 21:24:40 `addquote I am just saying something that I think I once saw some idea somewhere, I forget, was it on television? 21:24:43 702) I am just saying something that I think I once saw some idea somewhere, I forget, was it on television? 21:24:57 `quote 701 21:24:59 701) I'd insult you behind your back, but I don't care which side of your back I insult you on. 21:25:04 ah yes 21:25:07 `quote 21:25:07 `quote 21:25:08 `quote 21:25:08 `quote 21:25:08 `quote 21:25:11 450) I go to clean up the shrapnel from a teabag and you're discussing the definition of god out of nowhere. 21:25:12 Television is of course, otherwise known has Mt Olympus 21:25:13 665) Spacegoat is the network-operations-optimized-for-latency-of-minutes-or-hours-due-to-light-speed-limits variant of scapegoat, to be used when you need to check out some code from the Mars colony. (I'm pretty sure we'll have established a Mars colony by the time scapegoat rolls out.) 21:25:24 monqy, elliott is actually a sock I made to add quotes of me. 21:25:29 313) elliott, incidentally, I started my explorations again after getting bored of the Himalayas. 21:25:29 290) lol @ closed character set standard "What does this codepoint represent?" "Nobody knows." 21:25:29 16) Finally I have found some actually useful purpose for it. 21:25:40 But those are all good. :/ 21:25:44 a sock given life 21:25:50 or is he a robot sock 21:25:56 Both. 21:26:01 I am actually a wooden robot sock given life. 21:26:02 665 is perhaps a bit wordy, but not deleteworthily so. 21:26:10 `quote 21:26:10 `quote 21:26:10 `quote 21:26:11 `quote 21:26:11 `quote 21:26:19 309) elliott: there go my minutes of research!! 21:26:20 252) in retrospect that wasn't even necessary, as communal readings of the Funge-98 spec do just a good job of getting rid of trolls 21:26:26 309... so good... 21:26:28 69) i am sad ( of course by analogy) :) smileys) 21:26:31 187) ais523, what is "MS Publisher"? Vorpal, you don't want to know. Vorpal: be glad that you don't know the answer Vorpal: "horrible" 21:26:31 462) * Sgeo mutters about broken toilets #toilet is useless is #toilet even a thing I'm looking for help with toilets 21:26:39 Oh man, 187. 21:26:53 187 and 252 are both not that good, but 187 is amusing in its simultaneejiaetity. 21:26:56 So 21:26:57 `delquote 252 21:26:58 462 is one of the funniest things I've ever seen. 21:27:00 ​*poof* 21:27:16 `quote 21:27:17 `quote 21:27:17 `quote 21:27:17 `quote 21:27:17 `quote 21:27:20 140) Because you're a Mac user. I am! and proud of it to My mouse has *no* buttons. 21:27:27 228) oerjan: What, can girls aim their penises better? 21:27:30 It'll be 140. 21:27:36 544) Riots in Glasgow would probably be reported as a sudden drop in crime. 21:27:36 147) ais523: killer bunnies can be harmed by domesticated canines only. 21:27:36 600) well, oerjan has a lot of opinions on this, so I'll hand it over to him 21:27:38 I like 140 21:27:45 Although it's sort of half amusing, it is practically my job to delete Sine quotes. 21:27:48 These aren't even #esoteric quotes, are they? 21:27:50 Yeah. 21:27:51 I wonder what lead up to 228 21:28:03 Ehh, none of them are that bad. 21:28:05 Let's get something objectively bad. 21:28:06 `quot 21:28:08 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: quot: not found 21:28:08 ioops 21:28:10 `quote 21:28:10 `quote 21:28:10 `quote 21:28:11 `quote 21:28:11 `quote 21:28:15 33) augur: pretty true. 21:28:19 333) elliott: I doubt water memory can last for even one second in a gravitational field (or even outside of a gravitational field), but other people think they can make water memory with telephones. 21:28:29 404) You make a fist, shake it at the sky, and shout "why, GNU, why?!" -- that is the standard reportig practice. 21:28:29 642) yes 5 is very infixr 21:28:29 530) Phantom_Hoover: it is a hate so pure and... pumpkin seeds? 21:28:42 `delquote v 21:28:43 `delquote 33 21:28:44 No output. 21:28:46 ​*poof* 21:29:02 *poof* 21:29:41 *poof* 21:30:03 *foop* 21:30:13 pof 21:31:54 Do you like to make up lies that confuse future archaeologists? <-- hey i just personally checked that london _is_ part of canada. 21:32:12 Yes there is a place called London in Canada. 21:32:28 It's in Ontario, I believe 21:32:33 Yes. 21:33:06 One webcomic I read for a bit then stopped and a character called something like "The Werewolf of London, Ontario" 21:33:43 The famous song by Warren Zevon. 21:42:14 oerjan: Did you ever actually react to IWC. 21:43:33 you mean post to the forum? no. 21:44:07 oerjan: Yes that's totally what I said. 21:44:12 I meant it ending :p 21:44:46 yes. yes i did. in a private message to you, as i recall. 21:45:23 huh. i don't actually remember that. but then i was really tired 21:45:33 Unless you mean the three hours of continual sobbing. 21:45:43 it did not actually mention the word "iwc". 21:45:48 -!- kmc_ has joined. 21:46:07 ah yes, must have been that. 21:52:46 Do you know how to play E-Card? I will tell you. One player get four water energy cards and one fire energy card, the other player get four water energy cards and one leaf energy card. Both players put one card face-down. And then reveal them. If both are water energy card then you put it aside and play another face-down card. 21:53:48 Otherwise you count whoever gets one point according to the card played, and then you switch the hand you start with the cards that your opponent started with before. Play several rounds a predetermined even number, and then count whoever has more points wins. 21:57:50 -!- kmc_ has changed nick to kmc. 21:59:44 I noticed that the DVI units specification used in TeX is not in lowest terms; I tried changing the numbers in the DVI file to lowest terms and it still works. 22:00:28 In lowest terms it would be 396875/7400448 22:04:57 data PageObject = Special ByteString | Box [(Coordinates, PageObject)] | Character Font Word32 | Text Font String | Rule Int32 Int32 deriving (Eq, Show); 22:05:40 But I think the constructor for Text should not be String, because it could include kerns and the characters beyond 0x10FFFF 22:07:07 ByteString 22:07:38 But it could include kerns and it can include characters beyond 255 22:08:12 what is the element type, then? 22:09:11 I don't know. Maybe it should be [Either Int32 Word32] which would be sufficient, but I don't know if there is better way 22:11:04 What do you think about this? 22:21:11 Left for signed and Right for unsigned? Seems slightly awkward to me. I never really liked Either in haskell. It feels to me that it doesn't really document the purpose of how it is used in the name and the type 22:21:38 compare to Maybe, which is good. Why not just use Either Nothing YourType 22:21:51 well, not Nothing 22:22:01 Either is good for error reporting. 22:22:09 rather Either () YourType 22:22:38 Either Void YourType. 22:22:41 or that 22:22:52 Or it's not isomorphic. 22:22:53 elliott, or Either YourType Void I guess 22:23:00 elliott, eh? 22:23:13 :t Void 22:23:14 Not in scope: data constructor `Void' 22:23:19 hm 22:23:28 :k Void 22:23:29 Not in scope: type constructor or class `Void' 22:23:33 data Void 22:23:38 hm 22:23:41 well okay 22:23:59 elliott, anyway, my point was not the exact translation between Either and Maybe, but that it feels awkward 22:24:15 No, Left for kerns and Right for characters. 22:24:44 it is like those C system call APIs you run into sometimes: foo(int request, void *arg1, void *arg2, void *arg3) 22:25:02 I think ioctl is actually varargs 22:25:03 but yeah 22:25:10 Either is useful for error reporting. 22:25:26 elliott, as in Either Result ErrorDesc or such? 22:25:28 hm I guess so 22:25:29 parse :: String -> Either ParseError AST 22:25:30 Either () is like Maybe it is also a monad, doing some similar things. 22:25:51 But, Maybe can also be used for successor type 22:26:02 try :: (Exception e) => IO a -> IO (Either e a) 22:27:30 (oooh TB is doing a live stream first impression of "Cthulhu saves the world", I heard good thing about that game. Just in case anyone is interested. Find a link from yogscast to his channel) 22:27:33 The reason I have Left for signed and Right for unsigned is that the kerns can be negative or positive, but characters are only positive number 22:29:19 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds). 22:33:40 Some people complained that I have a "SUMMON CTHULHU" command on IRC, but now you are going to complain about a different feature of my IRC, isn't it? 22:42:22 -!- Taneb has quit (Ping timeout: 248 seconds). 22:42:46 -!- ive has quit (Ping timeout: 255 seconds). 22:47:08 -!- Taneb has joined. 22:49:41 Taneb! It's so good to have you h- what am I saying. 22:50:26 In 4 days I will begin the preparations of 17-ness for you and Phantom_Hoover 22:50:52 No you... can't become 17. 22:50:55 It's not allowed. 22:51:32 Just because you have a birthday either very late or very early in the academic year 22:53:57 To prevent it they would have to be dead. However, I see no reason to disallow becoming 17 years 22:54:33 i noticed someone else already did a prime pun 22:55:10 I did a different one 22:55:28 well, semi-different 22:55:57 Semiprime and fourth power 22:56:13 ...Is 9 a semiprime? 22:56:40 no says wikipedia 22:56:41 er 22:56:48 *yes says wikipedia 22:57:56 -!- Taneb|Hovercraft has joined. 22:58:49 -!- evincar has quit (Quit: ChatZilla 0.9.87 [Firefox 7.0.1/20110928134238]). 22:59:39 -!- sllide has quit (Quit: Leaving). 23:00:04 I think the Arecibo message will just become some other civilization's Wow! signal 23:01:25 If anything at all 23:01:47 Well, possibly... 23:02:07 -!- Taneb has quit (Ping timeout: 255 seconds). 23:02:18 -!- derrik has quit (Quit: left). 23:02:47 I need a better connection 23:03:09 Or should I see if I can get all the way to Kindle? 23:04:50 Taneb|Hovercraft: Arecibo is a bit more involved than Wow!... but also never going to get anywhere. 23:05:52 If it's recieved at all, it would be just a blip on a needle 23:07:06 It would be funny if the secret to FTL travel was accidently contained in the alternative layout of the Arecibo signal 23:09:37 why aren't we broadcasting a repeating cycle of prime numbers yet? 23:10:09 Because Carl Sagan made Astrophysics appealing to poets 23:11:28 coppro: why? 23:11:43 all our transmissions are just for show 23:13:39 elliott: I said why not. 23:13:49 coppro: uses money, power, equipment, ... 23:13:55 ..., has no benefit, ... 23:14:02 elliott: has more benefit than SETI 23:14:12 it has exactly the same (none) 23:14:28 Unless the aliens are religious types who view prime numbers as evil 23:14:36 there are a lot of stupid things, doesn't mean we should do more of them 23:14:51 also will provide a beacon for earth for when we invent faster-than-light travel and outpace our ability to communicate 23:15:06 "when" 23:15:20 * coppro goes back under his bridge 23:15:22 let's just send out prime numbers for a few billion years in anticipation for that :P 23:15:47 With FTL travel it takes 4 years to get to Alpha Centauri 23:16:33 I don't think I'm going to switch over to DST next year. 23:16:39 Everyone else will just do things an hour off. 23:16:48 Better than clocks changing. 23:16:53 I wish I could make that choice 23:17:16 * oerjan hits Taneb|Hovercraft with the sledge-o-matic ======[] 23:17:26 monqy: You can, as long as you're OK with other clocks being wrong. 23:17:40 but other clocks are important :( 23:17:49 what part of _faster_ than light don't you understand 23:18:09 oerjan: I was considering commenting on that, but thought that perhaps my grasp of physics was lacking :) 23:18:25 oerjan, proxima centauri is 4.24 light years away 23:18:36 Reddit can enable "occupy" movements to permanently shift power from corporations to people and move the world into a new era. Here's how: (self.politics) 23:18:36 OK, my hate of /r/politics has turned into a love of its new comedic format. 23:18:39 If we can get there within 4 years, we have FTL 23:18:48 Taneb|Hovercraft: Why not 3 seconds? 23:18:59 Because that would be stupid 23:19:16 Ah. 23:19:28 'new comedic format'? 23:20:37 just open a permanent wormhole with exotic spices. 23:21:04 oerjan, too expensive 23:21:22 Have you seen the price of spices these days? 23:22:53 we'll just use homeopathic methods to thin them out while increasing their efficiency 23:23:41 That could work... 23:23:44 Hmm... 23:23:49 I haven't been able to get decent melange in ages 23:23:59 We'd have to get one of them closed timelike curves going 23:24:08 I think IKEA sells them 23:24:18 Taneb|Hovercraft: well i hear dmm already fixed that for us 23:25:54 'new comedic format'? 23:25:57 observe: Reddit can enable "occupy" movements to permanently shift power from corporations to people and move the world into a new era. Here's how: (self.politics) 23:27:00 oh 23:27:03 -!- pikhq_ has joined. 23:27:07 -!- pikhq has quit (Ping timeout: 260 seconds). 23:27:35 -!- derdon has quit (Remote host closed the connection). 23:29:19 What is the most number of parameters you have used for a ... <$> ... <*> ... <*> ... <*> ... function? 23:29:34 all of them 23:30:28 Like how liftA2 has two (like f <$> x <*> y) and liftA3 with three, what is the most you have used? 23:31:42 I started writing the TFM reading program and I realized I used eleven. 23:32:37 ...that requires the function before <$> to take that many parameters, as well... 23:33:12 Yes it does. It takes thirteen parameters (two of which are specified before <$> to make eleven more required) 23:33:48 sounds like a candidate for splitting things up... 23:34:35 The way the TFM format is specified it can use all of them at once. 23:35:30 http://thestallmandialogues.com/ 23:35:35 -!- derdon has joined. 23:38:46 these are actually physically painful to read 23:40:46 well, then stop. 23:41:18 -!- derdon has quit (Remote host closed the connection). 23:41:23 oerjan: i cant....... 23:41:35 i see. required reading. 23:42:57 -!- tiffany has quit (Quit: Leaving). 23:54:10 so oerjan i hear that irregular webcomic is goign to start updating a regular rate... of... 23:54:11 ZERO 23:54:12 Is string theory: science, philosophy, or mathematics? 23:54:15 AHAHAAHAHAHAHAHAHAHAHAHA 23:55:02 -!- Ngevd has joined. 23:57:54 elliott, don't you think it is sad? 23:58:03 AHAHAHAHAHAHAHAHAHAHA 23:58:04 heartless bastard 23:58:22 Crap, I'm back to Ngevd 23:58:55 -!- Taneb|Hovercraft has quit (Ping timeout: 276 seconds).