00:01:06 -!- Tritonio has joined. 00:04:24 -!- itsy has quit (Quit: itsy). 00:05:25 -!- sprocklem has quit (Remote host closed the connection). 00:29:32 -!- Tritonio_ has joined. 00:31:07 -!- Tritonio has quit (Ping timeout: 252 seconds). 00:41:58 "Dr. James M Peebles, M.D, M.A. Ph.D., and 91 years old, states whiskey is key to a long life, although he advises against eating meats." 00:42:19 also <3 these line drawing characters 00:42:45 -!- Tritonio_ has quit (Ping timeout: 248 seconds). 00:42:58 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 00:43:07 :O 00:43:19 :ꙮ 00:44:03 copumpkin: relative of yours? 00:44:21 maybe, but I haven't heard of him :) 00:44:27 my grandfather is 100 and has whiskey everyday 00:44:41 every day 00:44:49 isn't it kind of whisky to do that at his age 00:46:16 also this was from @CenturyAgoToday so I guess he's 191 years old now? 00:46:58 kmc: how often do you have whiskey 00:47:03 lol 00:47:07 I guess he must be 00:47:12 interesting though 00:47:17 that guy has too many degrees, anyway 00:47:29 Record heat wave in the Midwest leads to five deaths in Chicago as temperatures reach near 100 Fahrenheit (38 C). 00:47:32 speaking of too many degrees 00:48:11 shachaf: not v. often 00:48:24 i bought a bottle of whiskey a while back and finished it and haven't purchased another 00:48:33 right now drinking Stone Smoked Porter 00:48:43 * copumpkin has a lambic with his rice 00:49:14 lambic pentameter 00:49:18 yup 00:49:26 -!- Nisstyre-laptop has joined. 00:50:13 nom 00:50:41 copumpkin should write us a sonnet 00:50:59 and/or read that that story 00:51:19 sing us a song you're the copumpkin 00:51:33 and/or figure out how to make monad transformers work with negative-position things 00:51:48 oh dear 00:51:58 did you try comonad cotransformers 00:52:01 -!- Nisstyre-laptop has changed nick to Nisstyre. 00:52:27 nope "is that the answer" 00:52:32 "what's the question" 00:53:00 hey what do you think of class Functor m => Monad m where monad :: Free m a -> m a 00:53:03 the future y/n 00:53:32 hth 00:53:52 tdhat 00:54:13 ow 00:54:24 data Free = ... ? 00:54:50 data Free f a = Pure a | Free (f (Free f a)) 00:55:15 it's a free monad "like a free monoid except in the category of endofunctors hth" 00:55:35 In fact you can compare this with class Monoid m where mconcat :: [m] -> m 00:56:40 good times 00:56:47 Free is a "p. fun type imo" imo hth 00:57:13 we may be overdoing it with the "#esoteric house style" 00:58:27 Soon all conversation will be encoded in strings of quotes, imo, hth 00:59:11 kmc: "did you see http://apfelmus.nfshost.com/articles/operational-monad.html btw" 01:03:05 no, cool 01:08:14 Oh, so Program f = Free (CoYoneda f) 01:08:24 Which I think edwardk said somewhere. 01:08:33 I have also said Free (CoYoneda f) 01:08:43 -!- Nisstyre has quit (Quit: Leaving). 01:08:58 So I know what Free (CoYoneda f) is. 01:09:07 What is it? 01:10:04 It is, if f is a GADT, the monad can have an operation which calls one of the constructor of a GADT like a command that returns a result, kind of. 01:10:12 I might not have explained it very well. 01:10:35 Well, f ought to be a Functor, oughtn't it? 01:10:37 that does sound similar to 'operational' 01:11:07 shachaf: No. (CoYoneda f) is a Functor even if f isn't. (If f is a functor, then CoYoneda f = f) 01:11:32 Example: data F :: * -> * where { GetChar :: F Char; PutChar :: Char -> F (); }; 01:12:08 Right. But then it's not the same as Free F. 01:12:41 Correct. However, then Free F isn't a monad since this F cannot be a functor. 01:12:54 But, Free (CoYoneda F) is a monad since (CoYoneda F) is a functor. 01:13:00 Right. 01:13:54 copumpkin: So doing a DList-style thing on Kleisli composition gives you something which behaves a lot like Codensity. 01:14:15 Can you get Codensity Monad instance out of it? 01:16:41 zzo38: What about Free (Yoneda f)? 01:16:51 Or maybe Cofree (Yoneda f) or something? 01:17:20 I don't know if that makes anything of any use. 01:29:47 edward snowdenhands 01:31:36 Is there any place where Yoneda is better than CoYoneda? 01:32:10 Maybe in some cases; each is capable of different things. However, I do not think of a specific example at thist ime. 01:33:28 Right. 01:42:21 -!- mnoqy has joined. 01:52:26 i get it, training 01:52:34 you're a quick one 01:52:49 because they're trains 01:52:52 yes 01:52:56 it's a true story tho 01:53:13 based on a true story 01:53:46 i saw a freight train on the caltrain tracks and it was good 01:54:27 zzo38: What are some cofree things other than cofree comonads? 01:54:42 did it whoosh by 01:55:03 are you talking about your joke or the train 01:55:18 the train leisurelily whooshed by 01:55:23 ok 01:55:56 consider the leisurelilies 01:56:16 shachaf: have you read _Player Piano_ by vonnegut? 01:56:26 Nope. 01:56:30 today i was told to read it 01:56:33 seems like a p. good idea 01:56:51 i have a bunch of kurt vonnebooks to read "but not that one" 01:56:59 maybe i should read that one 01:57:22 another one that i don't have:::: _The Sirens of Titan_ 01:58:50 https://en.wikipedia.org/wiki/File:Grand_Junction_from_Mass_Ave.JPG there is a nuclear reactor in this photo 01:58:56 don't you think that should be mentioned in the description 01:59:13 oh I've walked by that before 01:59:14 I think 01:59:23 whose nukular is it 01:59:24 the unassuming blue dome w/ the smokestack 01:59:26 MIT's 01:59:33 one of the last remaining HEU research reactors in the country 01:59:34 I guess that was a stupid question 01:59:37 hmm can i have a nuclear reactor 01:59:39 no 01:59:51 shachaf cannot be entrusted with one 01:59:56 I will use it well, however 02:02:47 ok 02:02:49 you can have one 02:05:28 yayayayayayayay 02:05:37 Imma see if I can light things on fire with it 02:06:05 I put the sequent calculus of sequent calculus into the computer, now. 02:06:23 Can you please check the sequent calculus of Turing machine to see if I have made any mistakes in it? 02:06:51 A proof is actually related to a halting problem! 02:07:03 Now I can understand why! 02:07:22 zzo38.gödel.moed++ 02:07:54 kmc: p. sure gödel didn't prove things equivalent to the halting problem hth 02:08:07 close enuf 02:08:09 gö̈̈̈̈̈̈ del 02:08:11 help 02:12:55 send pocky 02:13:39 It is provable if and only if it halts. 02:16:51 fuck's sake 02:17:09 i think i'm spoiled for intelligent criticism after finding that sci-fi blog the other day 02:18:02 I am unable to make the sequent calculus of nim game. (I tried, but it doesn't work properly.) Do you know how to do this? 02:18:48 However, I can do the subtraction game (which is related to the nim game). 02:21:15 lesson of the day: nobody can be bothered to do intelligent long-form critiques of homestuck 02:21:41 Can you use shorthand? 02:22:20 -!- zzo38 has quit (Remote host closed the connection). 02:22:20 my hands are the same length 02:23:56 -!- Nisstyre has joined. 02:23:56 sadly i do not know shorthand 02:28:18 -!- mnoqy has quit (Ping timeout: 245 seconds). 02:29:20 -!- mnoqy has joined. 02:34:17 what if growing a mustache is a defense against people drawing mustaches on pictures of you 02:42:16 -!- Tritonio has joined. 02:48:42 -!- Tritonio has quit (Ping timeout: 245 seconds). 02:48:44 -!- Tritonio_ has joined. 02:59:35 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 03:08:52 -!- Bike has joined. 03:08:53 -!- Tritonio_ has quit (Ping timeout: 245 seconds). 03:27:01 shachaf: ah mimicry? 03:58:20 Maybe Cofree (Yoneda f) is useful. 03:58:25 data Coop f a = a :< (forall b. (Coop f a -> b) -> f b) 03:58:32 Is that useful? 03:58:37 I bet it isn't. 03:59:52 cuppa coffee 04:00:22 instance Functor (Coop f) where fmap f (x :< k) = f x :< (. (. fmap f)) k 04:00:36 instance Comonad (Coop f) where { extract (x :< _) = x; duplicate w@(_ :< k) = w :< (. (. duplicate)) k } 04:09:13 -!- oerjan has quit (Quit: Lost terminal). 04:22:32 The Beer, Burritos, and Bonghits Diet 04:27:43 copyright kmc 04:28:07 photo of me in a lab coat on the cover of the book 04:32:21 -!- sprocklem has joined. 04:45:02 -!- L8D has quit (Read error: Connection reset by peer). 04:50:34 `? indexed monad 04:50:36 indexed monad? ¯\(°_o)/¯ 04:51:08 `? monads 04:51:10 Monads are just monoids in the category of endofunctors. 04:51:23 `run >'indexed monad' echo 'Indexed monads are just categories enriched over the monoidal category of endofunctors.' 04:51:27 No output. 04:51:27 `? indexed monads 04:51:29 indexed monads? ¯\(°_o)/¯ 04:51:40 Didn't that thing do antipluralization? 04:51:45 `cat bin/? 04:51:46 ​#!/bin/sh \ topic=$(echo "$1" | lowercase | sed "s/ *$//") \ topic1=$(echo "$topic" | sed "s/s$//") \ cd wisdom \ if [ \( "$topic1" = "ngevd" \) -a \( -e ngevd \) ]; \ then cat /dev/urandom; \ elif [ -e "$topic" ]; \ then cat "$topic" | rnooodl; \ elif [ -e "$topic1" ]; \ then cat "$topic1" | rnooodl; \ else echo "$1? ¯\ 04:51:49 `? indexed monad 04:51:51 indexed monad? ¯\(°_o)/¯ 04:51:57 Oh. 04:52:02 `run mv 'indexed monad' wisdom/ 04:52:05 No output. 04:52:06 `? indexed monads 04:52:08 Indexed monads are just categories enriched over the monoidal category of endofunctors. 04:52:28 21:51 The other meaning is monad on an indexed category. 04:52:28 help 04:52:47 `? dolio 04:52:49 dolio? ¯\(°_o)/¯ 04:52:53 not worth listening to, clearly 04:53:01 `run echo 'Indexed monads are just monads on an indexed category' >> wisdom/'indexed monad' 04:53:04 No output. 04:53:05 `? indexed monads 04:53:07 Indexed monads are just categories enriched over the monoidal category of endofunctors. \ Indexed monads are just monads on an indexed category 04:55:01 TCS 110: Object-oriented Programming for Artists 04:55:03 Introduction to object-oriented programming for artists. Focus on understanding the metaphors and potential of object-oriented programming for sound, video, performance, and interactive installations. 05:03:16 kmc: oh man #haskell is so great right now 05:03:36 there's this one person who regularly tells beginners that Applicative and Monad instances should disagree 05:03:44 now everything is an argument about that 05:05:22 and praytell what are the ops doing about this 05:05:23 -!- zzo38 has joined. 05:05:47 participating 05:05:50 what would you do 05:05:52 -!- SingingBoyo has quit (Ping timeout: 246 seconds). 05:05:55 i was promised an iron fist 05:06:07 if you join #haskell you can have a temporary iron fist 05:06:15 but only if you use it well 05:06:24 it's more like a few dozen iron fists, tied to one another 05:06:26 I don't think this person is actually malicious, though I don't know. 05:06:28 i'm drunk so, no 05:06:33 'malicious' is not really the standard 05:06:44 Right. 05:07:05 Whatever the standard is it should be extensional, with the goal of making the channel a pleasant place. 05:07:47 But malice is an easy heuristicthing. 05:09:17 -!- Bike has quit (Quit: tire). 05:16:12 -!- Tritonio has joined. 05:20:41 -!- pikhq has joined. 05:20:52 -!- pikhq_ has quit (Ping timeout: 276 seconds). 05:33:41 -!- pikhq has quit (Read error: Operation timed out). 05:50:06 -!- pikhq has joined. 05:54:35 -!- sprocklem has quit (Remote host closed the connection). 06:30:27 -!- FreeFull has quit. 06:48:26 Hmm, so the decision of whether to use i or -i is like the decision of which way the rows and columns go in a matrix. 06:50:03 -!- Taneb has joined. 06:50:16 aaaaaaaaaaaaaaaaaaaaaaaaaaaaah 06:51:40 Haneb 07:02:14 -!- nooga_ has joined. 07:03:39 -!- kmc has set topic: Not for the other use | http://underhanded.xcott.com/?page_id=5 | http://codu.org/logs/_esoteric. 07:09:48 -!- SirCmpwn has quit (Read error: Connection reset by peer). 07:15:42 -!- pikhq_ has joined. 07:16:00 -!- pikhq has quit (Ping timeout: 260 seconds). 07:18:44 -!- epicmonkey has joined. 07:20:41 -!- SirCmpwn has joined. 07:56:53 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com). 08:04:32 -!- Tritonio has quit (Read error: Connection reset by peer). 08:07:02 -!- Tritonio has joined. 08:56:45 -!- Taneb has quit (Quit: Leaving). 09:04:22 -!- sebbu2 has joined. 09:07:38 -!- sebbu has quit (Ping timeout: 245 seconds). 09:54:03 -!- Taneb has joined. 09:54:54 -!- epicmonkey has quit (Ping timeout: 256 seconds). 10:12:31 -!- Taneb has quit (Read error: Connection reset by peer). 10:16:15 -!- Taneb has joined. 10:29:48 -!- nooodl has joined. 10:35:13 -!- Phantom_Hoover has joined. 10:49:22 -!- MindlessDrone has joined. 10:56:42 `slist 10:56:44 slist: Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot 10:57:31 Sgeo, can you start tagging the `slist with something to sort of describe the update without being too spoilery so I can see if I've already read it? 10:57:38 no, Sgeo, stop making slist updates and start making olist updates 10:57:48 22:26 < theresa> [A6A6I1] ====> (http://www.mspaintadventures.com/?s=6&p=008191) 10:57:51 22:26 < theresa> new: 247 pesterlines (ROXY: 86); 5 images; 5 pages 10:57:53 why don't you get a bot like that in here 10:58:33 we don't know 10:58:37 we just don't know 10:59:04 (i though homestuck was on hiatus...) 10:59:18 (i wish.......................................) 10:59:33 (maybe it's off hiatus.....................................) 10:59:34 s/\...// 10:59:47 hi atus 10:59:59 hi atrus 11:00:05 remember atrus????????????????????? 11:00:08 no 11:00:12 from uh riven 11:00:20 and myst and the other ones 11:00:30 What about atriq? 11:00:34 Remember atriq? 11:00:37 no 11:00:38 I hated atriq 11:00:51 fuck that guy 11:00:56 annoying cheery prick 11:01:07 i liked atriq 11:01:25 i wish they'd come back 11:01:26 why 11:01:51 `?hh atriq 11:01:53 ahtrihq ohr two 11:02:23 Phantom_Hoover, it is off hiatus 11:02:36 Sgeo...................................... . . . . . . . . . . . . 11:02:41 "Edit: Megapause over. Snipped everything except the awesome HTML table below because of how sweet it is. " 11:02:50 Yeah, this is the fourth update since the hiatus 11:03:41 mnoqy: ok what book on linear algebra should i read 11:04:05 The Stainless Steel Rat by Harry Harrison 11:04:40 shachaf: idk 11:04:53 Totally about linear algebra 11:04:59 Not at all about rats 11:05:05 mnoqy: well i just ordered one 11:05:08 ok 11:05:09 so i hope you name that one 11:05:11 is it good 11:05:17 how would i know 11:05:20 ok 11:05:27 Actually, Stainless Steel Rat is less about rats than Of Mice and Men is about mice 11:05:37 someone described it as being unspoilt by applications 11:05:40 which sounds good?? 11:05:46 yes that does sound good 11:06:57 iv never really had a linear algebra book . . . iv had a linear algebra course and there was sort of a book there but the course went a lot more in depth than the book and most of the exercises werent from the book [they were more interesting than the book exercises] 11:07:07 what course was it 11:07:15 should i have that course 11:07:48 :-) 11:07:54 anyway whats the book you got 11:08:13 whats the course you got 11:08:35 how am i supposed to answer that because im not going to 11:08:44 A course is a course, of course, of course 11:09:26 it was good though...unspoilt by applications 11:09:31 well you could start with your social security number and just go from there 11:09:42 what book did you use 11:09:56 well the book wasnt really used much at all 11:10:03 so what does it matter... 11:10:09 well what was it called 11:10:13 aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaah 11:10:20 was the book spoilt by applications 11:10:24 -!- epicmonkey has joined. 11:10:26 i forget but i dont think so 11:10:35 Was it "Latin Beyond GCSE" 11:10:45 no 11:10:52 "Writing Latin"? 11:10:56 yes 11:10:56 is that like mcse 11:11:02 yes 11:11:05 it was writing latin 11:11:05 but more general 11:11:25 shachaf, was yours Writing Latin? 11:11:33 mnoqy: was it "really" writing latin or are you just trying to get Taneb off your case 11:11:41 shachaf: you got me... 11:11:59 you're so transparent, mnoqy 11:12:06 Taneb: maybe..........................yes(no) 11:12:13 Okay 11:12:16 I think mine is 11:12:33 I am going to do a linear algebra exam now 11:12:51 I hope predicative datives come up 11:12:56 I like predicative datives 11:12:58 -!- Taneb has quit (Quit: Leaving). 11:13:34 mnoqy: so what's with all the moustaches on super mega lately 11:14:07 you mean the most recent super mega?? 11:14:14 yeah that has a moustache in it 11:14:30 yes but also other ones 11:15:55 mnoqy: whoa dude are linear transformations like concatenative languages 11:16:09 yes(no) 11:16:12 shachaf: what 11:16:23 exactly 11:17:42 mnoqy: i actually meant the way "composition" and "application" are kind of similar...... 11:18:21 shachaf......... 11:18:38 dude it's totally a good sense maker 11:20:21 :☺) 11:33:43 -!- ais523 has quit. 11:39:09 -!- augur has quit (Remote host closed the connection). 11:50:11 -!- sacje has quit (Quit: sacje). 11:53:27 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 11:58:33 01:58:50: https://en.wikipedia.org/wiki/File:Grand_Junction_from_Mass_Ave.JPG there is a nuclear reactor in this photo 11:58:36 01:58:56: don't you think that should be mentioned in the description 11:58:38 kmc: it is... 12:11:08 -!- Phantom_Hoover has joined. 12:13:24 -!- MindlessDrone has quit (Quit: MindlessDrone). 12:13:43 -!- augur has joined. 12:16:03 -!- MindlessDrone has joined. 12:16:17 -!- MindlessDrone has quit (Client Quit). 12:18:27 -!- MindlessDrone has joined. 12:24:07 -!- clog has quit (Ping timeout: 264 seconds). 12:24:07 -!- Fiora has quit (Ping timeout: 264 seconds). 12:24:20 -!- Fiora has joined. 12:37:32 -!- epicmonkey has quit (Ping timeout: 259 seconds). 12:49:44 -!- epicmonkey has joined. 13:17:09 -!- lasserix has joined. 13:31:09 -!- abumirqaan has joined. 13:34:15 -!- Nisstyre has quit (Quit: Leaving). 13:47:23 -!- Koen_ has joined. 13:48:13 -!- Koen_ has quit (Read error: Connection reset by peer). 13:48:22 -!- Koen_ has joined. 14:06:34 -!- clog has joined. 14:19:43 -!- Tritonio has quit (Ping timeout: 276 seconds). 14:20:13 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 14:43:54 -!- Phantom_Hoover has joined. 14:50:47 -!- Taneb has joined. 15:25:44 -!- augur has quit (Remote host closed the connection). 15:33:54 -!- FreeFull has joined. 15:59:22 -!- augur_ has joined. 16:08:03 -!- mnoqy has quit (Quit: hello). 16:10:15 -!- lasserix has left ("http://quassel-irc.org - Chat comfortably. Anywhere."). 16:46:48 -!- epicmonkey has quit (Ping timeout: 245 seconds). 16:53:07 -!- MindlessDrone has quit (Ping timeout: 276 seconds). 16:53:11 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 16:53:36 -!- Phantom_Hoover has joined. 16:55:17 -!- conehead has joined. 17:28:38 -!- Phantom_Hoover has quit (Quit: Leaving). 17:28:53 -!- Phantom_Hoover has joined. 17:34:40 -!- MindlessDrone has joined. 17:44:03 elliott: it is now 17:46:35 oh 17:46:37 thank you DdEe4Aai 17:46:50 whoever the hell you are 17:54:24 http://en.wikipedia.org/wiki/Special:Contributions/DdEe4Aai take a wild guess 17:55:31 I'm thinking kmc's middle name. 17:55:56 (Weird parents?) 17:58:02 kmc: did you generate that account name so people can't find out your wikipedia secrets 17:58:29 wow [[fork bomb]] has managed to not grow 5000 examples since i deleted 90% of them 17:58:32 praise the lord 17:58:41 Revision as of 05:56, 29 May 2013 (edit) 17:58:41 Rcmaehl (talk | contribs) 17:58:41 (Only 1 DOS example is needed.) 17:58:45 Latest revision as of 01:39, 2 June 2013 (edit) (undo) 17:58:45 75.131.26.156 (talk) 17:58:46 (Undid revision 557293529 -- This is needed for context and removing it as content is deletionism at its finest.) 17:59:07 elliott: did it have a "fork bombs in popular culture" section? 17:59:07 -!- epicmonkey has joined. 17:59:33 Fiora: with the obscurity of some of the languages people added fork bombs in, it practically qualified as one :P 17:59:39 fork bombs in unpopular culture 17:59:44 "Fork bombs and their relation to knife bombs" section. 18:00:54 it's the weirdest, most jarring thing when I'm like reading a wikipedia article on some topic like, I don't know, "solid state disk", and then at the bottom there's like "in episode 57.45 of the big bang theory, some character made a joke about a solid state disk" 18:02:07 haha 18:02:13 It doesn't say that in [[Solid-state drive]]. 18:02:15 You liar. 18:02:23 I-I was just giving a hypothetical example! 18:02:45 if big bang theory gets to 57 seasons then we are truly doomed 18:02:57 also there should be a show Big Band Theory 18:02:59 Oh, I thought that was just a fractional episode number. 18:03:21 well there is such a band 18:11:12 "This is Jackie from ECO Energy Engineering company, a leading LED Lighting manufacturer in China." This spam is semantic! 18:12:11 (It can reach fabulous brightness at low watt.) 18:30:35 wow 18:37:51 watt's all this then 18:58:13 -!- iamcal__ has quit (Ping timeout: 248 seconds). 18:59:19 -!- ggherdov has quit (Ping timeout: 264 seconds). 18:59:55 -!- ssue__ has quit (Ping timeout: 264 seconds). 19:05:31 -!- ggherdov has joined. 19:44:18 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 20:08:08 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:40:30 -!- Phantom_Hoover has joined. 20:54:43 -!- iamcal___ has joined. 21:00:22 -!- ssue__ has joined. 21:16:43 -!- fizzie has quit (Ping timeout: 264 seconds). 21:26:39 -!- fizzie has joined. 21:47:49 <`^_^v> that feel when a senior dev submits a O(n^3) solution to a O(n) problem 21:47:55 <`^_^v> good thing for code review 21:48:47 Who are you and how do you pronounce your nick 21:48:55 Is it "face v" 21:49:00 "facevee" 21:49:46 <`^_^v> some things are not meant to be pronounced 21:50:05 OK, where does your *username* come from? 21:50:13 <`^_^v> it comes from a smiley face, duh 21:50:25 No, I mean the username, not the nickname. 21:50:41 "nycs" 21:51:06 <`^_^v> *runs away* 21:52:58 dont scare :( 21:53:12 be afraid 21:54:54 why is everyone +v 21:55:58 who's +v? 21:56:12 kmc as well as other people 21:56:28 Including Gregor 21:56:32 That isn't everyone, though. 21:56:40 Everyone who counts. 21:58:59 the O(n^3) solution probably makes the real problem fairly well obfuscated, must be great for "Job Security" 21:59:23 -!- mnoqy has joined. 21:59:26 twist: every O(n) solution is an O(n^3) solution 21:59:33 the more work you do overall, the more places to hide useful work 22:00:34 zzo38 counts 22:00:36 he counted to 38 at least 22:02:03 A O(n^3) solution might be better than O(n) if the difference in constant factors is big enough, and n is small enough 22:02:31 what if n = 0 22:02:36 But when is n ever small 22:02:48 n is getting bigger every day, FreeFull 22:02:52 Moore's law and that 22:02:55 let n be, like, a really big number 22:04:02 Like 17 or something 22:06:04 100000000000 22:06:29 let n be the biggest number 22:06:50 ion, as I said, 17 22:08:07 Constant factors can be pretty big 22:08:27 Like 14? 22:08:31 14 is pretty big 22:08:53 14 is not a constant 22:08:53 Not as big as 17, though. 22:15:37 Doesn't n mean the amount of data to process or something like that? 22:26:00 yes, but we don't seem to agree on exactly how much data that is 22:27:12 Well, if we don't know what the problem is, how can we know how much data that is? 22:27:18 -!- Taneb has quit (Quit: Leaving). 22:27:35 I thought we agreed on 17. 22:28:15 @karma blah 22:28:16 blah has a karma of 26052 22:29:38 I like how lambdabot was using 6% CPU for a second 22:29:52 wow, lambdabot uses a lot of CPU in general 22:29:54 for an irc bot anywy 22:30:22 do you regret your purchase 22:30:35 elliott: maybe it stores karma as a unary coe? 22:30:36 *code 22:31:01 fungot: How much CPU does your sentience matrix use? 22:31:01 fizzie: think cps in common lisp. 22:31:04 Fiora: you know, given the quality of some of lambdabot's code I wouldn't rule it out 22:31:14 fungot: So... not much, then? 22:31:15 fizzie: i said that you suggested a different implementation strategy for heap synchronization ( namely optimistic concurrency) 22:31:35 It's beyond human ken, I think. 22:32:25 elliott: or maybe like. it queries every single command ever sent in order to count up the karma 22:32:30 and instead of storing karma it stores a chatlog 22:32:35 so it's O(number of messages logged) 22:32:43 * Fiora can't imagine something much worse? XD 22:32:55 it selects random lines from the chatlogs 22:33:09 then stores them in a list 22:33:16 Fiora: i wanted a bot that determined karma by determining all the times anyone's ever mentioned your name and then using some kind of modified spam filter to classify the references as positive or negative 22:33:20 if they have a karma increment in them 22:33:21 and summing them up 22:33:39 (Apparently the current iteration of fungot has, in the last six days, used 16 seconds of CPU time. If I read ps right.) 22:33:40 fizzie: to use the utf8 egg. 22:34:09 Or is that 16 minutes? I don't know what the unit of that column is. 22:34:25 16 minutes seems like an awful lot for fungot 22:34:25 elliott: that was absurdly involved. that's true. 22:35:06 elliott: I remember doing sentiment analysis in AI class; it was amazing how inaccurate it was 22:36:01 I remember the bits about semantics in a NLP class. They were all so crude. 22:36:10 My Little Pony class 22:36:18 New Little Pony. 22:37:00 MLP analysis sounds a lot easier; you could probably identify most ponies by their color scheme. 22:37:21 It's all pony-invariant descriptors and whatnot. 22:40:44 -!- sprocklem has joined. 22:41:34 -!- nooodl has quit (Ping timeout: 252 seconds). 22:42:18 Huh, SURF features are patented too? I was thinking (i.e., hoping) SIFT was the exception rather than the rule. 22:42:35 Everything is patented. 22:45:01 -!- sebbu2 has changed nick to sebbu. 22:55:15 higgledy-piggledy / bifunctoriality 22:57:38 I don't run any IRC bots but X seems to use about 33 minutes per day here 22:59:57 -!- epicmonkey has quit (Ping timeout: 245 seconds). 23:00:43 kmc: good story about the money machine 23:01:57 i thought so 23:02:05 http://www.thoughtcrime.org/stories/money-machine/ 23:09:46 those things seem designed basically just to embarrass the person inside of them :/ 23:15:03 -!- sacje has joined. 23:15:39 yeah 23:16:44 our school had us sell magazines and wrapping paper and whatever, but the funds went specifically towards a class trip 23:16:51 i'm sure the company took a nice cut, though 23:17:32 is this some... americant hing 23:17:37 i have no recollection of anything like this happening to me 23:17:43 it sounds incredibly american at least 23:17:46 most likely yes 23:18:09 i have no such recollection either 23:19:02 We sold toilet paper to fund class trips in grades 1-6. 23:19:28 i assume your prices were not competitive with wal-mart 23:20:04 Counting delivery from the nearest wal-mart, perhaps. 23:20:21 They were reasonably large units. 23:20:33 Like, maybe in bunches of 40 rolls? 23:20:50 So perhaps the pricing was reasonably competitive. 23:21:38 Also there's a magazine full of stories and stuff written by school kids, that I think we also sold. 23:22:08 http://en.wikipedia.org/wiki/Kev%C3%A4tp%C3%B6rri%C3%A4inen 23:22:23 Lovely UTF-8 there. 23:22:54 Anyway, you got some tiny rewards for selling that thing. 23:23:43 We never had a money machine, though. 23:26:36 -!- mnoqy has quit (Quit: hello). 23:28:40 -!- sprocklem has quit (Remote host closed the connection).