00:00:10 -!- kar8nga has quit (Remote host closed the connection). 00:02:42 Turn off logger daemon, and voila, my phone works better. 00:03:38 -!- cpressey has quit (*.net *.split). 00:04:10 -!- cpressey has joined. 00:04:19 pikhq: xD 00:06:19 In fact, it functions... Usably. 00:06:39 Rather than sometimes-usably, sometimes-WHYTHEFUCKWONTYOUTAKEINPUTGOD 00:10:28 when god takes input is up to god, I think 00:10:33 haha 00:11:32 ahahahahhaa 00:16:53 Alcove. 00:18:10 ahaha 00:18:12 heheee :D 00:19:05 -!- Mathnerd314 has quit (Ping timeout: 255 seconds). 00:19:41 heehee 00:31:24 -!- olsner has quit (Quit: Leaving). 00:38:17 -!- FireFly has quit (Quit: swatted to death). 00:39:54 -!- Behold has quit (Remote host closed the connection). 00:55:42 you're right, unreachable code is a fatal compile error in Java 00:55:54 -!- Mathnerd314 has joined. 00:55:58 in Lua it's a syntax error to have a return before the end of a function 00:56:08 take THAT, unreachable code! 00:56:15 as in, in the grammar? 00:56:25 as in, in the grammar, indeed. 00:57:02 hmm, I wonder how far you could go along the lines of static analysis in the grammar 01:00:33 Sgeo: HackFactor? 01:00:45 Oh - FactorInHackEgo 01:01:13 alise: Alcove? 01:01:32 ais523: I've wondered that too -- I tried to do all of BASIC once, including types 01:01:32 Alcove. 01:01:58 ais523: ... as an LL(1) grammar. Kind of hard when the type annotation comes after the variable name 01:02:14 ouch 01:02:22 Well, LL(2) maybe? 01:05:48 I rather like LR(1) 01:05:55 and even implemented it by hand, from a description of the algorithm 01:06:25 (admittedly, I implemented it in VBA for Excel; it's one of the languages which I used to be rather good at, because I didn't know any better to avoid learning it) 01:06:29 ais523: congratulations, you've gotten me thinking about it again. i bet you could design a practical language where the only error is syntax error (that is, "you stepped outside this BNF grammar"). perhaps "practical" is an overstatement though 01:06:40 ouch 01:06:50 i never liked LR parsers for some reason 01:07:12 eventually I gave up because Microsoft broke backwards compatibility with every release of Excel 01:07:23 e.g. it was no longer possible to hide the entire UI 01:12:48 -!- hiato has quit (Ping timeout: 272 seconds). 01:14:08 -!- hiato has joined. 01:17:46 ............Firefox now comes with an Urban Dictonary bookmark? 01:31:31 Unlikely. 01:31:35 Goodnight. 01:31:37 Bye. 01:31:39 -!- alise has quit (Quit: Leaving). 01:41:32 I just got banned from a channel for saying faggot 02:15:10 Arbitration clauses: most evil thing? 02:19:08 -!- Mathnerd314 has quit (Ping timeout: 258 seconds). 02:23:49 ... Motherfucking hell. So, corporations can give unlimited money to politicians... *And judges*. 02:25:19 I genuinely must leave this country. 02:25:45 pikhq, o.O linky? 02:26:07 Sgeo: "Citizens United" sound familiar? 02:26:20 The decision applies to any elected position. 02:26:28 Which includes a large number of judges. 02:32:19 Well, Slava dislikes lazy lists 02:32:53 -!- augur has joined. 02:34:22 I almost want to cry inside 02:37:40 Sgeo: are you trying to make thue.c build, too? 02:38:32 are we talking about FACTOR 02:38:38 i hope not 02:39:03 Quadrescence, why do you hate Factor? 02:39:09 I never said I did 02:39:24 But I get your drift 02:40:38 I just never saw it as very interesting and don't like that it was rewritten in C++ and don't like that slava took my power cord for my laptop 02:41:00 ..? 02:41:35 While he was in Minneapolis, I went over to his place and hacked with him w/factor and stuff 02:42:28 But I left my power cable over there, and then he moved to New Zealand 02:43:50 Also I don't like that Factor must be bootstrapped. :( 02:44:10 ^^not convincing someone who used to love Smalltalk 02:44:31 ^^not trying to convince just explaining why I don't like it 02:47:29 I don't really like the language idioms (cleave, chop, etc combinators), don't really like some of the directives ( ; INLINE ), etc etc 02:49:31 And I don't think a stack-centralized view of programming really scales well to multiprocessing. 02:56:48 Quadrescence: *Hardly anything* scales well to multiprocessing. 02:57:22 Some better than others 02:57:51 And I almost guarantee your favorite language doesn't scale well to multiprocessing. 02:58:09 What, incidentally, is your favorite language? 02:58:28 probably erlang 02:58:44 Okay, your favorite language scales somewhat well to multiprocessing. 02:58:50 I kid I kid 02:58:56 Probably common lisp 02:59:25 (though when it gets too complex you end up with, no joke, locks on top of the message-passing system. *groan*) 02:59:44 haha 03:00:12 Factor has support for Erlang-style message passing 03:00:28 so does scheme, so does whatever 03:02:25 It's actually not a common thing. And besides which, message passing is not the magic solution to all multiprocessing woes. 03:02:48 The best solution is, of course, to allow a lot of solutions with different pros and cons to be easy to use. 03:03:28 (I'd say this is the approach taken by, most notably, Haskell. And though I'm not sure, I *strongly* suspect the same is true of Scheme and Common Lisp.) 03:03:38 -!- Mathnerd314 has joined. 03:23:26 -!- cal153 has quit (Ping timeout: 240 seconds). 03:28:19 thue.c is insane 03:28:48 -!- augur has quit (Ping timeout: 265 seconds). 03:29:44 -!- augur has joined. 03:29:52 Factor also has futures&promises 03:30:12 I asked about STM, but since it currently only has co-operative threads... 03:31:25 since it currently only has co-operative threads, STM... doesn't apply? 03:31:45 you're supposed to cooperate? 03:34:11 I might have misunderstood 03:34:33 I've yet to see STM really work outside of Haskell. 03:35:06 You could probably make it work well in something else with good metaprogramming, though. 03:40:35 What's wrong with STM outside of Haskell? 03:41:23 It doesn't bloody work at all! 03:41:34 Whereas in Haskell, STM was a weekend project. 03:41:49 Literally. 03:43:01 Was about to quote someone who said that Factor won't use multiple cores, then e said e was a troll 03:45:09 so... the target and the rnum arrays are 1-based... 03:45:38 -!- mrjbq7 has joined. 03:46:52 Hi mrjbq7 03:46:57 hi 03:47:02 just curious what this esoteric stuff is all about 03:47:21 Esoteric programming languages 03:47:32 Such as INTERCAL, Brainf***, Unlambda 03:47:33 You know, Factor's not an esoteric programming language (according to the list) 03:47:41 Well, that's what's it's officially about 03:47:46 did you see the brainfuck interpreter in factor? 03:47:49 mrjbq7: we talk about all kinds of things here 03:47:50 Unofficially, it's about anything math or computersciency 03:48:11 Ununofficially, it's about being off-topic. 03:48:17 -!- cal153 has joined. 03:48:26 people with a common interest in esolangs, socializing about... whatever happens to be interesting to them 03:48:43 Which rarely happens to be esolangs. 03:48:44 :P 03:49:02 nice 03:49:24 pikhq: I think I just fixed the *other two bugs* in thue.c, so... :P 03:49:38 There is a language beginning with Fa that you'll be .. thought weird of if you say you like... 03:49:45 (after bug #1 was pointed out to me) 03:49:53 6 letters 03:50:12 Father. yeah, the one ais523 is working on. 03:50:22 I was thinking of Falcon 03:50:23 No, wait... 03:50:42 And ais523's language is Feather. And if it ever comes to exist, it will be interesting 03:51:40 Sgeo: I thought you were going to say Factor 03:52:11 I was trying to imply it, although obviously wouldn't have meant it 03:52:57 Oh no... actually there are only two bugs... that comparsion between char *'s is intentional! 03:55:02 afk 04:08:19 Falcon apparently has special casing for monads 04:09:35 that's putting it mildly 04:10:13 I don't actually know details 04:12:16 afk 04:13:17 fscanf(file, "%[^\n]", s); <-- I think DICE C conforms to POSIX in its implementation of this, while glibc (or whatever Ubuntu is using) doesn't. 04:14:21 http://opengroup.org/onlinepubs/007908775/xsh/fscanf.html says that between [ and ] are "bytes", not "character sequences". So this reads up to the first backslash or 'n'. Not the first linefeed. 04:14:31 But, it's kind of ambiguous. 04:18:35 why john didn't just use fgets is beyond me 04:26:16 -!- jcp has quit (Excess Flood). 04:29:44 -!- augur has quit (Ping timeout: 255 seconds). 04:30:21 -!- jcp has joined. 04:35:16 ha ha HA 04:35:18 http://i.imgur.com/Gp4Bh.png 04:43:21 cpressey: That's scary D-8 04:58:08 -!- augur has joined. 04:58:13 -!- cal153 has quit (Ping timeout: 258 seconds). 04:58:19 -!- cal153 has joined. 05:07:51 Gregor: why thank you 05:08:08 cpressey: Have some sheet music http://codu.org/tmp/GRegor-op13-mov2-wipp6.pdf 05:09:33 Gregor: er thank you, I will! 05:11:17 Gregor: measure 245 QUITE HIGH 05:12:06 cpressey: Measure 250 HIGHEST NOTE ON THE PIANO 05:12:29 i suspected it might be 05:13:54 Gregor: also: measure 56 eighth rests ... QUITE LOW 05:14:50 Yeah, that's a bit of a Lilypond anomaly ... 05:15:21 When you have multiple voices, it insists on putting rests in weird places. 05:19:44 looks hard to play 05:20:52 11 over 6 rhythm? 05:22:49 Well, it's not "easy" to play :P 05:23:58 That 11tuple (is that what you're referring to?) is a Chopin-tuple. It's just "stuff this arbitrary number of notes into the appropriate amount of space" 05:24:26 The rhythm doesn't really matter at that speed. 05:25:06 (Incidentally, that 11-tuple is far easier to play than either of the preceding two 9-tuples) 05:33:03 man, I should write for solo piano 05:33:35 probably the best way to, uh, actually get played 05:34:44 That's why I do it :P 05:34:52 It gets played because I play it X-P 05:37:30 though I could also just build a set with live keyboard playing + sequenced music 05:37:50 -!- mrjbq7 has left (?). 05:39:44 I sequenced some wind quintet + drum + electrib bass song but I don't think I'll ever have to turn that into parts :D 05:43:22 That's tricky if your preferred musical style involves as much rubato as mine ... needs humans. 06:13:17 yeah would be cool to play tracker music + physical modelled instruments with a dx7 as midi controller :D 06:13:59 -!- sftp has quit (Remote host closed the connection). 06:21:05 -!- augur has quit (Remote host closed the connection). 06:21:23 -!- augur has joined. 06:53:57 -!- tombom has joined. 07:04:31 -!- augur has quit (Remote host closed the connection). 07:04:37 -!- augur has joined. 07:45:33 -!- tombom has quit (Quit: Leaving). 07:58:34 -!- augur has quit (Remote host closed the connection). 07:58:45 -!- augur has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:00:24 -!- madbr has quit (Quit: Radiateur). 08:02:15 -!- kar8nga has joined. 08:02:17 -!- kar8nga has quit (Read error: Connection reset by peer). 08:05:54 -!- cheater00 has joined. 08:09:02 -!- cheater- has quit (Ping timeout: 252 seconds). 08:41:53 -!- lament has joined. 08:54:38 -!- ais523 has quit (Remote host closed the connection). 09:21:34 -!- lament has quit (Ping timeout: 258 seconds). 09:23:49 " ais523: congratulations, you've gotten me thinking about it again. i bet you could design a practical language where the only error is syntax error (that is, "you stepped outside this BNF grammar"). perhaps "practical" is an overstatement though" <<< OKLOTALK doesn't have syntax errors OR runtime errors, and it's the most practical thing ever 09:28:22 " Father. yeah, the one ais523 is working on." <<< someone make a time travel joke plz 09:29:29 " cpressey: That's scary D-8" <<< how? 09:31:28 "* lament (~lament@S0106002312fa554a.vc.shawcable.net) Quit (Ping timeout: 258 seconds)" <<< good byes 09:53:05 -!- hiato has quit (Ping timeout: 265 seconds). 09:53:44 -!- hiato has joined. 10:12:56 -!- atrapado has joined. 10:19:49 -!- atrapado has quit (Quit: Abandonando). 11:36:12 -!- FireFly has joined. 11:40:18 -!- atrapado has joined. 11:49:44 -!- MigoMipo has joined. 11:55:23 -!- hiato has quit (Read error: Connection reset by peer). 11:55:31 -!- BeholdMyGlory has joined. 11:55:33 -!- hiato has joined. 12:34:58 -!- MigoMipo has quit (Remote host closed the connection). 12:56:21 glio 12:57:04 -!- Phantom_Hoover has joined. 12:57:45 * Phantom_Hoover wonders what that program in the topic is and why it's been there for months. 13:00:52 -!- atrapado has quit (Quit: Abandonando). 13:01:00 Looks like yet another Underload quine to me. 13:01:45 a was...? 13:01:48 oh 13:01:56 -!- Phantom_Hoover has quit (Client Quit). 13:01:57 no 13:02:03 Add-parens is a. 13:02:26 umm right, i executed double-ass wrong in my head 13:02:42 -!- Wamanuz3 has joined. 13:02:53 ^ul (a(:^)*S):^ 13:02:53 (a(:^)*S):^ 13:03:05 (or, actually i did it right, but i remembered it was siisii instead of a quine) 13:04:04 ^ul (aSS)aSS 13:04:05 (aSS) ...out of stack! 13:04:08 right 13:04:17 : 13:04:25 ^ul (:aSS):aSS 13:04:25 (:aSS):aSS 13:04:28 -!- Wamanuz2 has quit (Read error: Operation timed out). 13:04:37 Don't know why it made Ghost_Vacuum run away though. 13:06:26 : doubles, a parens, S prints, ^ runs, * concats? 13:06:50 Yes. 13:08:20 * oklofok got the quine 13:08:23 :P 13:08:34 And ~ swaps and ! drops, if I recall correctly. 13:08:46 i think you just might 13:13:33 -!- MigoMipo has joined. 13:32:00 -!- sftp has joined. 14:02:26 -!- Phantom_Hoover has joined. 14:11:42 oklofok: I realized after I wrote that that Befunge doesn't have syntax or runtime errors either 14:12:16 and I think Gregor might be scared of computers without fans 14:12:20 (i know i am) 14:12:37 cpressey: Right, and it's an incredibly practical language too. 14:12:42 So wait, why is that quine in the topic? 14:14:02 A mystery for the ages. 14:14:19 Possibly because the canonical ass-quine would get us blocked by all sorts of content filters? 14:39:01 -!- derdon has joined. 14:47:44 * Phantom_Hoover is utterly confused by today's Freefall. 14:49:08 I wonder what Sam was up to last time we saw him... 14:49:51 (I have utterly forgotten) 14:52:07 underload is beautiful 15:07:38 -!- augur has quit (Ping timeout: 264 seconds). 15:14:52 Anyone know if there are any Underload interpreters implemented in C, out there? 15:18:47 cpressey: My phone is a computer without a fan. 15:20:53 My brain is a computer without a fan. 15:21:02 As is my calculator. 15:21:11 My brain is a fan without a phone. 15:25:04 Underload looks like it would really easy to do in C. 15:25:35 Well, not "really" easy, but not hard. 15:31:45 -!- augur has joined. 15:40:53 -!- sftp has quit (Read error: Operation timed out). 15:41:21 -!- sftp has joined. 15:41:52 -!- hiato has quit (Remote host closed the connection). 15:42:10 -!- hiato has joined. 15:48:57 loki 15:54:29 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 15:59:32 -!- Phantom_Hoover has joined. 16:00:46 Gregor: Do you have Thue on your phone? No? I rest my case, whatever it may have been. 16:01:45 "Do you have Thue installed on your phone?" "Yes..." "Well you better let him off, then!" 16:07:44 eh 16:09:18 Does that imply that this very much computer-shaped thing I've been using actually isn't a computer, since it doesn't happen to have Thue on it? 16:10:14 Indeed. 16:23:19 * Phantom_Hoover → X restart 16:23:22 -!- Phantom_Hoover has quit (Remote host closed the connection). 16:35:11 -!- Phantom_Hoover has joined. 16:44:02 -!- lament has joined. 16:47:50 Wow, Milo's and John's Wierd interpreters are... wholly mutually incompatible. 16:52:22 -!- lament has quit (Ping timeout: 258 seconds). 16:55:02 -!- augur has quit (Ping timeout: 265 seconds). 17:06:06 -!- kar8nga has joined. 17:12:18 -!- lifthrasiir has quit (Read error: Connection reset by peer). 17:13:09 Perhaps I should actually do something with that Lisp OS thing alise and I were discussing... 17:14:48 -!- augur has joined. 17:14:52 -!- tombom has joined. 17:17:58 -!- lifthrasiir has joined. 17:27:30 -!- kar8nga has quit (Remote host closed the connection). 17:37:55 cpressey_, how? 17:38:21 cpressey_, cpressey: why are there two of you? 17:38:46 It's like oerjan's evil twin. 17:38:53 Phantom_Hoover, really? 17:42:04 It's more like Gregor-W without the W 17:42:38 As for "how?", I'm still trying to think of an interesting was to answer that without context 17:52:00 *way 17:54:35 cpressey, the context is " Wow, Milo's and John's Wierd interpreters are... wholly mutually incompatible." 17:55:29 Vorpal: programs that run on one do not run on the other 18:01:16 cpressey: I use a BNC now :P 18:23:43 Gregor: I'm thinking about generating multi-core compatible code in my compiler 18:24:07 but i don't have an idea how to utilise multi-core potential in this problem, yet 18:27:45 cpressey, for all programs? 18:28:29 nooga, what is the problem in question? 18:29:52 -!- myndzi\ has joined. 18:33:12 -!- myndzi has quit (Ping timeout: 240 seconds). 18:33:17 Vorpal, INJUSTICE 18:36:05 /o/ 18:36:05 | 18:36:06 /\ 18:36:17 Vorpal: all I've seen. I have yet to see a wierd-john/wierd-milo polyglot. 18:40:06 Vorpal: generating parallell code for executing finite state automata 18:40:20 cpressey, but why? What's so incompatible between them? 18:47:13 Sgeo: they have completely different interpretations of the language's semantics 18:47:40 nooga: you're going to parallelize regular expression matching? :) 18:48:14 Sgeo: Well, not completely maybe, but enough so that when you hit the first bend, BOOM 18:51:41 cpressey: i thought about it but i can't imagine if it's really possible 18:58:35 Compile the FSA into a regex, then use PPCRE and SBCL? 18:58:37 nooga: I... there was a good paper on this... no, actually it wasn't very good :) but it did point out that some algorithms seem basically unparallelizable -- running a finite-state automaton is one of them 18:59:45 if i can remember the name i'll look for it later 19:13:01 we could split the string in n parts, first one much longer than the rest, and start an automaton from each state for the latter parts, in initial state for the first part, of course this might not be very practical because if the automaton is deterministic, then there will probably be a huge number of states, so you can't really run from all of them; oh and when the first one catches up, you can drop all but one search in the second p 19:13:14 prolly didn't come through so i'll repeat half 19:13:15 not be very practical because if the automaton is deterministic, then there will probably be a huge number of states, so you can't really run from all of them; oh and when the first one catches up, you can drop all but one search in the second part, etc 19:18:04 If I pronounce a word IPA [faɪθ], how might you be inclined to spell that if you thought it was English? 19:18:15 cpressey: but non deterministic ones could be parallelized 19:18:20 i think 19:18:32 still i'm talking about DFA 19:19:19 why is a nondeterministic one easier to parallelize? 19:19:44 well i guess that's a bit obvious 19:20:03 when you've branched too many times, give a few branches to other computers 19:20:18 assuming, again, a huge amount of states 19:20:52 converting from NFA to DFA can caouse expoinental explosion of number of states 19:20:55 sometimes 19:21:26 but still DFA's are faster to execute in single process 19:21:59 it's definitely not faster to make an explicit subset construction than to recurse, usually 19:22:00 i don't know it it's worth parallelizing 19:22:16 is* 19:22:37 my argument for "no, they are not faster to execute in single process", but i probably misunderstand you 19:22:52 i must do some research on that 19:23:00 maybe even a paper 19:23:18 are you a RESEARCHER 19:23:27 technically... no 19:24:23 but i want my regex compiler to be as optimal as it can be 19:26:40 an it could be my thesis 19:33:08 Gregor, fithe? 19:33:31 Hmmmmmmmmmmmmmmmmmm 19:33:40 There's a severe split of opinions on the i/y issue. 19:33:54 Weeeeellll.... 19:34:24 It should be pronounced "ghoti". 19:34:34 Goatee? 19:34:34 I would pronounce "fithe" with a voiced 'th' normally. 19:34:38 "fish" 19:34:40 Gregor: "Fish". 19:34:40 Right, ala tithe 19:35:28 But English hasn't actually got a way of indicating voiced vs. unvoiced 'th'. 19:35:38 Sure it does, and . 19:35:47 *non-archaic 19:35:50 :P 19:36:02 I don't even remember which is which :P 19:36:26 I would assume 'ð' is voiced, per the IPA. 19:36:43 Why doesn't the IPA use X-P 19:36:43 oh 19:37:09 þ and ð are icelandic 19:37:48 And archaic English. 19:37:53 nooga: Only I thought? 19:38:04 That's where the "Ye Olde" thing comes from. 19:38:07 also ð, it's pretty commonly used 19:38:16 And nobody kept wynn (which I don't even have a compose sequence for :P ) 19:38:41 What are the compose sequences for the others? 19:38:48 Phantom_Hoover: archaic English is in the same group as achaoic Norse and stuff 19:38:58 Indeed. 19:39:04 i think that Norsk resembles English 19:39:05 Gregor: ð died out before þ. 19:39:06 even now 19:39:28 pikhq: Yes, but I was talking about Icelandic :P 19:39:34 þ lasted up until Early Modern English (barely); I'm pretty sure ð died in Middle English. 19:39:48 Icelandic still looks like ancient Norse 19:39:54 but with new words 19:39:59 nooga: Actually, Old English was West Germanic, whereas Old Norse was North Germanic... 19:40:12 like car and computer ;p 19:40:20 Granted, Old English then went on to borrow an absurd number of words from Old Norse. 19:40:26 ... And bits of grammar. 19:40:34 Also, French. 19:40:41 Gregor: That was later. 19:40:42 (Later) 19:40:56 Though at this time there *was* a good deal of Latin borrowing. 19:42:16 DAMMIT I WANT TO DO SOMETHING ALREADY 19:43:03 Hrm. English's syntax is actually typical of North Germanic languages. Curious. 19:44:31 Aaaah, English. The West Germanic language with North Germanic grammar and Romance vocabulary. 19:44:41 ROMANCE 19:44:45 so ROMANTIC 19:45:35 when i looked at Bokmal course my first thought was sometnig like: "oh, it's like English but written differently" 19:46:17 You'd probably get that more with West Frisian. 19:46:25 Dutch is just English with a funny accent. 19:46:27 (which is, of course, somewhat useless to learn) 19:46:38 But, by that same token, German is just English with a funny accent. 19:46:42 Gregor: yeah, something like that 19:46:44 And French is just English with a REALLY funny accent. 19:46:46 no 19:46:51 :P 19:46:56 German is totally f&(#$^$d up 19:47:16 Polish is just Russian with funny accent - wrong 19:47:27 It's brilliant to be angry in, though. 19:47:28 But Czech is just Polish with a funny accent. 19:47:32 (German, that is) 19:47:41 i speak perfect Polish but i can't understand Russians 19:47:51 Gregor: that'd be true, it's hilarious 19:48:01 Finnish is just Japanese run through a cypher. 19:48:17 Czech - serek = shit 19:48:31 Polish - serek = (small) cheese 19:48:44 (it has superficially similar phonology. No clue why.) 19:48:49 :D 19:49:01 -!- MigoMipo has quit (Read error: Connection reset by peer). 19:49:36 -!- MigoMipo has joined. 19:52:26 "Bûter, brea, en griene tsiis is goed Ingelsk en goed Frysk." Aaah, obvious cognates. 19:53:28 Clearly perfect English. 19:54:13 :P 19:56:27 tits? 19:59:53 WHERE? 20:01:07 hm, why do endings in many RPG seem like anticlimaxes? Not sure if it applies to other genres as well... 20:01:19 computer RPGs that is 20:01:36 One of these days it could be time to expurgitate the hackiki poll away from the topic; I just went there and it was all "poll closed" to me. 20:02:09 "Bûter, brea, en griene tsiis is goed Ingelsk en goed Frysk." Aaah, obvious cognates. <-- this looks slightly Scandinavian? 20:02:21 definitely not Swedish, Norwegian or Danish though 20:02:52 fizzie, you could edit it 20:02:56 the topic I mean 20:03:24 -!- Vorpal has set topic: The cheesy channel (cheddar) | (a(:^)*S):^ | Should the esolangs community have a Hackiki wiki? (Wiki capable of running nearly-arbitrary code) Vote: http://poll.fm/23p9l | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 20:03:56 Vorpal: It's West Frisian. 20:04:06 pikhq, no, cheddar! 20:04:06 No, I prefer the complaining to actual action. (And maybe it has a point still; I think it's possible to leave comments even if the poll's closed.) 20:04:28 Vorpal: Which is an Anglo-Frisian language... Other Anglo-Frisian languages include English and Scots. 20:04:29 pikhq, oh wait, not a cheese name 20:04:31 -_- 20:04:45 pikhq, right. 20:04:49 where is it spoken? 20:04:57 pikhq, or dead? 20:05:13 Friesland and Groningnen, in the Netherlands. 20:05:17 ah 20:05:29 pikhq, ah 20:05:31 hm 20:05:32 Few hundred thousand speakers. 20:05:38 I see 20:07:00 If you want to go into extinct languages, one can find languages closer still to English. 20:07:07 right 20:07:34 Yola. 20:07:49 pikhq, anyway what did "Bûter, brea, en griene tsiis is goed Ingelsk en goed Frysk." mean? 20:08:00 I can guess at some words... 20:08:02 Or "Early Modern English without the vowel shift". 20:08:03 but that is all 20:08:44 Vorpal: "Butter, bread, and green cheese is good English and good Fries." 20:09:04 pikhq, how is it good English? 20:09:24 Say it out loud. 20:09:36 It sounds like English with a thick accent. 20:09:42 aaah... 20:10:17 -!- fizzie has set topic: The cheesy channel (cheddar) | Also combûter programming | Should the esolangs community have a Hackiki wiki? You should've voted: http://poll.fm/23p9l | http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 20:10:36 (the mutual comprehensibility of the two languages, though, is rather low... Mostly because English has a lot of Romantic vocabulary, and Frisian doesn't.) 20:10:51 ah 20:13:14 -!- cheater00 has quit (Quit: Leaving). 20:29:03 cpressey: but non deterministic ones could be parallelized <-- indeed, I was assuming DFA but didn't say so. doh! 20:47:31 -!- oklopol has joined. 20:49:29 -!- oklofok has quit (Ping timeout: 260 seconds). 21:06:47 -!- tombom has quit (Quit: Leaving). 21:08:56 Are dynamically-scoped variables ethical? 21:11:12 Wasn't it so that Moses' stone slabs had some "thou shalt not dynamically scope" engravings? 21:11:45 I mean, dynamically-scoped variables remind me of globals 21:12:31 Sgeo, foolish youth! 21:15:31 "1. Thou shalt not criticise any aspect of Lisp." 21:16:26 Phantom_Hoover, dynamic variables are in Lisp? 21:16:30 Did you read your SICP today? 21:16:53 DYNAMIC VARIABLES ARE WHAT I BLOODY WELL SAY THEY ARE 21:17:09 I am the Prophet of Things! 21:18:13 I do not like dynamic scopes and ham, I do not like them, Sam-I-am. 21:19:00 What makes dynamic scopes different from globals? 21:19:14 I mean, morally, not physically 21:20:19 They are an abomination in the eyes of the lord 21:25:18 Awesome. There's a movement to estabilish a World Parliament. 21:26:22 Serious or hopeless? 21:26:31 Entirely serious. 21:27:04 Hopeless? 21:27:18 Not at all. 21:31:38 Only capable of creating a figurehead/ 21:32:26 Most probably. 21:32:50 Actually, the proposal is to rework the UN to have an elected parliament running it. 21:33:05 ... And to make this system replace treaties as the primary form of international law. 21:35:28 note to self: when making some hot chocolate, if using the box marked "100% pure coca powder" *add some sugar* 21:35:41 once that is done it tastes lovely 21:35:53 -!- alise has joined. 21:35:59 alise, hi 21:36:02 Supporting groups include: the Council of Europe. 21:36:17 HAXIOM 21:36:48 pikhq, Council of Europe? 21:36:58 pikhq, is this related to EU in any way? 21:37:02 or just a confusing name? 21:37:04 Our Society to Segment. 21:37:14 Vorpal: The Council of Europe (French: Conseil de l'Europe) is one of the oldest international organisations working towards European integration, having been founded in 1949. It has a particular emphasis on legal standards, human rights, democratic development, the rule of law and cultural co-operation. It has 47 member states with some 800 million citizens. It is distinct from the European Union (EU) which has common policies, binding laws and only twenty 21:37:14 -seven members. The two do however share certain symbols such as their flag. 21:37:21 alise, maybe you can explain to me 21:37:26 Vorpal: It's more general. 21:37:27 alise: Eightebeden Sgeo on the morality of dynamic scoping, or lack thereof, if you please. 21:37:35 What is the moral difference between using dynamically-scoped variables and global variables 21:37:43 Vorpal: It is distinct from the EU, but one of the pan-Europe legilsative entities. 21:38:16 Sgeo: The latter is usually not such a good idea; the former is probably more "moral" (for instance, if you have a LET construct you can temporarily reassign it without ugliness) BUT will confuse EVERYONE. 21:38:21 Are you designing a language? 21:38:25 alise, no 21:38:28 Then? 21:38:47 Factor uses dynamically-scoped variables, and I'm not sure how much, but I have a feeling that it's quite a bit 21:38:56 Ah, Factor. 21:39:04 Then it's obscure enough that people who use it will understand it. 21:39:07 There are a *lot* of European legislative entities. 21:39:17 So: If used tastefully, far superior to global variables. Of course, global variables have a place, too... 21:39:22 (although not much of one) 21:39:27 * Sgeo deosn't want to see Factor remain obscure 21:39:40 Sgeo: Most programmers suck. 21:39:42 Deal. 21:39:54 Factor will never, ever become mainstream. Sorry 21:40:02 18:32:19 Well, Slava dislikes lazy lists ;; define more precisely 21:40:04 I will show the benefits of Factor to AW programmers 21:40:12 AW bot programmers 21:40:20 Sgeo: Yeah, thing is, from what I've seen of AW and AW people and AW-related code, they're fucking retarded. 21:40:25 It's like an orgy of Sgeo's fetishes. 21:40:29 Anything remotely Forth-tinted will never, ever become mainstream. Sorry 21:40:37 I would rather hire someone straight out of Java-school. 21:40:50 alise, you only know of _one_ person besides me 21:40:59 Who??? 21:41:08 The other person in the project 21:41:08 Phantom_Hoover: the Other Programmer on Sgeo's C# project 21:41:30 Oh, hey. European Parliament also called for a World Parliament. 21:41:32 What's Sgeo's C# project? 21:41:39 Why is it in C#? 21:41:43 Hey, if I install Mono on my Ubuntu box, will it come with an ILASM.EXE-alike? 21:41:48 Sgeo: TELL ME IT WILL 21:42:09 cpressey, I have no idea 21:42:10 Sgeo: Anyway, if it's anything like Second Life, and since at least that has interesting stuff, dating from /after/ people figured out how to make 3D VR simulations not completely and utterly suck, I would expect its programming user-base-subset to be more intelligent, rather than driven by ridiculous nostalgia. 21:42:13 snap 21:42:23 Even if the quality is superior, I expect it will not be by much. 21:42:26 cpressey: probably 21:42:31 Dis/Assembling CIL Code - Mono 21:42:31 ilasm: The Mono Assembler can be given disassembled text, and it creates an assembly file. This is very important, because many compilers don't create the ... 21:42:39 ilasm(1): Mono IL assembler - Linux man page 21:42:40 ilasm is the Mono ILAsm assembler. You can pass one or more options to drive the compiler, and a set of source files. 21:42:40 linux.die.net/man/1/ilasm - Cached - Similar 21:42:40 Ilasm - Mono Wiki 21:42:40 9 Apr 2008 ... The Mono IL assembler. Comparable to the Microsoft ilasm.exe tool. 21:42:41 mono.wikia.com/wiki/Ilasm - Cached - Similar 21:42:43 cpressey: try google 21:42:45 :P 21:42:53 alise: Second Life's code sucks horridly. 21:42:54 Ok, so, "Mono IL assembler" 21:42:58 -!- MigoMipo has quit (Quit: Quit). 21:43:03 It is perhaps the worst C++ I have ever seen. 21:43:10 pikhq: I mean people who program things for Second Life. 21:43:14 Ah. 21:43:23 And if you imagine how bad that code is, imagine how incorrigibly terrible Active Worlds code is going to be. 21:43:28 Okay, yeah. 21:43:32 cpressey: == CIL 21:43:47 alise: I should hope so 21:44:16 Mono: a project to port .NET to different architectures and to gratuitously change the VM language it is built on. Hey, not a bad idea! 21:44:19 Should I work on Smalltalk bindings for AW instead? 21:44:29 Well, I'm still planning to after Pharo 1.2 comes out 21:44:34 Maybe 21:45:48 NO BINDINGS FFS 21:45:55 I am fucking sick of hearing about you asking the question 21:46:01 "SHOULD I MAKE AW BINDINGS FOR [random language]?" 21:46:12 I have heard it like threeee thouusand fuckinggg timesssss 21:46:18 In like three minutes 21:47:08 Considering how poorly maintained my bindings for Python are, and how that's what most people are interested in.. 21:47:43 alise: should i compile perl with my regexp compiler? 21:47:48 I know I talk about random shit some time, but if ANYONE in here is actually interested in the language-binding preferences of people who use Active Worlds, PLEASE make some sort of noise now. 21:47:52 *sometimes, 21:47:55 nooga: Yes. Very yes. 21:48:03 * Sgeo makes enough noise to deafen everyone. 21:48:13 Sgeo: Allow me to introduce you to #sgeo! 21:48:14 that's (!) doable 21:48:20 * Topic for #sgeo is: Sacred Geometry Topcis 21:48:23 You'll be at home there. 21:48:25 alise: I want a world parliament dammit! 21:48:29 ... Also a pony. 21:48:37 boobs 21:48:40 pikhq: I dunno, I'm not much fond of that idea. 21:48:57 pikhq: It has the potential to be very... insidious. 21:49:23 alise: Alternately, I want to estabilish a totalitarian state and eliminate everyone responsible for evil. 21:49:27 :P 21:49:27 * Sgeo drags alise bac into #sgeo 21:49:33 ...that sounds very, very wrong 21:49:35 :( 21:49:57 Oh man, sacred geometry. 21:49:58 Yeah, what the hell is bac? 21:50:09 pikhq: And then you go mad with power. 21:50:10 Thank YOU, Pythagoras, for having WEIRD BELIEFS. 21:50:24 alise: Yes, but only once the evil people are gone. 21:50:37 pikhq: Thus creating a new evil person! 21:50:42 Meaning that the inevitable toppling of power ends with the assholes gone. 21:50:44 :P 21:51:11 * pikhq clones himself, so the clone can be the dictator and he can be the freedom fighter 21:51:15 PERFECTION 21:51:30 * Sgeo wonders if he could make an analytical engine in AW 21:51:39 Would be easier than a full-blown 8-bit computer 21:51:42 Was that design TC? 21:51:56 Sgeo: OJFDIGJDFOIHJDTFOGHOIFDGHJODIGFHJ 21:52:00 TALK ABOUT SOMETHING THAT ISN'T AW FOR TEN MINUTES 21:52:36 pikhq: Coup d'État of the Week 21:52:48 (Is that the correct capitalisation?) 21:53:16 (yes) 21:53:18 *sigh* 21:53:25 So! I hereby proclaim Ubuntu Netbook Edition INTERESTING 21:53:26 I had forgotten that the US has private ambulances. 21:53:29 *INTERESTING. 21:53:35 Its WM is ratpoison with gradients. 21:53:40 And, uh, the rat. 21:53:42 Seriously. 21:53:45 Instead of windows, it has tabs. 21:54:25 Privatised essential services. *sigh* 21:54:46 (The tabs become just the icon when not focused to save screen real-estate. The window takes up the whole screen apart from the small bar at the top. Below all Windows is a large-scale version of the GNOME menu plus a directory listing of ~ and a list of volumes (clicking them opens Nautilus). 21:54:52 *Nautilus).) 21:55:01 It's great on, uh, a netbook. 21:56:56 Sacred geometry! 21:57:28 It is rather disturbing how few unmaximised windows I use. 22:01:54 -!- Phantom_Hoover_ has joined. 22:02:18 Wow. Some fundamentalist atheist sued the US, alleging violations of the First Amendment, in response to the crew of Apollo 8 reading from the Book of Genesis... 22:02:38 The suit was dismissed for lack of jurisdiction. 22:03:06 "fundamentalist atheist" ;; I prefer the term "moron latching on to atheism as a way to get attention". 22:03:34 "Fundamentalist" in attachment to any religious belief tends to mean "moron latching on to X as a way to get attention". 22:03:36 A "fundamentalist atheist" would be one who intolerantly adheres to the most anal-retentive form of atheism in the strongest way. So... he'd just be REALLY ADAMANT that god doesn't exist. 22:03:54 It just happens that "fundamentalist [actual religion]" usually means "batshit crazy". 22:04:23 pikhq: I think Buzz Aldrin taking the Communion was objectionable, though. 22:04:37 I don't much like the idea of even a small amount of alcohol in an astronaut. 22:04:54 "Fundamentalism" for religious beliefs is actually typically divergent from the original religious beliefs in question... 22:05:03 Oh, the one who sued is the founder of American Atheists. 22:05:17 I'm fairly sure that lawsuit was to prove a point. 22:05:49 -!- Phantom_Hoover has quit (Ping timeout: 265 seconds). 22:07:04 "The idea of this entry was to do the impossible: a 1K remake of the famous WOLF5K that rocked the final edition of the5K. Does not feature guns, violence: in WOLF1K, there is no room for guns or any form of violence." 22:08:43 -!- Wamanuz3 has quit (Read error: Connection reset by peer). 22:08:52 -!- Wamanuz3 has joined. 22:11:11 alise, someone in Crawl got 267 runes 22:11:45 I totally know what that means. 22:11:57 omg i want 267 runes 22:12:05 i totally have no idea what it means 22:12:10 YOu need 3 runes to get to the Realm of Zot, which has the Orb of Zot 22:12:32 Runes are collected at the ends of.. some places 22:12:33 but i can make guesses which likely conform to the general idea, and cannot possibly make guesses the conform to the specifics 22:12:39 And in the abyss, and in Pandemonium I think 22:12:45 http://crawl.akrasiac.org/rawdata/78291/morgue-78291-20100518-161512.txt 22:15:24 Check out the notes! 22:15:44 * Sgeo deosn't want to see Factor remain obscure <-- but they have broken "monads". 22:15:59 Broken? 22:15:59 well, not really broken. More like "not really monads at all" 22:16:00 Howso? 22:16:08 Howso? 22:16:13 I think Vorpal might be thinking of Falcon 22:16:33 And as I said, we need a language called "Falctorn" 22:16:50 cpressey, oh right 22:17:02 cpressey, that explains it 22:17:10 cpressey, yeah factor is pretty good. 22:17:32 Factor doesn't excite me much, but it's nowhere near Falcon. 22:17:51 Clojure doesn't excite me much either 22:17:56 cpressey, well... the first two letters and the next to last. And c moved around. 22:18:17 Vorpal: ok, ok, in terms of *edit distance*... 22:18:18 the edit distance isn't h uge 22:18:23 huge* 22:18:49 cpressey, I was actually thinking hamming distance, then switching to edit distance when I realised there was a c that could be moved around 22:19:25 So what languages do excite me? 22:19:32 cpressey, I hope befunge98 does! 22:19:37 Vorpal: it doesn't. 22:19:50 alise, what doesn't what? 22:20:00 (Even if it did in 1998, it's been 12 fucking years!) 22:20:13 Vorpal: unless I am severely mistaken, Befunge-98 does not excite cpressey. 22:20:17 ah 22:20:33 yeah 12 years might be stretching it a bit 22:21:12 Befunge-110, however... 22:21:18 I wasn't actually thinking of including esolangs in that set 22:23:05 I was actually thinking of C. 22:23:42 Vorpal: The usual edit distance (Levenshtein one) only counts substitutions, additions and deletions, so you need two operations to "move the c around", and then a substitution to change t/l; that's larger than just the two substitutions, so it doesn't matter whether you use the Hamming or Levenshtein distance. 22:24:29 alise: So. I have concluded that xkcd is busy being brilliant, not lame. 22:24:42 Befunge-110, however... 22:24:47 Is abandoned, afaik. Or do you mean Vorpal's version? 22:24:54 (This has been another episode of the continuing series of "focus on the unimportant details only". Thank you.) 22:24:57 cpressey: I'll just answer your questions for you in future, kay. 22:25:03 fizzie, hm 22:25:03 alise: He is subverting the expectation that a comic should be "funny", by trying his hardest to not be funny. 22:25:08 alise: okay. HEY WAIT 22:25:22 pikhq: Ohhhhhhhhhhhhhhhhhh. 22:25:30 I was about to say "but the latest comic-" 22:25:54 pikhq, nice one 22:27:22 Wow, pikhq, with all that Vorpal-pressure you'd better keep delivering the yuks, or we'll just call you xkcd 2: Electric Boogaloo, and maintain an xkcd 2: Electric Boogaloo sucks blog. 22:27:39 If that fails, we'll have to start xkcd 2: Electric Boogaloo sucks 2: Electric Boogaloo. 22:28:04 And then we'll get arrested by the Breakin'-sequel-title-ripoffs police. 22:28:52 *Such* a bizarre sequel title. 22:29:21 alise, Vorpal-pressure? 22:29:23 "Vorpal pressure" sounds like a fakey physics term, though. "The vorpal pressure of the vacuum destabilization chamber is rising!" 22:29:39 fizzie, nice 22:29:41 fizzie: We're leaking warp plasma! 22:29:52 Guess the Five Iron Frenzy album was more bizarre, though. What with their 4th album claiming to be "Five Iron Frenzy 2". 22:30:09 alise, I'm gonna play with FightClub 22:30:17 OK. For the record. I never planned a Befunge-110. Someone else might've. I idly thought Befunge-111 might be a good idea and started writing a spec. I shelved it. 22:30:22 Sgeo: Have fun with that. 22:30:25 cpressey: Ah, yes, 111. 22:30:36 -110 was Vorpal's anal-retentive "clarification" of -98. 22:30:40 *-111. 22:30:43 Consistency must prevail! 22:30:44 Recently I had more dangerous thoughts about what a Befunge-111 could be. I never told anyone about them. I have effectively shelved them too. 22:30:55 More dangerous than replacing fingerprints with URIs? 22:31:08 shadow dragon > orb guardian 22:31:17 alise: Hard to compare 22:31:29 cpressey: I assume "dangerous" means "utterly ludicrous". 22:31:30 cpressey: Was it computable? 22:32:02 alise, um... I was trying to make something that didn't leave 1/3rd unspeced... And 98 and t speced in a way that would basically make it not work 22:32:05 Yes, it was computable. No, they weren't quite ludicrous enough. Thus shelved. 22:32:56 -!- Phantom_Hoover_ has quit (Ping timeout: 276 seconds). 22:33:25 OK, O 22:33:30 whhh 22:33:32 Vorpal: Unfortunately, only ten people ever had the desire to implement -98, only five got far enough for the ambiguously specified (not unspecified; it didn't have sections missing or anything) parts; only four decided to keep going, and they easily found consensus, e.g. from Mycology. 22:33:47 If you pick on those hypothetical example numbers, I will shoot you. 22:34:01 I prefer to think of 98 as being "goobishly specified" 22:34:18 alise, they are underestimates yes. And shoot if you want. I have protection 22:34:56 alise, I think there should be 5 for the last group 22:35:14 cpressey: Please kill this man. 22:39:07 alise: I can't. I'm trapped in WOLF1K where there is no room for violence. 22:40:32 If you really want to know, one idea was to abandon fingerprints in favour of sucking in all of Unicode as the instruction set. 22:41:57 So, there's no need to push the semantics of TURT onto A-Z. Just start using, I dunno, ᓀᐦᐃᔭᐍᐏᐣ, and you've started manipulating the turtle. 22:43:11 Without the fabled mythical central repository, that sounds like a very conflicty solution, unless you cultivate a culture of deliberately avoiding trying to make the instruction characters meaningful. 22:43:44 And the spec wouldn't define any of this. It would just define a distributed standards process: if you want some instructions to do something, start a blog, use the phrase "Befunge-111 Standards Proposal" in the title of your blog posts so I can find them with Google, and find civilized ways to deal with conflicts. 22:44:00 s/I can/implementors can/ 22:44:08 Also, ☃. 22:44:40 (For the "reduce temperature" operation of the weather control machine extension.) 22:44:43 fizzie: I don't know what to do about combining characters. Disallow them, probably, as they could "combine" in 4 directions. 22:45:25 cpressey, oooh that sounds nice 22:45:28 fizzie: Amazing that my font *has* then, when it barfs on simple Cree syllabary. 22:45:36 cpressey, you could have them do different things in different directions 22:45:37 s/then/that/ 22:45:58 cpressey, actually more than 4 22:46:01 cpressey, remember x 22:46:11 (set delta) 22:46:41 would be tricky to write though 22:46:49 Unicode combining characters come after the base character, anyway, which sounds a bit awkward. You'd need to do a bit of lookahead, if you'd want to assign semantics on the combination, instead of the combining characters separately. 22:46:53 cpressey, but you could do code that depends on delta 22:47:08 see this is all why "disallow" 22:47:31 cpressey, hm 22:47:41 -!- derdon has quit (Ping timeout: 276 seconds). 22:47:45 If the combining characters came before the base character, you could let them combine to whatever the IP encounters next. Though then you'd need normalization if you wanted a "a + combining diaeresis" always do the same thing as ä. 22:47:46 fizzie, TRDS 22:48:04 just go back in time instead of lookahead 22:48:53 -!- Phantom_Hoover_ has joined. 22:49:46 REGARDING OPERATION HATHEIST 22:50:26 How do we get the Pope out of the Popemobile long enough to be able to snag his hat? 22:50:52 Put out some bait. What do popes eat? 22:51:30 I should be stripping more characters out of the C-style constants b93 program; it's a crying shame that currently FORTRAN, of all languages, is 12 characters (out of 115) more concise than Befunge, using the common "ais523 anagolf C style constants" (AACSC) metric. 22:52:17 -!- Phantom_Hoover__ has joined. 22:53:54 I have it! 22:54:49 Maybe you could search for "How to get the Pope out of the Popemobile?" in gamefaqs or something; the question *really* sounds like an adventure game hint. 22:54:52 We'll dangle some Eucharist crackers from one RC plane, then when the Pope starts running after the tasty demigod flesh, we snag the hat with the high-speed RC plane! 22:55:41 -!- Phantom_Hoover_ has quit (Ping timeout: 276 seconds). 22:55:50 -!- Phantom_Hoover__ has changed nick to Phantom_Hoover. 22:56:22 You have to take into account the half-life of god-flesh; doesn't it decay back to cookies pretty fast? 22:57:03 fizzie, one of my father's cousins is a Catholic priest... 22:57:23 Or I could go to my local church and pretend to have had a revelation. 22:58:52 I asked Wolfram|Alpha for "half-life of eucharist", but it just told me the word itself has a scrabble score of 14. Again a letdown. 22:59:11 No match for kwyjibo. 23:01:25 Fortunately, a google books result of a Webster's dictionary has the following: "The bread and wine of the Eucharist. ♦ synonyms: 1. element, basic, ... has a mass number of 272 and a half-life of 1.5 milliseconds. element 112 n. ..."; I'm sure there's nothing important in the "..." part. (But with a half-life of 1.5 milliseconds, and considering how long it usually takes for people to chomp down, there's quite a large percentage of cookie-dough instead of go 23:01:25 d-flesh in what people eat.) 23:01:30 " Put out some bait. What do popes eat?" <<< i just know he shits in the woods 23:01:42 oklopol: Does he shit prime numbers, though? 23:02:00 (A "prime-number pooping pope" javascript page might get some angry comments.) 23:02:28 Linking to what everyone is already referencing time! http://alpha61.com/primenumbershittingbear/ 23:03:42 One of the few things that make me proud of my nationality, that. 23:03:57 fizzie, so wait, the Pope has a god Geiger counter? 23:04:36 Well, he's the *Pope*, I would assume he can detect this sort of stuff. 23:04:45 Hmm. 23:04:49 If not, they surely teach that at the pope school. 23:05:06 Well, let's get a REALLY FAST RC plane. 23:05:13 Wasn't there the whole infallibility thing too. 23:05:57 Anyway, what about that Eucharist that still needed safe disposal by trained Church personnel ages after the communion it was stolen from? 23:06:36 I mean, surely the Pope could detect someone dangling some god-flesh decay products from a plane above him? 23:06:58 But would he go after that? Well, maybe he would. 23:07:00 <3 MST3k 23:07:38 fizzie, I have it! 23:09:32 Amazon has a paperback called "How to be Pope: What to Do and Where to Go Once You're in the Vatican"; but that doesn't sound directly applicable to hatheism. 23:09:40 The plane has a lithium battery; we pack the god-flesh around this. The Pope can use his infallibility in religious matters to detect this threat of spreading dangerous god waste over a large crowd of the righteous, so he runs outside the Popemobile in a heroic effort to shoot it down safely, at which point we fly the RC interceptor in and snag the hat 23:10:00 Misread that as "the pope has a lithium battery"; was going to ask for a citation. 23:11:26 A duracell pope: it just keeps going, and going, and going, and going... 23:12:33 We then crash-land the bait near the guards who are, at this point, trying to shoot down the plane with the hat. The guards now need to be degodtaminated by the Pope, so noöne can stop us! 23:15:49 Who are these "we" you're talking about, anyway? Or is this the royal we? 23:16:14 Me and my aviation nut friend. 23:17:02 A nut in rather more ways, I expect. 23:17:23 Indeed. 23:17:42 But we don't want sane people in Operation Hatheist. 23:18:04 alise, also, if this fails, you shall have to attempt to steal the hat somewhere in England. 23:18:18 According to a magazine, this is what happens if someone proves that P=NP: 23:18:20 "Computers would acquire mind-boggling powers such as near-perfect translation, speech recognition and object identification; the hardest questions in mathematics would melt like butter under computation’s power; and current computer security methods would be as easy to crack as a TSA-approved suitcase lock." 23:18:25 Phantom_Hoover: No. 23:18:32 fizzie: Near-perfect translation XD 23:18:34 Fine, I'll have to ask ais. 23:18:42 Phantom_Hoover: He's ... rather unflinchingly legal. 23:18:48 Well, he lives in one of the cities on the tour. 23:18:55 They don't exactly specify how it will come to pass, just that it will. 23:19:08 He won't even break the rules of a nomic game! 23:19:08 alise, ais is? 23:19:11 like buttah 23:19:11 Ah. 23:19:21 Well, it's just a minor case of hat-stealing. 23:20:10 You just give the judge a false name after they haul you in, pay your 20 pound fine, and it's back to the Drones that afternoon! 23:20:13 fizzie, that depends on the constant and/or factor 23:20:46 it could be be "P but with horribly bad constant" for example 23:21:13 O(n^7!!) 23:21:15 Vorpal: Yes, because P = NP would give us a P but with a horribly bad constant algorithm for magical translation. 23:21:25 You are both correct and missing the point entirely! 23:21:30 Conflagulations. 23:21:35 alise, that *could* happen. Not saying that it would 23:21:47 You do not understand what P = NP is. Or... translation... 23:22:18 alise, oh that? I meant in regards to security 23:22:31 alise, the translation is obviously non-sensical 23:23:09 alise, I didn't think I had to point that out 23:23:12 Then you only pointed out something that we ... already totally knew. 23:23:17 You really didn't have to point that out, either. 23:23:25 alise, Captain Obvious at your service 23:23:48 A figure used to represent a sort of idiocy, I might add. 23:24:15 alise, yes I know.... I was being sarcastic 23:24:24 night →←↓↑ 23:24:40 Vorpal, no, that's completely wrong! 23:24:55 Maybe Vorpal got lost in the wrong direction and got ripped apart by dimensions. 23:24:57 We can only hope. 23:26:10 ↑, ↑, ↓, ↓, ←, →, ←, →, B, A. (I wonder if that will do anything in this channel.) 23:26:34 You forgot to select two-player mode and start the game. 23:26:39 fizzie, is the article in question http://www.sciencenews.org/view/generic/id/63252/title/Crowdsourcing_peer_review? 23:26:50 fizzie: Try pressing START. 23:27:47 fizzie, how do you get the up and down arrows? 23:27:49 fizzie: Hmm? 23:28:31 * cpressey determines a konami code bot to be strictly necessary 23:28:50 fizzie hasn't pressed START yet. 23:29:10 I can't decide whether I want to press select first. 23:29:25 I hope it doesn't time out on me. 23:29:40 -!- UnicornRainbow has joined. 23:29:43 YOU HAVE LITTLE TIME REMAINING. 23:29:46 ACT QUICKLY. 23:29:48 -!- UnicornRainbow has left (?). 23:29:52 Gaaa! 23:29:53 SELECT, START. 23:29:58 There goes. 23:30:01 -!- UnicornRainbow has joined. 23:30:12 UnicornRainbow, why the Mysterious Sock? 23:30:21 -!- SuperMagicYay has joined. 23:30:22 That is one old bear 23:30:23 IE5? 23:30:28 I did hear the "bling" sound, I guess it did something. 23:30:38 UnicornRainbow: WE WILL FIGHT CRIME. 23:30:38 SuperMagicYay: WE WILL FIGHT CRIME. 23:30:44 My god, should I step up Operation Hatheist to the next level? 23:30:50 UnicornRainbow: I CONCUR. 23:30:51 SuperMagicYay: I CONCUR. 23:30:59 fizzie: ZZZZZIP! 23:31:00 fizzie: FWOOOM! 23:31:16 [15 LIVES] 23:31:17 [15 LIVES] 23:31:29 NOW YOU HAVE 30 EXTRA LIVES. 23:31:29 NOW YOU HAVE 30 EXTRA LIVES. 23:31:45 Yay. 23:32:10 UnicornRainbow, can I fight crime? 23:32:12 HAPPINESS 23:32:12 HAPPINESS 23:32:13 IS 23:32:14 IS 23:32:16 EXCELLENT 23:32:17 EXCELLENT 23:32:28 Phantom_Hoover: PERHAPS. 23:32:29 Phantom_Hoover: PERHAPS. 23:32:33 YOU MUST DIE FIRST. 23:32:33 YOU MUST DIE FIRST. 23:32:40 * Phantom_Hoover dies 23:33:07 * Phantom_Hoover comes back to life with god-radiation from a god-flesh reactor 23:33:15 * Phantom_Hoover is as unto a god 23:33:28 * Phantom_Hoover uses his power to steal the Pope's hat 23:33:48 FOOL. 23:33:49 FOOL. 23:35:09 fizzie: YOU WILL DIE NOW. 23:35:09 fizzie: YOU WILL DIE NOW. 23:35:30 Ut-oh. 23:36:14 fizzie: MWAHAHAHAHAHAHAHAHAHAHAHA 23:36:14 fizzie: MWAHAHAHAHAHAHAHAHAHAHAHAHA 23:36:18 OH MY WORD 23:36:21 THE TIMESTREAM HAS BEEN DISRUPTED 23:36:24 fizzie, quick! 23:36:26 OUR COLLECTIVE CONSCIOUSNESS -- GONE 23:36:31 OUR CRIME-FIGHTING ABILITY -- VANQUISHED 23:36:35 OUR SHAME -- IMMEASURABLE 23:36:36 * Phantom_Hoover aims his god-beam at Finland 23:36:43 OUR LOVE OF FINLAND -- TARNISHED 23:36:51 OUR ONLY HOPE -- RITUALISED SUICIDE 23:36:52 A GASER! 23:36:52 -!- UnicornRainbow has quit (Quit: Lost terminal). 23:36:55 I CONCUR. 23:36:57 -!- SuperMagicYay has quit (Quit: Lost terminal). 23:37:43 I think the moral of the story is that I should perhaps be more careful with them buttons. 23:38:39 fizzie, how do you get the up and down arrows?<-- AltGr-y and AltGr-Y 23:39:24 LIES 23:39:41 yeah untrue, dirty Swede 23:39:51 Phantom_Hoover: it's u 23:39:52 not y 23:39:55 (and U, not Y) 23:40:01 And anyway, we've now got a horde of deified Finns coming for us! 23:40:05 ACTION MUST BE TAKEN 23:40:19 err oops 23:40:26 alise, indeed 23:40:40 ← is altgr-y 23:40:51 ııııııııııııııııııııııııııı 23:40:59 1ıiI 23:41:01 hm 23:41:04 interesting char 23:41:13 altgr-shift-i 23:41:27 IIRC it's one of the types in the STLC. 23:41:38 Phantom_Hoover: Aren't you thinking of 1? 23:41:38 Phantom_Hoover, stlc? 23:41:45 Presumably the type of one inhabitant. 23:41:50 Vorpal: simply typed ... 23:41:52 alise, pah! 23:42:00 alise, ah 23:42:00 * alise decides that predicate words shouldn't pop their argument in concatenative languages 23:42:07 Phantom_Hoover: It's called 1 because it has one inhabitant... 23:42:09 Booleans are 2, etc. 23:42:12 This is set theory stuff. 23:42:21 > take action 23:42:22 alise, it is indeed. 23:42:22 I don't know the word "action". 23:42:35 So wait, what's the member of 1, then? 23:43:19 I MUST KNOW 23:45:57 unit 23:45:59 or tt 23:46:03 or whatever you want to call it 23:46:07 in haskell it's () :: () 23:46:11 -!- augur has quit (Ping timeout: 276 seconds). 23:46:56 ı ("latin small letter dotless i") is used at least in Turkish. 23:48:09 They also have a dotted capital I. 23:49:44 HATHEIST <<< does this mean a person who believes in hats, or an especially hateful atheist 23:50:17 -!- Phantom_Hoover has quit (Ping timeout: 276 seconds). 23:51:09 It's a bit problematic, since when case-mapping, often i -> I and I -> i (since that's what is generally expected), even in systems where ı -> I and İ -> i properly. 23:51:21 oklopol, no, one who tries to steal the hat of the pope iirc? 23:51:25 those whacky turks 23:51:34 or maybe that was operation hatheist 23:51:38 night →→→→ 23:55:56 "* alise decides that predicate words shouldn't pop their argument in concatenative languages" <<< and they don't, in japanese you can have multiple verbs using the same arguments 23:56:05 just stick them at the end of the sentence 23:56:11 (afaik) 23:56:19 Japanese is the new Factor 23:56:40 Japanese ... is a concatenative language ... 23:56:40 i'm not sure japanese is "concatenative" tho, just verb-last :D 23:56:41 (Ooh, spoken at 5:55:55) 23:57:01 -!- BeholdMyGlory has quit (Remote host closed the connection). 23:57:31 "* alise decides that predicate words shouldn't pop their argument in concatenative languages" <<< and they don't, in japanese you can have multiple verbs using the same arguments 23:57:32 verily 23:57:40 dunno about verbs though 23:57:47 hmm you're totally right 23:57:47 cpressey: Wait, you're in EST? 23:57:51 default-popping is a bit silly 23:57:54 although you end up popping a lot i guess 23:58:03 Gregor: when it comes to natural languages, i figured sov is as close as you get 23:58:06 Gregor: No, CST, I thought 23:58:19 Oh, haw, I'm off by one X-P 23:58:24 In spite of ... being in EST ... >_> 23:58:24 Well, CDT 23:59:35 cpressey: So what are you doing in some godawful midwestern state? :P