00:11:37 -!- derdon has quit (Remote host closed the connection). 00:12:03 -!- derdon has joined. 00:16:21 -!- derdon has quit (Ping timeout: 248 seconds). 00:22:44 Is there a command in MinGW to cut off all lines of stderr after a specified line number? 00:30:33 Is anyone going to make MMIX hardware? 00:33:04 The only thing I want to omit is the rN register; perhaps its meaning can be changed to something else (I think there was a suggestion once about this) 00:34:16 GCC can already compile into MMIX, they should also make LLVM to compile into MMIX, and also LLVM compile into Glulx as well 00:39:05 If LLVM compiles to Glulx, we could make up a LLVM file which implements glk.h with inline assembly language and inlining and so on 00:40:27 why do you want to omit rN register? 00:42:48 The rN register does nothing useful. 00:43:27 oh. it confused it with rM 00:46:21 goimg to sleep --> 00:46:36 rM should be included. However, rN should be omitted or modified to mean something else. 00:49:04 PRNG? 00:49:59 No. 00:55:57 http://www.reddit.com/r/compsci/comments/u1ptn/modern_computers_are_supposed_to_be_von_neumann/ 00:56:29 I'm not sure this person knows quite what 'equivalent' means. 00:57:01 Is there a DVI format of Fascicle 1 MMIX? The PDF renders badly. 00:57:14 I'm astonished you have a PDF renderer. 01:03:10 I cannot find any of DVI files for those things, or any TeX source files either 01:04:26 (The PDFs also print badly unless you have the same printer as whoever made the PDF and there are no rounding errors.) 01:25:36 Synthesizer for ITMCK works 01:32:43 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 01:59:38 -!- DHeadshot has quit (Read error: Connection reset by peer). 02:17:32 -!- tswett has joined. 02:53:16 -!- DHeadshot has joined. 03:08:27 -!- kmc has joined. 03:15:03 -!- DHeadshot has quit (Read error: Connection reset by peer). 03:15:14 -!- DHeadshot has joined. 03:17:18 Io seems like it might be a good language for a codenomic 03:18:25 Sgeo: get into #nomic 03:26:49 -!- copumpkin has quit (Ping timeout: 245 seconds). 03:27:25 -!- copumpkin has joined. 03:41:35 -!- DHeadshot has quit (Ping timeout: 260 seconds). 03:41:54 -!- DHeadshot has joined. 03:45:30 -!- DHeadshot has quit (Read error: Connection reset by peer). 03:45:36 -!- DH____ has joined. 04:13:45 am I a bad person? 04:14:01 anyOf fs c = any ($ c) fs 04:15:50 well using anyOf in a higher order context is nicer than using (any . flip ($)) or whatever 04:16:14 but if you're applying the arguments on-site, i think any ($ c) fs is better 04:16:45 kmc: yeah, I am 04:16:49 but I was just generalizing there 04:17:50 ? 04:21:27 -!- MDoze has changed nick to MSleep. 04:21:28 isFoo c = any ($ c) [isA, isB, isC] 04:23:17 :t or . sequence 04:23:19 Couldn't match expected type `Bool' against inferred type `[a]' 04:23:19 Expected type: [[a]] -> [Bool] 04:23:19 Inferred type: [[a]] -> [[a]] 04:23:27 oh, that seems reasonable 04:23:29 :t (or .) . sequence 04:23:30 forall (f :: * -> *). (Functor f, Monad f) => [f Bool] -> f Bool 04:23:55 :t (Prelude.or Prelude..) Prelude.. Prelude.sequence 04:23:56 forall a. [a -> Bool] -> a -> Bool 04:24:40 :t or .: sequence 04:24:42 forall (g :: * -> *). (Monad g, Functor g) => [g Bool] -> g Bool 04:24:47 dammit, he even generalized .: 04:27:30 -!- carbone14 has joined. 04:27:50 -!- MSleep has changed nick to MDream. 04:29:26 copumpkin: I'd be more surprised if he hadn't, since (.:) = (.) . (.) 04:34:38 My .: is (.:) :: (Category cat, Functor f) => cat b c -> f (cat a b) -> f (cat a c); 04:36:54 class Nyan cat where (=^..^=) :: cat b c -> cat a b -> cat a c 04:38:05 :3 04:38:08 class Nyan cat where (=^..^=) :: cat cat cat -> cat cat cat -> cat cat cat 04:39:40 yes i'm sure GHC 7.6 will support equirecursive infinite kinds 04:39:55 kmc: What? 04:40:52 well, what's the kind of 'cat' in that typeclass? 04:41:38 Oh, you didn't mean that GHC 7.6 will actually support. 04:41:55 s/.$/ it./ 04:42:07 i was using sarcasm 04:42:30 it does seem to be the direction they're going in 04:42:56 equirecursive infinite typekind class family polymorphism 04:48:05 -!- itidus21 has quit (Ping timeout: 260 seconds). 04:48:50 -!- carbone14 has quit (Quit: Quitte). 04:50:58 What does "equirecursive infinite typekind class family polymorphism" means? 04:51:34 Yesterday I was looking at Wikipedia about comma category now I can understand comma category better 04:51:37 I think it means that cat cat cat can be a valid type 04:51:40 it means nothing zzo38 04:51:44 it is a joke 04:51:54 add this to your training set on jokes 04:51:55 -!- augur has quit (Ping timeout: 246 seconds). 04:52:06 olsner: equirecursive infinite kinds would do that 04:52:39 cat :: μk. k -> k -> * 04:53:06 equirecursive means that you don't need explicit wrapping/unwrapping (as opposed to isorecursive) 04:54:26 so isorecursive would be using a newtype to make infinite types? 04:54:31 zzo38: have you come across slice categories already? 04:54:38 olsner: yeah, at type level 04:54:42 i'm not sure what it would be at kind level 04:54:50 newkinds? 04:56:15 copumpkin: They are mentioned in the same article 04:56:25 yeah, slice category is a specific instance of comma 04:56:30 Yes 04:56:33 being more concrete, it might be more obvious though 04:59:39 With Ibtlfmm, we would have "kind" and "data kind" declarations (the first for kind synonyms, the second for enumerating the types belonging to it and how many parameters they are required to take; all the parameters are kinds, and there is only one "kind of kinds") 05:02:28 So you can write: kind Constraint = &; kind Nat = +; kind Type = *; kind Module = @; and so on, including synonyms for more complicated kinds, as well as data kinds 05:03:43 I have thought about some other categories, such as sum of categories and product of categories. I think, the sum or product of thin categories is thin, the sum or product of discrete categories is discrete, etc. Some categories may be the sum and/or product of other categories. 05:04:53 And then it would seem you can even combine monads and comonads from the categories you can making a sum or product of 05:14:52 There is then the category of no objects being the identity for the sum, and the discrete category of a single object for the identity for product. 05:16:30 -!- augur has joined. 05:17:01 copumpkin: Do you know anything of these kind of sum and product of categories? 05:17:28 there's definitely product categories 05:17:37 -!- augur has quit (Read error: Connection reset by peer). 05:17:41 and I think you can do a coproduct of categories too, but it's a bit more involved 05:17:56 -!- augur has joined. 05:18:08 but the category of small categories definitely has all products 05:19:28 and probably all coproducts :) 05:20:29 What I mean by these sum and product of categories is: Sum means, the objects are (C, X) where C is one of its term categories and X is an object of C, and the morphisms are (C, f) where f is a morphism of C, so if f:X->Y then (C,f):(C,X)->(C,Y). Product means, objects are (C, D, ...) where C, D, ... are its factor categories and the morphisms are the morphism one from each factor category. 05:22:34 Is this OK? 05:23:25 -!- augur has quit (Read error: Connection reset by peer). 05:23:41 -!- augur has joined. 05:24:15 hmm, that's probably right 05:24:27 just look at products and coproducts in the category of small categories 05:24:30 they work out 05:24:44 coproducts are pretty easy, actually, as far as I can tell 05:25:16 Coproducts? 05:25:21 sums 05:25:29 coproduct is the more conventional term 05:25:42 OK, well I did think and write about both sum and product of categories 05:25:59 well, you know about products and coproducts within categories? 05:26:22 Yes 05:26:33 I think so 05:26:35 then work out if your constructions fit the descriptions :) 05:26:39 but I think they do 05:26:52 to have a proper sum category 05:27:17 it contains all the objects and all the morphisms from the two "addends" 05:27:26 and then you have injection functors from the two addends 05:27:28 Yes, that is how I mean 05:27:31 and a few diagrams commute 05:27:44 And yes then you also have a functor from the addend to the sum 05:27:54 yep 05:28:03 and then a universal functor 05:28:07 so it should work 05:29:41 I think they even form a semiring? 05:31:05 -!- asiekierka has joined. 05:33:20 For multiplication you can make up a discrete category from any natural number so that the sum of a category with itself is like the product of that category with the discrete category with two objects. 05:34:30 Isn't it? 05:40:35 -!- DH____ has quit (Read error: Connection reset by peer). 05:55:36 Can exponent category now be made? I can think of something, but maybe won't work since the exponent may not always be discrete. 05:58:46 since Cat is a CCC, it should exist 05:58:53 I haven't thought about what it would mean though 05:59:36 you might want to ask in ##categorytheory 06:00:27 I need to go to sleep :) 06:01:29 I have thought a little bit about it 06:01:54 So I think I know what it means at least if the exponent is discrete 06:02:33 I try to think of it more too; maybe I will manage to think of it 06:12:40 -!- ais523 has quit (Ping timeout: 260 seconds). 06:20:36 -!- ais523 has joined. 06:42:03 -!- john_metcalf has quit (Quit: http://retroprogramming.com). 07:06:33 -!- oerjan has joined. 07:07:10 -!- oerjan has set topic: Food is just pals you eat. Here's a spork for ya. | http://codu.org/logs/_esoteric/ | This is what the bfjoust hill will look like under the new scoring system: http://pastebin.com/raw.php?i=XEWnVMg8. 07:13:45 How many people in here know some things about category theory? How many people do not know? 07:13:56 i know some things 07:14:55 Before you joined to this channel, I have discussed sum and product of categories, and also thinking about power/exponent of categories. 07:18:15 Any monads and comonads in the categories the sum/product is made from, can also be combined to make monads/comonads in the sum/product as well, I think 07:18:21 those things are usually defined _in_ categories afaik, which means that if you want to do them _of_ categories you want to look at Cat, the category of categories 07:19:58 Yes I do mean of categories. And I have written above about how to do; you may review the logs if you want to 07:21:52 what i mean is that your definitions are likely to be equivalent to the usual definitions as applied to Cat 07:22:03 OK 07:23:38 * pikhq_ mutters about being vaguely near a wildfire 07:23:40 i know absolutely nothing 07:24:10 Using these sum and product I would also think, the numbers are being like the discrete categories with that many objects 07:24:11 I don't know if the fire has anything to do with it, but respiration is irritated! 07:24:51 for example, if you have a functor F from A to C and a functor G from B to C, then there should be a unique functor H from A+B to C such that F and G are the compositions of H with the embeddings 07:25:50 and dually for products 07:26:05 is that the universal property? 07:26:06 Yes, I believe you, it makes sense 07:26:09 oklopol: yes 07:26:36 category theory is so awesome 07:26:58 oklopol: Yes 07:27:06 oklopol: yes 07:27:11 Yes 07:28:05 while the power/exponent should be defined if Cat is a cartesian closed category, by another universal property 07:28:43 Do you get the property I have described if the exponent is discrete? 07:29:00 um i didn't read what you said before 07:29:15 i was gonna check what the UP for power is but ended up reading about sheaves and taking a break now. those things are crazy. 07:29:17 http://en.wikipedia.org/wiki/Cartesian_closed_category says it is 07:30:13 What I have described is that, if C is to the power of a discrete category having two objects, it will be like a product of C with C, and so on 07:30:15 ^ Y is defined as the right adjoint functor of x Y 07:30:40 zzo38: sounds reasonable 07:31:58 Hom(X x 2, Z) ~= Hom(X, Z^2) 07:32:30 X x 2 ought to be ~ X + X 07:33:11 I have described above that the sum of C with C, is like the product of C with a discrete category having 2 objects. 07:33:19 so then you get Hom(X + X, Z) ~= Hom(X, Z x Z), which looks like it might follow from the universal properties 07:33:37 -!- calamari has quit (Quit: Leaving). 07:35:56 zzo38: i think http://en.wikipedia.org/wiki/Cartesian_closed_category#Equational_theory may be relevant 07:36:17 OK 07:38:40 -!- augur has quit (Remote host closed the connection). 07:44:52 I believe that does show the property I described to be the case. 07:46:23 What of monads and comonads on the exponent category then? 07:46:47 What is a category called if all isomorphisms are endomorphisms? 07:51:26 -!- azaq23 has quit (Quit: Leaving.). 07:52:31 Does it have a name? 07:56:16 huh 07:57:40 zzo38: skeletal category http://en.wikipedia.org/wiki/Skeleton_(category_theory) 08:01:32 OK 08:15:11 -!- augur has joined. 08:15:24 -!- augur has quit (Remote host closed the connection). 08:15:30 -!- augur_ has joined. 08:25:14 What values of Cwt should I use for ITMCK? 08:25:45 -!- derdon has joined. 08:26:57 Perhaps 0x7000 is OK since OpenMPT Wiki does not list any other trackers as using that, and the actual version number can be determined by the name of the first instrument 08:28:16 You can, however, use the -w command-line switch or the #TRACKER-VERSION command in the input file to override the Cwt value to be whatever you want. 08:30:03 But if you have other suggestions you can tell me 08:33:45 I have added the information to the wiki http://wiki.openmpt.org/Development:_Formats/IT as instructed. 08:39:43 -!- oerjan has quit (Quit: leaving). 08:53:11 -!- nooga has joined. 09:01:26 -!- Taneb has joined. 09:01:29 Hello! 09:04:16 Some guy on the TV is saying "Where in the bible does it say we have to pay tax?" 09:04:29 I want to punch him in the face and say Matthew 22:21 09:05:46 Is that the one that's Render Caesar's unto Caesar's? 09:05:51 Yeah 09:05:58 Because that's easy to twist into meaning absolutely nothing whatsoever. 09:06:04 True 09:06:50 Very much like the rest of the Bible. 09:07:17 Sgeo: Caesar was a god, so of course you had to pay tax to him. 09:07:30 Obama is Satan, so you shouldn't pay taxes to *him*. 09:08:03 How about David Cameron? 09:08:59 Leviticus 19:27 09:09:03 Do not cut the hair at the sides of your head or clip off the edges of your beard. 09:09:12 Yup, he is a servant of Satan. 09:09:20 wait you're saying there are right wing religious extremists outside the USA? 09:09:28 this is highly at odds with what I have read on the Internet 09:09:33 Nah, just people who want to avoid taxes 09:09:43 brb 09:10:02 kmc: There *are*, they just seem to have somewhat less influence. 09:10:06 Crazy is a human universal. 09:10:19 there are many places where they have more influence 09:10:22 True. 09:10:34 There are many places where the crazies actually run the place. 09:11:14 the thing about right-wing religious extremists in the USA is, you know which party they're going to vote for 09:11:19 so that party doesn't actually have to give them anything 09:11:28 Maybe the occasional bone. 09:11:40 they bluster about social issues to get out the vote 09:11:57 and some proportion of the party is composed of said extremists, and some of those people get elected 09:12:01 but not that many really 09:13:26 Not that the people they vote for are any *better*... 09:13:40 The badness is just of a completely different sort. 09:13:44 yeah 09:14:16 well i don't know 09:14:50 i have a slight preference for a corrupt corporatist state over a theocracy 09:14:58 neither is good 09:15:02 Well, yes. 09:15:12 this preference reflects my various forms of privilege 09:15:24 Both are very, very low on my preference ranking, but corrupt corporatist state > theocracy. 09:15:33 Back 09:16:27 But, then, in a theocracy I'm liable to be dead. 09:16:30 The UK is technically sort-of a theocracy 09:16:39 But nobody actually cares 09:16:43 how so? 09:16:53 The head of state is directly appointed by good 09:16:56 *God 09:17:02 And is the head of the Church of England 09:17:27 kmc: Rule by divine right, the monarch is the head of the church, members of the church are *entitled* to positions in the legislature... 09:17:46 yeah that last bit is dodgy as hell 09:18:18 The house of lords doesn't have any real power 09:18:56 *any more 09:19:02 Yeah 09:19:15 Up until quite recently, they were your supreme court as well. 09:19:27 Really? Didn't know that 09:19:41 Yeah, the House of Lords was the court of last resort up until, what, 2008? 09:20:17 Ah, 2009. 09:22:30 Hmm. I suspect that that's where the Senate's role of trying impeachments comes from... 09:22:56 -!- zzo38 has quit (Remote host closed the connection). 09:24:15 (the US Congress was designed with the *intent* of the House of Representatives being somewhat analogous to the House of Commons, and the Senate somewhat analogous to the House of Lords) 09:24:29 How did that end up? 09:24:59 Probably the last blow in the setup was the establishment of direct election of Senators. 09:26:26 (the original setup was that each state appointed Senators in a manner they saw fit, with convention being that the governor of the state would appoint them) 09:29:17 i thought they were mainly elected by state legislatures 09:29:56 "The Senate of the United States shall be composed of two Senators from each State, chosen by the Legislature thereof" 09:30:04 Ah, perhaps I misremembered. 09:33:27 Indeed I did. 09:34:15 amusingly enough, the current non-proportional structure of the Senate would be unconstitutional if it weren't explicitly in the Constitution 09:34:32 the supreme court has ruled that the 14th Amendment forbids states and cities from having similar bodies 09:35:21 also to change the composition of the Senate, you would arguably need *two* constitutional amendments 09:36:00 because Article V (the article on amendments) explicitly forbids that change 09:36:29 How very nomic. 09:37:07 In practice, I suspect they'd somehow figure out a way to get that deemed "interstate commerce" so it could be a regular bill. 09:37:22 haha 09:37:26 no, i don't think that would fly 09:38:24 But if a butterfly flapping its wings can cause rain in China, then surely the composition of the Senate effects interstate commerce, so therefore they have the power to regulate it. 09:38:54 On a more serious note, yeaaah that clause would have to be a *lot* more abused than it is now for something like that to fly. 09:39:12 i mean, that clause is all about the division of powers between state and federal legislatures 09:40:01 what also sucks is that the Senate's rules of procedure have nearly as much influence on how law is made as the Constitution 09:40:20 Perhaps more. 09:40:43 The infamous 'fillibuster' rules have a rather dramatic effect. 09:40:58 yeah 09:41:23 that's a recent thing too 09:41:32 i mean aiui filibuster was used pretty rarely before like 2006 09:41:38 now it is the default and every bill needs 60 votes to pass 09:43:28 http://en.wikipedia.org/wiki/File:Cloture_Voting,_United_States_Senate,_1947_to_2008.svg 09:45:09 And that's just the number of times the Senate actually attempted to stop a filibuster. 09:46:38 -!- Taneb has quit (Quit: stuff). 09:47:59 well, many of them are preemptive 09:48:32 actual filibusters are still rare, the threat is just baked into how the body operates 09:49:04 which is part of the problem — people would be less eager if they had to personally go up and talk for 15 hours! 09:51:43 and i would hope that a filibuster would make the filibustering party look like childish obstructionists 09:52:05 but i think a lot of the blame for problems in Washington gets accounted in a nonpartisan way 09:52:12 Congress's approval ratings are far lower than either party 09:56:04 Rather amazingly so. 09:56:41 What was it, like 8% approval? 09:58:03 something like that 10:01:29 -!- derdon has quit (Remote host closed the connection). 10:01:56 -!- derdon has joined. 10:06:40 -!- derdon has quit (Ping timeout: 272 seconds). 10:07:01 -!- Phantom_Hoover has joined. 10:16:58 Wait, is /r/conspiracy championing the cause of *Syria*? 10:17:41 that's what they want you to think 10:17:57 /r/conspiracy is actually a KGB conspiracy. 10:18:03 So... /r/conspiracy is in fact run by the conspiracy? 10:18:04 Indeed. 10:18:20 let me guess, the US and Israel dislike Syria, therefore Syria must be good 10:18:22 Phantom_Hoover: You must admit it's an appropriate name. 10:18:27 (this mirrors well-documented KGB conspiracies surrounding the JFK shooting) 10:18:43 (... the KGB spread conspiracy theories about it. I shit you not.) 10:18:49 " let me guess, the US and Israel dislike Syria, therefore Syria must be good" sounds like solid logic to me 10:18:51 Makes sense. 10:19:04 kmc, looks like it. 10:19:20 "Liveleak is a propaganda hub." 10:19:54 goatse is a propaganda hub 10:20:01 "Precisely the reason I dont believe anything. Ever. There may not even be a syria for all I know 10:20:01 " 10:21:39 lol 10:22:02 um 10:22:02 ok 10:22:06 in another thread 10:22:13 someone has just said they wouldn't eat mule meat 10:22:20 because it's genetically modified 10:22:46 mule meat contains chemicals! 10:23:44 "If the alternative media on the Internet continues to grow and expose the secret working of the grand deceivers, i.e. the Wizard of Oz behind the curtain, the masses will find out the King is actually naked and the �king�s new clothes� shtick was all a big con." 10:24:03 If we hit that conspiracy bullseye, the rest of the dominoes will fall like a house of cards. Checkmate. 10:24:05 is that a quote 10:24:13 zardoz speaks to you, his chosen ones 10:24:16 kmc: Ew, chemicals. 10:24:37 ＴＨＥＧＵＮＩＳＧＯＯＤ 10:24:38 When I disposed of my television years ago, the last of my chemicals had to go with it. 10:24:43 ＴＨＥＰＥＮＩＳＩＳＥＶＩＬ 10:24:44 Patashu, the quoted bit is. 10:24:53 http://www.reddit.com/r/conspiracy/comments/vimgh/if_the_alternative_media_on_the_internet/ 10:25:12 * shachaf now leads a 100% natural, chemical-free life. 10:25:22 "New World Order Blueprint Leaked" 10:25:40 So what, is this part of a conspiracy to give away NWO trade secrets? 10:26:41 i'm afraid this is going to devolve into trolling by proxy 10:27:01 http://www.reddit.com/r/conspiracy/comments/vhzj0/a_friend_is_going_to_let_me_look_through_his/ 10:27:02 oh my god 10:27:33 kmc: My friend said trolling by proxy is good because it can inject outside opinions into echo chambers which don't usually get such opinions. 10:27:43 I don't really agree with him, but do you have any counterarguments to that? 10:27:54 -_- 10:28:10 what is 'trolling by proxy' 10:34:00 "hi, my friend says Haskell gives you herpes and aids, i think this is wrong but pls provide a detailed rebuttal" 10:34:23 produces similar results to someone coming in and saying haskell gives you herpaids 10:34:37 worse, in that you can't make it go away by kickbanning someone 10:34:45 oh, I see 10:34:48 very clever 10:35:05 even when nobody in the channel intends to troll, the result is the same as trolling 10:35:08 Patashu: It's far from the state of the art in trolling techniques. 10:35:11 Ingenius in its subtlety. 10:35:14 happens a lot when you're discussing Other People who are Wrong On The Internet 10:35:16 well I am not very good at trolling 10:35:17 shachaf: what's the state of the art? 10:35:18 so I'm easily impressed 10:35:27 kmc: I don't think that's public information. 10:35:40 is it u 10:35:45 No. :-( 10:35:48 kmc: But in this case there's still responsibility: The "friend" said something inflammatory. 10:35:52 poorchaf 10:36:05 The ultimate trolling probably arises on its own, like a sort of meme. 10:36:07 shachaf: well, in less hyperbolic cases, the friend is perhaps just ignorant 10:36:09 kmc, but in this case I'm not quoting them as things I want treated seriously and debunked, I'm quoting them because I and presumably everyone else finds them risible. 10:36:17 Things like "0.999... = 1?!", maybe. 10:36:29 Just think of the discussions that generates, even when everyone means well. 10:36:49 I guess it's not exactly a "technique". 10:37:04 So basically politics and religion are the ultimate trolling technique? 10:37:34 Phantom_Hoover: There are a lot of trolls in politics and religion. 10:37:41 But some topics, yes. 10:38:16 kmc: did u accuse me of being cheater :'( 10:38:36 is cheater the state of the art in trolling 10:38:47 I don't think so. 10:38:49 Decidedly not. 10:38:51 well in that he can troll elliott and Phantom_Hoover without saying anything at all 10:38:52 He got banned from multiple channels. 10:39:05 and cause them to abuse third parties 10:39:29 Still bitter about that? 10:39:44 Wait, which "that" is that? 10:39:45 not bitter, just amused and confused 10:40:06 Take it up with ais if you think the ban was unjustified. 10:40:12 i'm not saying he shouldn't be bant 10:40:17 Did he get banned in here? 10:40:21 Yes. 10:40:24 i just think it's insane how much abuse I got for daring to say "hi" to him 10:40:33 it's the sort of thing you see in extremely brainwashed religious societies 10:40:41 the unclean one must be shunned 10:40:46 cheater: hi 10:40:57 kmc, I do believe you're trying to troll me. 10:41:14 like, i can understand that he doesn't get along with this channel, but apparently the fact that I can get along with him in any context at all makes me a horrible human being 10:41:30 so yeah 10:41:36 i think anyone who can produce that kind of response 10:41:39 is a pretty advanced troll 10:42:28 kmc gets along with everyone* 10:42:42 zero or more copies of everyone 10:45:37 who is cheater 10:45:40 I feel I am missing out on something 10:45:48 join #codez 10:46:06 it's the channel he set up to talk to the people from #esoteric, #haskell-blah, and ##electronics who will still put up with him 10:46:24 Founder: cheater 10:46:44 Longrunning troll who survived largely because for most of his time on the channel there were 3 ops none of whom actually used their powers. 10:49:18 So I'm in #codez but I still have cheater on /ignore 10:49:56 I wonder what that'll do. 10:50:00 Maybe he'll ban me. 10:54:55 i don't believe in /ignore 10:56:03 I didn't either, but then he decided to take a particular dislike to me for some reason. 10:56:18 huh, odd 10:56:45 There were other conversations in the channel so I decided it would be reasonable. 10:59:48 the other day someone joined and asked about the most pythonic way to solve some problem 10:59:52 (cause that's a thing that happens apparently) 11:00:05 and cheater gave just about the most convoluted, un-pythonic solution you could reasonably pass off as serious code 11:02:22 i don't know if he was trolling, or just felt obliged to give some answer (even a bad one) immediately 11:05:35 i still don't get what the cheater fuss was all about 11:05:50 i'm way more annoying 11:09:04 -!- MDream has changed nick to MDude. 11:09:07 You're annoying in an amusing way. 11:09:32 :( 11:09:39 BUT I TRY SO HARD 11:10:04 so this #codez, is it like esoteric but without all that annoying programming stuff 11:12:32 haha 11:22:04 -!- itidus21 has joined. 11:45:03 -!- itidus20 has joined. 11:46:43 -!- ais523 has quit. 11:49:09 -!- itidus21 has quit (Ping timeout: 248 seconds). 11:49:25 -!- itidus20 has changed nick to itidus21. 12:21:25 kmc: is that a no 12:22:52 actually it seems to be like esoteric but without all that annoying anything. 13:50:34 -!- nooga has quit (Ping timeout: 265 seconds). 14:09:08 -!- nooga has joined. 14:09:36 -!- Taneb has joined. 14:09:37 Hello 14:19:20 -!- Lumpio- has joined. 14:19:21 huzzah! 14:19:37 Yo. 14:40:37 -!- Patashu has changed nick to Patashu[Zzz]. 15:20:55 @ping 15:20:56 pong 15:23:42 @iuher 15:23:43 Unknown command, try @list 15:23:49 @irti 15:23:49 Unknown command, try @list 15:23:53 @ahuis 15:23:53 Unknown command, try @list 15:24:09 -!- pikhq has joined. 15:24:43 -!- pikhq_ has quit (Ping timeout: 264 seconds). 15:26:14 -!- calamari has joined. 15:28:03 -!- Eli_ has joined. 15:29:48 -!- Eli_ has quit (Client Quit). 15:33:55 possible candidate for worst wikipedia page ever: https://en.wikipedia.org/wiki/Bound_property 15:34:26 -!- Taneb has quit (Ping timeout: 246 seconds). 15:35:42 an object lesson in how not to do a wikipedia article 15:37:49 maybe it's just me.. blood sugar could be low etc. 15:41:09 itidus21: bad, but not bad enough 15:41:33 not even interestingly bad, I think 15:49:33 i found it via the talk page 16:04:47 -!- Taneb has joined. 16:05:03 Hello 16:15:07 -!- Sgeo has quit (Ping timeout: 276 seconds). 16:50:22 -!- nooga has quit (Ping timeout: 265 seconds). 16:53:00 -!- oerjan has joined. 16:53:33 yay the housemates just moved out 16:53:47 * oerjan is hoping for at least some weeks of peace and quiet 17:24:28 -!- itidus21 has quit (Read error: Connection reset by peer). 17:29:11 -!- Frooxius|TabletP has joined. 17:33:53 -!- john_metcalf has joined. 17:40:31 oerjan, followed by the person who comes to collect rent 17:42:09 nah, that's transferred automatically 17:45:06 wtf is the example on that wikipedia page about 17:45:25 Which wikipedia page? 17:46:16 https://en.wikipedia.org/wiki/Bound_property 17:51:55 -!- zzo38 has joined. 18:04:20