00:00:11 It does, it'll just clutter your cwd with temp files and fail the i/o tests 00:00:48 It doesn't "clutter", it removes them 00:00:55 Only if you have FILE 00:00:58 I do 00:02:29 Unfortunately 00:02:32 BAD: "foo"G failed 00:02:34 Still happens 00:03:03 Try harder at the Deadfish challenge of code golf! 00:03:04 -!- zzo38 has quit (Quit: zzo38). 00:03:09 Or ELSE 00:03:50 OK, I guess I'll implement FIXP now 00:04:46 Deewiant: Hey, what FIXP instructions does slowdown use >:) 00:05:36 grep -o '[A-Z]' slowdown.b98 00:06:02 Well, due to comments, don't use -o, but anyway :-P 00:06:17 Randomization and exponentiation, maybe something else too 00:06:41 I'll just make them all error so I can see :P 00:07:58 Deewiant: Did FIXP used to be two fingerprints or something 00:08:05 what's FIXP 00:08:07 Not to my knowledge 00:08:07 It's like fixed-point shit, plus a bunch of random mostly-numerical things 00:08:11 Patashu: a thing 00:08:45 it only exists in befunge? 00:08:53 :t (^) 00:08:53 forall a b. (Num a, Integral b) => a -> b -> a 00:08:53 Patashu: yes 00:09:09 how does befunge even have a library 00:09:21 It's called fingerprints 00:09:24 D(n -- rnd(n))RanDom number 00:09:30 Deewiant: So, uh, by "rnd(n)"... 00:09:32 ;P 00:09:38 Probably [0,n) but beats me 00:13:49 How slow does slowdown go again 00:14:01 Slow enough that you'll notice it 00:14:02 $ ./shiro slowdown.b98 forks.b98 00:14:03 shiro: WTF? Executed 32. 00:14:06 Deewiant what did you do........................ 00:14:21 A bug in your space handling? HA HA 00:14:34 Deewiant: Is this a common reaction to slowdown? :-P 00:14:49 Shiro/Interpreter.hs: else doIns val 00:14:49 Shiro/Interpreter.hs:doIns :: Value -> Shiro () 00:14:49 Shiro/Interpreter.hs:doIns 32 = error "WTF? Executed 32." 00:14:49 Shiro/Interpreter.hs:doIns i | i < 32 || i > 126 = reflect 00:14:49 Shiro/Interpreter.hs:doIns i = 00:14:50 Shiro/Interpreter.hs: replicateM_ (fromIntegral n) (doIns =<< peek pos) 00:14:55 It was a common reaction of CCBI's to various test things I've come up with 00:14:56 I call doIns literally twice, you must be doing something horrible :P 00:15:16 if isStringMode ip && val /= dquote 00:15:16 then push val 00:15:16 else doIns val 00:15:23 OK but I toNextIns before that and toNextIns should never land on a space. 00:15:23 elliott_: kp such that the p is spaced over? 00:15:32 Hmmm 00:15:36 Deewiant: Yes, I just checked 00:15:38 k might be it indeed 00:15:42 replicateM_ (fromIntegral n) (doIns =<< peek pos) 00:15:47 So doIns should just nop on a space basically 00:15:47 Or wait 00:15:54 Does k have to skip spcaes 00:15:55 spaces 00:16:04 Hmm but I already /do/ nextInsPos 00:16:49 -!- pumpkin has quit (Quit: Computer has gone to sleep.). 00:18:53 Deewiant: What do you mean by "spaced over" anyway 00:19:18 A space gets put on top of it 00:19:52 Shiro is a haskell befunge interpreter? 00:20:12 Patashu: Yes. 00:20:15 Deewiant: Gets put on top of it... when? 00:20:19 In the k 00:20:20 While k is executing? 00:20:26 Deewiant: I, uh, think k takes a single tick for m 00:20:27 me 00:20:31 Is that bad 00:20:35 No, that's good 00:20:43 Oh, you mean the thing inside the k spaces it ou 00:20:43 t 00:20:46 What should happen in that event? 00:20:49 Should it find the instruction after the spaces? 00:20:50 Or just do nothing? 00:20:59 The instruction is found only once 00:21:03 So it continues looping 00:21:17 Hmm, right 00:21:24 So basically, k saves the instruction itself 00:21:42 ins <- peek pos 00:21:42 replicateM_ (fromIntegral n) (doIns ins) 00:21:43 That was easy. 00:22:12 Is it /meant/ to take like over ten seconds before I see any output from a simple program? 00:22:25 Probably, given that Mycology takes over a second 00:22:37 Although hmm 00:22:40 Deewiant: Bastard :P 00:22:43 (Re: "over a second") 00:22:52 If your program is slow it shouldn't be that slow, I don't think 00:22:53 It /used/ to just take a second, but then I had to go and clean up the frickin' code 00:23:00 Deewiant: The program is forks.b9[eight] 00:23:04 Well, on the order of seconds anyway :-P 00:23:08 Mycology seemed a bit mammoth to try 00:23:08 As opposed to milliseconds 00:23:19 I'll try sanity.bf :P 00:23:35 $ time ./shiro slowdown.b98 mycology/sanity.bf 00:23:36 0 1 2 3 4 5 6 7 8 9 00:23:36 real0m3.664s 00:23:36 Dayum 00:23:44 :-) 00:23:46 This is a symptom of a slow fungespace, right? 00:23:52 Not necessarily slow wrapping? 00:23:56 Because sanity.bf doesn't even wrap. 00:24:23 Slow wrapping would take minutes or hours, probably 00:24:36 So be thankful it doesn't wrap if you have slow wrapping 00:24:53 Deewiant: I have fast wrapping, just not when you pull shit like this ;) 00:25:21 For a program as small as that, it might be a symptom of a slow stack 00:25:28 As well as fungespace 00:25:35 Profile it to be sure :-P 00:25:38 I don't suppose haskell has a profiler? 00:26:10 Patashu: Haskell is a language, it has no profiler indeed 00:26:15 GHC is an implementation of Haskell, it has an excellent profiler 00:26:24 $ time ./shiro slowdown.b98 mycology/mycouser.b98 00:26:24 ^C 00:26:24 real2m14.510s 00:26:26 Deewiant: welp 00:26:37 elliott_: Slow space and/or stack 00:26:39 Also my fan is on full blast now 00:26:46 Deewiant: Well I do the global bounds thing still. 00:27:03 My stack is just a Haskell list but pushing and popping shouldn't be slow 00:27:22 Check its max size if you can easily 00:28:17 I can print out the size every tick? :P 00:28:37 If you want to slow it down a shit-tonne more, go ahead :-P 00:35:24 It /used/ to just take a second, but then I had to go and clean up the frickin' code <-- fail at refactoring ;P 00:35:53 it involved a new monad stack 00:36:05 elliott_, slow I guess? 00:36:15 meh 00:36:24 just point eight s more on myco 00:36:47 Patashu: http://www.haskell.org/ghc/docs/latest/html/users_guide/profiling.html 00:36:49 that's quite a bit 00:36:56 A.k.a. 45% 00:36:58 elliott_, more than the runtime of cfunge on it 00:37:04 Deewiant, ouch that is huge 00:37:04 shut up 00:37:14 elliott_, request rejected 00:37:18 i'll optimise later 00:37:22 ah okay 00:37:34 correctness first unlike cfunge by default >:) 00:37:39 (exact bounds) 00:38:02 elliott_, actually the exact bounds has been on by default for ages 00:38:16 bluh bluh 00:38:20 elliott_, besides it was due to a misunderstanding of the spec 00:38:24 that it happened at all 00:38:26 *shrug* 00:38:36 bluh bluh >:) 00:38:53 elliott_, and stop going "bluh bluh" when you realise you there is no way out of a discussion 00:38:57 better to admit defeat :P 00:39:13 elliott_: Found out what's up yet? 00:39:45 Deewiant: Nope, taking a break 00:40:00 Oh well, I'm going to bed 00:42:38 -!- copumpkin has joined. 00:43:34 smae 00:43:36 same* 00:45:36 -!- Vorpal has quit (Read error: Operation timed out). 01:14:48 -!- augur has quit (Remote host closed the connection). 01:27:49 Patashu: No languages have a profiler. 01:27:55 Several language implementations do. 01:28:15 Hah, I see 01:28:15 -!- augur has joined. 01:28:25 3.5 hours until the beginning of the end. 01:28:35 Nope 01:28:39 it happens at 6 pm 01:29:02 Yes. 3.5 hours until it is 2011-05-21T18:00 in UTC+14. 01:29:11 Oh, that's where you live? Alright 01:29:15 6.5 hours heree 01:29:20 Actually, lemme redo that. 01:29:43 Hmm, if I convert before the great earthquake reaches my time zone will I be saved? 01:31:57 3.5 hours until 2011-05-21T18:00+14... 01:47:27 Huh. Tar cannot store all possible UNIX files. 01:47:48 It is impossible to archive a UNIX socket with tar. 01:48:06 It is perfectly possible with cpio, though. 01:58:27 (UNIX sockets are similar to FIFOs in that they actually have entries in the filesystem) 02:00:22 Why wouldn't it be able to? 02:00:49 Because the archival format does not define a way to encode them. 02:01:15 Isn't the idea that it's just a file, though? 02:01:24 It's a different type of file. 02:01:44 I know, but I thought the idea of UNIX was that everything could be treated with the same interface - as a file 02:01:48 Just like device files, FIFOs, and directories are different types of files, so an archival format needs to explicitly support them. 02:02:44 Yes, but you can't just open a random file *as* a FIFO, device file, or UNIX socket. 02:02:59 You need to explicitly make them into those types of files. 02:03:20 Hmm, that's true 02:03:34 So an archival format needs to encode that information. 02:03:40 -!- GreaseMonkey has joined. 02:03:47 Just like zip can't encode device files, tar can't encode UNIX sockets. 02:03:58 'lo 02:04:24 btw, 373-byte bog-slow BF interpreter in python: http://pubacc.wilcox-tech.com/~greaser/stuff/litebf3.py.txt 02:06:15 i'd also been working on an optimised interpreter though the best optimisation i had was the simplest (use a tree, use run lengths for >< and +-, and another program node for []) 02:06:49 you only need the exec because you're compressing it, right? 02:06:52 yeah 02:07:14 my execless attempt was 384 bytes 02:08:09 Inexplicably, pax doesn't support UNIX sockets either. 02:08:10 ok i hope this routing loop won't kill my connection 02:08:40 -!- GreaseMonkey has quit (Quit: The Other Game). 02:08:46 -!- GreaseMonkey has joined. 02:08:57 much better, now on ethernet 02:09:28 i'd like to get a simple hub or switch for here though, i have a freedos desktop 02:09:37 (it's got the drivers it needs or something like that) 02:20:30 ok my optimised interpreter has been given a kick in the pants 02:22:33 -!- augur has quit (Ping timeout: 246 seconds). 02:22:55 -!- augur has joined. 02:30:11 btw, 373-byte bog-slow BF interpreter in python: http://pubacc.wilcox-tech.com/~greaser/stuff/litebf3.py.txt 02:30:19 psht, it's below one hundred and sixty chars in C :) 02:31:23 sounds believable 02:31:29 wait, 160 < 240 02:31:33 nice one 02:33:13 where bouts is that, btw? 02:33:22 let me try and find it 02:33:26 http://j.mearie.org/post/1181041789/brainfuck-interpreter-in-2-lines-of-c 02:33:30 s[99],*r=s,*d,c;main(a,b){char*v=1[d=b];for(;c=*v++%93;)for(b=c&2,b=c%7?a&&(c&17 02:33:30 ?c&1?(*r+=b-1):(r+=b-1):syscall(4-!b,b,r,1),0):v;b&&c|a**r;v=d)main(!c,&a);d=v;} 02:33:30 Unknown command, try @list 02:33:51 nice 02:41:00 ok i've just attempted a sudoku solver in prolog 02:41:19 well, more of a brute forcer to be quite honest 02:44:43 An hour and twenty minutes until the start of the Rapture, dudes. 02:44:53 RIP Kiritimati 02:46:03 wait, 10pm where? 02:46:30 10pm?? 02:46:33 It's six pm local time. 02:46:43 Currently 16:44 on Kirtimati. 02:46:46 apparently it's supposed to be 10pm here 02:46:51 and it's 14:47 here 02:46:55 or something 02:46:57 No, it's six pm local time everywhere. 02:47:00 anyhow, i think boardok_boxes() is a bit broke 02:47:18 great, so we know the day AND the hour! 02:47:25 apparently we must be jesus' father 02:47:46 It respects timezones 02:47:47 which is awfully nice 02:47:51 daylight savings too I suppose 02:48:07 at least it's no more implausible than the rest of christianity :) 02:49:01 actually it doesn't even line up 02:49:05 with christianity 02:49:18 timezones are godgiven 02:49:20 dst is man made 02:49:47 those guys do this big thing on one verse that at least at first says they're wrong 02:49:56 but they forgot to cover the "but my father only" bit 02:50:26 GreaseMonkey: I wouldn't exactly be surprised to find out that the Bible contradicts itself about that :P 02:50:32 you'd need a ridiculous sized sudoku for brute force to not be optimal 02:52:48 oops, found the mistake in this 02:52:51 had a , instead of a . 02:54:33 boardok(Board) :- boardok_boxes(Board), boardok_rows(Board), draw_board(Board), boardok_cols(Board), draw_board(Board), write('^ got one! ^\n'). 02:56:00 Deewiant: Somehow mycouser is magically fast now. 02:59:00 elliott_: It'd just be one more discrepancy, wouldn't it. 02:59:38 GreaseMonkey: It's not even like they're citing an obscure interpretation of the Bible, though. 02:59:47 GreaseMonkey: They're doing numerical games. 02:59:49 Literally. 03:00:22 i think they're saying that jesus will arrive shaped like a thief 03:00:42 but i'm sure that what the verse is referring to is jesus' return being unexpected 03:01:06 you're /sure/? 03:01:13 I'm sure it's moot. 03:01:29 certainty in interpreting the bible is, historically, not the kind of certainty that turns out to be justified 03:02:39 As there is no evidence for the veracity of any of the *other* supernatural claims out there, it seems moot that there's any veracity in the supernatural claims of a handful of shepherds and fishermen 2000 years ago, that happened to be a succesful meme. 03:02:53 Erm, lemme rephrase that. 03:03:26 "It seems moot to discuss the interpretation of the supernatural claims of a handful of shepherds and fishermen 2000 years ago, that happened to be a succesful meme." 03:03:40 There, that seems a bit more like what I meant. 03:04:16 -!- PoohBear_ has joined. 03:04:22 -!- PoohBear_ has left. 03:05:03 -!- augur has quit (Remote host closed the connection). 03:14:10 wow, i haven't found a single board yet that fulfils both boxes and rows 03:15:29 -!- augur has joined. 03:32:18 http://www.youtube.com/watch?v=p3bkmD-70e4 03:34:28 Half an hour until the Rapture begins. 03:36:04 Yay. 03:39:46 -!- azaq23 has quit (Ping timeout: 260 seconds). 03:40:26 msnbc says the world is likely to end at 6 pm on the east coast actually. 03:40:35 credible source. 03:41:03 CakeProphet: As has been much discussed, it will be 2011-05-21T18:00 in each time zone. 03:41:17 And it's 20 minutes until that time in UTC+14. 03:42:21 it's UTC+12 here 03:42:27 actually uhh 03:42:38 * GreaseMonkey np pink floyd - another brick in the wall pt 2 (live) 03:42:55 yeah i think it's utc+12 03:43:02 we're in may which i believe is not DST 03:43:25 pikhq_: ah, I'm glad God is sensitive to our time zone standardizations. 03:43:35 msnbc says the world is likely to end at 6 pm on the east coast actually. 03:43:37 "Likely"? 03:43:43 elliott_: ...yep. 03:43:48 that's American news for you. 03:43:53 link me, I gotta see this. 03:44:04 http://powerwall.msnbc.msn.com/business/your-guide-to-the-end-of-the-world-1688853.story 03:44:09 it's written tongue-in-cheek, I think. 03:44:20 As far as more RELIABLE sources -- i.e. this channel -- go, it's twenty-two minutes until the island Kirtimati gets an unfortunate case of the raptures. 03:44:30 And so it begins. 03:44:40 CakeProphet: that's The Daily Beast, not msnbc 03:44:46 msnbc just appear to syndicate it 03:45:09 ah 03:45:17 The problem is... 03:45:24 Camping says only 200 million will go zoop into the sky. 03:45:28 oh yay we're getting called by 91867 again 03:45:33 So converting to Christianity is pretty much pointless. 03:45:39 damn... 03:45:42 Satanism? 03:45:44 BUT 03:45:47 where'd he get that number? 03:45:54 GreaseMonkey: Bullshit. 03:45:58 GreaseMonkey: Dude, this is religion. 03:46:00 Do you really have to ask? 03:46:02 The answer is: his ass. 03:46:10 CakeProphet: Even if nobody gets raptured, though, the horrible earthquake shit will still start. 03:46:19 So we should get reports of the aforementioned earthquake shit soon enough. 03:46:33 well if he can't back it from the bible he's not a very reliable prophet 03:46:47 damn... I better get a hot air balloon. 03:46:50 GreaseMonkey: And being able to back it from the bible would make him any more reliable? 03:46:51 I think not. 03:47:00 well if the bible is true then yeah 03:47:02 CakeProphet: Yes. That is the only solution. 03:47:13 GreaseMonkey: And if Camping is right, then yeah, Camping is reliable too. 03:47:13 but if he's claiming to be a christian, it needs to "line up" 03:47:24 GreaseMonkey: Well, he /has/ "backed" it. 03:47:26 With a bunch of numerology. 03:47:36 Oh, the Christians do pull shit out of their ass often. 03:47:38 It's the somethingth anniversary of Jesus kicking the bucket or something like that. 03:47:39 (hint: if you ever get a call from 91867... find an old computer that doesn't connect to the internet that isn't even x86) 03:47:49 GreaseMonkey: what 03:48:02 91867 do a phishing scam using remote desktop 03:48:13 apparently your computer is broken and they need to run a program to fix it 03:48:25 (if you have caller ID, that number might show up) 03:48:26 what kind of phone system is this 03:48:31 i have no idea 03:48:31 91867 has like two digits 03:48:34 phone numbers are longer than that 03:48:38 Discordian numerology would suggest that the world ended last Thursday. I think Camping needs to rethink his numbers. People go get civil engineering degrees and suddenly they think they can be an apocalypse mathematician... hogwash! 03:48:40 hmm wait utc+twelve you said 03:48:41 new zealand? 03:48:51 yeah 03:48:56 two hours until your rapture, I hope you enjoy it 03:49:11 `quote apocalypi 03:49:12 ​115) I don't know that I've ever heard apocalypi described in terms of depth ... 03:49:18 well if New Zeland only has 100 people per zip code... 03:49:23 er area code 03:49:38 Well you /are/ all uncivilised backwater sheepfuckers, so I'm hardly surprised. 03:50:56 elliott_: wouldn't it be great if all of the Christians vanished and then nothing bad happened? That's almost like atheist heaven. 03:51:07 CakeProphet: um, no? 03:51:13 Maybe anti-Christian heaven. 03:51:26 CakeProphet: It'd be better if all of the atheists vanished and were lifted into heaven. 03:51:29 even then, you'd have to put up with serious infrastructure loss. 03:51:39 elliott_: ...sure. If you want to take my joke literally, as is the case often on this channel... 03:51:41 "You are rewarded with this, for not believing in things for which there are no evidence." 03:51:48 CakeProphet: YEP 03:51:53 Note, though, that many in this paradise would hate God still. But hey, atheist heaven. 03:52:00 pikhq_: you lifted that from a dresden codak comic :D 03:52:18 elliott_: Yeah, yeah, I know. 03:52:28 elliott_: Atheist heaven is a neat concept. 03:53:01 boy i'm tired 03:53:11 And demonstrates just how little evidence we have for a "god", anyways. If there were a god, from the evidence we have, he really *could* have set up heaven for atheists. 03:53:13 elliott_: I see the infrastructure loss as an opportunity for benevolent non-Christian people to take charge and make the world a better place. Like corporations. Yeah, corporations. 03:53:22 CakeProphet: yeaaaaaaaaah no 03:53:58 elliott_: or, barring that, an excellent opportunity to test various anarchist theories. 03:54:04 IT is such an ungodly trade. It needs to be more rapture ready 03:54:07 what's anarchy got to do with this 03:54:08 CakeProphet: Actually, all the Christians leaving would fuck shit up pretty quick... 03:54:12 besides, there are plenty of perfectly good/intelligent christian people. well i guess it depends how you define christian... if you mean raving fundamentalists, then it'd probably be no big loss, but they're relatively harmless anyway, so it's not really beneficial 03:54:34 CakeProphet: Let me ask you, what would happen to the world economy if 85% of the US population disappeared? 03:54:37 I mean, you're talking about over a billion people here 03:54:40 Over two billion it seems 03:54:49 elliott_: of course. I didn't mean to imply that. I was speaking of what would if society in mostly Christian Western nations collapsed as a result. 03:54:57 s/would/would happen/ 03:55:12 And it doesn't really make any sense as something you'd want; even if you're anti-Christianity, disliking Christian people for it is idiotic :) 03:55:17 CakeProphet: well, sure. 03:55:41 CakeProphet: I don't think most anarchists view a total natural-disaster-esque (that's what it'd be like) event that plunges society into chaos to be the ideal kind of transition though :) 03:55:59 wtf, wikipedia says there's only about a million wiccans 03:56:05 well no. But idealism is always the flaw with those anarchists, you know... 03:56:13 i realise it's a tiny modern sect but that's still weird 03:56:25 gotta work with what you get. 03:56:38 sigh, it is getting bright :( 03:57:03 elliott_: Neopaganism tends to be a hard sell. 03:57:29 pikhq_: I guess it's just because wiccans tend to be loud about it ;-P 03:57:34 wow that's a weirdo smiley. 03:57:40 Small sects tend to be. 03:58:08 For instance, Raëlism. 03:58:26 elliott_: How many Discordians are there? 03:58:40 if you want a weird smiley, take this :-ṕ 03:58:48 pikhq_: hmm, I would say that Raëlism tends to attract people who are already crazy, though :) 03:58:59 elliott_: the number is probably suppressed or diminished in some way as part of a conspiracy theory. Yep. 03:59:01 CakeProphet: Highly debatable. 03:59:21 elliott_: Well, yeah, that is Raëlism for you. 03:59:22 Whereas neopaganism tends to (and I realise this is an incredibly biased observation) snap up teens before or after they become nihilists :P 03:59:28 GreaseMonkey: that sure is a weird smiley 03:59:30 what is that accent even 03:59:38 CakeProphet: there's about three discordians 03:59:45 idunno, it just exists in unicode 03:59:59 :-Đ 04:00:00 :ð 04:00:03 :ß 04:00:04 :ŋ 04:00:05 :ħ 04:00:07 :ĸ 04:00:09 :ł 04:00:11 elliott_: i thought there were 5 04:00:11 :» 04:00:20 GreaseMonkey: no. three. don't give in to the deception. 04:00:20 :-ő 04:00:34 : seems interesting 04:00:47 It looks like his mouth is disintegrating into the air 04:00:52 At least on fixedsys excelsior 04:01:03 elliott_: I noticed a mild hangup in my network connection when rapture occured somewhere. :D 04:01:05 GreaseMonkey: Let's just say that Discordianism is hard to define well enough to give a count of its members. 04:01:08 people /use/ fixedsys excelsior? 04:01:08 must mean something. 04:01:13 i guess masochism never dies 04:01:16 oh snap 04:01:18 the rapture did just happen 04:01:22 can someone check the news 04:01:24 Any earthquakes? 04:01:26 :X̴̪͕̜̭̻̪̝͚͈͒̂͆̏̎̌ͧ 04:01:29 did kiritimati just get fucked 04:01:29 I like fixedsys and I like unicode 04:01:31 jesus guys 04:01:31 What's a guy to do 04:01:40 Patashu: stop liking fixedsys? :) 04:01:45 haha 04:01:52 "Queen reveals she is a huge fan of The X Factor" 04:01:54 jesus 04:01:59 just clicked on google news to see about any earthquakes 04:01:59 Aiiiiiiiii! 04:02:02 Maybe I need to start a rumour that fixedsys is the lord's own fonttype 04:02:03 then suddenly lost faith in my monarch 04:02:05 don't think it'd be catchy 04:02:06 THANKS GOOGLE 04:02:11 just kidding, i don't give a shit about the queen 04:02:19 http://news.google.co.uk/news/search?aq=f&pz=1&cf=all&ned=uk&hl=en&q=earthquake 04:02:23 OK I DON'T SEE ANY EARTHQUAKES 04:02:26 don't be silly, it changes over time 04:02:33 a 5.9 earthquake! oh noes 04:02:42 in Turkey, fifteen hours ago 04:02:44 the lord's font at the moment is that particular sans font that shows up in the later NLTs and NIVs 04:02:48 PREEMPTIVE RAPTUREQUAKE 04:02:52 but aren't there meant to be signs and wonders up until the rapture? 04:03:14 GreaseMonkey: Well, you win the award for "most questionable definition of The Lord's Font of the day" :P 04:03:21 Patashu: No, it's a stealth rapture. 04:03:29 Also a raptor. 04:03:31 Is that like a stealth fighter 04:03:36 Yes. 04:03:38 Does it reflect radar 04:03:47 elliott_: i was going by the typefaces that bibles tend to be printed in 04:04:05 GreaseMonkey: There are plenty more translations than NIV and NLT :P 04:04:09 there's a gideon's NKJV with a ridiculously bold-looking serifed one 04:04:12 and yes i know that 04:04:15 Although I don't have any stats 04:04:31 i realised that the ESV doesn't seem to have the same font as those though 04:04:36 A meta-analysis of fonttypes used for bibles 04:04:41 not sure if the CEV has it 04:04:47 Gideons... I wonder if they actually convert enough people to justify the ridiculous effort 04:04:53 not sure if you can even get the GNB anymore but that uses a serifed font 04:05:06 I wonder if they've converted a single person. 04:05:12 b҉o҉o҉m҉҉҉҉ 04:05:13 I'm always really tempted to take the Gideon's Bible whenever I see it in a hotel room, but I'm not sure that's allowed? 04:05:17 I gather they usually do deals with the hotels these days 04:05:22 Rather than actually bothering to go in and put them there 04:05:29 If they were doing it manually it'd be legal of course 04:06:04 elliott_: is the moon made out of blood at your locale? 04:06:17 CakeProphet: yes. 04:06:18 Well, I'll be. There *was* an earthquake vaguely near 6PM, UTC+14. 04:06:21 Wrong location, though. 04:06:28 pikhq_: HAHA 04:06:29 pikhq_: Where? 04:06:31 Papua New Guinea. 04:06:35 Link? 04:06:37 should be a standard way to measure the occurance of a biblical standards-compliant rapture. 04:06:39 http://www.heraldsun.com.au/news/breaking-news/strong-65-magnitude-earthquake-hits-off-coast-of-papua-new-guinea/story-e6frf7jx-1226056555864 04:06:42 And how close is Papua New Guinea? 04:06:52 To Kititbstibst, that is. 04:06:56 ...rather close, globally speaking 04:07:07 Also, how close is it? Half an hour before? 04:07:08 aͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥͥ 04:07:15 pikhq_: ? 04:07:27 elliott_: Approx. half an hour before, yeah. 04:07:35 k͆͆͆͆͆͆͆͆͆͆͆͆͆͆͆ 04:07:41 pikhq_: Startin' to believe a little :P 04:07:50 Man I SHOULD BE IN BED but I am busy talking about the rapture?? 04:07:53 In UTC+10, though? 04:08:08 Oh, sorry, the date is "May 16". 04:08:14 *Never mind*. 04:08:14 ... 04:08:15 Oh :P 04:08:20 Fuck you :P 04:08:23 Gettin' my hopes up and all that 04:08:37 I like to think that in the ellipsis oerjan typed up there, he started beliving 04:08:40 [asterisk]believing 04:09:42 so I guess this is kind of what 2012 will be like too. 04:09:49 http://earthquake.usgs.gov/earthquakes/recenteqsww/ 04:10:07 CakeProphet: What -- boring? 04:10:15 I'm hoping 2012 will be more like what happens in Shadowrun where magic reawakens in our world. Or was that 2013? 04:10:30 elliott_: some mild anticipation and boredom, yes. 04:10:36 pikhq_: This map is harshing my vibe. Is there just an ordered-by-time list? 04:10:54 http://earthquake.usgs.gov/earthquakes/recenteqsww/Quakes/quakes_big.php 04:10:54 elliott_: you can do anything with Perl... 04:11:02 CakeProphet: not at five am. 04:11:11 And not if you want to stay happy with yourself and not at all suicidal. 04:11:21 well.... okay. 04:11:22 pikhq_: SOUTH SANDWICH ISLANDS best name 04:11:33 http://en.wikipedia.org/wiki/South_Georgia_and_the_South_Sandwich_Islands 04:11:35 DEPUTY POSTMASTER 04:13:12 Deewiant: WTF. P in FIXP (multiply by pi) doesn't take fixed point as argument. 04:14:02 ?hoogle sign 04:14:02 Control.Concurrent.QSem signalQSem :: QSem -> IO () 04:14:02 Control.Concurrent.QSemN signalQSemN :: QSemN -> Int -> IO () 04:14:02 Prelude significand :: RealFloat a => a -> a 04:14:04 ?hoogle signum 04:14:04 Prelude signum :: Num a => a -> a 04:15:11 Y'know, if the claims were actually true, I think that all countries but Kiribati could postpone the end inevitably. 04:15:31 pikhq_: Like I said, if you try and tricky bullshit, God will just smite you. 04:15:32 By having an emergency meeting of their legislatures and declaring their local time to be UTC-several trillion. 04:15:38 elliott_: Camping was a civil engineer. It's possible he got his math wrong. 04:15:45 Anyway Christians wouldn't /want/ to. 04:15:50 Isn't the rapture something they /want/? 04:16:47 elliott_: It's been demonstrated that Christians are more likely to want large amounts of life support to put off death for a bit longer, y'know. 04:17:05 (I don't have a citation handy, sadly) 04:17:11 elliott_: Christians? Afraid of death? Surely not. 04:17:30 ...wrong person :P 04:17:37 pikhq_: Yah, but... 04:17:40 pikhq_: It's the frickin' rapture. 04:17:45 God's practically BEGGING you to come home. 04:18:58 -!- TeruFSX has joined. 04:19:25 elliott_: Would work just fine for non-Christian legislatures, though. 04:22:12 heh 04:27:45 Don't civil engineers have to have a factor of safety of 2 04:27:49 So we need to wait twice as long as what he said 04:28:00 14k years? 04:28:24 aww.. no rapture for us. 04:29:00 Guess that means I get to sin more. 04:29:12 After all, the only reason I'm an atheist is so I can sin without consequence. 04:29:47 pikhq_: Alternative reason: it's a "phase" 04:30:07 *sigh* 04:30:14 So condescending. 04:36:57 @hoogle doRapture 04:36:57 No results found 04:37:20 ..okay, I'm fairly certain the world isn't going to end now. 04:37:37 sooooo 04:37:40 any earthquakes? 04:37:57 No. My dad is a Christian and he still walks on the earth. 04:38:04 so... there's that. 04:38:38 no blood-moon. Or recognizable horsemen. 04:39:15 two hundred million only 04:39:18 are you even paying attention jesus 04:39:23 CakeProphet: Well, it'd happen at 2011-05-21T18:00 local time. 04:39:41 Unless you live in eastern Kiribati, it's not happened yet. 04:39:48 eh, I think if God were going to rapturize us he would do it all at once. 04:40:14 The claim is that it's happening at 2011-05-21T18:00 in each time zone. 04:40:24 Have you even been paying attention? 04:40:32 How do you even have earthquakes not along fault lines 04:40:38 Only barely. 04:40:50 Patashu: see: God :P 04:40:56 Patashu: Zombie IESVS. 04:41:07 man this is shitty 04:41:08 i want a fucking rapture 04:41:11 its early and im bored 04:41:15 Or at least a raptor. 04:41:24 ...not _that_ bored. 04:41:31 i'm boreder 04:41:38 Let's plank in preparation for the rapture 04:41:40 Got any billboards? 04:41:50 oerjan: yes that bored. 04:41:59 the world is very boring and nothing fun ever happens. 04:43:10 oerjan: how's the rapture in norway (they get arpture early because are dumb) 04:43:23 very quiet so far 04:43:39 THE QUIET SOUND OF DEATH 04:47:18 elliott_: you could invest your energies in formulating a proof by contradiction of Christianity as a whole. Or you could find a way to profit off of this. If it's already too late to do that, then you can start profiting on 2012. 04:47:53 sell funny t-shirts, posters, mugs, etc. 04:48:12 Does it matter whether Christianity contradicts itself? 04:48:24 well.. no 04:48:36 It is perfectly possible to make a belief system just as unlikely that does not contradict itself, after all, and I'd feel no compulsion to believe in that. 04:48:47 So I don't see why the opposite would apply (stop believing in something because it's contradictory). 04:49:29 One should only believe that which there is evidence for. 04:49:42 makes sense to me. the inverse condition isn't going to be truth if the original is true, so... INVALID POINT. 04:49:49 Whether or not things without evidence are consistent or not is completely and utterly irrelevant. 04:50:02 elliott_: inverse or converse, for that matter. 04:51:03 CakeProphet: Point is: believing in Christianity is a mistake not because it might contradict itself, but because it makes outrageous claims that don't pay their dues (they don't offer useful predictive power) and gives no justification for them. 04:51:49 Point is: ...I had no point to begin with. 04:52:13 profiting from 2012 seems like a much better use of time actually. 04:53:13 or somehow design a doomsday-themed esolang... 04:53:46 http://esolangs.org/wiki/Rapture 04:53:47 it sucks >:) 04:54:05 I wonder if Timwi is seriously not going to edit until Graue sysops him which is not going to happen ... 04:54:08 lol 04:57:08 hmm 04:57:12 CakeProphet: its five five seven am 04:57:15 should i go to slep :/ 04:57:22 hey happy hour anneverseryu of pocalypse 04:57:28 I don't know let me think about it. -opens python- 04:57:33 GreaseMonkey: brace yourself for apoaalypse in hour 04:57:54 >>> random.choice(["sleep", "don't"]) 04:57:54 "don't" 04:58:23 i did my own science 04:58:24 >>> random.choice(["sleep", "don't"]) 04:58:27 "butts" 04:58:27 :/ 04:58:33 i guess my python is broken 04:58:44 ...hmmm, yeah sounds like a bug in random 04:58:52 or a bug 04:58:53 in the universe 04:59:01 should probably not go to sleep and report it immediately. 04:59:44 here i have an idea 04:59:45 to trick myself 04:59:49 what if i go to TRY OUT going to sleep 04:59:50 so like 04:59:51 if i don't like it 04:59:55 i can just get up and stop going to sleep 04:59:56 right 04:59:58 and that'll trick me because 05:00:02 i'll fall asleep before i realise it 05:00:09 whoops now i've told myself how it works it won't work 05:00:14 ...uh. sure. 05:00:21 yeah ok fuck this shit bye 05:00:30 I find that taking melatonin helps with that. 05:00:56 yeah i got some thanks to utah apparently being collectively stupid enough to not realise that it's prescription only here? 05:01:03 or, i looked it up and it isn't and they're just planning to make it that 05:01:07 but in the meantime they're telling everyone it already is 05:01:15 because if you fool enough people that's pretty much the same thing as making it law but easier?? 05:01:17 god knows 05:01:21 but im pretty much tired enough anyway 05:01:23 -!- GreaseMonkey has quit (Quit: The Other Game). 05:01:25 as is obvious from how stupid these words are 05:01:30 so i dont think ill have any problem falling unconscious 05:03:04 hey CakeProphet the obligation falls on you to remind me to implement the rest of fixp kthx bai 05:06:36 uh, I'm sure I'll remember that. 05:07:47 -!- elliott_ has quit (Ping timeout: 264 seconds). 05:09:08 ... There's *germ theory denialists*‽ 05:09:42 Well, you can't see germs 05:09:44 Prove they exist 05:11:21 I have observed them. 05:11:37 Oh yeah, forgot about microscopes 05:11:38 I dunno then 05:13:28 -!- oerjan has quit (Quit: Microscopes? More like deceptive little microdemons!). 05:17:58 HAPPY RAPTURE EVERYONE! 05:19:04 Not yet! 05:19:10 it isn't rapture in America, Home of Jesus yet 05:19:23 ofcourse but todays THE DAY 05:24:32 Chatham Islands, 6:09 PM 05:25:17 D: 05:28:27 yay, mathnews! 05:37:35 why is today the day anyway 05:37:39 what's this all about, i've been ignoring it 05:37:51 i thought it was supposed to be 2012 for the mayan thing, so this must be something else? 05:40:38 myndzi: it's the rapture 05:42:24 that doesn't really help me any 05:42:28 who decided it's the rapture? 05:42:38 a guy 05:42:41 it said so in the bible 05:42:42 he found it 05:42:44 so he's right 05:42:52 you better hope you get lifted to heaven 05:43:19 oh 05:43:23 i'm definitely going to hell 05:48:15 I think you have to wait until October for that 05:48:31 yeah 06:03:13 -!- ais523 has joined. 06:07:11 Why the pfargtle were there so many damned cops? 06:07:29 I saw like 4. On the same block. At the same time. Just crusing. 06:08:24 -!- copumpkin has quit (Ping timeout: 248 seconds). 06:09:00 -!- copumpkin has joined. 06:09:03 -!- copumpkin has quit (Changing host). 06:09:04 -!- copumpkin has joined. 06:15:03 hmm, it's passed 6pm in the UTC+12 timezone, now 06:15:06 any evidence of rapture? 06:16:17 Nope. 06:16:31 Nor was there any in UTC+13 or UTC+14. 06:16:56 It's also going to be 6pm in UTC+11:30 soon. 06:16:58 do those timezones exist? 06:17:04 +13 and +14, that is 06:17:10 Yes. 06:17:12 I thought there were no timezones more than 12 from UTC 06:17:16 apparently I was wrong 06:17:28 Kiribati is UTC+12, UTC+13, and UTC+14. 06:18:13 New Zealand is UTC+12 (UTC+13 daylight), UTC+12:45 (UTC+13:45 daylight), UTC-10, and UTC-11. 06:18:51 Aaand that's the set of UTC+12+ timezoned countries. 06:19:45 Any rapturing yet? 06:19:54 hmm, I like the way we're covering this more or less the same way Ilari covers IPv4 exhaustion 06:20:15 Total, utter nerdiness? Yeah, it is pretty nice. :) 06:42:26 Yay, UTC+11:30 rapture! 06:59:52 UTC+11 rapture! 07:02:04 Whoo. 07:02:51 it happened? 07:07:24 somehow that seems a little unlikely 07:18:28 ais523: The time *of* the rapture occured. 07:18:47 The rapture itself, of course, did not, and is extraordinarily unlikely to ever occur. 07:20:13 ^ 07:20:26 THAT'S WHAT WE THINK 07:22:07 38 minutes until the rapture in my local time 07:22:23 COUNT DOWN 07:22:27 37 07:25:15 And UTC+10:30 rapture in 5 minutes. 07:25:37 Fucking Australia, with its :30 time zones. 07:26:24 oops missed a few minutes. 34 07:34:24 26 07:38:27 http://www.ticotimes.net/News/News-Briefs/Chaos-in-Costa-Rica-s-Congress_Sunday-May-01-2011 07:40:01 20 07:41:15 You know, I think the time zone confusion is a deliberate tactic 07:41:28 Instead of the rapturemania fissling out all at once, it does so over a longer period because no one's sure quite when it's meant to happen 07:44:39 15... 07:49:49 10... 08:01:13 Hmm; I see no new minutes announced. Must've been raptored. 08:01:57 Nope still here 08:20:03 -!- monqy has quit (Quit: hello). 08:25:26 -!- augur has quit (Ping timeout: 260 seconds). 08:33:59 -!- augur has joined. 08:38:48 * Sgeo_ is now in Act 5 Part 2 08:39:59 -!- sebbu2 has joined. 08:43:38 -!- sebbu has quit (Ping timeout: 276 seconds). 08:45:53 -!- Phantom_Hoover has joined. 08:54:35 So, has the Rapture started? 08:54:35 Phantom_Hoover: You have 1 new message. '/msg lambdabot @messages' to read it. 08:57:24 hmm.. someone on freecycle is giving away an orgon radiator. should i get it? 09:00:41 -!- Slereah has quit (Ping timeout: 248 seconds). 09:04:07 -!- Slereah has joined. 09:09:21 I don't even know what those things are 09:13:33 of course you should 09:14:09 ais523: orgone is a "force" that psychologist Wilhelm Reich posited surrounds us and influences us 09:14:19 http://en.wikipedia.org/wiki/Orgone 09:14:27 hmm 09:14:39 why would anyone ever try to give away one of those, then? 09:17:12 because they're useless? 09:17:32 I bet some people have inherited them and have no desire to use them for any reason wahtsoever 10:02:17 i think i'll drop the guy an email. 10:03:52 he's also giving away a foot rest, which i might pick up because it's practical. 10:21:42 cheater897. 10:21:50 What does it look like? 10:21:58 You could always purpose it for something practical. 10:22:02 re* 10:22:20 -!- BeholdMyGlory has joined. 10:25:32 -!- FireFly has joined. 10:30:56 yeah i asked for photos 10:31:13 i hope it's small - then i can use it as a door stop or a futuristic paperweight. 11:01:51 -!- Lymia has quit (Quit: 1... 2... 3... HUGS! :D). 11:01:59 -!- Lymia has joined. 11:07:11 * Lymia hugs cheater897 11:07:27 lulz 11:07:30 * cheater897 hugz back. 11:07:36 :3 11:13:43 anyone interested in seeing my undoubtedly crap fast-as-hell intro to type theory with the simply typed and dependently typed lambda calculus? 11:13:47 :X 11:17:06 -!- augur has quit (Remote host closed the connection). 11:17:34 Lymia, aww, that's so cute. i could eat you whole. 11:18:04 -!- sebbu has joined. 11:18:04 -!- sebbu has quit (Changing host). 11:18:04 -!- sebbu has joined. 11:21:26 D= 11:21:34 -!- sebbu2 has quit (Ping timeout: 246 seconds). 11:22:22 sure 11:30:38 -!- Vorpal has joined. 11:36:10 -!- augur has joined. 11:46:23 -!- sebbu2 has joined. 11:49:55 -!- sebbu has quit (Ping timeout: 260 seconds). 12:05:55 [[When a new queen is available, the workers will kill the reigning queen by "balling" her, colloquially known as "cuddle death"; clustering tightly around her until she dies from overheating.]] — [[wp:Queen bee]] 12:05:58 Cuddle death! 12:06:23 * Lymia hugs Phantom_Hoover <# 12:06:25 <3* 12:06:48 * Phantom_Hoover menaces Lymia with a brick until she leaves him alone. 12:06:53 :( 12:06:57 But... 12:06:58 Hugs! 12:07:09 Who could not ilke them. 12:07:11 like* 12:07:12 D= 12:07:23 DON'T TRY TO FOOL ME I KNOW AN ASSASSINATION ATTEMPT WHEN I SEE ONE 12:07:31 ;-; 12:09:01 "Buckfast bee" 12:09:14 Please please please let it brew Buckfast instead of honey. 12:10:00 Huh, termites are closely related to cockroaches. 12:25:35 http://www.guardian.co.uk/books/2011/may/21/jon-ronson-how-to-spot-a-psychopath 12:25:36 Ronson! 12:25:42 "I nodded and thought it probably wasn't a great idea for prison libraries to stock books about Ted Bundy." 12:55:43 * Phantom_Hoover wonders why his Facebook tab is taking steadily more memory by the second. 13:11:52 Phantom_Hoover, ... you use facebook? 13:12:19 Yes Vorpal have you considered that you are in fact not the only person in the world. 13:13:13 Phantom_Hoover, what has that got to do with it 13:13:22 Phantom_Hoover, I'm just surprised you use facebook 13:13:31 I'm pretty sure elliott does not for example 13:13:45 and I would have assumed you would be one to dislike facebook as well 13:13:49 Yes this is because I made the mistake of having RL friends. 13:13:59 ah, poor you 13:14:13 And I do dislike it, I just use it for communication with them. 13:24:08 Phantom_Hoover, tell them to connect to #esoteric 13:24:16 Ahahahahahahahano 13:25:05 why not 13:26:16 Because they are mostly idiots. 13:26:25 http://en.wikipedia.org/wiki/List_of_common_misconceptions 13:26:39 Ah, common misconceptions. 13:40:18 Hmm, spider anatomy is more interesting than I thought. 13:42:10 -!- copumpkin has quit (Ping timeout: 260 seconds). 13:42:37 -!- copumpkin has joined. 13:42:47 Dammit, now I want a shirt made of Nephila silk, to go with my ring made of tantalum-180m. 13:43:00 If I don't end up a billionaire I am going to go deeply unsatisfied. 13:49:44 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 .). 13:50:17 that's a great list 13:51:05 Indeed, although I'm currently looking up spiders. 13:51:32 do you think there should be a list of uncommon misconceptions, to go alongside it? 13:51:32 http://en.wikipedia.org/wiki/Portia_(genus) 13:51:44 I, for one, welcome our new spider overlords. 13:52:09 I would reference "Insect Nation" but it's a song so it doesn't fit as well. 13:52:38 "Glass is not a high-viscosity liquid at room temperature: it is an amorphous solid, although it does have some chemical properties normally associated with liquids." 13:53:19 I particularly hate that one because it's one of those myths that has attained critical mass, so it's an uphill struggle convincing anyone it's wrong. 13:57:36 yeah, most people just don't understand the way glass flows (very, very slowly) all the time. i mean otherwise why would you have bubbles of air in glass, right? 14:02:27 and the flowing of glass prevents these bubbles? 14:02:35 -!- aloril has quit (Ping timeout: 248 seconds). 14:03:13 -!- Phantom__Hoover has joined. 14:03:24 Sorry about that, my father disconnected the router again. 14:03:32 "he observation that old windows are sometimes found to be thicker at the bottom than at the top is often offered as supporting evidence for the view that glass flows over a timescale of centuries. The assumption being that the glass was once uniform, but has flowed to its new shape, which is a property of liquid.[37] However, this assumption is incorrect; glass does not flow. The reason for the observation is that in the past, when panes of g 14:03:32 commonly made by glassblowers, the technique used was to spin molten glass so as to create a round, mostly flat and even plate (the crown glass process, described above). " 14:03:44 Fortunately, he doesn't know that I fixed the neighbours' router earlier. 14:04:13 Phantom__Hoover, for what? 14:04:26 Threaten to ban his MAC address from the router if he does not cease doing so, 14:04:49 Except the network card on the laptop blew so it's using a wired connection anyway. 14:05:02 Block wired connections? 14:05:05 Does your router let you do that? 14:05:31 -!- sebbu2 has quit (Read error: Connection reset by peer). 14:05:38 No idea, and I can't really be bothered because then he'll probably just lock my laptop away for insubordination. 14:05:59 -!- sebbu has joined. 14:05:59 -!- sebbu has quit (Changing host). 14:05:59 -!- sebbu has joined. 14:06:04 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 14:06:31 You have any backdoors into his system? 14:07:41 Well, I've removed the x flags from all the web browsers in the past, but I don't really feel like being vindictive this time because I'm not really affected. 14:07:53 Heh. 14:08:01 Blackmail is always fun. 14:08:27 "The Coriolis effect does not determine the direction that water rotates in a bathtub drain or a flushing toilet." 14:08:48 Oh god, that's another myth everyone believes utterly. 14:11:18 http://en.wikipedia.org/wiki/File:Spider_internal_anatomy-en.svg 14:11:37 The brain is surprisingly large... 14:15:29 Most sense in a thing ever: http://p.zem.fi/8tyq 14:20:11 Can we expect a rebirth of fungot, now with Homestuck mode? 14:20:28 I should do that output filtering thing, I guess. 14:20:41 Since that's why it's not online at the moment. 14:23:21 -!- aloril has joined. 14:25:05 What output filtering thing? 14:25:16 The no-ctcp one. 14:26:56 -!- BeholdMyGlory has quit (Remote host closed the connection). 14:35:53 What about Homestuck? 14:46:49 -!- aloril has quit (Ping timeout: 250 seconds). 14:47:35 Have you not seen the glory of fungot. 14:48:32 -!- aloril has joined. 14:52:41 -!- sebbu2 has joined. 14:52:41 -!- sebbu2 has quit (Changing host). 14:52:41 -!- sebbu2 has joined. 14:55:25 -!- sebbu has quit (Ping timeout: 240 seconds). 14:55:25 -!- sebbu2 has changed nick to sebbu. 14:59:24 -!- olsner_ has joined. 15:00:01 -!- Tritonio has joined. 15:02:39 -!- BeholdMyGlory has joined. 15:03:06 -!- olsner has quit (Remote host closed the connection). 15:03:07 -!- olsner_ has changed nick to olsner. 15:33:35 -!- Tritonio has quit (Quit: Leaving). 15:35:26 -!- myndzi has quit (Ping timeout: 258 seconds). 15:36:47 -!- myndzi has joined. 15:49:42 -!- olsner has quit (Quit: olsner). 15:50:04 -!- olsner has joined. 15:56:16 -!- olsner has quit (Quit: olsner). 15:58:43 *Still* no Homestuck update? 15:59:00 That's two days without an update¬! 15:59:02 *! 15:59:08 And he said there wouldn't be a Flash! 16:23:33 * Lymia giggles 16:23:59 -!- BeholdMyGlory has quit (Remote host closed the connection). 16:26:11 -!- sebbu2 has joined. 16:26:11 -!- sebbu2 has quit (Changing host). 16:26:11 -!- sebbu2 has joined. 16:29:52 -!- sebbu has quit (Ping timeout: 258 seconds). 16:31:26 Lymia, what are you laughing at, MURDERER 16:41:11 "(tell me why drag queens are OK and the Black and White Minstrels aren't, because I'm really curious)" 16:41:28 I suppose this is what I get for reading an article linked to by the Register. 16:41:37 Which is, in turn, what I get for reading the Register. 17:07:14 I suppose the real reason is that the Minstrels made fun of other people, and drag queens typically make fun of themselves 17:13:11 -!- Burmudar has joined. 17:17:45 Phantom__Hoover: Drag queens are not making a mockery of females. 17:23:47 -!- monqy has joined. 17:23:52 pikhq_, did it look like I was *agreeing*? 17:45:12 -!- TeruFSX has quit (Read error: Operation timed out). 17:46:20 -!- Phantom__Hoover has changed nick to Phantom_Hoover. 17:50:06 -!- sebbu has joined. 17:50:07 -!- sebbu has quit (Changing host). 17:50:07 -!- sebbu has joined. 17:53:07 -!- sebbu2 has quit (Ping timeout: 240 seconds). 17:54:44 Phantom_Hoover: No. 17:59:42 -!- sebbu2 has joined. 17:59:42 -!- sebbu2 has quit (Changing host). 17:59:42 -!- sebbu2 has joined. 18:03:30 -!- sebbu has quit (Ping timeout: 260 seconds). 18:06:39 -!- ajf|offline has changed nick to ajf. 18:11:47 asfsadfasdfadsfd god I hate phones. 18:11:58 Has a more obnoxious communication system been devised? 18:13:24 "In March 2007, Greater Manchester Police seized two golliwogs from a shop after a complaint that the dolls were offensive." — WP 18:14:01 I have this image now of the police kicking down the door and coming in with guns drawn for retrieval. 18:17:23 Yes. 18:21:19 Phantom_Hoover: that seems a little unlikely in the UK 18:23:25 ais523, I dunno, they're all savages in Manchester. 18:23:43 * Phantom_Hoover tries to remember if ais523 lives in Manchester or Birmingham. 18:23:49 Birmingham 18:23:56 They're both equivalent in my mind. 18:23:59 in the UK, the police generally use axes for raids rather than guns 18:24:15 easier to justify, and much harder to kill someone with, while being better against inanimate objects like doors 18:24:43 Well OK that works too. 18:25:12 I wonder how easy it is to shoot down a door with a typical gun? 18:25:21 beeminguhm 18:26:02 ais523, very easy if you use a shotgun 18:26:02 -!- ais523 has quit (Read error: Connection reset by peer). 18:26:37 you basically need to shoot the area around the lock to disconnect it from the door frame. 18:32:27 Yeah, that's pretty much the preferred way to break into a house these days. 18:32:53 (presuming you don't mind your entry being obvious) 18:32:58 Well, thanks for the tips. 18:33:12 Now I know what to do next time I foget my keys. 18:33:48 Destroy your door? Hah. 18:41:55 When I forget my keys, I think I'm going for a window. 18:42:07 -!- oerjan has joined. 18:43:32 Not a shotgun? 18:46:08 -!- elliott has joined. 18:47:48 06:19:54: hmm, I like the way we're covering this more or less the same way Ilari covers IPv4 exhaustion 18:47:49 :-D 18:48:17 So. 18:48:24 Is heaven facing ipv6 exhaustion yet? 18:49:34 :D 18:50:20 heaven went on ipv7 long ago 18:50:32 uses bignums 18:51:16 also, their global addresses cannot fit inside our universe 18:51:45 the pigeonhole principle worries me a bit 18:51:54 names can never work :o 18:52:04 because eventually names will get as long as what they're naming... 18:52:39 * oerjan feels disgustingly unraptured 18:53:15 oerjan: >implying you're one of the two hundred million chosen Christians 18:53:22 May 21, 2011 passed without this prediction coming true. [15] 18:53:23 --Wikipedia 18:53:55 hah 18:53:55 His time zones thing really screwed him over. 18:54:07 this is kind of disappointing 18:54:08 We get to say he was wrong 27 times in a row. 18:54:14 heh 18:54:22 elliott, so. We are still living with bigots? 18:54:27 like i wish there was some kind of minor earthquake 18:54:31 or like 18:54:38 massive earthquake somewhere in the totally unpopulated pacific 18:54:43 just to dramatise it up a bit 18:54:49 elliott, then there would be a tsunami. 18:54:51 You do NOT want that. 18:54:54 Lymia: if we assume rapture occured at astronomical noon, we'd get to say it infinitely many times! 18:54:56 elliott: well there almost certainly was a minor earthquake. 18:55:10 Lymia: meh, didn't even feel a thing when japan had one ;D 18:55:14 oerjan: shaddap 18:55:26 Zwaarddijk: Now now, space is discrete. 18:55:28 elliott, you bastard. 18:55:46 elliott: actually it would be eerie if they discovered there had been absolutely _no_ earthquakes anywhere today 18:55:51 oerjan: heh 18:56:20 * elliott tries to load familyradio.com, unsuccessfully 18:56:29 what is that site? 18:56:47 http://upload.wikimedia.org/wikipedia/commons/e/e0/Judgment_Bus_New_Orleans_2011.jpg 18:56:49 AWESOME NEWS 18:56:49 [snip]:~/craftbook$ ping familyradio.com 18:56:49 PING familyradio.com (209.10.202.163) 56(84) bytes of data. 18:56:49 64 bytes from familyradio.org (209.10.202.163): icmp_req=1 ttl=57 time=61.0 ms 18:56:49 64 bytes from familyradio.org (209.10.202.163): icmp_req=2 ttl=57 time=90.9 ms 18:56:51 Must be DDOS'd. 18:56:55 Vorpal: the radio station of the guy who made the prediction 18:57:00 ah 18:57:18 oh man 18:57:19 subject: Re 18:57:21 from: enfermeria 18:57:23 body: 18:57:25 [[Email-Id Awarded £750.000.00 Pounds in B.P.O Promo Send" 18:57:25 Names...Tel...Country...]] 18:57:29 it's the rapture of ME BEING RICH 18:57:34 XD 18:57:53 elliott, somebody should buy one of those trucks 18:57:54 I'm scared to report this as spam because it's such a tiny, contentless email that I'm afraid it'd cause legit email to be considered spam later :) 18:58:15 And drive it on May 22 18:58:20 gmail's spam filters seem to be less effective than usual lately 18:58:22 I wonder why? 18:58:32 Lymia: hmm, what's the current Julian date? 18:58:36 ? 18:59:07 maybe gregorian is the wrong calendar 18:59:20 http://tycho.usno.navy.mil/cgi-bin/daterdnm.sh 18:59:27 nope, seems not 18:59:39 elliott, btw, what did the guy himself say about the failed prediction? 18:59:39 "UTC has no time zones. It is the same world-wide." 18:59:40 durr 18:59:45 Vorpal: that's what I'm trying to find out 18:59:59 but the website is down 19:00:01 UTC has no time zones? 19:00:06 Don't you mean UTC /is/ a time zone? 19:00:18 heh 19:00:45 Lymia: ask the military :P 19:00:57 in any case, that statement is utterly stupid 19:01:02 anyway why did they have that page 19:01:17 what is the MJD? Julian day? 19:01:19 yes 19:01:30 http://tycho.usno.navy.mil/ 19:01:31 why would the military care about that 19:01:34 time service department 19:01:37 ah 19:01:46 the military care about accurate timekeeping, obviously :) 19:02:13 And the "usno" part refers to U.S. Naval Observatory, they also care about such things presumably. 19:02:36 "America's official timekeeper" apparently. 19:02:48 Oh no, the "How Many Clocks?" link from that front page gives an Internal Server Error. 19:02:52 They must have too many clocks to count. 19:03:42 Too many clocks spoil the... time soup. 19:04:38 -!- wareya_ has joined. 19:07:46 -!- wareya has quit (Ping timeout: 246 seconds). 19:08:09 too many cocks spoil the cock soup. 19:15:07 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 19:18:56 Shiro/Fingerprints/FIXP.hs:23:63: 19:18:57 Couldn't match expected type `(Value, Value) -> (Bool, Bool)' 19:18:57 with actual type `Bool' 19:18:57 Expected type: (Value, Value) -> (Value, Value) -> (Bool, Bool) 19:18:57 Actual type: (Value, Value) -> Bool 19:19:00 god what 19:19:01 :t join 19:19:02 forall (m :: * -> *) a. (Monad m) => m (m a) -> m a 19:19:04 lambdabot? 19:19:05 thx 19:19:13 :t join (/= 0) 19:19:13 Couldn't match expected type `a1 -> a' against inferred type `Bool' 19:19:14 In the first argument of `join', namely `(/= 0)' 19:19:14 In the expression: join (/= 0) 19:19:22 jesus 19:19:29 oh wait 19:19:57 in the UK, the police generally use axes for raids rather than guns 19:20:07 so the UK police is axe crazy, check 19:20:21 damn 19:20:24 why isn't ais here 19:20:26 ?hoogle (a -> b) -> (a,a) -> (b,b) 19:20:26 Data.Graph.Inductive.Query.Monad (><) :: (a -> b) -> (c -> d) -> (a, c) -> (b, d) 19:20:26 Data.Graph.Inductive.Query.Monad mapSnd :: (a -> b) -> (c, a) -> (c, b) 19:20:26 Data.Graph.Inductive.Query.Monad mapFst :: (a -> b) -> (a, c) -> (b, c) 19:20:30 gah 19:20:32 oerjan :( 19:20:34 hm indeed 19:20:38 ?hoogle (a -> b) -> a -> a -> (b,b) 19:20:39 Network.BufferType buf_span :: BufferOp a -> (Char -> Bool) -> a -> (a, a) 19:20:50 ?hoogle (a -> b) -> (b -> b -> c) -> a -> a -> c 19:20:50 Data.Function on :: (b -> b -> c) -> (a -> b) -> a -> a -> c 19:20:50 Data.Data gmapQr :: Data a => (r' -> r -> r) -> r -> (d -> r') -> a -> r 19:20:50 Data.Data gmapQl :: Data a => (r -> r' -> r) -> r -> (d -> r') -> a -> r 19:20:54 :t join (***) 19:20:54 forall (a :: * -> * -> *) b c. (Arrow a) => a b c -> a (b, b) (c, c) 19:20:56 come ON 19:21:04 oerjan: hmm 19:21:13 I'm basically trying to make this work: 19:21:16 fpRun _ A = binary (curry (enumValue . uncurry (&&) . both (/= 0))) 19:21:17 :D 19:22:48 @unpl curry (enumValue . uncurry (&&) . both (/= 0)) 19:22:48 curry (\ d -> enumValue (uncurry (&&) (both (\ a -> a /= 0) d))) 19:23:10 wtf @unpl doesn't handle *curry 19:23:24 curry (\a b -> enumValue (a/=0 and b/=0)) 19:23:27 erm 19:23:29 binary (\a b -> enumValue (a/=0 and b/=0)) 19:23:30 is what it is 19:23:38 aha 19:24:41 :t \enumValue -> ((enumValue .) . (&&)) `on` (/=) 19:24:42 Couldn't match expected type `Bool' 19:24:42 against inferred type `a -> Bool' 19:24:42 In the second argument of `on', namely `(/=)' 19:24:48 erm 19:24:54 -!- Phantom_Hoover has joined. 19:25:09 oh 19:25:12 :t \enumValue -> ((enumValue .) . (&&)) `on` (/=0) 19:25:13 forall c a. (Num a) => (Bool -> c) -> a -> a -> c 19:25:52 hm that's wrong 19:26:09 no wait that's right 19:26:48 do you mean fromEnum for enumValue there? 19:28:04 :t both 19:28:05 Not in scope: `both' 19:28:32 elliott: *CHIRP* 19:29:50 oerjan: oh hi 19:29:57 enumValue is a function I wrote 19:30:05 enumValue :: (Enum a) => a -> Value 19:30:05 enumValue = fromIntegral . fromEnum 19:30:20 anyway on (&&) is your both, i assume 19:31:18 except curried 19:31:40 which should make it even easier to use there 19:31:48 :t on (&&) 19:31:48 forall a. (a -> Bool) -> a -> a -> Bool 19:32:06 hm or wait 19:32:22 it includes more 19:32:37 :t on (,) 19:32:38 forall b a. (a -> b) -> a -> a -> (b, b) 19:32:43 :t on (&&) (/= 0) 19:32:43 forall a. (Num a) => a -> a -> Bool 19:32:49 > on (&&) (/= 0) 9 9 19:32:50 True 19:32:52 > on (&&) (/= 0) 9 0 19:32:52 False 19:32:57 perfect[exclamation mark[ 19:32:59 perfect[exclamation mark] 19:33:04 [asterisk]exclamation mark] 19:33:21 fpRun _ A = binary (enumValue . on (&&) (/= 0)) 19:33:23 ?hoogle on 19:33:23 Data.Function on :: (b -> b -> c) -> (a -> b) -> a -> a -> c 19:33:23 Text.PrettyPrint.HughesPJ OneLineMode :: Mode 19:33:23 Text.Parsec.Char oneOf :: Stream s m Char => [Char] -> ParsecT s u m Char 19:33:26 I forget where it is 19:33:26 ah, there 19:33:41 Couldn't match expected type `Value -> Value' 19:33:41 with actual type `GHC.Int.Int32' 19:33:41 Expected type: b0 -> Value -> Value 19:33:41 Actual type: b0 -> Value 19:33:41 In the first argument of `(.)', namely `enumValue' 19:33:42 In the first argument of `binary', namely 19:33:44 `(enumValue . on (&&) (/= 0))' 19:33:46 huuuh 19:33:53 elliott: um i did that above, you need more . 19:34:06 oh ok 19:34:09 right 19:35:01 although you might not need all the parentheses 19:35:32 :t \enumValue -> (enumValue .) . (&&) `on` (/=0) 19:35:33 forall c a. (Num a) => (Bool -> c) -> a -> a -> c 19:36:09 that works the same because of on's fundamental property (parametricity?) 19:37:02 elliott: also, binary $ ... >:) 19:37:39 oerjan: you might want to use ?enumValue btw 19:37:42 to avoid the lambda 19:37:46 ah right 19:39:18 :t enumValue 19:39:19 Not in scope: `enumValue' 19:39:27 oh duh 19:52:58 It's official, I can't hear the letter "y" 19:53:35 Thus far, two names beginning with Y, when I only heard them and didn't have them spelled out, I mentally replaced the Y with something else 19:53:47 y not? 19:55:25 Sgeo_, what about ynols? 19:58:03 oerjan: sometimes I feel like Haskell needs a better language for expressing point-free things 19:58:04 I FEEL AWKWARD 19:58:09 ((f .) . g) is especially ugly 19:58:18 I realise you can define :. or whatever, but... 19:58:19 Sgeo_: what 19:58:24 Talking to a guy who just broke up with a girl about that I like that girl 19:58:35 ... 19:59:05 Sgeo_ would you please romancefail in private like polite people do. 20:02:16 Deewiant: Any comment re: P in FIXP? 20:03:04 well if you cannot P, then you should FIX it. 20:03:15 elliott: Nope 20:03:43 Deewiant: Well it's just that I'm fairly sure it's meant to take a multiplied integer but it doesn't. 20:04:01 As specified it's like multiplying by three, but inaccurate. 20:05:03 shrug 20:06:02 -!- MigoMipo has joined. 20:06:14 I guess I'll just implement it as specced and watch Mycology complain at me for it :) 20:08:03 -!- olsner has joined. 20:18:59 oerjan: btw is "f ~(x,y) = ..." equivalent to "f xy = let x = fst xy; y = snd xy in ..."? 20:19:04 i've never really looked at irrefutable patterns 20:19:21 -!- sebbu has joined. 20:19:21 -!- sebbu has quit (Changing host). 20:19:21 -!- sebbu has joined. 20:21:11 hm yes i think so 20:21:26 nothing is ever "equivalent" in haskell, things are just different in ways more subtle than you can be arsed discerning between 20:22:00 olsner: i'm sorry but that's just wrong, as haskell is _defined_ by a lot of desugaring of such stuff 20:23:15 if you get to the actual definitions without giving up first 20:23:17 iirc the definitions of pattern matching in case expressions is basic and other pattern matches are desugared to that 20:23:24 -!- sebbu2 has quit (Ping timeout: 264 seconds). 20:24:22 although that part ignores typing 20:25:09 I wonder what the smallest practical "core" language is for a lazy functional language 20:25:33 well you could take a look at ghc core i guess 20:25:36 I think CPS form + arbitrary tuple construction + arbitrary tuple casing might be it... if you have no types 20:25:49 hmm, except you'd have trouble distinguishing two constructors with the same arity 20:25:55 I guess the constructor id could be the first element of the tuple 20:25:55 if you find out, do let me know - jonguilexiphonaugh wants a small lazy functional core language 20:27:13 olsner: unsigned machine words + function calls with a single argument (just a variable name or tuple literals) plus N continuation lambdas taking one argument + tuple construction of arbitrary size + untyped case on tuples? 20:27:34 hmm, plus some way of distinguishing integers from tuples in case 20:27:52 anyway, anything that calls a function passed to it -- i.e. higher order -- gets desugared into a sort of continuation thing 20:27:57 so... 20:28:11 if b (\() -> ...) (\() -> ...) 20:28:14 last two are continuations there 20:28:16 if if is defined as 20:28:21 if True f _ = f () 20:28:24 if False _ g = g () 20:28:28 except you don't need the () I guess 20:28:28 hmm 20:28:33 maybe continuatinos can take zero args too 20:28:47 um in my mind continuations and laziness are pretty much opposite things - continuations essentially force monadic programming 20:28:58 oerjan: well CPS is just equivalent to SSA. 20:29:06 you'd still do all the thunks 20:29:14 hm 20:29:22 it'd just call the continuation immediately after deciding /which/ continuation 20:29:30 OTOH, then, "if _|_ ..." would act "strict" 20:29:33 because expressions involving it would diverge 20:29:33 hmm 20:29:51 but you don't really want pure lambda calculus or anything 20:29:56 because that's not very friendly to compilation :) 20:30:18 oh your idea is to get something _less_ than lambda calculus? 20:31:01 oerjan: yes 20:31:56 oerjan: Ideally the thunks would become explicit too... 20:32:04 but that'd just make it a strict language I suppose 20:32:06 which is rather naff 20:32:37 oerjan: But yeah, a more restricted form than the lambda-calculus-with-data is desirable IMHO, because the lambda calculus isn't very conducive to optimisation /or/ compilation into machine code. 20:32:53 LC-with-data can be an intermediate step ofc 20:33:42 olsner: what /is/ jogongiofdngodfngfg anyway? 20:33:47 apart from the best name for anything ever 20:34:15 the official programming language of north korea, i assume 20:35:09 indeed, Kim Jong Il Exi Pho Naugh 20:35:17 named after kim jonguilexiphonaugh il 20:35:20 heh 20:35:20 anyone here good at Dungeons and Dragons rules? 20:35:22 but seriously, what is it :) 20:35:24 ...darnit 20:35:40 elliott: I'm not going to tell until it has an implementation 20:35:55 Vorpal: you'll just have to wait for zzo38 :D 20:37:02 just in case it never gets implemented :P 20:37:47 oerjan, uuuugh 20:37:53 oerjan, ANYONE ELSE? 20:38:44 olsner: aw come on :D 20:38:52 olsner: just a SLIVER of info? 20:41:37 elliott: I think I've pretty much described exactly what I was aiming for at some earlier time 20:41:43 around the time the name got donated 20:41:49 or slightly before then 20:43:36 olsner: oh come on :D 20:47:37 Vorpal: *MWAHAHAHA* 20:56:40 oerjan, :( 20:57:51 -!- copumpkin has changed nick to Is. 20:57:52 * Sgeo_ will be AFK soon 20:57:56 Trolling the mall >.> 20:58:04 -!- Is has changed nick to ls. 20:58:23 -!- ls has changed nick to copumpkin. 20:58:42 Sgeo_: trolleying the mall? :> 20:58:57 I just want to see if any May 21st believers are there 20:59:04 Probably not, but worth a shot 20:59:46 that was a pun, btw 21:00:16 no they all mysteriously disappeared 21:18:53 -!- olsner has quit (Quit: olsner). 21:30:49 no they all mysteriously disappeared <-- XD 21:37:37 -!- aloril has quit (Ping timeout: 250 seconds). 21:43:00 -!- aloril has joined. 22:01:23 -!- Burmudar has quit (Remote host closed the connection). 22:07:29 man what a crappy rapture 22:12:34 asdfq 22:17:18 elliott, found out the "official" explanation yet? 22:18:19 ? 22:18:24 No. 22:18:50 -!- augur has quit (Remote host closed the connection). 22:27:03 -!- Sgeo_ has quit (Ping timeout: 250 seconds). 22:38:42 -!- sebbu has quit (Read error: Connection reset by peer). 22:39:05 19:00:35: you can't get infinite precision generalised floating point 22:39:05 19:00:40: you can get infinite precision rationals 22:39:05 19:00:50: and arbitrarily high precision floating point, that's what a bigfloat is 22:39:08 Pictured: ais, LYING. 22:39:59 -!- sebbu has joined. 22:47:25 20:09:59: ehird____, well yes. But this would be an interesting new file sharing idea. Just share offset in pi 22:47:26 20:10:02: :P 22:47:26 20:10:10: compression too 22:47:36 Pictured: Vorpal doesn't understand information theory. 22:48:58 elliott: i just found myself defining your "both" function 22:49:10 oerjan: heh 22:49:14 oerjan: i think i stole that name from Deewiant 22:49:18 oerjan: what are you writing? 22:49:28 You did 22:50:02 i'm modifying my look and say code so it can treat both a left and a right part of the sequence (either of which may be infinite) 22:50:20 and i wanted to apply an abbreviation function to both sides 22:50:32 (which are a tuple (left, right)) 22:50:39 Deewiant: Those RCS Windows fingerprints -- are they high-level or low-level bindings? I doubt you know, but :P 22:50:46 If they're high-level I have this horrible urge to implement them portably. 22:51:00 WIND? 22:51:17 I think they're a one-to-one mapping to some X11 stuff but still fairly high-level 22:51:27 (i abbreviate "IIIIIVVIIVIV" to "5_2 1 ") 22:59:37 Deewiant: WIND, yeah. 22:59:56 Deewiant: I just mean in the sense of "they're not 'execute arbitrary winthirtytwo function', right?") 23:00:10 elliott: X11, not win32 23:00:16 And no, they're not, AFAICT 23:03:01 -!- elliott_ has joined. 23:03:30 -!- Patashu has joined. 23:04:36 -!- elliott has quit (Ping timeout: 240 seconds). 23:09:55 -!- MigoMipo has quit (Read error: Connection reset by peer). 23:10:54 -!- TeruFSX has joined. 23:13:35 -!- augur has joined. 23:45:54 let's watch a guy be wrong about the rapture http://www.livestream.com/familybibleministry 23:47:30 whats he saying 23:47:40 I can't tell 23:47:58 he's rambling at this point 23:48:03 'he will not come until all of his people are saved' 23:48:11 'this is the day of salvation, it's still here!' 23:48:15 lmao voice raising 23:48:23 he's the one that opens up the heart! he's the one that shuts the heart! 23:49:15 He's a responsible heart surgeon!