00:00:05 Doesn't everything model call-by-push-value if you squint hard enough? Isn't that kind of the point? 00:00:16 Anyway, I don't like monadic effects either. 00:00:23 They're disgusting. Also incorrect. 00:00:41 elliott: well, call-by-push-value is meant to be (and actually is) a superset of both call-by-value and call-by-name 00:00:50 and it's designed for handling effects properly 00:01:03 (nontermination is considered an effect) 00:01:20 and you can implement it with monads, but also in several quite different ways that don't involve monads at all 00:01:59 a Y combinator makes no sense in a strict language, does it... 00:03:15 oerjan: well, "the Y combinator" diverges as it's a specific fixed-point combinator 00:03:20 but "a fixed-point combinator" makes sense 00:03:46 ais523: I find call-by-push-value's handling of effects distasteful. 00:03:53 elliott: do you know what it is? 00:04:30 If I remember correctly, yes. 00:05:32 ais523: Also, I don't buy its "unification". 00:05:46 well, mathematically it's correct 00:05:48 It forces you to be explicit about evaluation, which is exposing an implementation detail in my religion. 00:05:58 It's not really a unification, it's just lower-level. 00:06:02 hmm, perhaps 00:06:08 You can encode call-by-name and call-by-value in x86 machine code, too. 00:06:15 Do you think it has something to do with religious stuff? 00:06:17 That doesn't make it a more elegant unification of the two. 00:06:20 it allows you to be explicit about when effects happen, which is clearly not an implementation detail because it affects the program's behaviour 00:07:11 That just means it conflates effects and evaluation. 00:07:57 it has two sets of types, one which conflates them and one of which doesn't 00:07:59 or, not exactly 00:08:04 but that's an approximate way to describe it 00:08:25 Yes. I find that ugly. 00:08:34 I consider that a reasonable point of view 00:09:32 I prefer languages with nontermination-as-effect; in large part *because* they make evaluation order irrelevant. 00:09:47 (As long as they have proper codata, of course.) 00:11:00 -!- fizzie has joined. 00:11:54 My Haskell preprocessor program "Hampp" does not support layout mode and that might be why many people hate it. 00:14:44 -!- ais523 has quit (Remote host closed the connection). 00:14:55 In addition to the other reasons. 00:17:29 What is the general kind of fallacy of the "astrological signs fallacy" called? 00:17:31 Any more EXCITING questions?? No? 00:17:41 elliott: I don't know. 00:18:01 zzo38: forcing people to change their usual haskell style to use it does sound like a major dealbreaker 00:19:17 oerjan: I bet YOU have a question. 00:20:02 yes, why is wordpress's comment system so sucky 00:20:03 oerjan: But I do write it mostly for myself and the program is in the public domain anyone can make modifications if wanted. Still, once I finished, I intend to make it available so that anyone can use if they want to do so. Maybe the a few people using nonlayout style might like it, but they might also hate it due to different reasons instead. 00:20:32 oerjan: Because I don't run it. 00:20:44 * elliott vanishes into the night. 00:20:45 -!- elliott has left ("Leaving"). 00:20:50 zzo38: what fallacy is that? 00:22:22 oerjan: It is as follows: If they say the sun sign is Aquarius, and you manage to see the stars (due to eclipse or whatever), you will see that it is a different constellation; therefore, astrology is based on the imaginary sun which is not the real position of the sun. 00:22:52 Which is wrong, as anyone who understands it will understand. 00:24:12 heh 00:24:14 Do you know much about fallacy? 00:24:50 well, it's based on imaginary constellations, naturally (or on a purely mathetical division of the ecliptic) 00:26:17 It is not based on constellation at all; but "a purely mathetical division of the ecliptic" is reasonable (you can say it is simply a unit of angular measurement of ecliptic longitude). They are named after constellations, however. Is it any general fallacy based on named after? I don't know everything about fallacy in general? 00:27:10 well i don't know. i haven't heard about that particular one before, i think. 00:28:02 It would seem to be it would be an instance of a more general type of fallacy, but I don't know. 00:28:24 nice try, admins-making-their-censorship-invisible <-- I think perhaps oer "powertrip" jan is maybe not the best person to criticize the Administration. 00:29:13 fizzie: Then revert the Main Page if you do not like it. 00:33:27 zzo38: perhaps Equivocation? 00:35:03 "Equivocation consists in employing the same word in two or more senses..." Yes, perhaps Equivocation. 00:36:02 Etymological fallacy too 00:36:28 OK 00:38:10 oh and maybe False dilemma 00:39:56 Are you sure it is like False dilemma? 00:40:52 well in a meta-sense of ignoring other possible explanations 00:41:37 O, like that. 00:41:42 OK 00:43:23 gah i'm getting a headache from reading through these http://en.wikipedia.org/wiki/List_of_fallacies 00:43:36 or will, if i don't stop now 00:59:42 I think I have managed to make up a monad from any contravariant functor; but can it make up a monad transformer from any contravariant functor? Or even a comonad or comonad transformer from any contravariant functor? 01:05:14 -!- derdon has quit (Remote host closed the connection). 01:05:16 Has the present king of France stopped robbing banks? 01:07:42 Why stop? 01:11:13 Is Fermat's Last Theorem provable in Typographical Number Theory? 01:32:55 -!- Nisstyre has quit (Quit: Leaving). 01:42:22 Can you make up a Haskell program which compiles and runs but does different things, depending which semicolons are removed? Can you do the similar thing with commas too? 01:43:41 > length [id, id, id, id] 01:43:42 4 01:43:47 > length [id id id id] 01:43:48 1 01:43:57 Yes that is a simple example. 01:44:41 But there can be more complicated ways too. With semicolons, or commas, or possibly under punctuations; or a program depending on which extensions are enabled (which I have done once). 01:44:54 i remember that one 01:47:34 Do you know how to make up a monad transformer from any contravariant functor? 01:48:28 i don't recall how you made just a monad 01:52:21 I cannot find the file right now; but I might have it on paper somewhere. 01:53:18 I also don't quite know if it is really a monad but I have seen similarity with thing other people said is monad. 01:53:42 I do remember the datatype: newtype T f x = T (f x -> x); where f is some contravariant functor 01:54:41 Does this help at all? 01:57:40 -!- yorick has quit (*.net *.split). 01:57:40 -!- atehwa has quit (*.net *.split). 01:58:40 Are you able to answer any of my questions based on this type definition? 01:58:52 -!- pineal_aenimal has joined. 01:59:42 -!- atehwa has joined. 02:00:10 -!- yorick has joined. 02:01:23 -!- pinekone7 has joined. 02:01:52 -!- pinekone7 has quit (Client Quit). 02:02:00 hm is that a monad 02:02:07 -!- pineal_aenimal has left. 02:03:27 if we try with f x = F (x -> A) 02:03:43 so we get (x -> A) -> x 02:04:56 return = const looks necessary 02:05:28 And I believe that (x -> A) -> x has been shown to be a monad I saw the message somewhere (regardless of what A is, although they used Bool) 02:05:48 Yes return = const looks necessary I remember that is how I had it too 02:06:27 so if you have (x -> A) -> x and x -> (y -> A) -> y 02:07:10 and you want (y -> A) -> y from that 02:08:15 -!- yorick has quit (*.net *.split). 02:08:17 -!- monqy has quit (*.net *.split). 02:08:18 -!- itidus20 has quit (*.net *.split). 02:08:19 -!- clog has quit (*.net *.split). 02:08:19 -!- fizzie has quit (*.net *.split). 02:08:19 -!- Deewiant has quit (*.net *.split). 02:08:19 -!- zzo38 has quit (*.net *.split). 02:08:20 -!- audy has quit (*.net *.split). 02:08:20 -!- chickenz has quit (*.net *.split). 02:08:20 -!- tswett has quit (*.net *.split). 02:08:21 -!- oerjan has quit (*.net *.split). 02:08:21 -!- pikhq has quit (*.net *.split). 02:08:23 -!- atehwa has quit (*.net *.split). 02:08:25 -!- Slereah has quit (*.net *.split). 02:08:25 -!- yiyus_ has quit (*.net *.split). 02:08:25 -!- mtve has quit (*.net *.split). 02:08:26 -!- SimonRC has quit (*.net *.split). 02:08:27 -!- quintopia has quit (*.net *.split). 02:08:30 -!- myndzi has quit (*.net *.split). 02:08:30 -!- variable has quit (*.net *.split). 02:08:30 -!- oklopol has quit (*.net *.split). 02:08:31 -!- comex has quit (*.net *.split). 02:08:31 -!- kmc has quit (*.net *.split). 02:08:31 -!- olsner has quit (*.net *.split). 02:08:32 -!- Sgeo has quit (*.net *.split). 02:08:32 -!- shachaf has quit (*.net *.split). 02:08:33 -!- coppro has quit (*.net *.split). 02:08:34 -!- ion has quit (*.net *.split). 02:08:34 -!- rodgort has quit (*.net *.split). 02:08:35 -!- mroman has quit (*.net *.split). 02:08:36 -!- HackEgo has quit (*.net *.split). 02:08:36 -!- EgoBot has quit (*.net *.split). 02:08:37 -!- cswords_ has quit (*.net *.split). 02:08:37 -!- sebbu has quit (*.net *.split). 02:08:37 -!- hagb4rd has quit (*.net *.split). 02:08:37 -!- Jafet has quit (*.net *.split). 02:08:39 -!- Zetro has quit (*.net *.split). 02:08:39 -!- ineiros has quit (*.net *.split). 02:08:39 -!- lahwran has quit (*.net *.split). 02:08:40 -!- Zuu has quit (*.net *.split). 02:08:41 -!- Gregor has quit (*.net *.split). 02:08:42 -!- MoALTz has quit (*.net *.split). 02:08:42 -!- kallisti has quit (*.net *.split). 02:08:43 -!- lifthrasiir has quit (*.net *.split). 02:08:45 -!- lambdabot has quit (*.net *.split). 02:09:11 -!- glogbackup has joined. 02:09:11 -!- yorick has joined. 02:09:11 -!- atehwa has joined. 02:09:11 -!- fizzie has joined. 02:09:11 -!- oerjan has joined. 02:09:11 -!- SimonRC has joined. 02:09:11 -!- cswords_ has joined. 02:09:11 -!- MoALTz has joined. 02:09:11 -!- monqy has joined. 02:09:11 -!- Deewiant has joined. 02:09:11 -!- zzo38 has joined. 02:09:11 -!- pikhq has joined. 02:09:11 -!- sebbu has joined. 02:09:11 -!- hagb4rd has joined. 02:09:11 -!- kallisti has joined. 02:09:11 -!- Jafet has joined. 02:09:11 -!- Zuu has joined. 02:09:11 -!- ion has joined. 02:09:11 -!- itidus20 has joined. 02:09:11 -!- mtve has joined. 02:09:11 -!- yiyus_ has joined. 02:09:11 -!- Slereah has joined. 02:09:11 -!- kmc has joined. 02:09:11 -!- Gregor has joined. 02:09:11 -!- tswett has joined. 02:09:11 -!- olsner has joined. 02:09:11 -!- rodgort has joined. 02:09:11 -!- quintopia has joined. 02:09:11 -!- audy has joined. 02:09:11 -!- mroman has joined. 02:09:11 -!- chickenz has joined. 02:09:11 -!- Sgeo has joined. 02:09:11 -!- myndzi has joined. 02:09:11 -!- variable has joined. 02:09:11 -!- lambdabot has joined. 02:09:11 -!- shachaf has joined. 02:09:11 -!- clog has joined. 02:09:11 -!- oklopol has joined. 02:09:11 -!- lifthrasiir has joined. 02:09:11 -!- lahwran has joined. 02:09:11 -!- ineiros has joined. 02:09:11 -!- EgoBot has joined. 02:09:11 -!- HackEgo has joined. 02:09:11 -!- Zetro has joined. 02:09:11 -!- comex has joined. 02:09:11 -!- coppro has joined. 02:09:27 -!- glogbackup has left. 02:12:51 -!- Zuu has quit (*.net *.split). 02:12:52 -!- Gregor has quit (*.net *.split). 02:13:16 -!- elliott has joined. 02:13:21 -!- Zuu has joined. 02:13:21 -!- Gregor has joined. 02:13:28 OK, one of you people has to have configured PHP and MySQL on Debian. 02:13:32 Like Gregor. Gregor must have. 02:13:47 :t let (xm >>= f) y2a = f (xm x2a) y2a where x2y x = f x y2a; x2a = y2a . x2y in (>>=) 02:13:48 forall t b a. ((t -> b) -> t) -> (t -> (a -> b) -> a) -> (a -> b) -> a 02:14:33 that has the right type 02:15:00 -!- yorick_ has joined. 02:15:03 Look, I don't want to ask ##php. This place is marginally better than ##php. 02:15:11 Although I bet they'd tell me to go to #debian and vice versa. 02:15:15 marginally? 02:15:18 -!- yorick has quit (Ping timeout: 260 seconds). 02:15:18 * oerjan cry 02:15:30 kallisti, there was an update a while ago 02:15:36 oerjan: Only marginally. 02:15:59 now i want to both kick and not kick elliott at the same time 02:16:30 Exactly. 02:16:34 Like Gregor. Gregor must have. // never MySQL, no. 02:16:41 elliott: Ask on MySQL instead. 02:16:53 -!- cswords_ has quit (*.net *.split). 02:16:53 -!- sebbu has quit (*.net *.split). 02:16:54 -!- hagb4rd has quit (*.net *.split). 02:16:54 -!- Jafet has quit (*.net *.split). 02:16:56 -!- Zetro has quit (*.net *.split). 02:16:56 -!- ineiros has quit (*.net *.split). 02:16:56 -!- lahwran has quit (*.net *.split). 02:17:04 Gregor: That's good, because my question is why installing php5-mysql and rebooting the server still makes MW think I don't have a MySQL database driver installed, despite installing other PHP extensions working (i.e. reflected in the MW installer). 02:17:08 So I'm sure you know the answer to that! 02:17:18 It even says "If you installed PHP from a Debian or Ubuntu package, then you also need install the php5-mysql module.". 02:17:26 oerjan: That is only for that specific one I intended in general contravariant functors 02:17:27 -!- cswords_ has joined. 02:17:28 -!- sebbu has joined. 02:17:28 -!- hagb4rd has joined. 02:17:28 -!- Jafet has joined. 02:17:28 -!- Zetro has joined. 02:17:28 -!- ineiros has joined. 02:17:28 -!- lahwran has joined. 02:17:46 zzo38: well i tried to wrap my head around it first 02:17:53 elliott: My guess would be that that installs the /module/, but doesn't configure it to use it. 02:18:04 i don't think my brain is up to it at the moment 02:18:11 -!- ion has quit (*.net *.split). 02:18:11 -!- rodgort has quit (*.net *.split). 02:18:12 -!- mroman has quit (*.net *.split). 02:18:13 -!- HackEgo has quit (*.net *.split). 02:18:13 -!- EgoBot has quit (*.net *.split). 02:18:39 I think I have figured it out once but I forget now. 02:18:42 Gregor: Yes, I thought that too, but it's in conf.d. 02:18:49 Gregor: And php.ini contains a bunch of settings for it. 02:18:50 I am also unsure, and it isn't a transfomer 02:19:00 -!- ion has joined. 02:19:00 -!- rodgort has joined. 02:19:00 -!- mroman has joined. 02:19:00 -!- HackEgo has joined. 02:19:00 -!- EgoBot has joined. 02:19:29 Gregor: Also, everything on the internet suggests installing it should be enough. 02:19:34 Hm. 02:20:01 I assume /usr/share/doc/php5-mysql/README.Debian is unhelpful? 02:20:57 Gregor: It's just generic PHP documentation with no MySQL info. 02:21:15 Wow, that's even less helpful than I anticipated ... 02:21:43 Gregor: Not even a symlink to the php5 README.Debian, either. 02:21:45 Yeah, unless the issue is just that you need to add extension=mysql.so to your php.ini, Idonno. 02:21:48 I guess they created it from some template. 02:21:56 That extension= line is already in the relevant conf.d, yeah :| 02:24:31 Gregor: Oh 02:24:36 lrwxrwxrwx 1 root root 11 Jan 12 15:32 /usr/share/doc/php5-mysql -> php5-common 02:24:39 Real fuckin' helpful, that 02:24:43 Super. 02:24:52 Well, make a test.php with 02:24:57 So at least you can see if it's PHP or MW being stupid. 02:25:04 "For information on using , why not read the documentation for THE ENTIRE UNIVERSE?" 02:26:03 Gregor: That's a pain, since my nginx doesn't run arbitrary PHP stuff :( 02:26:07 * elliott hijacks... index.php. 02:26:18 How do you stop PHP parsing so it ignores all the junk after a line? 02:26:40 Oh, there we go. 02:27:15 Gregor: Yes, it shows MySQL. 02:27:22 Well then it must be MW being stupid 8-D 02:27:41 -!- augur has joined. 02:27:47 * elliott reunpacks MW. 02:28:18 Which is pointless, since it doesn't have write permissions to anywhere anyway. 02:29:53 (f (f x -> x) -> f x -> x) -> f x -> x 02:30:33 "Do you want to clear all saved data that you have entered and restart the installation process?" 02:30:36 Gregor: Maybe this is the problem :P 02:30:44 ......... 02:30:49 Guess what was the problem >_< 02:31:14 So it caches whether you have the MySQL extension installed, but not the internationalisation module. Awesome. 02:31:51 Sweet. 02:33:09 "If your MySQL installation supports InnoDB, it is highly recommended that you choose that instead. If your MySQL installation does not support InnoDB, maybe it's time for an upgrade." 02:33:16 This installer is talking shit about me, man. 02:34:00 "If your MediaWiki installation is written in PHP, it is highly recommended that you choose something else instead. If your MediaWiki installation does not support anything but PHP, maybe it's time for an upgrade." 02:34:11 My epic burns, they slice so brutally! 02:42:29 Awesome, going to the main wiki index now produces the super-helpful error message "File not found." 02:42:44 I blame Gregor. 02:44:29 the famous tree-valued logic 02:44:29 er 02:44:29 *three 02:44:33 perhaps tree-valued would be more interesting. 02:46:21 But isn't MediaWiki always written in PHP? 02:47:00 elliott: Fix something and it'll be "Enjoy being locked in your matrix of solidity" 02:48:01 oerjan: Yes that would be the type for join, for a contravariant functor f. I think I made something once with that type. But is it correct? Can a transformer somehow be made from it? And so on? 02:52:10 f x -> m x or f (m x) -> m x would be the candidates, i guess 02:52:45 Gregor: So have you ever done nginx and PHP and FastCGI? :P 02:53:12 zzo38: That would be the joke. 02:56:00 oerjan: Yes I thought of both of those things, but am unsure if that is the only choice or if any of those work 02:56:14 (I have not gotten them to work) 02:56:30 (But that might be simply because I did not try hard enough) 02:57:19 f (m x) -> x might be possible too, but not possible to use from an arbitrary m i think 02:58:50 well maybe if x = m y 03:03:51 -!- augur has quit (Remote host closed the connection). 03:09:58 no, freefall, breaking your leg is _not_ an acceptable way of prolonging a cliffhanger. 03:10:56 -!- elliott has left ("Leaving"). 03:10:58 (note: you don't want to visit the frontpage if you don't like spoilers) 03:12:41 Tree-valued logic. 03:12:51 That'd better be a page on esolangs.org when I come back tomorrow. 03:12:59 not by me 03:29:17 oerjan: Blah 03:32:32 -!- elliott has joined. 03:32:35 Gregor: FIXED IT 03:32:36 -!- elliott has left ("Leaving"). 03:38:05 Then you make the esolang for Tree-valued logic. 03:39:48 Which Cabal category does my program Hampp (Haskell macro preprocessor) should belong to? 03:51:59 -!- elliott has joined. 03:52:01 The tables containing user-related data are no longer being dumped, so this should be a solved problem. --Graue 20:17, 1 Jul 2005 (GMT) 03:52:08 I blame Gregor. 03:52:16 (This is now my outlet for all woes related to this endeavour.) 03:55:31 Yeah OK I'll get back to work. 03:55:31 -!- elliott has left ("Leaving"). 04:01:16 -!- _net_split has joined. 04:03:54 Do you know the answer? 04:14:12 I just selected 18) Other (specify) and entered "Preprocessor" as the package category 04:14:43 Even though there are no other packages having that category 04:17:06 kallisti, update? 04:19:41 * Sgeo uploads a new version of kallisti. 04:26:27 zzo38: coincidentally, this comment in a mathoverflow discussion linked today from the haskell subreddit speaks about whether FLT can be proved in weak arithmetic (it's still not concluded) http://mathoverflow.net/questions/35746/inaccessible-cardinals-and-andrew-wiless-proof/73197#73197 04:27:43 tldr: someone is trying to prove that it can be done 04:29:04 Fermat may have had a proof in mind, but this is also unknown. All that is known is that it does not fit in the margin. 04:39:19 -!- _net_split has changed nick to PiRSquared|Away. 04:44:24 Besides VMware's proprietary ESXi, are there operating systems primarily designed for virtualizing other OSes? 04:55:58 -!- aloril has quit (Ping timeout: 255 seconds). 04:57:31 -!- MoALTz has quit (Ping timeout: 248 seconds). 04:57:52 How do dependent sum types model existential quantification? 04:58:07 -!- MoALTz has joined. 05:10:52 -!- aloril has joined. 05:28:28 -!- elliott_ has joined. 05:28:32 Gregor! You're so lucky! 05:28:43 I'm here to bother you about something you know nothing about. 05:29:00 how zen 05:29:13 oerjan: Don't push your luck or it'll be you next. 05:29:26 yeah i'm good at knowing nothing 05:30:44 * quintopia signs elliott up for Cat Facts 05:31:54 fat cacts 05:32:01 Gregor isn't even here. Useless. 05:32:01 -!- elliott_ has left ("Leaving"). 05:33:36 -!- Sgeo has quit (Read error: Connection reset by peer). 05:33:57 -!- augur has joined. 05:34:06 -!- Sgeo has joined. 05:36:16 Should I add additional package categories for my package, orhter than just "Preprocessor"? 05:39:39 -!- yorick_ has quit (Read error: Connection reset by peer). 05:39:50 -!- yorick has joined. 05:53:49 -!- Nisstyre has joined. 05:55:44 Is this the proper package file? http://sprunge.us/haMR 06:57:12 -!- MDude has changed nick to MSleep. 07:03:02 -!- ineiros has quit (Ping timeout: 276 seconds). 07:05:02 -!- zzo38 has quit (Remote host closed the connection). 07:15:15 -!- oerjan has quit (Quit: Good night). 07:37:33 -!- ineiros has joined. 07:40:21 * Sgeo vaguely wonders if Conservapedia has an article on Alan Turing 07:40:22 Sgeo: You have 1 new message. '/msg lambdabot @messages' to read it. 07:41:57 It talks about what you'd expect it to talk about, but doesn't put it in any particular light 07:42:16 Although "Turing also became an atheist after his friend Christopher Morcom died [1]." is somewhat random 07:42:37 What, no "God decided he had to die for being gay"ness? 07:44:15 Not really, no 07:44:15 http://www.conservapedia.com/Alan_Turing 07:44:27 Categories: Mathematicians | Atheists 07:45:04 Sgeo: Conservapedians are convinced atheism is the ultimate sin. 07:45:41 pikhq, the article doesn't do anything that seems to try to portray him in a negative light. 07:45:49 At least, as far as I can tell. 07:45:59 So throwing that in there doesn't seem helpful to that .. ideology 07:46:06 http://www.conservapedia.com/Talk:Alan_Turing 07:46:22 " All politics aside, any biographical entry on Alan Turing which doesn't mention his sexual orientation at all is woefully incomplete. Deliberately avoiding the subject for fear of endorsing it serves no purpose except to give readers the impression that Conservapedia is a wiki which puts ideology ahead of being an informative reference tool." 07:46:25 Strangely neutral of them, I guess? I mean, these are the guys with an anti-relativity rant. 07:46:55 (not moral relativity, *Einsteinian* relativity) 07:47:56 Clearly, Einsteinian relativity leads to moral relativity! (Isn't that actually part of their ... thinking about it?) 07:49:45 Yes. 07:49:51 That's not a strawman. 07:49:59 How I wish it were. 07:58:17 -!- hagb4rd has quit (Ping timeout: 276 seconds). 08:10:33 * Jafet vaguely wonders why there would be a discussion on the intellectual neutrality of editors on Conservapedia 08:35:19 ....where what? 08:35:28 oh 08:37:06 well the reason that it hasn't been butchered is that 08:37:17 only the computer scientists actually know who Alan Turing is. 08:37:23 so no one else has touched it. :> 08:38:26 oh, and I guess mathematicians. 08:48:57 -!- itidus22 has joined. 08:52:52 -!- itidus20 has quit (Ping timeout: 252 seconds). 09:04:25 -!- nooga has joined. 09:25:52 -!- monqy has quit (Quit: hello). 09:26:25 -!- aloril has quit (Ping timeout: 255 seconds). 09:40:03 -!- aloril has joined. 10:25:51 -!- derdon has joined. 11:37:16 -!- derdon has quit (Remote host closed the connection). 11:46:00 -!- fungot has joined. 12:54:16 -!- Nisstyre has quit (Quit: Leaving). 13:21:22 -!- Phantom_Hoover has joined. 14:07:16 -!- Slereah_ has joined. 14:08:46 -!- Slereah has quit (Ping timeout: 240 seconds). 14:30:44 -!- boily has joined. 14:59:46 -!- Phantom_Hoover has quit (Remote host closed the connection). 15:12:05 " All politics aside, any biographical entry on Alan Turing which doesn't mention his sexual orientation at all is woefully incomplete. Deliberately avoiding the subject for fear of endorsing it serves no purpose except to give readers the impression that Conservapedia is a wiki which puts ideology ahead of being an informative reference tool." 15:12:25 I'm pretty sure that even Conservapedia's /supporters/ recognize it as a wiki which puts ideology ahead of being an informative reference tool ... 15:37:32 -!- derdon has joined. 15:44:08 -!- cheater has joined. 16:05:54 -!- Phantom_Hoover has joined. 16:15:51 http://en.wikipedia.org/wiki/Lambda "In the C# programming language a lambda expression is an anonymous function that can contain expressions and statements." 16:15:57 AND THIS IS SOMEHOW NOTEWORTHY! 16:20:08 Whoah whoah whoah. 16:20:11 Expressions AND statements??? 16:20:25 And the person who designed it doesn't have a Turing award? 16:21:37 Gregor: inorite 16:21:42 it's the only one mentioned on the page 16:21:45 so it's gotta be special 16:22:05 I mean, it mentions Lisp and Python have lambda keywords (ha ha keywords in Lisp) 16:22:16 From the lambda calculus article: "The lambda calculus (or calculi, as variants exist, such as typed and untyped) is an advanced topic within both the fields of theoretical mathematics and of applied computer science; and, as such, lambda calculus involves technically sophisticated concepts such as bindings and substitutions." 16:22:22 very sophsticated. 16:23:55 :D 16:25:12 applied computer science eh? 16:25:47 * kallisti searches for "need lambda calculus experts" on all of the freelancing job sites. 16:41:41 -!- augur has quit (Remote host closed the connection). 16:42:05 -!- augur has joined. 16:46:37 -!- augur has quit (Ping timeout: 245 seconds). 16:47:33 -!- Taneb has joined. 16:47:37 Hello! 16:49:27 I like today's Gunnerkrigg Court 16:51:23 You know that you're the only one who read Gunnerkrigg Court, right? 16:51:23 Phantom_Hoover: You have 1 new message. '/msg lambdabot @messages' to read it. 16:51:29 No 16:51:32 I deny that 16:51:37 I deny that notion profusely 16:51:59 In here, at least. 16:53:31 -!- tzxn3 has joined. 16:57:09 -!- PiRSquared|Away has changed nick to PiRSquared. 17:00:27 man, i wonder what happened to nihilist dandy 17:00:54 Today I convinced myself that I was a figment of elliott's imagination 17:01:01 I'm not too sure how I managed that. 17:21:42 -!- Ngevd has joined. 17:22:27 -!- augur has joined. 17:24:47 -!- Taneb has quit (Ping timeout: 246 seconds). 17:24:51 Phantom_Hoover: I read it too. 17:24:53 -!- Ngevd has changed nick to Taneb. 17:25:34 I figured out why the IOCCC had a category "Best non-chess game" in spite of having no chess game. 17:25:40 The winner in that category has won twice with chess :) 17:25:59 hahaha 17:26:17 so gregor 17:26:25 how was the competition 17:26:35 Err 17:26:46 i bet it wasn't one of those things where you win because the only other contestant was a 12 year old kid from kentucky 17:26:49 I don't know how to answer that question, I just submitted something then eventually got an email saying I'd won. 17:26:54 haha 17:27:01 It's all behind closed doors. 17:27:02 Gregor: But was it INTENSE. 17:27:03 didn't they post anything about the other contestants? 17:27:10 fizzie: i do think so as well 17:27:15 cheater: Yeah. About half are repeat winners. 17:27:19 ioccc.org/2011/whowon.html 17:27:33 Naw, not half, only about four actually. 17:27:41 Gregor: that's a "yeah" to what? 17:27:47 i mean 17:27:50 sorry 17:27:54 ok i get it now 17:27:58 i didn't mean the other winners 17:28:03 i meant other contestants that didn't win 17:28:19 No, by tradition they don't say how many or what other entries there were. 17:28:25 Since being on the page is the prize. 17:28:31 that's.. kind of weird and silly 17:28:32 but i like it 17:32:43 In sorta-related news, the robotfindskitten.org guy, after two years of silence, newsposted that there's 8 new ports and that he'll post them over "the next several days"; then he posted four in six days, but after the fourth there's been no news in a week. Will be interesting to see if there's another two-year gap. 17:33:06 But he's some sort of a graduate student, and those are notoriously unreliable, so... 17:33:22 Eeyup. 17:39:08 -!- Taneb has quit (Quit: dinner). 17:49:09 -!- Jafet has quit (Ping timeout: 276 seconds). 17:52:18 * Sgeo wtfs at cybertown.com 17:53:03 * Gregor wtfs at Sgeo visiting cybertown.com 17:53:33 How is me visiting what was once one of my favorite places the least bit wtf-worthy? 18:03:16 It's just WEIRD, man. WEIRD. Now I'm going back to watching my marathon of My Little Pony: Friendship is Magic and recordings of accordion virtuosos. 18:18:48 -!- Taneb has joined. 18:19:40 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 18:20:01 -!- Phantom_Hoover has joined. 18:20:12 -!- zzo38 has joined. 18:25:41 -!- Jafet has joined. 18:25:57 -!- sebbu2 has joined. 18:26:12 -!- sebbu has quit (Ping timeout: 276 seconds). 18:30:33 -!- zzo38 has quit (Remote host closed the connection). 18:32:42 -!- Sgeo has quit (Ping timeout: 276 seconds). 18:34:44 -!- Sgeo has joined. 18:35:46 -!- Taneb has quit (*.net *.split). 18:40:43 -!- PiRSquared has changed nick to _net_split. 18:43:46 -!- ais523 has joined. 18:43:52 -!- Taneb has joined. 18:53:33 -!- sebbu2 has changed nick to sebbu. 19:17:02 why am I watching fencing... 19:18:46 Fencing the sport, or fencing the border-defining erection? 19:19:30 I of course mean "erection" completely innocently. 19:20:59 Or fencing as in selling stolen goods? 19:23:37 -!- _net_split has changed nick to AnnoyingEvent. 19:25:26 Gregor: I've never actually heard of that meaning of the word 19:25:28 I was referring to the sport. 19:26:31 Suuuuuuuuuuuuuuuuuuuuure. 19:27:27 Spoken like a former fence. 19:28:53 "I've never even heard of the word, and anyway I was completely elsewhere that night, and what pillowcases full of antiques?" 19:32:00 -!- AnnoyingEvent has quit (Quit: Page opened). 19:42:11 -!- kallisti_ has joined. 19:45:00 -!- kallisti has quit (Ping timeout: 248 seconds). 20:03:26 -!- ineiros_ has joined. 20:04:27 -!- ineiros_ has quit (Client Quit). 20:07:38 -!- ineiros has changed nick to ineiros_. 20:10:14 -!- hagb4rd has joined. 20:10:20 -!- ineiros has joined. 20:12:26 -!- Taneb has quit (Ping timeout: 246 seconds). 20:14:37 -!- oklopol has quit (Read error: Connection reset by peer). 20:15:20 -!- oklopol has joined. 20:32:18 -!- oerjan has joined. 20:47:54 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 20:57:19 -!- MSleep has changed nick to MDude. 21:12:40 -!- azaq23 has joined. 21:22:53 -!- monqy has joined. 21:25:32 -!- Phantom_Hoover has joined. 21:27:16 Today I convinced myself that I was a figment of elliott's imagination 21:27:37 just about to become a solipsist missionary, i take 21:37:01 -!- boily has quit (Quit: WeeChat 0.3.6). 21:40:00 he must've missed that discussion about #esoteric being oerjan's afterlife 21:41:36 well that discussion was just a figment of my imagination anyway 21:49:15 indeed 21:49:26 -!- Nisstyre has joined. 21:49:39 Taneb is a figment of the imagination of a figment of your imagination 21:59:34 well elliott seems no longer to be a figment. 22:00:11 -!- Nisstyre has quit (Quit: Leaving). 22:14:53 -!- calamari has joined. 22:16:31 -!- tzxn3 has quit (Quit: Leaving). 22:17:47 -!- Nisstyre has joined. 22:18:47 Gregor: congrats on winning in the least interesting category in ioccc 22:20:12 nah it's a surprisingly interesting category 22:21:10 -!- nooga has quit (Ping timeout: 272 seconds). 22:38:15 -!- augur has quit (Remote host closed the connection). 22:38:46 -!- augur has joined. 22:42:56 -!- augur has quit (Ping timeout: 246 seconds). 23:06:30 good'n 23:14:24 -!- nooga has joined. 23:22:10 oklopol: omg u suck 23:22:21 oklopol: obviously gregor's category was the GREATEST 23:22:31 stop LYING 23:24:43 -!- Phantom__Hoover has joined. 23:26:53 Gregor: congrats on winning in the least interesting category in ioccc ||| oklopol: obviously gregor's category was the GREATEST 23:26:57 I agree with both accounts. 23:27:10 The reason why it's such a great category is it's obviously a terrible category that makes no sense. 23:27:26 But it's SUCH a stupid category that there must be a reason why they would include it! 23:28:34 did you ask them to introduce that category? 23:29:06 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 23:30:34 "here's my submission, please introduce the category so that i can win as the only contestant" 23:31:39 Well, they clearly invented the category so I could win it. 23:31:54 But that's how the whole category system works for IOCCC. 23:32:38 sort of like starting a war to win the nobel peace prize 23:32:39 yes 23:32:58 ok maybe not called for.. i haven't done my research there 23:36:54 -!- azaq23 has quit (Quit: Leaving.). 23:37:24 -!- augur has joined. 23:40:10 i was jumping the gun a bit.. doesn't seem to be the case 23:40:58 -!- Nisstyre has quit (Quit: Leaving). 23:43:02 Anyway, when you see more details on my code later this month or next month, you'll understand :) 23:50:06 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).