00:01:29 Is it possible to derive the Applicative laws from saying (pure mempty) and (liftA2 mappend) form a monoid? (Note that the Applicative itself is not constrained, and that the types of these things are more general then what I specified here) 00:01:51 O, I missed one thing: Also that it is a Functor. 00:02:01 has to be assumed too 00:03:57 oerjan: hey is "What hath I wrought" valid. 00:04:35 no. 00:04:43 oerjan: how do i make it valid. 00:04:52 what have I wrought 00:05:03 -!- lifthrasiir has quit (*.net *.split). 00:05:03 -!- coppro has quit (*.net *.split). 00:05:03 -!- SimonRC has quit (*.net *.split). 00:05:04 -!- Zetro has quit (*.net *.split). 00:05:12 thx 00:05:15 -!- lifthrasiir has joined. 00:05:44 -!- Zetro has joined. 00:06:27 -!- coppro has joined. 00:06:27 -!- SimonRC has joined. 00:07:58 yw 00:13:59 -!- pikhq has joined. 00:14:15 -!- pikhq_ has quit (Ping timeout: 252 seconds). 00:16:12 -!- MoALTz_ has quit (Ping timeout: 244 seconds). 00:20:31 -!- MoALTz has joined. 00:20:57 -!- derdon_ has joined. 00:24:12 -!- derdon has quit (Ping timeout: 264 seconds). 00:28:23 oerjan: (the context is a certain answer to http://stackoverflow.com/questions/9745539/how-do-i-create-haskell-functions-that-return-functions. which one will become apparent if you read the page.) 00:36:50 O KAY 00:39:45 -!- oerjan has quit (Quit: Good night). 00:46:27 Is it ever useful that a continuation can form a ring? Is the free Alternative instance for continuations every useful? 00:49:14 yes. 00:49:50 or no. 00:49:51 one of the two 00:58:14 -!- zzo38 has quit (Remote host closed the connection). 01:01:20 i have a fairly dumb question to throw out there.. im wondering what sort of computational class i would have if programs consist of a sequence of optionally labelled lines: goto line and print text 01:02:58 so it would be like: 1:goto 10. 5: print world. goto 11. 10: print hello. goto 5. 11:undocumented end command 01:12:10 Something that can print a finite or infinite amount of text. I don't think printing counts as computation? 01:12:16 But maybe I'm missing something 01:12:39 Either it terminates or it doesn't, and it's easy to determine statically. 01:17:23 what 01:17:52 ??? 01:17:59 it's not really a computational class, because it always does the same thing 01:18:14 it doesn't accept/reject strings, or return values based on inputs, or anything like that 01:18:25 it's just a graph 01:19:14 we'd probably categorise it as [[Category:Finite state automata]]. 01:21:42 kmc, so do turing machines. 01:21:56 Well, unless the tape counts as input? 01:22:07 I thought turing machines start with blank tape 01:22:25 Although I guess that doesn't make sense. 01:24:08 nope 01:24:52 Turing machines accept/reject a string 01:25:24 the string is given as the initial contents of the tape 01:25:35 and the machine can enter an accept or reject state 01:26:11 or, you can talk about Turing machines implementing functions, in which case the input is the starting tape and the output is the final tape 01:28:07 Turing machines which accept/reject strings give you the computational classes R (recursive languages) and RE (recursively enumerable languages) 01:28:55 a language is just a set of strings 01:29:17 a language is in RE if there exists a TM which accepts all strings in the language 01:29:24 a language is in R if there exists a TM which accepts all strings in the language, and rejects all strings not in the language 01:30:41 -!- derdon_ has quit (Remote host closed the connection). 01:30:51 if the initial tape is always blank then you cannot use your TMs to define languages; however they are still interesting in other ways, for example deciding whether one halts is still uncomputable 01:32:13 in fact there is an alternative definition of RE which uses TMs that have blank input and a second write-only 'output tape' 01:33:22 in that formulation, a language L is RE iff there's some TM such that any string in L is eventually output by the TM 01:33:36 exercise: prove that the two definitions of RE are equivalent 01:33:58 thank you, professor kmc 01:36:17 when i said 'accepts all strings in the language' i should have also said 'and no others' 01:36:32 thelliott 01:38:02 thofessor kmc 01:38:24 thall 01:38:45 thion 01:39:08 thaxiom of choice 01:39:44 thod it's over 01:40:46 the lord 01:40:47 wait. 01:46:08 -!- Sgeo_ has joined. 01:51:10 -!- aloril has quit (Ping timeout: 250 seconds). 01:53:01 -!- Sgeo_ has quit (Read error: Connection reset by peer). 02:03:17 -!- Nisstyre has quit (Remote host closed the connection). 02:04:56 -!- aloril has joined. 02:07:33 -!- Nisstyre has joined. 02:25:26 Hexhiom of choice. 02:33:48 -!- cswords has quit (Quit: Leaving). 02:46:38 I was asleep for several hours and nothing happened Oo 02:47:23 pooppy: Nothing exists while you slumber. 02:47:28 We are merely your delusions. 02:49:13 oh ok 02:49:16 hi elliott 02:51:41 hi 03:01:29 halp! 03:02:43 what is the minimum value of x such that if i adversarily give you x of the n^2+2 "obvious" data about an n-category venn diagram, you can completely solve it? 03:04:07 define an 'n-category Venn diagram' 03:04:31 strike that n^2+2 part. that's too subjective. 03:05:48 coppro: a set of n finite sets in a finite universe where all the elements are indistinguishable except by which of these sets they are members of 03:10:46 so you have n sets 03:11:28 yes 03:11:30 call the set of these sets S 03:11:36 ok 03:12:19 what is the least x so that, given a function from P -> N, where P \subseteq P(S), defined by taking the size of the intersection of those sets, you can extend the function to be total on P(S)? 03:12:26 4 03:12:51 basically, yes 03:13:03 i was joking 03:13:07 2^n-n+1 03:13:15 how do you get that? 03:13:28 Because it's just a system of linear equations 03:13:55 And there are 2^n powersets, n of which contain a given set 03:14:04 no wait I can't count 03:14:06 lol 03:14:11 2^(n-1)+1 03:14:27 you can drop the +1 if you aren't considering the empty set 03:15:28 um. would keeping the +1 account for the elements in the universe that are in none of the sets? 03:15:43 aka "the set of all elements not in any set we care about" 03:16:17 this formula isnt jibing with the base cases i have 03:16:46 cuz it takes 6 to solve n=3 03:18:51 i'm having trouble visualizing the generalized system 03:22:12 -!- MoALTz has quit (Ping timeout: 244 seconds). 03:22:37 -!- zzo38 has joined. 03:23:12 hmm... how do you get that it takes 6 to solve n=3? 03:30:57 hmm i don't actually. 03:31:19 i have a problem where 7 are given 03:31:35 i would have guessed 2^n-1 as the formula based on that 03:32:53 so how did you get 2^(n-1)+1? 03:42:21 Found it: http://mdm4u1.wetpaint.com/page/5.1+Organized+Counting+with+Venn+Diagrams 03:44:19 2^n-1 is correct 03:44:29 -!- augur has quit (Remote host closed the connection). 03:53:53 -!- MoALTz has joined. 03:54:42 AAAAAAAAAAAA MY FACE IMPLODE 04:04:00 -!- MoALTz_ has joined. 04:05:36 -!- MDude has changed nick to MSleep. 04:06:38 -!- MoALTz has quit (Ping timeout: 244 seconds). 04:13:53 -!- augur has joined. 04:18:00 -!- MoALTz_ has quit (Ping timeout: 244 seconds). 04:18:43 -!- MoALTz has joined. 04:31:52 -!- MoALTz_ has joined. 04:34:33 -!- MoALTz has quit (Ping timeout: 244 seconds). 04:35:25 http://stackoverflow.com/questions/9740747/android-application-will-rock-the-world 04:49:14 -!- MoALTz__ has joined. 04:52:06 -!- Jafet has quit (Quit: Leaving.). 04:52:07 -!- MoALTz_ has quit (Ping timeout: 244 seconds). 04:55:12 -!- MoALTz__ has quit (Ping timeout: 244 seconds). 04:59:35 -!- MoALTz has joined. 05:13:12 -!- MoALTz_ has joined. 05:16:24 -!- MoALTz has quit (Ping timeout: 244 seconds). 05:16:57 -!- MoALTz has joined. 05:18:28 -!- MoALTz_ has quit (Ping timeout: 244 seconds). 05:29:25 tswett, elliott monqy update 05:35:12 -!- MoALTz_ has joined. 05:37:35 -!- MoALTz has quit (Ping timeout: 244 seconds). 05:43:56 -!- pikhq_ has joined. 05:43:59 -!- pikhq has quit (Ping timeout: 246 seconds). 05:45:23 Hello 05:45:54 hello 05:59:22 -!- asiekierka has joined. 06:18:38 -!- cheater_ has quit (Quit: Ex-Chat). 06:20:23 -!- cheater has joined. 06:56:47 -!- cheater has quit (Ping timeout: 246 seconds). 07:04:03 http://distractionware.com/games/flash/hexagon/ this is completely impossible 07:11:20 aaaargh 07:12:44 elliott: Can you make it so that people stop bringing up xmonad as an example of a Haskell project? 07:15:47 -!- cheater has joined. 07:17:21 shachaf: Why? 07:25:25 elliott: Because it's annoying. :-( 07:26:55 shachaf: Why? 07:35:08 * Sgeo wants examples of Common Lisp projects 07:35:53 1. 07:35:55 2. 07:35:56 3. 07:36:42 elliott, I suck at that game 07:38:17 Not as much as me. 07:38:22 I've got to like 20 seconds in. :( 07:54:20 http://esolangs.org/w/index.php?title=Golf&diff=24233&oldid=16338 sigh 07:58:58 :( 08:01:08 http://esolangs.org/wiki/Java%27 http://esolangs.org/wiki/Java%27%27 i don't want these to exist 08:01:51 why do they exist 08:04:33 Wait, what's the complain against generic superclass? (Except that Java's isn't actually effective due to not containing primitives) 08:04:52 Java'' is just nonsensical 08:05:35 Oh, without generics 08:06:05 Isn't that just called old Java? 08:07:33 I suggest merging the articles into a single article. 08:14:01 Then we'd have one article that's twice as bad! 08:16:28 -!- monqy has quit (Quit: hello). 08:18:09 elliott: But it would also be twice as good. 08:18:49 And you wouldn't have two articles like that. 08:20:46 shachaf: How good are you at that game? 08:21:02 What game? 08:21:12 Oh, hexawhatever? 08:21:19 Probably worse than you. 08:21:28 So you can feel happy about it. 08:30:05 :( 08:50:48 Aargh, now everything is rotating hexagonally in my mind. 08:53:35 shachaf: Did you know System.Random defines a monad? 09:06:01 elliott: Ꙭ 09:07:04 What. 09:09:16 DOUBLE MONOCULAR O 09:09:38 CYRILLIC SMALL LETTER DOUBLE MONOCULAR O 09:10:12 Or maybe that's CYRILLIC CAPITAL LETTER DOUBLE MONOCULAR O, the rather bizzare way in which I chose to determine it was rather silly 09:11:26 I pasted that character into another channel for no reason, THEN realized it could look like something other than eyes 09:17:27 elliott: WHY IS MY LAPTOP SO HOT 09:17:42 elliott: What steps could I have taken in the relatively recent past to avoid this problem 09:18:53 You know, I don't think the effort I put into responding to things shachaf says pays off. 09:19:14 shachaf, you could stop posting ASCII boobies? 09:19:42 (Note: Not actually intended to help with an issue of laptop heating) 09:20:03 "boobies"? Is Sgeo 3? 09:20:26 I have no idea why I chose that word. 09:20:51 I think the word is "eyes". 09:23:24 Is not ASCII, isn't it? 09:23:36 zzo38, indeed, it is not ASCII 09:23:40 zzo38: Extended ASCII 09:25:17 Wait, Rayman Origins is coming out for PCs? 09:28:21 -!- zzo38 has quit (Remote host closed the connection). 09:32:02 elliott: Is Typeable evil? 09:34:08 Are you evil? 09:34:30 elliott: Is Blizzard evil? 09:34:37 Is Wikia evil? 09:34:43 They put nasty always-online DRM in Diablo III. 09:34:49 Why, Blizzard? Whizzard? 09:49:14 -!- Phantom_Hoover has joined. 09:54:12 java's so stupid for not boxing primitives 09:54:21 instead they should have put 10 years of research into automatic unboxing 09:54:31 and then exposed the unboxed versions anyway because people neeeed speeeeed 09:55:50 They should have just boxed them. 09:55:52 kmc: Is that in response to anything in particular? 09:56:00 it's what GHC did ;) 09:56:11 kids these days, you have it so easy 09:56:15 After all, applets Swing would seal Java's reputation for slowness. 09:56:19 Boxed values in Haskell are very different from boxed values in Java. 09:56:25 So they could sacrifice unboxed primitives and not lose much in terms of speed rep. 09:56:32 back in my day every function had to start with a guard | x `seq` y `seq` z `seq` False = undefined 09:56:35 EVERY FUNCTION. 09:56:36 *applets and Swing 09:56:52 When was your day? 09:56:54 2007? 09:57:05 i started learning Haskell in 2006 09:57:21 Wow, what a dinosaur. 09:57:31 boxing serves a common purpose in Haskell and Java 09:57:34 2006 was 6 years ago. :-( 09:57:35 What? That's only one or two years earlier than me. 09:57:42 which is to enable polymorphism 09:57:45 elliott: What a dinosaur. 09:57:48 yes, i'm not actually an old-timer, it just amuses me to say such things 09:58:04 elliott and I first joined #haskell within a week of each other. 09:58:06 kmc must be like 7. :( 09:58:15 aiui you can't have an ArrayList for roughly the same reason you can't have an [Int#] 09:58:18 shachaf: No, you first joined #haskell in 2002, and are 28. 09:58:22 These are facts I know. 09:58:50 Apparently I was wrong. 09:58:50 but maybe these days ArrayList is secret code for ArrayList? 09:59:13 i know some automatic conversions were added in Java [1.]5 09:59:15 Just do what C++ did. 09:59:20 It's foolproof. 09:59:40 better fool, etc 09:59:59 elliott: nickserv says I registered on Freenode in 2004. 10:00:04 * shachaf is such a dinosaur. :-( 10:00:12 -!- tzxn3 has joined. 10:00:28 That's because NickServ reset in 2004. 10:00:33 You actually registered your nick in 2001. 10:00:37 FACTS I KNOW. 10:00:51 kmc: Anyway, Java should basically just have been Lisp instead. 10:00:54 Then it would have been good 10:00:56 of course 10:00:56 *. 10:01:11 it would be the Most Powerful Language ™ 10:01:34 Little-known fact: John McCarthy invented Java in 1957. 10:01:49 I just want to say that whoever came up with the <> syntax for C++ templates should, e.g. start a home for orphaned kittens or something. 10:01:56 If they want a good afterlife. 10:02:05 No, not a home. A hospital. 10:02:10 A hospital for injured, orphaned kittens. 10:02:14 Then he hid the manuscript describing it, which was only rediscovered by James Gosling in 1995. 10:02:16 john mccarthy richard nixon studebaker television 10:02:40 elliott: What's wrong with that syntax? 10:02:52 The only improvement they could make would be to add close tags at the end of a template definition. 10:03:07 elliott, did you know that interpreting >> as double close template rather than right shift can change a valid C++03 program into another valid program which does something different? 10:03:08 template struct Foo { ... } template; 10:03:42 kmc: So C++11 changed the meaning of existing programs? 10:03:46 shachaf: Because <> are The Ugliest Brackets. 10:03:52 Especially when nested. 10:03:55 think so, i doubt that's the only way either 10:03:55 Oh, you were being unserious. 10:03:56 Figures. 10:04:12 «» for template brackets! 10:04:14 std::cout << (Y>::c >::c>::c) << '\n'; 10:04:17 http://www.open-std.org/jtc1/sc22/WG21/docs/papers/2005/n1757.html 10:04:22 shachaf, nooooooo 10:04:45 kmc will need to find ever more esoteric quotation marks. 10:04:47 -!- pikhq has joined. 10:04:56 OK I am not going to put up with SMBC any longer. 10:04:56 Phantom_Hoover: You have 4 new messages. '/msg lambdabot @messages' to read them. 10:05:19 It is now STRUCK FROM MY SUBSCRIPTIONS 10:05:20 -!- pikhq_ has quit (Ping timeout: 272 seconds). 10:05:24 shachaf, 「i've always been fond of these」 10:05:47 shachaf, oh hey 「halfwidth」 10:06:24 That's halfway there! But I prefer: zerowidth 10:06:39 Hmm, that joke doesn't really work when you can't tell there are quotation marks around it. 10:06:40 i will use zero-width non-breaking non-space 10:08:28 kmc: Did you know you could put "typedef" almost anywhere in a type definition? 10:08:32 int typedef x; 10:08:41 great 10:08:44 struct foo { ... } typedef foo_t; 10:09:03 That latter one is actually a reasonable-looking syntax. 10:09:21 struct foo { ... } `typedef` foo_t; 10:09:27 Hmm. 10:10:08 * shachaf was trying to figure out a way to make Ruby accept that syntax but doubts that it's possible. :-( 10:10:28 -!- cheater has quit (Ping timeout: 252 seconds). 10:10:35 well, you got it to segfault, right? 10:10:42 just exploit the interpreter and monkeypatch the parsing routines 10:10:51 just exploit the interpreter and monkeypatch the parsing routines 10:10:59 shit, a glitch in the matrix 10:11:05 But the segfault doesn't happen in 1.9.3. :-( 10:11:11 submit a patch 10:11:28 kmc: By the way, your time is up. 10:11:34 Where should I go eat a burrito in SF? 10:12:07 http://maps.google.com/maps/place?hl=en&cid=13452708831306342560 10:12:40 also, were you the one who told me about Maru Ichi in Mountain View? 10:12:48 I mentioned it, at least. 10:12:52 Did you go? 10:12:53 (well, I think at least three people told me) 10:12:54 yes! 10:12:56 it was really good! 10:13:31 Did you have the kuro ramen? 10:13:36 think so 10:13:40 I hear it's very good. 10:13:49 Their one vegetarian soup is also good. 10:13:58 kmc: Did you know you could put "typedef" almost anywhere in a type definition? 10:13:58 int typedef x; 10:13:59 Are you serious? 10:14:31 elliott: "typedef" is a "storage class specifier" syntactically. 10:14:33 Like "const". 10:14:51 Er, not like "const". 10:14:53 int typedef const x; 10:14:55 Like "statuc". 10:15:00 s/u/i/ 10:15:36 Hmm. I'm going to be in SF Mon and Wed. 10:15:39 But 16th St. is a bit far. 10:15:42 what for? 10:15:48 you can ride the BART 10:16:08 True. I'll see how much time I'll have. 10:16:21 where in SF will you be? 10:16:29 const typedef int foo; 10:16:33 The typedef can't change. 10:16:37 elliott++ 10:16:48 Storage-class-specifiers are pretty much identical to type-specifiers, type-qualifiers and function-specifiers, syntactically, so "like const" is not so far off. 10:17:18 fizzie: You can't int (*typedef foo)(); 10:17:55 thank god 10:17:56 Yes, but that's not what I said. 10:18:02 "inline" is a function-specifier. 10:18:32 shachaf: But if you could! 10:18:34 But "const" *does* fit there. 10:18:48 kmc: Mostly pretty close to the 4th St. Caltrain, I think. 10:18:54 Which is my main reference point in SF. :-) 10:19:22 Ha, Americans. 10:19:32 'Driving directions to 16, Mission, TX 78572' 10:19:34 no, google 10:20:00 Ha, Americans. 10:20:02 THIS IS WHY FACEBOOK IS WINNING, GOOGLE 10:20:05 Ha, Americans. 10:20:07 Get your directions right. 10:20:14 Ha, Americans. 10:20:21 Hamericans. 10:20:30 shachaf, I would walk to Mission and take a bus on Mission 10:20:32 but i like walking 10:20:42 Ha, Americans. 10:21:02 however "32, cambridge ma" is useful 10:21:06 * shachaf doesn't mind walking. 10:21:09 Ha, Americans. 10:21:21 The question is whether I'll have enough time. 10:21:24 and it even gets the city name right! 10:22:02 Why is it that when I mark an email unread in Gmail, the Android Gmail client beeps? 10:22:05 Ha, Americans. 10:22:19 I don't need that notification, Android Gmail client. I just marked that email unread. I know about its existence. 10:22:25 Ha, Americans. 10:22:26 we all living in amerika 10:22:29 amerika ist wunderbar 10:22:51 ... 10:22:51 ... 10:22:53 Ha, Americans. 10:22:56 Dammit.That was only 10:22:59 meant tob e one ellipsis. 10:23:03 I cant computer 10:23:46 hello. 10:23:59 So I can make Ruby handle all of: uint32_t multiple, values; char string[12], val; uint32_t bit:1, fields:7; char matrix[256][256]; char *ptrs[5], byte, *ptr_matrix[8][8]; bool **ptr_to_ptr; uint32_t * ptr_array_with_whitespace[256]; char byte_arr_with_other_whitespace [256]; 10:24:20 monqy made another edit! Im so proude. 10:24:56 @tell monqy Well done , son . 10:24:57 Consider it noted. 10:25:00 kmc: What's the best train? 10:26:02 of them all? 10:26:06 Yes. 10:26:11 eep 10:26:15 i don't know 10:26:18 i am no train expert 10:26:31 the best train 10:26:33 is 10:26:41 the jumbo jet train 10:26:43 it can train 10:26:44 AND fly 10:26:55 it could be just going along happily training 10:26:55 kmc is no train expert⸘ 10:26:56 and then 10:26:59 lift up into the air 10:27:04 and find another railway to land on 10:27:06 My worldview is ruined. :-( 10:27:07 it could happen to you 10:27:11 Hey, who flipped my interrobang? 10:27:19 i feel as if my wisdom is not being appreciated here 10:27:20 ⸘How did that happen‽ 10:27:30 the first TGV was turbine powered 10:28:07 -- kmc "no train expert" kmc 10:28:33 elliott: kmc's last name is McAllister. 10:28:39 kmc "no train expert" McAllister 10:28:56 No. 10:28:58 It's kmc. 10:29:05 km"kmc"c 10:29:11 No. 10:29:13 kmc "kmc" kmc 10:29:25 #1=(kmc #1# kmc) 10:29:28 (Is that the right syntax?) 10:29:43 Common Lisp is never the right syntax. 10:29:49 yaml has syntax for that 10:29:58 YAML has syntax for everything. 10:30:00 Yes, & and * 10:30:23 YADGL 10:30:33 Did you know "YAML" originally stood for "Yet Another Markup Language"? 10:30:40 yes 10:30:50 shachaf is a YAML MVP. 10:31:00 employee of the month 10:31:02 He's got all the YAML facts. 10:31:22 elliott: I can't help it! I have YAML pushed on me by -- certain members of the YAML community. 10:31:31 the radical YAML agenda 10:31:46 they want to teach YAML in public schools 10:31:48 shachaf: Plural? 10:32:03 Did you know I once tried to make a Lisp dialect whose syntax was YAML? Spoiler: it didn't work out because YAML is terrible. 10:32:42 02ED7 CJK RADICAL YAML 10:32:45 oh, I could use ⸘‽ for quotes! 10:32:57 shachaf: You should tell those certain members that OGDL is way nicer. 10:33:08 elliott: Well, mostly just one of them. 10:33:59 Silly elliott, YAML is for data 10:34:12 OGDL isn't? 10:34:13 code is data, dude 10:34:15 It's even in the name. 10:34:17 Oh, the Lisp thing. 10:34:30 and codata is cocode 10:34:50 The "co" Desktop Environment. 10:35:01 kmc: *de 10:35:56 Did you know that smuggling weasels is illegal in 24 states, including Alaska, Hawaii and the Philippines? 10:37:52 shachaf: If you want, you can join #haskell. 10:38:03 elliott: If you want, you can ENLARG3 Y0UR MORTGAG3 QUICK AT xn--80afbi5amoq.info 10:38:09 Curses, you beat me to it. 10:39:01 shachaf: Hey, you're meant to report spam in #freenode, right? 10:39:05 I always forget how these things work. 10:39:22 I think you're meant to not care. 10:39:24 * Fifo2 (58d42422@gateway/web/freenode/ip.88.212.36.34) has joined #freenode 10:39:24 spammer in #haskell: raichoo: If you want, you can /join ##iPhoneFifo. 10:39:29 LOOK AT MY EXCELLENT TIMING. 10:39:35 APATHY will lead us to VICTORY 10:39:48 shachaf: But if I do this, then I sometimes get personal attacks from the spammers. 10:39:50 It's hilarious. 10:40:00 dist_man_MANS = mosh.1 mosh-client.1 mosh-server.1 10:40:02 moar mans 10:40:26 kmc: autowhatever should have a pluralization engine like Rails. 10:40:34 yes 10:40:38 dist_man_MEN 10:40:51 elliott: I'm NOT a spammer! 10:40:51 well... you asked someone to join your completely unrelated channel out of the blue... which is spam 10:41:02 My one mistake: 10:41:03 elliott: How exciting. 10:41:13 Spam is actually a canned meat product. 10:41:15 when I was in SF i saw a bird that looks like a duck and quacks like a duck but isn't 10:41:18 Now I don't even need to report spammers to deal with their complaints. 10:41:20 On this technicality Fifo shall ROAM FREE 10:41:20 (a duck) 10:41:35 kmc: Don't tell all the Ruby people there! 10:41:40 it was a coot! 10:41:41 elliott: Fuck you! 10:41:43 You're welcome, shachaf. 10:42:32 elliott, in PM? 10:42:35 i don't see it in logz 10:42:36 No, in #freenode. 10:42:40 ah heh 10:42:46 -!- oerjan has joined. 10:42:50 why would the spammer be in #freenode 10:42:57 They joined about 5 seconds before I reported it. 10:43:06 Guilty conscience, perhaps? 10:43:11 Maybe they're just trying to see how quickly they can get k-lined. 10:43:18 kmc: Wouldn't it be easier to keep a #haskell tab open than to look at logs? 10:43:23 i tried to get k-lined but all i got was this lousy t-shirt 10:43:26 I like that they said "hi" before spamming, though. 10:43:30 And waited for a reply. 10:43:33 Mighty considerate of them. 10:43:39 kmc: so you just got t-lined, then? 10:43:44 shachaf, that would reduce the energy barrier of replying to a dangerous level 10:43:46 /kline oerjan 10:44:01 a k-shirt might be something weird to wear 10:44:09 kmc: What if I set up a bot in here that lets you send messages to #haskell with a single command? 10:44:11 perhaps i should patch XChat to forbid sending messages to #haskell 10:44:13 Would you leave? 10:44:18 probably not 10:44:26 C++11 supports "for (int &x : array)"? 10:44:33 yes, it's the best 10:44:35 -!- cheater has joined. 10:44:38 I guess only for arrays whose length is known at compile-time. 10:44:41 kmc: What if I set up a bot in here that forwarded everything you say to #haskell? 10:44:43 works for iteratable things too 10:44:50 elliott, what if Fuck you! 10:45:08 * elliott hurt. 10:45:12 :( 10:45:12 * elliott report kmc to staffers. 10:45:20 elliott, if you want you can join #esoteric 10:45:26 If you want, you can /query kmc. 10:45:35 we can dance if we want to 10:45:36 Then you'll be talking TO YOURSELF. 10:45:52 Talking to yourself in /query is an interesting experience with somewhat high latency. 10:46:17 I take this to mean that shachaf regularly /queries himself. 10:46:24 Enough to notice the oddity of increased latency. 10:46:43 elliott: Little-known fact: I'm kmc. 10:46:56 I have to keep the /queries going so the NSA won't suspect anything. 10:47:20 # chmod 777 mosh-client 10:47:20 # ls -l 10:47:20 ----rwxr-x system sdcard_rw 5081976 2012-03-14 22:11 mosh-client 10:47:23 did i mention i hate android 10:47:37 The NSA: The most intrusive of the "A"s. 10:47:50 No, that'st he FBI. 10:47:52 *that's the 10:48:17 kmc: Does the Mosh exist for the Android? Or are you porting it? 10:48:21 porting it 10:48:24 kinda 10:49:14 kmc: Is this why you were writing ARM shellcode? 10:49:18 no 10:49:26 So, what is the Mosh? 10:49:33 https://github.com/keithw/mosh 10:50:24 More like: Mostly Shit. 10:50:28 burn 10:50:29 Or MoENTIRELY Shit??? 10:50:41 I do not like how it links to http://mosh.mit.edu which redirects back to the page itself. 10:50:45 That makes me want to hurt things. :( 10:50:55 you have a low anger threshold 10:51:09 It's the mosh that broke the camel's back. 10:51:11 Okay, that prediction thing is cool. 10:51:15 Where elliott is the camel. 10:51:25 Although the fact that line-editing is done remotely is just a flaw of SSH anyway. 10:51:41 i wouldn't blame SSH in general 10:51:44 in cooked mode, sure 10:51:55 but mosh's prediction works even in fullscreen curses apps 10:51:56 elliott: What I mean to say is: You're a camel. 10:52:10 I would've said that in another channel, except that... Oh. 10:52:14 kmc: Well, what I mean is that the entire SSH model is broken and everything is wrong and sucks, but I decided to focus my complaint. 10:52:24 if by 'SSH' you mean 'Unix' then sure 10:52:27 Yes. 10:52:33 Again, focus. 10:52:38 Does @ support SSH? 10:52:48 No. 10:52:59 Trick question: @ doesn't support anything 10:53:02 :'( 10:53:12 it supports the revolutionary @sec 10:53:34 @sec id 10:53:34 id x = x 10:53:35 I think I @told oerjan some things in the log. Maybe? 10:54:04 nope, that was yesterday 10:54:06 kmc: Can you help me reset my sleep schedule? 10:54:16 It's broken. 10:54:30 kmc: Anyway, I don't need mosh because I have a LOCAL ORAGNIC FARM-GROWN SERVER in my HOMELAND. 10:54:43 And I'm prepared to be UNBEARABLY SMUG ABOUT IT. 10:55:27 elliott@solidity:~$ sudo apt-get install mosh 10:55:27 [sudo] password for elliott: 10:55:27 Reading package lists... Done 10:55:27 Building dependency tree 10:55:27 Reading state information... Done 10:55:27 E: Unable to locate package mosh 10:55:31 It's not even in the Best Debian Release. 10:55:40 (That's woody.) 10:55:52 It is. You just need to use äpt-gët 10:55:57 By woody, I mean hamm. 10:56:01 hamm is the best Debian release. 10:56:05 What was Debian 1.0 called? 10:56:18 elliott: why are you doing mad-libs 10:56:20 There WAS NO DEBIAN 1.0 10:56:32 oerjan: What? 10:56:32 I'm pretty sure Potato was the best release. 10:56:57 "Debian 1.0 was never released: Accidently InfoMagic, a CD vendor, shipped the development release of Debian and entitled it 1.0. On December 11th 1995, Debian and InfoMagic jointly announced that this release was screwed." 10:56:58 Awesome. 10:56:58 elliott: kmc: Anyway, I don't need mosh because I have a LOCAL ORAGNIC FARM-GROWN SERVER in my HOMELAND. And I'm prepared to be UNBEARABLY SMUG ABOUT IT. 10:57:10 oerjan: That's an incredibly specific mad-lib template. 10:57:18 shachaf: OK, but Debian 1.1 was released. 10:57:21 buzz, apparently. 10:57:34 I was in #llvm on oftc recently. 10:57:48 That channel made me feel bad. 10:57:52 -!- nortti has joined. 10:57:55 Why? 10:58:11 Heh, Debian 1.1 didn't come out until after Ian Murdock stopped being project lead. An eventful career. 10:58:29 Their SIGNAL-TO-NOISE RATIO is so high that even asking my VAGUELY ON-TOPIC QUESTION decreased it. 10:58:48 apt only came out in 1999?! 10:59:11 shachaf: #haskell's signal-to-noise ratio isn't that bad right now! Admittedly, they're not talking about Haskell. 10:59:18 gaze__, hm, I am newbe in sound, five minutes ago I just used 6 parametrix EQs per a track with statically gained notes 10:59:18 gaze__, so If I coded a plugin, I did the same, without any analysis 10:59:18 I'd use the D vst api or the python one, and play with filters in matlab or something 10:59:20 Haskell. 10:59:26 now shachaf is doing mad-libs too. freaky. 10:59:29 I mean you could write a haskell vst api but haskell doesn't buy you anything here 10:59:33 Oblig. "other than on-topicality". 10:59:39 kmc must appreciate my #haskell commentary. 10:59:40 I know I do. 11:00:28 "Please, don't use plain String's (especially when you are processing >100m files). Just replace them with ByteString's" 11:00:29 oerjan: That was the point, yes. 11:00:29 *sigh* 11:00:54 Bonus from the code they suggest: " filename <- liftM getArgs" 11:01:09 shachaf: ah i guess i MISINTERPRETED it AS A COINCIDENCE 11:01:34 Wow, woody -> sarge took an awful long time. 11:01:45 Wait, not that long. 11:01:47 But longish. 11:01:54 just a CASE of bad GIRAFFE 11:02:15 -!- Jafet has joined. 11:02:28 elliott: You don't remember the time when Debian had a REPUTATION of never RELEASING? 11:02:44 I DO remember THAT TIME. 11:02:52 http://www.gnu.org/software/automake/manual/automake.html#Complete 11:02:55 Albeit I DIDN'T REALLY EXIST until AFTER IT. 11:02:57 zardoz_SOURCES = main.c head.c float.c vortex9.c gun.c 11:03:21 kmc: "Let's suppose you just finished writing zardoz, a program to make your head float from vortex to vortex." 11:03:27 No system is complete without a copy. 11:03:36 how else will you control the outlands 11:03:51 -!- oerjan has set topic: This is LIKELY the MOST IMPORTANT THING you will READ all SEPTEMBER: http://championofbirds.com/?p=4991 | http://codu.org/logs/_esoteric/. 11:04:07 zarday 3 5 2, twenty brutals exterminated 11:04:18 The Penis is evil! The Penis shoots Seeds, and makes new Life to poison the Earth with a plague of men, as once it was. But the Gun shoots Death and purifies the Earth of the filth of Brutals. Go forth, and kill! Zardoz has spoken. 11:05:10 the GNU project will touch-teach you 11:05:20 "KGlobal::locale::Warning your global KLocale is being recreated with a valid main component instead of a fake component, this usually means you tried to call i18n related functions before your main component was created. You should not do that since it most likely will not work" 11:05:49 zzo? is that you? 11:06:16 that's a bit more polite than gnome's usual "GObject: *** CRITICAL:: FATAL ..." 11:06:20 C++ didn't have "long long int" before C++11? 11:06:28 I don't know why these warnings are so enthusiastic! "Attempt to use QAction "view_projects" with KXMLGUIFactory!" 11:06:29 scrolling by at hundreds per second with no apparent consequence 11:06:32 kmc: I found a bug in mosh. 11:06:37 oh yeah? 11:06:41 It's written in C++. 11:06:45 * kmc rimshot 11:07:21 I do wonder if the GNOME people have ever thought to look into those critical errors. 11:07:42 Who cares about those critics. 11:07:58 haters gonna hate 11:08:21 CRITICAL:: FATAL mismatched parentheses 11:08:28 When I'm cloning something from GitHub, is there a reason to prefer https:// or git:// 11:08:34 I'm not quite sure what git: is, really. 11:08:51 Self-aggrandization? 11:08:58 Apparently git: has its own protocol. 11:09:02 shachaf: Just use the default one it presents you. 11:09:07 Which is https. 11:09:33 -!- azaq23 has quit (Read error: Connection reset by peer). 11:10:34 -!- asiekierka has quit (Ping timeout: 245 seconds). 11:10:34 shachaf: I have headache. 11:10:49 I am... in possession of headache. 11:11:01 how much headach 11:11:02 e 11:11:57 Too many to count! 11:12:23 kmc: Hey, you're in the mosh THANKS file. 11:12:27 Right after Richard Stallman. 11:12:58 * shachaf wonders whether kmc and nelhage are secretly the same person. 11:13:03 -!- MoALTz_ has quit (Quit: brb). 11:13:09 i think there's something weird about being next to richard stallman, but i cannot quite put my toe on it 11:13:25 -!- asiekierka has joined. 11:13:29 Phantom_Hoover: headache am uncountable noun 11:13:40 -!- MoALTz has joined. 11:13:57 #freenode is an interesting place. 11:14:10 That's not an invitation to join. 11:14:49 shachaf, why would we be the same person? 11:15:32 I was thinking of something along the lines of "have they ever been seen together", but in this case I guess you're always seen together. 11:15:33 QLayout: Attempting to add QLayout "" to QFrame "", which already has a layout 11:16:46 Wait, ./configure builds and compiles a separate C program for uint16_t and uint32_t and ... and ...? 11:16:54 yes, that's how configure works 11:16:56 Why can't it do a binary search? 11:17:14 kmc: I found another bug in mosh! 11:17:16 I mean, I'm not surprised that it does that, given that the lines are separate and come after the other. 11:17:21 s/af/one af/ 11:17:46 shachaf: you're assuming that all systems, if they have uint8_t and uint32_t, have uint16_t 11:18:08 kmc: It uses autoconf. 11:18:15 elliott, you're so helpful 11:18:16 If systems were like that, we wouldn't need configure scripts 11:18:17 Jafet: No, I'm assuming that you can test all of those at once, and then check them individually if one of them fails. 11:18:24 kmc: Let me know when they're fixed. 11:18:30 kk 11:18:38 http://mailman.mit.edu/mailman/listinfo/mosh-devel 11:18:39 Jafet: Some would say we don't. 11:19:14 kmc: Post troll messages to MIT mailing lists?! I'D BE LUCKY TO SURVIVE 11:19:51 RMS regularly trolls the MIT CS department list 11:19:57 Is it failure? I wonder how many programs even care what named unsigned word sizes are available 11:20:09 kmc: Yes, but he's immortal. 11:20:14 Also, *rms. 11:20:15 true 11:20:47 Are archives of that list publicly available? I mean, watching rms embarrass himself is always fun. 11:20:53 don't know 11:21:01 Jafet: The point is that if it needs the information and all four of those are available with overwhelming probability, can't it just do one check? 11:21:39 shachaf: Being reasonable is not an autoconf design goal. 11:21:46 Maybe I should implement that and submit a patch to autoconf. 11:21:55 Think of how much time would be saved waiting on ./configure scripts. 11:22:02 Yes. Then again, you're assuming optimizing tendencies of people who write programs that write shell scripts. 11:22:10 http://www.art.net/~hopkins/Don/text/rms-vs-doctor.html 11:22:17 shachaf: Hey, for Cygwin users that might actually help. 11:22:22 ./configure usually takes 30s there. 11:22:29 elliott: It takes too long everywhere. 11:22:33 kmc: Seen & read & tshirt-bought. 11:22:54 "Following your example, I might send the list an announcement whenever a new GNU program is written. That happens less often than babies are born, it does the world a lot more good, it reflects more conscious creativity and hard work, and some of the readers might actually find the information useful." 11:23:04 I wonder if rms has ever felt like an ass. 11:23:05 "Hundreds of thousands of babies are born every day. While the whole phenomenon is menacing, one of them by itself is not newsworthy." 11:23:09 i think i would buy that on a tshirt 11:23:42 [[ 11:23:42 Fuck you. -Paul Traina 11:23:43 No, thanks. I don't want to have children. -RMS 11:23:43 good -Peter Shipley 11:23:43 ]] 11:23:57 I must avoid reading the original messages behind these summaries. 11:24:00 It would ruin them. 11:24:14 i mean, he's not wrong that babies are overrated 11:25:10 So's TV; that doesn't make Area Man any less annoying. 11:25:19 yeah 11:27:22 -!- MoALTz has quit (Ping timeout: 244 seconds). 11:27:51 -!- MoALTz has joined. 11:29:47 -!- pikhq_ has joined. 11:30:13 -!- pikhq has quit (Ping timeout: 264 seconds). 11:30:55 This thing keeps complaining to me. 11:30:59 "Application asked to unregister timer 0x72000001 which is not registered in this thread. Fix application." 11:31:16 :D 11:32:03 http://www.bbspot.com/News/2003/01/os_quiz.php 11:35:31 "You are Apple Dos. Simple and primitive with a good understanding of the common man. You're still a work in progress, but a good start." 11:37:52 I got TRSDOS in 2003. 11:38:00 Maybe I should retry to see if it has changed. 11:38:15 Incidentally, mooz was Windows 95 then. :p 11:38:43 And there were two other TRSDOSes on the channel where it was discussed. 11:39:12 Because I am not completely sure about some questions I also sometimes get OS/2 11:39:19 Well, Windows 95 is the perfect operating system, you know. 11:41:17 http://www.bbspot.com/Images/News_Features/2003/01/os_quiz/windows_95.jpg 11:41:19 See. 11:41:20 Told you. 11:41:56 elliott: Incidentally, the very next comment from him after "arg, I'm windows 95" was about Slaves to Armok. 11:42:20 <@mooz> most people would implement the turning of gargoyles into stone in daylight by adding a condition 11:42:23 <@mooz> in armok one makes the gargoyle skin material react with sunlight 11:42:43 fizzie: Oh, I didn't interpret that as quiz talk at all. 11:42:56 I thought you meant you acquired (and presumably started using) TRSDOS in 2003. 11:42:59 And mooz used Windows 95. 11:43:04 Oh. No. 11:43:04 And two other people in the channel used TRDOS too. 11:43:14 In retrospect, that's... not the most likely thing. 11:43:27 But, I mean. 11:43:28 Finland. 11:44:11 land of snow, knife fights and killer robots 11:44:18 PathFinder's ping style is awesome. 11:44:41 elliott: What? 11:44:53 See #haskell. 11:45:03 Oh. 11:45:19 so apparently I'm windows 95 11:45:20 elliott: I have used Amiga Workbench 1.3 as my main os in 2009 and I propably could use Apple DOS as my main os. 11:45:25 If you want, you can /join #haskell 11:45:38 Oh, today I'm Apple DOS 3.1. 11:45:49 nortti: Amiga in 2009? 11:45:57 nortti: You're hardcore. 11:46:05 Chris would be proud. 11:46:06 "Told U I was" 11:46:17 elliott: What about DOS in 2010? 11:46:46 s/U/u/ 11:47:00 If Amiga is hardcore, DOS is dubstep. 11:47:22 ... ./configure "checking whether build environment is sane" takes such a long time because it has a "sleep 1" in it. 11:47:37 shachaf: No, it's just a really intense sanity test. 11:47:52 ./configure, psychlogist 11:48:24 if it doesn't drive you crazy, you're definitely sane 11:48:57 I got Windows 95 when I answered the least likely choice for me. 11:50:53 Did you know I once used Windows 95 as my only OS for ~a WHOLE WEEK? 11:51:34 shachaf: Did you read about cmccann's iteratee-thing? 11:51:35 Did you know I once used Windows 95 as my only OS for ~a WHOLE LONG TIME? 11:51:42 And I was so excited about Windows 98. 11:51:50 Do you know what exciting features Windows 98 had? 11:51:56 Windows 98 was like Windows 95 except terrible. 11:52:10 elliott: I used Windows 95 as my only os for a year. After that I started using MS-DOS with DOSSHELL 11:52:18 I had fun with win 3.1 11:52:20 elliott: Windows 98 had the exciting Quick Launch bar! 11:52:23 it was in 2004 11:52:57 The only good thing about DOS is BASIC. 11:53:03 elliott: Windows 98 Hebrew Edition also reversed a bunch of things, so that the Close Restore Minimize buttons were on the left side and the Start Menu was on the right side. 11:54:08 http://he.wikipedia.org/wiki/%D7%A2%D7%9E%D7%95%D7%93_%D7%A8%D7%90%D7%A9%D7%99 11:54:12 i got qbasic 1.0 including nibbles.bas and gorilla.bas with dos (like everyone, i know) 11:54:14 elliott: It is also fucking fast on hardware where Win95 crawls 11:54:19 i had a lot of fun with that 11:54:20 RTL languages are terrifying. 11:54:55 i found the code of nibbles and gorilla to be too difficult to understand though 11:55:02 shachaf: didn't answer my question. :( 11:55:05 s/:// 11:55:23 elliott: What question -- oh. 11:55:25 Iteratees? 11:55:30 I don't read about iteratees. 11:55:31 I got QBASIC 1.1 with DOS and installed Borland C++ 3.1 afterwards 11:55:35 shachaf: They're not iteratees, though! 11:55:39 shachaf: It's just linear logic. 11:55:48 Except variables represent streams. 11:56:02 And negation turns outputs into inputs. 11:56:09 Sounds CRAZY. 11:56:12 i eventually got given turbo pascal 6 11:56:14 Maybe I should read it. 11:56:42 e.g. Stream (In a `Join` Out b) is a length-preserving (== always outputs one after reading one) transformation from streams of as to streams of bs. 11:56:47 itidus21: is turbo pascal really as fast as they say 11:56:50 i started trying to do stuff with egavga.bgi graphics library but it was so unbearably slow the way i was using it 11:56:54 But Stream (In a `Or` Out b) can read and write according to its own whims. 11:57:08 (Stream (In a `Or` Out b `Or` Run m) is Pipe, supposedly.) 11:57:19 Also you can zip them and things??? 11:57:32 nortti: i wouldn't know. i'm just here in #esoteric as a tourist from newbie island 11:57:32 I got Borland C++ 4.52 on one of them CDs they used to tape onto the covers of PC magazines. 11:58:27 fizzie: oh yeah.. i got something like that too once was excited too.. but somehow disc got lost or something. 11:58:40 I actually learned programming by reading trough my father's old programs written in C when I was 8. 11:59:09 I learned programming when I was 8 too 11:59:12 *too! 11:59:15 Except that was in 2004. 11:59:50 elliott: I lerned it in 2005 11:59:50 i had a train wreck of a time learning to program.. many would say i never learned :D 11:59:51 Actually, I wonder if I still have that disc. I seem to have "PC Plus SuperCD no. 43b" with full PartitionMagic 2.0 on it. It's worth £80! 12:00:05 nortti: Oh. Not another person younger than me. 12:00:11 There's too many of you now; I feel old. 12:00:23 I was here when I was 11, you whipper-snappers! 12:00:26 :( 12:00:39 fizzie: why is it worth so much? 12:00:55 elliott: don't worry, you can borrow my cane 12:01:00 Thank you. 12:01:10 Ooh, truespace. "The legendary 3D package complete and unrestricted. As sold for £550." 12:01:18 (This is the July 1998 SuperCD.) 12:01:48 elliott: I LEARNED PROGRAMMING in Q4 2011 12:01:49 SO THERE 12:01:56 Actually I still don't know programming. 12:02:00 "The brand new SuperCede for Java Standard Edition is the fast way to create your own powerful JDK 1.1 applications for the Web. Worth £99 (provisional price)" 12:02:11 Man, I've got like £thousands worth of stuff here. 12:02:31 What's a £ worth these days? 12:02:38 $NaN 12:02:54 fizzie: i recall some article talking about treasure chests in java games 12:03:13 Hey, I've got both trueSpace 1.0 on this SuperCD and trueSpace 3/SE on another. 12:03:42 i cant quite recall if that was the same magazine i got some kind of c++ with.. also some article about expert systems comes to mind 12:03:54 fizzie: Can I have your seedies? 12:04:10 I can't find the Borland. :/ It was probably not in a jewel case so it's in some big pile of those. 12:04:12 maybe i was in hospital or something at the time so they got me magazines 12:04:20 The best way to learn Haskell is to read http://learnyouahaskell.com/ 12:04:56 What. 12:05:12 hmm, so system32 has 64-bit binaries and syswow64 has 32-bit ones 12:05:24 elliott: "Home Page: This is the complete commercial HTML editor from Claris. It will enable you to create your own WWW site pages without ever needing to know a single HTML tag." 12:05:58 Someone's also bundled an IE4 beta for Windows 3.1 on this. 12:06:07 this old mag claims the cd contained: webgenie shopping cart professional 2.09a valued at 750AUD 12:06:25 fizzie: I WANT IT. 12:06:30 One of those things had a £345 "personnel management" software. 12:06:53 A 30-day trial of "Klik and Create"! Great stuff. 12:06:59 olsner: What would you expect? 12:07:21 oh i see.. i had pc plus may 98 12:07:27 cd is guaranteed to be gone 12:07:44 Hey, I have PC Plus July 98 here. 12:07:46 but the mag is here in bad nick :D 12:07:54 Man, 1998 was the year. 12:08:00 elliott: Remember 1998? 12:08:16 includes c++ builder stuff 12:08:20 Yes. 12:08:32 I got a computer. I think I watched some tennis. 12:08:39 I remember very little of my early life. 12:08:43 Hmm. 12:09:06 Jan 98, Oct 97 SuperCDs are also here. But not May 98. Wonder where that's went. 12:09:10 c++ builder as sold for 80 pounds >.< 12:09:27 curse them and their cheap compilers 12:09:49 ooh dance ejay 12:09:57 CD-ROM Today, December 1995: "[8] Endorfun (Win): Subliminal messages? See what all the fuss is about." 12:10:01 Oh, I remember this. 12:10:08 There was even an article in one of the Finnish magazines. 12:10:13 thats probably why this cd got taken.. cos it had dance ejay on it 12:10:34 http://en.wikipedia.org/wiki/Endorfun -- Wikipedia remembers it too, but not the "controversy", really. 12:10:37 elliott: imagine if you had gone with the tennis instead of the computers 12:10:48 They were all "computer DRUGS oh no" about it. 12:10:59 It wasn't exactly fun to play, I think. 12:11:59 And there's "Klik & Play", the precursor of "Klik & Create", I think. 12:13:32 in this world, elliott does computers, and the world gets destroyed by his evil AI. in that other world, elliott does tennis, and the defenseless world is destroyed by invading aliens. 12:13:44 or maybe he beats them with a megaracket. 12:14:19 That reminds me of that comic. 12:14:33 You know the one. 12:14:34 comic? 12:14:38 everything is elliott's fault 12:14:41 not on the spot 12:15:54 I bet fizzie knows it. 12:15:57 olsner: Oh, I ended up doing what you suggested, an in-browser gcolor that just doesn't bother about sharing the results. But it uses Flickr for images, so the results are also worse; Flickr isn't so good about ranking by relevance. Anyway, http://zem.fi/misc_fcolor.html -- hasn't been tested much. 12:16:10 -!- Taneb has joined. 12:16:26 > iterate (\x -> 1 + (1 / x)) == (sqrt 5 + 1) / 2 12:16:27 No instance for (GHC.Float.Floating [a]) 12:16:27 arising from a use of `GHC.Floa... 12:16:29 i think i have read very little superhero comics since the 80s 12:16:35 > iterate (\x -> 1 + (1 / x)) ! 38== (sqrt 5 + 1) / 2 12:16:35 Couldn't match expected type `GHC.Arr.Array i e' 12:16:36 against inferred t... 12:16:40 > iterate (\x -> 1 + (1 / x)) !! 38== (sqrt 5 + 1) / 2 12:16:41 Couldn't match expected type `[a]' 12:16:41 against inferred type `a1 -> [a1]' 12:16:41 if that's the genre involved 12:16:45 > iterate (\x -> 1 + (1 / x)) 1 !! 38== (sqrt 5 + 1) / 2 12:16:46 True 12:16:53 Hello 12:17:02 I've just understood infinite fractionny things 12:17:26 fizzie: I still demand a web interface to the real thing. 12:17:47 The animation is nice though. 12:17:54 Except I searched for "poop" so I can't watch it. 12:18:05 oerjan: This one: http://www.kiwisbybeat.com/minus37.html 12:18:11 I'll put a CGIfication of actual gcolor on the to-do list. 12:18:46 WE CANNOT DO A THING! PROBABLY! 12:18:46 fizzie: CGI? You are so "old schoole". 12:18:53 fizzie: Make sure it has ALL THE FEATURES I demanded! 12:19:45 elliott: oh right, i remember it was linked from SROMG 12:20:13 (it was part of the "sounds like minus" meme) 12:20:14 -!- tzxn3 has quit (Read error: Connection reset by peer). 12:20:14 after about 1/4th of the images analyzed, the color of fizzie is apparently #916756 (brown) 12:21:14 fizzie: Can you make it make a bleep noise when it's done so I know when it's safe to observe the poop? 12:21:22 > fix (\x -> 1 + (1/x)) :: CReal 12:21:26 mueval-core: Time limit exceeded 12:21:27 :( 12:21:56 INSUFFICIENTLY LAZY 12:22:15 i guess you need some range restriction for convergence 12:22:35 but can CReal do that 12:23:31 > fix (\x -> abs $ 1 + (1/x)) :: CReal 12:23:35 mueval-core: Time limit exceeded 12:23:48 i'm sure _that_ could have worked in theory. 12:24:01 in theory. 12:24:06 but that CReal sucks. 12:24:08 try Few Digits. 12:24:15 what? 12:24:40 "what?"? 12:25:51 oerjan: hjalp 12:25:54 what's Few Digits 12:26:11 http://r6.ca/FewDigits/ 12:26:16 the better CReal library :P 12:27:07 "Currently the show throws an error." 12:27:52 oerjan: it has a function to show to # digits... 12:29:37 elliott: It'll leave the last poop image on the analysis display, though. 12:30:37 fizzie: Thankfully it was a smiley poop. (Why don't you have a link trail?) 12:31:30 http://ompldr.org/vZDF4cw 12:31:37 Smiley poop. 12:31:45 #906b4d is a very poop colour. 12:32:09 'poop' is a good search, since most of the "returns all kinds of images" searches end up brown. 12:34:23 Phantom_Hoover: http://math-classes.org/ 12:43:00 -!- Taneb has quit (Ping timeout: 260 seconds). 13:01:55 -!- MoALTz has quit (Ping timeout: 244 seconds). 13:02:02 elliott, I don't need math classes :| 13:03:02 fizzie: DYK the colour of zem is #805548? 13:03:05 Phantom_Hoover: But Coq! 13:03:26 but elliott i already know all the maths 13:03:50 ok what am collatz 13:06:34 formal diagrams get pretty ugly pretty fast 13:08:14 I K it now. 13:08:15 maybe this is the primary indicator i cannot understand a diagram 13:13:54 All I K is I K nothing. 13:17:06 one area i especially struggle in computation models is having an intuitive sense of what is reasonable and unreasonable uses. 13:17:43 like the "rain man" is unreasonable at counting. 13:18:58 and i know that many things are unreasonable to do with a turing tarpit. but at the same time haskell isn't a turing tarpit 13:19:25 even lisp isn't from what i can infer 13:19:52 itidus21: why? 13:20:41 because the thought of sitting down to actually study really really offends me 13:21:49 i need to use some form of casual self therapy to become a student 13:24:43 a few weeks ago i read the first 30 pages of war and peace (in english of course).. i'd once read the first 12 before 13:25:42 by the end of it i was just feeling tense 13:26:47 but i don't think it is anything to do with the book itself 13:27:12 -!- FireFly has quit (Excess Flood). 13:28:56 one option on the table is to watch video lectures :-D 13:29:18 -!- pikhq_ has quit (Ping timeout: 244 seconds). 13:29:18 -!- pikhq has joined. 13:29:39 i have a link someone posted somewhere which led me to some but havent tried em yet 13:41:23 -!- MSleep has changed nick to MDude. 13:50:12 -!- pikhq_ has joined. 13:50:19 -!- pikhq has quit (Ping timeout: 246 seconds). 14:01:28 fizzie: http://www.youtube.com/watch?v=QaPm_SFJnpY 14:01:33 fizzie: Please explain yourselves, Finland. 14:05:02 There was some sort of an issue about Hevisaurus, something related to the record label company, I think they lost their case quasi-recently. 14:05:22 "In early 2011, the founder of the band, Mirka Rantanen, got into a disagreement with the band's record label Sony Music. Because of this, Rantanen and three other band members belonging to the band's live assembly founded a new band called Sauruxet, which has continued making children's power metal music with the original concept and nearly identical artist names. The band Hevisaurus keeps ... 14:05:28 ... its lead singer, its producers and the original stage costumes." 14:05:34 Something about the newer band not being able to use the old characters. 14:05:52 Anyway I'm not sure what's there to explain. 14:06:03 It's not a real metal story until someone gets killed. 14:06:08 -!- oerjan has quit (Quit: Tinisaurus). 14:06:09 Them's the rules. 14:06:33 Also, the thing to explain would be why your children's bands are metal-playing dinosaurs. 14:06:49 Dinosaurs are heavy, aren't they? 14:07:21 "The usual heavy metal fan may not be a five-year-old girl in pigtails, but she is typical of hardcore following of Hevisaurus, a metal band that has hooked the kiddie crowd in Finland. 14:07:25 The group, which rocks on about homework and monsters, played its first gig, a charity event, only last September but its fan base of mainly five-to-seven-year-olds has grown rapidly." 14:08:26 It all started a few years ago when Rantanen attended a children's concert with his own kids, now five and 11. 14:08:26 "What if I started making music for kids?" he thought. "What if it was heavy metal, since that's what I've been doing for 25 years?" 14:08:34 I see not much thought went into this thing. 14:10:01 "“I’m a kind of 1980s relic. You could call me a dinosaur,” said Rantanen, now better known as an Apatosaurus called Komppi Momppi." 14:10:41 "“It’s the best because it’s heavy,” said five-year-old Rico, who attended a packed concert in the southern city of Haemeenlinna wearing a Hevisaurus sweater and hat, and waving a Hevisaurus flag made by his dad." 14:10:47 Well, I think that makes sense. 14:11:39 I admit, the logic is impeccable. 14:14:59 Before reading the context, I thought the quote about Rantanen was a joke. 14:15:17 Like, he says, "Oh, I'm really old, you could call me a dinosaur," and so suddenly everyone does. 14:15:52 That would be funnier. 14:29:28 -!- MoALTz has joined. 14:37:02 -!- cheater has quit (Ping timeout: 272 seconds). 14:44:45 fizzie: Hey, what should I name a CSS class meaning "all
 children of this won't have the ugly border"?
14:45:45  class="allprechildrenofthiswonthavetheuglyborder"
14:46:03  THX
14:46:15  That's the audio thing.
14:47:09 -!- Taneb has joined.
14:48:43 -!- Phantom_Hoover has quit (Remote host closed the connection).
14:50:16  Hello!
14:50:39  hi
14:50:54  @pl \xs f -> concatMap (\(a,b) -> map (\(x,y) -> (a*x,y)) (f b)) xs
14:50:54  (. ((`ap` snd) . (. fst) . flip ((.) . map . (`ap` snd) . (. fst) . ((,) .) . (*)))) . (>>=)
14:50:58  Yay
14:51:29  @pl \xs f -> concatMap (\(a,b) -> map (first (a*)) (f b)) xs
14:51:29  (. ((`ap` snd) . (. fst) . flip ((.) . map . first . (*)))) . (>>=)
14:51:45  @pl \xs f -> concatMap (uncurry $ \a b -> map (first (a*)) (f b)) xs
14:51:45  (. (uncurry . flip ((.) . map . first . (*)))) . (>>=)
14:52:00  Beautiful.
14:52:15  @pl flip $ \f -> concatMap (uncurry $ \a -> map (first (a*)) . f)
14:52:16  (. (uncurry . flip ((.) . map . first . (*)))) . (>>=)
14:52:40  @pl concatMap (uncurry $ \a -> map (first (a*)) . f)
14:52:40  (uncurry ((. f) . map . first . (*)) =<<)
14:53:39 -!- Phantom_Hoover has joined.
14:54:18  "hoogle first
14:54:22  Aaah keyboard
14:54:27  @hoogle first
14:54:27  Data.Monoid First :: Maybe a -> First a
14:54:28  Data.Monoid newtype First a
14:54:28  Control.Arrow first :: Arrow a => a b c -> a (b, d) (c, d)
14:55:15 -!- Taneb has quit (Read error: Connection reset by peer).
14:59:15  Deewiant: You're a CSS line-wrapping wizard, right?
14:59:34  Nope
15:00:08  Deewiant: What!
15:00:12  Deewiant: Which Finn is an expert in that?
15:00:46  Beats me
15:02:23  Deewiant: All I want is visible indicators of wrapping. :(
15:03:38  http://blog.iany.me/2012/02/css-line-wrap-indicator/
15:03:59  Deewiant: OH WELL AREN'T YOU FANCY.
15:04:10  Bourgeois scum!
15:04:16  Deewiant: "First, the code block in pre must be split by lines and add markup so that CSS can be applied."
15:04:26  Yeah, of course it's trivial if you do that.
15:04:36  In other words, you can't do it.
15:04:40  MediaWiki doesn't give me that choice.
15:04:54  Deewiant: Eh? A proof of a weaker statement doesn't mean the stronger statement is false.
15:05:01  It just means the blog author wasn't smart enough to come up with one.
15:05:08  *a proof
15:05:31  When my hunch and the first google result match, it's true.
15:06:23  Deewiant: How does that result match with a disproof?
15:06:31  "must" is in the context of describing one particular technique.
15:06:34  Yes, it must be done for that code to work.
15:08:07  http://www.w3.org/TR/selectors/#selection
15:11:36  I wonder if "p :not(:first-line) :first-line" will work.
15:13:25  Sigh, nope, because it's a "pseudo-element"
15:14:08 -!- cheater has joined.
15:14:18  Deewiant: What did you google for, FWIW?
15:15:13  https://encrypted.google.com/search?q=css%20line%20wrapping%20indicator
16:04:26 -!- Tiktalik has quit (Ping timeout: 272 seconds).
16:14:26  anyone here familiar with engraving music?
16:15:39  INTENSELY.
16:15:45  excellent
16:16:17  I have a triplet where the first two notes are tied. Should I engrave this as a quarter note and an eigth note under the triplet, or two tied eighths and a third eighth under the same bar?
16:16:36  Five hams and a quart of rum.
16:16:46  RocketJSquirrel: You can answer!
16:16:52  Doesn't LilyPond have an answer?
16:16:56  I hear LilyPond is good.
16:17:03  I'm using lilypond
16:17:21  but it just engraves what I tell it to
16:17:22  coppro: Quarter and eighth under the triplet. Tying is gross unless absolutely necessary. You can always put a bar under the '3' if it's unclear.
16:17:34  RocketJSquirrel: Thanks
16:17:38  (I think I agree)
16:17:45  I still think you should go with four hams and a quart of rum.
16:17:53  You can add a footnote to clarify your meaning.
16:18:15 -!- tikfreenode has joined.
16:18:33  RocketJSquirrel: Just since I feel like asking: do you consider tying across a bar to be a necessity versus putting a note whose duration is longer than the rest of the measure?
16:18:53  That case I consider necessary, yes.
16:19:02  Ok, good.
16:19:12 * coppro stabs everyone who thinks otherwise
16:19:15  In the list of horrible sins, notes implicitly going over barlines is worse than ties X-D
16:19:16  with a flute
16:20:56 * coppro now has a good melody
16:21:03  or four bars of one, anyway
16:21:42  More like a good MAMMARY.
16:21:47  featuring an infinite sequence of notes, each with duration 2/3rds of a beat less than the previous
16:21:57  aww, elliott discovered hormones
16:24:19  coppro: It's not my fault "melody" has like NO words that sound vaguely like it.
16:24:27  Anyway, more like I just discovered MORMONS.
16:36:15 -!- derdon has joined.
16:39:35 -!- MoALTz_ has joined.
16:40:28 -!- MoALTz has quit (Ping timeout: 248 seconds).
16:47:10 -!- asiekierka has quit (Remote host closed the connection).
16:47:32 -!- asiekierka has joined.
16:50:53 -!- MoALTz__ has joined.
16:52:52 -!- MoALTz_ has quit (Ping timeout: 244 seconds).
16:53:21 -!- asiekierka has quit (Remote host closed the connection).
16:53:37 -!- asiekierka has joined.
16:59:46 -!- asiekierka has quit (Remote host closed the connection).
17:00:02 -!- asiekierka has joined.
17:02:34 -!- asiekierka has quit (Remote host closed the connection).
17:02:48 -!- asiekierka has joined.
17:06:54 -!- asiekierka has quit (Remote host closed the connection).
17:06:56 -!- MoALTz_ has joined.
17:10:04 -!- MoALTz__ has quit (Ping timeout: 252 seconds).
17:10:08  kmc: You know how you asked if #haskell got better in your absence?
17:10:39  kmc: It didn't, it got worse.
17:11:01  Someone asks how to get a UTCTime out of an IO UTCTime, someone suggests unsafePerformIO
17:13:05 -!- Taneb has joined.
17:13:43  Hello
17:13:58  I've got the start of a new esolang formulating
17:14:15 -!- coppro has quit (Ping timeout: 240 seconds).
17:14:38  hello
17:14:47  By which I mean I've got all the commands in some sort of format that only makes sense to me
17:15:24  Then document it in a way others can unterstand?
17:15:28  Now I just need to decide whether the memory word should be 4-bit or 8-bit
17:15:30 -!- coppro has joined.
17:15:31  NEVER
17:16:23  By which I mean SOON
17:16:35  I think it's Turing-complete
17:17:33  Hang on, I don't need all these commands
17:18:34  Bye
17:18:36 -!- Taneb has quit (Quit: Goodbye).
17:18:41  o_O
17:19:33  mroman: Taneb is always like that.
17:19:45 -!- asiekierka has joined.
17:19:48  We have an adequate supply of crack to help you keep pace.
17:20:55  No thanks ;) @crack
17:22:24 -!- asiekierka has quit (Client Quit).
17:22:45  I'm on a Common Lisp kick, how do I get my mind in Haskell mode.
17:22:55  Although what I really want is utterly demented Haskell mode.
17:23:32  Less braces.
17:23:36  more pure.
17:23:46 -!- asiekierka has joined.
17:23:55 -!- asiekierka has quit (Remote host closed the connection).
17:24:00  *brackets
17:24:03  Sgeo: Common Lisp sucks. Haskell doesn't suck as much.
17:24:07  Hope this helps.
17:24:08  whatever you call (
17:24:15  mroman: Parentheses.
17:24:20  Damn :(
17:25:05 -!- asiekierka has joined.
17:26:38 -!- MoALTz__ has joined.
17:27:07  "Haskell is a strict, imperative, strongly-typed language."
17:27:15  Wait, strict?
17:27:16  Blargh
17:27:27  Wait, imperative?
17:27:28  Blargh
17:27:36 * Sgeo fixes strict with "eager"
17:27:46  What?
17:27:47  Haskell is not eager.
17:27:51  Haskell is no way eager.
17:28:00  Bet I can fake it
17:28:04  Haskell is the laziest guy I know. Seriously, such a drain-on-societys-resources.
17:29:30 -!- MoALTz_ has quit (Ping timeout: 252 seconds).
17:29:44  Also, I'm wondering if I should replace "strongly-typed" with ... well, dynamically typed is still not necessarily weakly typed.
17:29:47  List of ways Common Lisp sucks: (1) Terrible standardisation (basic facilities such as threading and networking are unportable and have to be abstracted behind numerous APIs); (2) Packaging situation might even be worse than Haskell's; (3) Baroque warts of complexity lying around (yes, Haskell has them, but far fewer); (4) Namespace upon namespace without any orthographic distinction (like Haskell's initial capitals) making a huge mess out of thi
17:29:47  ngs (e.g. if you name a variable "list"); (5) Sub-par static checking
17:30:09  (7) Fairly stagnant community, esp. as far as new general-purpose libraries goes, esp. "outside-world" interfacings tuff
17:30:30  (8) All the usual language flaws of impurity, wimpy type system, etc.
17:30:37  (9) More I've surely forgotten.
17:31:37  Oh yeah, (10) Unsafe/difficult-to-use/error-prone/ugly macro system
17:31:50  defmacro!!
17:32:10  Although Haskell has Template Haskell.
17:32:14  (11) LOOP and FORMAT, 'nuff said.
17:32:23  Which is kinda not-understandable at all.
17:32:31  Template Haskell isn't all that difficult.
17:32:48  It's poorly explained
17:33:00  That's true.
17:33:04  Anyways, I'm just doing Haskell stuff until a certain date
17:33:12  What happens after that date?
17:33:17  I'm still preferring Common Lisp, but this project only makes sense in Haskell.
17:33:23  fizzie: You forgot a mapostrophe.
17:33:30  elliott, the deadline for this project to make any sense passes.
17:33:34  At least for a year.
17:33:38  Sgeo: You forgot the part where Common Lisp is inferior to Haskell in basically every conceivable way.
17:33:40  And I might not understand the type magic behind it ;)
17:33:51  As I know nothing about type theory.
17:34:14  mroman: Template Haskell has exactly 0 type magic.
17:34:22  It practically has negative amounts of type theory.
17:34:25  It doesn't even type its splices.
17:34:53  Crud, if I suggest NoImplicitPrelude, I'm going to need to export a lot of stuff from the Prelude
17:34:58  Like ($) and (+)
17:35:11  Dare I ask what this project is?
17:35:42  An April Fools Haskell tutorial
17:35:57  See, I knew I would regret asking.
17:36:06  But I asked anyway.
17:39:13  Hmm. Variables, variables, variables. How to do variables.
17:39:41  Does every non-referentially-transparent function need NOINLINE?
17:39:57  I'm guessing so. Can I have an entire file be assumed to have NOINLINE everywhere?
17:40:22  I don't see why it would need NOINLINE. Or conversely, what the hell you think NOINLINE will prevent.
17:41:02  The IO being executed too early?
17:41:11  What does that mean?
17:41:57  If I have a unsafeCurrentTime :: UTCTIme, does that need to be noinlined if I want every place that it's used to see the current time and not the time that it was when ... bluh
17:42:54  Sgeo: You can't do that, fulls top.
17:42:56  *full stop.
17:43:04  It's a CAF.
17:43:11  It will be evaluated once and replaced by its value.
17:43:14  That's just how it works.
17:44:35 * Sgeo looks for an option to disable that
17:44:42  You can't.
17:44:45  That's how GHC works, fundamentally.
17:44:50  That's how the entire evaluation model works.
17:44:51  Shouldn't IO prevent that?
17:45:13  mroman, my entire goal is to be stupid in Haskell.
17:45:29  although the question would be
17:45:44  why :: UTCTime behaves differently than :: IO UTCTime
17:46:44  I don't want to use the IO monad, that's cheating.
17:47:14  mroman: Because IO a is State# RealWorld -> (# a, State# RealWorld #).
17:47:50  Ok.
17:47:56  That makes sense then.
17:48:37  but..
17:48:38  hm.
17:48:53  foobar :: Int -> IO Int
17:49:09  actually foobar MUST yield the same result everytime, when called with the same argument.
17:49:19  Don't say "MUST".
17:49:21  This is GHC.
17:49:32  The (->) in that IO definition is the arrow of impure functions.
17:49:36  And State# isn't really anything at all.
17:49:42  It's all a big con to fool the compiler internals.
17:50:11  Hu @ (->) ?
17:50:18  What does that mean?
17:50:57  It means what it means: the (->) being used in that definition of IO allows impure side-effects.
17:52:26  But IO is just a Type?
17:53:11  Eh?
17:53:18  If I have a function
17:53:18  like
17:53:28  foobar :: a -> m b
17:53:37  And I call it twice with the same argument
17:53:37  This is all about black magic implementation details. As far as Haskell is concerned, IO has no definition.
17:53:45  GHC breaks the rules to define IO.
17:53:54  It should only be evaluated once.
17:53:57  WHat?
17:53:58  No.
17:54:03  No Haskell compiler does automatic memoisation.
17:54:06  That's a one-way ticket to space leaks.
17:54:19  (And slowness, for that matter.)
17:54:22  like
17:54:42  do { a <- foobar 1; b <- foobar 1; return (a,b); }
17:54:50  => do { a <- foobar 1; return (a,a); }
17:55:00  No.
17:55:02  That's complete and utter nonsense.
17:55:05  foobar = print
17:55:15  do { a <- print 1; b <- print 1; return (a, b) }
17:55:20  => do { a <- print 1; return (a, a) }
17:55:22  I think not.
17:55:37  Yeah, but why?
17:55:51  Because
17:55:57  print 1 >> print 1 >> return (a,b)
17:55:58  ===
17:56:04  erm
17:56:07  print 1 >> print 1
17:56:07  ===
17:56:09  let x = print 1 in x >> x
17:56:10  Referential transparency should allow that to happen?
17:56:13  but that does not ===
17:56:16  let x = print 1 in x
17:56:20  any more than 1+1 must equal 1
17:56:26  x >> x does not necessarily equal x
17:56:39  No.
17:58:21  But why should it bother to evaluate x twice?
17:58:32  You already know the result of x based on the result of the first.
17:59:03  You are mistaking monadic execution with evaluation.
17:59:06  Consider the list monad.
17:59:10  > [1,2,3] >> [1,2,3]
17:59:11    [1,2,3,1,2,3,1,2,3]
17:59:29  Why would it evaluate [1,2,3] twice? Well, whether it does or it doesn't, it's irrelevant.
17:59:38  (>>) is just a function like any other, and it gets passed through the same.
18:00:27  mroman, print 1 can be evaluated as many times as you like. When evaulated, it doesn't print anything. It just becomes a value saying "When I'm executed, print 1"
18:02:33  ^
18:02:35  best explanation
18:03:17  Not best, it's slightly inaccurate.
18:03:18  But adequate.
18:03:50  Hm?
18:04:12  It doesn't "become" a value.
18:04:40  results in
18:04:47  You can say it evaluates to an action saying "On execution, print 1", but that seems unnecessarily operational to me.
18:04:55  "It is an action saying 'On execution, print 1'" conveys the exact same.
18:05:48  elliott, except that that fails to mention the role that evaluation plays, in terms of not being execution
18:06:22  Well, the role that evaluation plays is precisely nothing.
18:06:33  elliott, yes, and that needs to be clarified.
18:06:48  Maybe.
18:13:21  Taneeeeeeeeeeb.
18:26:00 -!- calamari has joined.
18:36:06 -!- Taneb has joined.
18:36:16  That reminds me, I need to update my esolangs page.
18:36:22  Hello
18:36:43  hi Taneb
18:36:48  i am disappoitned in you >:(
18:37:01  What have I done now?
18:37:18  you're the second person in a few days to add their own language to a concept's list of languages :P
18:37:46  I did acknowledge my narcissism
18:42:13 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
18:42:16  And it is appropriate to the article
18:43:51 -!- Phantom_Hoover has joined.
18:44:35 -!- derdon has quit (Remote host closed the connection).
18:44:45  I saw the topic, and for a minute I thought it was September,
18:45:32  elliott, I can play Worms again
18:45:40  I can't.
18:45:41  I thought elliott couldn't?
18:45:43  Indee.d
18:46:20  I have my (legal) ISO, if that's any help
18:47:31  I don't think it's an ISO problem, unfortunately. But I might try tomorrow, if you can think of a reasonable method of transfer.
18:50:37  Having a hard time thinking of a reasonable method of transfer, unfortunately
18:50:47  Carrier pigeon.
18:51:51  Sgeo: There's mediedmiedimdimedieidififafiafiafyre.
18:57:25  I need a mousepad :/
18:59:34  Oops! You have selected a file that is too large.
18:59:41  Maybe I can use dropbox or something?
19:00:34  dropbox would probably work. but no point until tomorrow
19:02:21 -!- monqy has joined.
19:02:24  If I paste to something other than Public, could Is till share that file?
19:08:12  The file appears to not be showing up on the website
19:10:09  Because I didn't have dropbox running. Brillian
19:11:06 -!- elliott has quit (Ping timeout: 246 seconds).
19:12:12 -!- Taneb has quit (Quit:   ).
19:23:55 -!- asiekierka has quit (Quit: Wychodzi).
19:34:25 -!- pikhq has joined.
19:34:43 -!- pikhq_ has quit (Ping timeout: 260 seconds).
19:34:54 -!- ais523 has joined.
19:40:59 -!- Taneb has joined.
19:41:11  Sgeo: the worms where a bunch of worm sprites wander about a bitmapped terrain with tnt that works like an image editor erasor?
19:41:16  Hello!
19:41:23  hi
19:41:31  itidus21, that series, yes
19:41:35  woooo
19:41:57  Although if you have older worms in mind, Worms: Armageddon looks better
19:42:01  wait
19:42:09  if elliott gets it working
19:42:14  we can play with iti
19:42:16  it will be
19:42:19  the smoothest thing
19:42:24  like
19:42:29  the curvature
19:42:31  i used to have worms united cd.. but it broke
19:42:39  12 minutes left
19:42:41  will be closer to zero than zero itself
19:43:01  Phantom_Hoover, do you have an iso?
19:43:08  Not on Vax, no.
19:43:09  Because if not I'm uploading one to dropbox.
19:43:30  im not asking to play.. im just saying worms is one of the great games :d
19:43:40  itidus21, yes, yes it is.
19:44:23  itidus21, no you must play
19:44:26  you are so stupid
19:44:28  you will be
19:44:30  so smooth
19:45:07 * itidus21 starts to imagine esolangers in worms
19:46:17 -!- clog has quit (Ping timeout: 260 seconds).
19:48:40 -!- oerjan has joined.
19:52:11   fizzie: Hey, what should I name a CSS class meaning "all 
 children of this won't have the ugly border"? <-- yay!
19:52:37  oerjan: I'm not sure "yay" is such a descriptive name.
19:52:52  IT IS FOR ME
19:53:05  mainly because i suggested such a feature.
19:53:37  (well, something reasonably equivalently useable.)
19:53:56  or well, i guess i was asking if it already existed.
19:54:30  I suggest nougly
20:05:27 -!- pikhq_ has joined.
20:05:32 -!- pikhq has quit (Ping timeout: 246 seconds).
20:09:24   I saw the topic, and for a minute I thought it was September, <-- september 1993, to be precise.
20:09:50  mind you i wasn't thinking of that when setting the topic.
20:12:18 -!- MoALTz__ has quit (Quit: brb).
20:17:29 -!- nortti has left.
20:17:41 -!- nortti has joined.
20:19:44 -!- Taneb has quit (Ping timeout: 245 seconds).
20:21:56 -!- Taneb has joined.
20:22:50 -!- MDude has quit (Ping timeout: 272 seconds).
20:43:11 -!- Taneb has quit (Quit: Goodbye).
20:48:06 -!- kallisti has joined.
20:48:13  https://www.youtube.com/watch?v=uKfKtXYLG78
20:48:16  Erlang: The Movie
20:48:23 -!- clog has joined.
20:48:25 -!- kallisti has left.
20:50:04  http://www.youtube.com/watch?v=1yH_j8-VVLo
20:50:11  The only true Erlang movie.
20:51:17  oh i heard about that
20:51:25  wait
20:51:26  i
20:51:29  oh
20:51:43  it is the UNCOMFORTABLY PARALLEL one
20:51:45  i think it gets referenced when i am being dumb or annoying
20:52:26  people start greeting each other
20:57:40 -!- Zuu has quit (Ping timeout: 260 seconds).
21:09:01 -!- MDude has joined.
21:24:20 -!- Zuu has joined.
21:29:22 -!- zzo38 has joined.
21:44:05 -!- augur has quit (Remote host closed the connection).
21:52:09  ooh, reading the diff algo you linked me to here, and I think I see where this is going
21:52:32  previous algorithm's equivalent to Dijkstra's in state space, and it's doing A* or an equivalent instead
21:53:33  huh, the example code is in Pascal
21:53:45  with operators replaced with mathematical notation, the same way papers sometimes do for Haskell
21:55:10  Oh for.
21:55:30  pacman -Syu is failing because of an invalid signature.
21:56:17  Phantom_Hoover: please tell me that program has a filename clash with the game Pacman ;)
21:57:08  Somehow I doubt it.
21:58:13 * oerjan should have asked elliott about that pre thing before :P
21:58:21  *
21:58:51  now most of the formatting weirdness for the Qdeql tables is gone
22:03:04  it only remains for someone to actually understand them :P
22:25:42 -!- ais523 has quit (Remote host closed the connection).
22:27:27 -!- MDude has quit (Ping timeout: 246 seconds).
22:29:56  I found on Wikipedia, they do have a 0 longitude on Mars.
22:31:04 -!- augur has joined.
22:42:23  ais523: WEB replaces some Pascal operators with mathematical notations, but it also includes support for named chunks, pool strings, and octal and hexadecimal constants.
22:42:56  (TeX is written in WEB)
22:59:20 -!- Phantom_Hoover has quit (Remote host closed the connection).
23:05:21 -!- Phantom_Hoover has joined.
23:25:20 -!- pikhq has joined.
23:25:23 -!- pikhq_ has quit (Ping timeout: 246 seconds).
23:49:15 -!- pikhq has quit (Ping timeout: 252 seconds).
23:49:16 -!- pikhq_ has joined.
23:56:06  So the packaged BZFlag is obsolete
23:56:07  Bleh
23:57:03 -!- pikhq has joined.
23:59:42 -!- nortti has quit (Quit: ChatZilla 0.9.88.1 [Firefox 11.0/20120312200651]).