00:12:46 > [1..] \\ [1,2,3,4,5] 00:12:46 [6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,... 00:17:41 [1..] \\ [2..] 00:17:44 > [1..] \\ [2..] 00:17:48 timeout, presumably 00:17:48 mueval-core: Time limit exceeded 00:17:51 although it would be amazing if it worked 00:18:29 It would be easy, wouldn't it. 00:18:41 Create a new infinite list which checks if the element is in the second list before yielding it. 00:18:50 Do a linear search which short circuits. 00:18:54 Is this hard in Haskell? 00:19:15 > [1..] \\ [2,4..] 00:19:19 mueval-core: Time limit exceeded 00:19:22 Oh right. 00:19:31 If it doesn't exist, you end up with an infinite loop. 00:19:34 > [1..] \\ [1..] 00:19:38 mueval-core: Time limit exceeded 00:28:44 > let r = 1 : map (* 2) r in [1..] \\ r 00:28:51 mueval-core: Time limit exceeded 00:29:03 why can't haskell do proper strength reduction!!!! 00:29:47 > let odiff [] _ = []; odiff l [] = l; odiff xss@(x:xs) yss@(y:ys) = case compare x y of LT -> x:odiff xs yss; EQ -> odiff xs ys; GT -> odiff xss ys in odiff [1..] [2,4..] 00:29:50 [1,3,5,7,9,11,13,15,17,19,21,23,25,27,29,31,33,35,37,39,41,43,45,47,49,51,5... 00:30:11 Patashu: what? 00:30:15 nevermin 00:40:13 >[1,3..] 00:40:17 > [1,3..] 00:40:18 [1,3,5,7,9,11,13,15,17,19,21,23,25,27,29,31,33,35,37,39,41,43,45,47,49,51,5... 00:40:22 Do I win? 00:42:00 I think you missed the point of the question 00:42:02 a very small trinket, perhaps. 00:52:01 oerjan: that above only works on ordered lists right? 00:52:14 yes, that was the idea 00:55:39 and it could fail on data types other than integers, if infinitely many elements of the first list are larger than all of the second infinite one 00:56:38 ...actually, if _any_ element of the first list is larger than all of the second one 00:57:13 ah, yes. 00:57:38 > let odiff [] _ = []; odiff l [] = l; odiff xss@(x:xs) yss@(y:ys) = case compare x y of LT -> x:odiff xs yss; EQ -> odiff xs ys; GT -> odiff xss ys in odiff [Left 10, Right 1] [Left n | n <- [1,3..]] 00:57:41 mueval-core: Time limit exceeded 00:57:50 but if the second list is ordered in increasing order to infinity this is usually not the case, unless your data type has some sort of non-linear ordering. 00:58:13 CakeProphet: um that's what i meant by "non-integer" 00:58:25 and that was an example above 00:58:54 (technically that Left 10 should have got through, but i guess the timeout didn't keep the output) 01:00:32 also that's not non-linear, there are just two consecutive copies of the Integers. 01:00:39 -!- ais523 has quit (Remote host closed the connection). 01:01:45 > let odiff [] _ = []; odiff l [] = l; odiff xss@(x:xs) yss@(y:ys) = case compare x y of LT -> x:odiff xs yss; EQ -> odiff xs ys; GT -> odiff xss ys in odiff [-1/10 :: Rational, 1] [-1/n | n <- [1,3..]] 01:01:49 mueval-core: Time limit exceeded 01:04:35 "The Soviet Soyuz 11 spacecraft suffered an uncontrolled decompression during reentry, killing cosmonauts Vladislav Volkov, Georgiy Dobrovolskiy and Viktor Patsayev—the only human deaths to occur in space." 01:05:18 so as far as we know, no human being has ever got _lost_ in space... 01:06:28 major tom did 01:06:40 his capsule knew which way to go, though 01:06:48 so he's probably alright 01:06:59 O KAY 01:08:31 so if i calculate correctly, today agora is an adult 01:08:45 -!- Patashu has quit (Quit: MSN: Patashu@hotmail.com , Gmail: Patashu0@gmail.com , AIM: Patashu0 , YIM: patashu2 .). 01:08:51 18 years old? 01:08:55 yeah 01:15:27 so finns 01:15:30 tell me about july 27th 01:20:07 -!- copumpkin has quit (Quit: Computer has gone to sleep.). 01:21:33 -!- Vorpal has quit (Ping timeout: 240 seconds). 01:24:59 -!- zzo38 has joined. 01:26:51 Today I was trying to figure out how to switch the Linux console into codepage 437 (at FreeGeek). I eventually figured out but it was a bit difficult. It required using the dd command with another dd command in a ` ` piped to awk and other things like that. 01:27:00 Is there simpler ways? 01:46:29 zzo38: i don't know; btw why do you need codepage 437? 01:50:01 lifthrasiir: Some programs use it (including NetHack) and I wanted to the Linux console using not unicode. I have root access on those machines but it can be configured to work on individual sessions easily using the way I have, so it won't affect anything anyone else does (especially if using X). 01:51:15 The way I did it required a command structure something like this: dd if=/dev/mem skip=`dd if=/dev/mem | od | awk`; consolechars 01:51:33 Note I omitted most of the command-line parameters 01:52:14 Actually, I also used echo -e 01:53:31 echo -e is required to send the codes to turn off unicode and it is also necessary to turn off the character mapping by using the "console chars" program. 01:54:12 However, at least it could be done without rebooting (some documents said you needed to reboot) 01:54:24 * pikhq is distro-shopping. Again. 01:55:08 Hmm. I wonder how usable NixOS is. 02:20:48 55 usability points. 02:22:03 not satisfied with the usual ambiguities of degree in language, I seek to quantify everything with silly point systems. 02:27:39 10 ambiguity points. 02:27:51 (silly point) systems or silly (point systems)? 02:28:39 i much like the former 02:28:44 silly points are the best 02:28:47 silly ((silly point) systems) 02:29:29 -1 fake lisp points 02:30:43 it was more like ((((silly)) ((((point)) ((systems)))))) 02:31:04 ()()()()()()()()()()()()() 02:31:20 quite silly 02:31:54 -!- BeholdMyGlory has quit (Read error: Connection reset by peer). 02:31:55 in cases like the one quintopia likes, I usually hyphenate. silly-point systems. 02:32:25 unless it's just clear from context or whatever. 02:32:44 > 28e9/200000**(1/3) 02:32:45 4.787932650694753e8 02:33:25 -!- myndzi\ has quit (Ping timeout: 258 seconds). 02:34:56 -!- myndzi has joined. 02:42:33 -!- copumpkin has joined. 02:42:34 -!- copumpkin has quit (Changing host). 02:42:34 -!- copumpkin has joined. 02:44:18 -!- pumpkin has joined. 02:46:43 -!- copumpkin has quit (Ping timeout: 246 seconds). 02:47:13 > foldr' (*) 33 (replicate 99999999999 1) 02:47:14 Not in scope: `foldr'' 02:47:33 > foldr $! (*) 33 (replicate 99999999999 1) 02:47:34 Couldn't match expected type `a -> b -> b' 02:47:34 against inferred type `[... 02:47:49 :t foldr 02:47:50 forall a b. (a -> b -> b) -> b -> [a] -> b 02:48:30 foldr' makes little sense as a direct recursion 02:48:47 this isn't about making sense! 02:48:57 it's about inefficient id functions 02:49:16 you'd have to reverse the list first to make it efficient without exhausting the stack 02:50:25 since (*) is strict, you can probably get the same result by just using foldr? 02:51:10 > foldr (*) 33 (replicate 99999999999 1) 02:51:11 *Exception: stack overflow 02:51:25 unexpected. 02:51:40 > foldr (*) 33 (replicate 9999999 1) 02:51:40 now since (*) is also commutative, foldl' might be equivalent... 02:51:41 *Exception: stack overflow 02:51:52 oerjan: but more efficient right? 02:52:16 well sort of, it won't overflow the stack... 02:52:26 -!- pumpkin has changed nick to copumpkin. 02:52:28 and can probably be optimized into a loop 02:52:38 > foldr (*) 33 (replicate 9999 1) 02:52:39 33 02:52:42 > foldr (*) 33 (replicate 999999 1) 02:52:43 *Exception: stack overflow 02:52:45 > foldr (*) 33 (replicate 99999 1) 02:52:46 33 02:52:49 there we go. 02:54:07 > let id1 x = foldr (*) x (replicate 99999 1); id2 = (!!999999999999 . iterate id1; 02:54:08 : parse error on input `;' 02:54:10 oops 02:54:33 > let id1 x = foldr (*) x (replicate 99999 1); id2 = (!!999999999999) . (iterate id1) in id2 33 02:54:37 mueval-core: Time limit exceeded 02:55:08 ..success. Time to write a library for inefficient chaining of inefficient id functions. 02:58:10 i have a hunch that that would have overflowed the stack if it actually got to finish building the thunks... 02:58:35 > let id1 x = foldr (*) x (replicate 99999 1); id2 = (!!999) . (iterate id1) in id2 33 02:58:38 *Exception: stack overflow 02:58:41 yup 02:59:59 Apparently, NixOS does not currently install. 03:00:24 you can only have NixOS if you already have it. *MWAHAHAHAHA* 03:02:52 NixOS seems interesting. 03:02:55 I'd love to see how it turns out. 03:03:11 > let id1 x = foldl (*) x (replicate 99999 1); id2 = (!!999999999999) . (iterate id1) in id2 33 03:03:15 Yeah, it's a very clever concept. 03:03:20 *E 03:03:29 But with a completely and utterly broken installer, I have to rate its usability as "0". 03:03:39 (estimation: locks up on boot in qemu) 03:03:43 "if you change the kernel, Nix will ensure that external kernel modules such as the NVIDIA driver will be rebuilt as well" 03:03:55 welcome to every sane distroy 03:04:03 :c 03:04:43 coppro: What's more interesting about NixOS is that it makes it very, very difficult to break an install. 03:05:00 For instance, it is pretty much impossible for a library update to break packages. 03:05:15 Well. That's a feature of Nix, which NixOS uses. But you know what I mean. 03:05:54 wow, nix apparently is being developed on ARM 03:06:18 pikhq, sudo rm -rf /usr/lib 03:06:19 Done. 03:06:20 Broken 03:06:25 here's the thing that bothers me about it 03:06:29 Lymee: No such directory. 03:06:35 pikhq, sudo rm -rf /nix 03:06:57 since it never deletes old packages 03:07:00 Yesss, that would break it. 03:07:09 doesn't it slowly eat your storage up? 03:07:22 quintopia: You can call for a collection cycle. 03:07:24 quintopia, I assume it would have an "clean" command or something to manually purge things. 03:07:32 If they didn't think of it, I would be shockced. 03:07:34 shocked* 03:07:51 Thereby telling it to garbage collect any packages not currently referenced by a configuration. 03:07:57 pikhq: so like "delete all configurations before X"? 03:08:17 quintopia: No, you'd do "delete all configurations before X", and then "garbage collect". 03:08:28 ah 03:14:24 -!- azaq23 has quit (Ping timeout: 244 seconds). 03:17:00 * pikhq is so very tempted to NIH a distro. 03:17:05 This is not a good thing. 03:22:10 -!- zzo38 has quit (Remote host closed the connection). 03:27:42 I assume that installing Nix on an existing system is a bad idea. 03:32:43 why 03:32:43 y 03:32:58 Not really. 03:33:03 That's an intended use-case. 03:34:45 so 03:35:03 what if you get bad packages 03:35:12 Define "bad". 03:35:13 what if the maintainers fuck up your shit 03:35:25 Okay, so you have a bad package. 03:35:33 And? 03:35:46 yep and you need that package. it's the most important thing you need on your system 03:36:02 how hard is it to fix the build? 03:36:09 So, what you're saying is basically, "imagine that libc fucked up". 03:36:34 yes, or that the package that installs it fucks up or something 03:36:56 Only packages that depend on that specific package will be affected by it. 03:36:57 because packages here seem to be doing a lot more than traditional packages 03:37:09 All others will be depending on the previous libc. 03:38:08 do you think the userbase will be able to keep up with the demand for new packages? 03:39:36 Do you even understand how Nix works? 03:39:53 You're asking questions that make about as much sense as "What if the cat jumps over the moon?" 03:40:35 not completely, but i wouldn't be asking otherwise 03:40:52 but i do understand that a distro is only as good as its userbase 03:41:04 yeah everyone knows it's cows who do that 03:42:21 Okay, so each package has its files in /nix/HASH-pkgname/, where HASH is a cryptographic hash of all its dependencies concatenated (IIRC, things like "configuration settings" are part of that, and I know that build-time dependencies are) 03:42:49 Each package basically refers to files *in those directories*. 03:43:12 So, a package update literally cannot affect other packages unless those packages update. 03:48:07 yeah i got that much 03:48:21 i just wanted to know hard it would be to fiddle with a package 03:48:44 say "this package is broken, but i want this package, and the other users aren't fixing it" 03:49:08 No real problem. 03:49:55 Which packages are active (i.e. have symlinks in ~ for the sake of your PATH) is per-user. 03:50:11 You could just build your own packages, and voila. 03:50:13 and you say you can have multiple versions of the same package simultaneously. how much of a troubleshooting headache would this cause? seems like it would make the system dependency graph a bit hairier. 03:50:31 I don't see why. 03:51:07 because every time you want to fix something, you have to know which versions of which packages it depends on. is there a tool to make that easier? 03:51:26 Yeees, the package manager. 03:52:02 You don't maintain all this *manually*. 03:52:16 obviously, but that's what bothers me you know :P 03:52:43 it makes it harder for me to visualize the weak points in the system 03:53:18 You might wish to read up on the Nix expression language. 03:54:05 okay 04:01:05 -!- CakeProphet has quit (Ping timeout: 240 seconds). 04:15:14 -!- BeedaWeeda has joined. 04:18:59 do you think that if you were a kid and you were told growing up that jack and the bean stalk was religion that by the time you got older you would be defending jack and the bean stalk instead of jesus christ? 04:21:07 sorry i dont religion 04:21:55 ^ 04:22:29 BeedaWeeda: No, because I do not defend the myth of IESVS. 04:23:01 But those who do? I'd certainly imagine so. 04:24:10 It is quite demonstrable that religious belief is primarily correlated with the beliefs of ones parents, followed quite closely by the common beliefs of the region. 04:24:19 I'd imagine so too, though perhaps not as many 04:24:36 Well, yes; Jack and the Bean Stalk is a much less self-defending meme. 04:25:23 -!- derrik has joined. 04:26:45 -!- derrik has left. 04:27:01 -!- zzo38 has joined. 04:27:46 -!- BeedaWeeda has quit (Ping timeout: 244 seconds). 04:28:54 -!- BeedaWeeda has joined. 04:30:57 if you look back in history 04:31:08 in ancient civilizations 04:31:38 they had religious beliefs that are very similar to the ones commonly held today 04:31:43 they had saviors 04:31:45 messiahs 04:31:46 gods 04:31:51 believable 04:31:57 and they denounced everyone elses gods 04:32:10 you can study this and see for yourself 04:32:18 it just proves that history repeats 04:32:43 theory: people are silly 04:33:50 proof: 04:34:29 did you guys see this months edition of national geographic? 04:34:53 it features that archaeological site in turkey they discovered some decades ago, gobekli tepe 04:34:57 its funny 04:35:05 because according to them 04:35:22 the site was built by primitive cave men, hunter gatherer type people 04:35:30 BeedaWeeda: No argument with that. It is *indeed* quite amusing that most current religious beliefs are very similar to ancient and dead beliefs. 04:35:36 but then you see 04:35:56 these huge pillars 04:36:05 very finely carved 04:36:25 very complex structures 04:36:47 they say the cavemen did this all on their own with some rope and logs 04:37:13 i held my head down in shame, i cant believe anyone could believe 04:37:33 More plausibly, it wasn't "cave men". 04:37:35 some primitive hunter/gatherer's could build a structure like tha 04:38:11 Such complex structures require, at a minimum, agriculture. Such that you can have people dedicated to such inessential crafts. 04:39:18 i think civilization goes back much further than is commonly believed in the scientific community 04:39:53 What makes you think that? 04:40:18 What's commonly believed in the scientific community is based upon evidence. 04:40:42 yes 04:40:55 but unfortunately in a lot of cases, that notion becomes dogma 04:42:40 is this an occult chatroom? 04:43:11 For instance, the origin of civilization is believed to be somewhere about 9500 BCE, because this is the approximate age of the oldest found sedentary, agricultural culture. 04:43:32 If we find an older such culture, then we can push the founding of civilization further back. 04:44:08 No, this is not an occult chatroom. 04:44:13 "I don't put scientists on my committees. Give them more data and they'll just change their minds." 04:46:07 zzo38: where are you? 04:46:18 zzo38: i invoke your mystical power! 04:48:08 quintopia: I am at Canada. 04:48:17 What kind of mystical power are you trying to invoke? 04:48:39 whatever it was, i think it was successful 04:48:40 zzo38: BeedaWeeda is interested in Magic 04:49:28 quintopia: :D 04:49:30 as i was filled with zzo38 mystery at the moment i saw quintopia: I am at Canada. 04:52:24 `addquote as i was filled with zzo38 mystery at the moment i saw quintopia: I am at Canada. 04:52:25 475) as i was filled with zzo38 mystery at the moment i saw quintopia: I am at Canada. 04:52:50 i am not sure that works very well without context 04:52:56 anyone who sees that in the future will think it is two quotes 04:53:06 but that is the format that has been accepted 04:53:12 add context if you like 04:53:50 and then they will try to correct the spacing, and we must undo it 04:54:52 -!- Lymee has quit (Ping timeout: 258 seconds). 04:54:56 well you can delete it if you like too 04:55:02 but know that i also received the mystery 04:56:16 you mean magick 04:56:45 its interesting yea, but i wouldnt dedicate the time necessary to learn it 04:56:50 We very often have quotations without proper context so don't worry about it too much 04:56:53 with zzo38, it's mostly Magic 04:57:36 yeah but elliott has been known to delete them 04:57:48 -!- Lymee has joined. 05:08:00 -!- Vorpal has joined. 05:13:21 Let's play pokemon card: http://zzo38computer.cjb.net/textfile/miscellaneous/pokemon_card/puzzle.1 05:16:43 Can you do it? 05:20:29 what is the goal? 05:21:42 coppro: Goal is win. 05:22:01 (Obviously) 05:22:04 -!- Lymee has quit (Ping timeout: 252 seconds). 05:22:47 in one turn 05:22:49 ? 05:22:50 Reload the file if necessary; I have clarified a bit 05:22:58 how would one make a game in which the goal was to lose, anyway 05:23:01 ok 05:23:05 coppro: Yes, in one turn. 05:23:22 oerjan: Some chess puzzles might do that possibly (lose without resigning) 05:23:39 (I think in chess they are called "reflex mate") 05:25:19 coppro: Note that if you fail to win this turn, you will lose due to running out of cards!! 05:25:36 zzo38: not if you restock your deck with garbage run 05:25:40 zzo38: is it something other than gust of wind the porygon, move the damage from the hypno on to it, and then attack it? 05:26:25 -!- Vorpal has quit (Ping timeout: 250 seconds). 05:26:50 coppro: Yes. Doing that will knock out only one opponent's pokemon and you need to knock out 2 opponent's pokemons to win. Note opponent can knock you out in one turn you lose. 05:27:02 -!- Lymee has joined. 05:27:03 -!- Lymee has quit (Changing host). 05:27:03 -!- Lymee has joined. 05:27:30 You can restock your deck but it won't help much (opponent will probably knock you out; they have some cards you cannot see) 05:29:28 One hint: At the end of the game your hand will contain only the 2 cards you picked up from knocking out 2 of opponent's pokemons (what the cards are is irrelevant) 05:30:25 oh right I forgot how prizes work 05:32:35 If you win, you make up a puzzle game of pokemon cards next. 05:32:51 (Actually you don't have to make up one if you don't want to) 05:34:44 Also, you cannot use CURSE to move damage from your own cards to opponent's cards. You can only move damage from one of opponent's card to another. 05:34:47 * pikhq has discovered a build system infinitely superior to Make. 05:34:52 I call it "/bin/sh". 05:35:10 pikhq: Yes that is what I use for my own programs. 05:36:27 zzo38: can you please include pokemon's types somewhere? 05:36:32 *pokemons' 05:36:56 coppro: They are included. That is what the "E:" means. 05:37:52 zzo38: oh ok 05:38:03 time sh -c './configure && make'; 2.807 seconds. 05:38:06 (It is short for "Energy type") 05:38:14 time ./build.sh; 0.275 seconds. 05:38:30 Heck time make; 0.349 seconds 05:38:33 zzo38: so why does "use power to move damage from hypno to porygon, retreat to hypno, gust of wind mr mime, attack and deal the extra damage to porygon" not work? 05:38:49 pikhq: `Heck': command not found 05:38:52 (okay, okay, so time make -j3;0.180 seconds) 05:38:54 coppro: XD 05:40:24 If we decide to permit use of GNU parallel: 05:40:44 coppro: Yes, it doesn't work. For one thing, you cannot use CURSE to move damage from your cards to opponent's cards. 05:41:32 ... 0.406 seconds. 05:41:39 Actually I found an error in my text which I have now corrected. Opponent should have *two* of MR. MIME cards. 05:41:40 GNU parallel is slower than I'd like. 05:43:29 zzo38: I mean from my opponent's hypno... oh 05:43:41 oh wait, the damage is on the dark muk 05:43:42 Opponent has no HYPNO. 05:43:43 I meant the dark muk 05:43:52 Yes, DARK MUK, that makes sense. 05:44:11 Still, I have correct it and now opponent has two MR. MIME cards, so what you say won't work. 05:44:34 (Please reload the file) 05:44:35 then I would use gengar's power, use gust of wind, use itemfinder to get back goop, play goop, and then retreat and attack 05:45:00 coppro: Note that ITEMFINDER requires two other cards in your hand in order to do so. 05:46:34 zzo38: does it? 05:46:38 it doesn't say that it does 05:46:58 Another typo, thanks I will correct it. 05:47:23 ah ok 05:49:10 I corrected that typo too, please reload the file. 05:49:43 aha! 05:50:09 I'm not sure what the garbage run and bill are for 05:50:39 Some of the cards that do not say "irrelevant" can still be irrelevant. 05:50:44 oh ok 05:51:08 but I would go with: use my power to put the damage on porygon. gust of wind so that dark muk is active. retreat the gengar to the spearow; retreat the spearow to the hypno paying the two recycle energies, getting them in hand 05:51:28 itemfinder discarding them to get back the goop gas attack, use it, attack dealing 6 damage to dark muk and 1 to porygon, giving two kos 05:51:40 coppro: Yes, good! That is correct. 05:52:43 I, sadly, am not very good at puzzle composition 05:52:52 much less with Pokemon cards, which I haven't played with in a long time 05:53:19 also when you say old-style rules, what has changed? 05:53:35 coppro: I don't know what has changed actually, sorry. 05:54:55 ok 05:55:13 I was not under the impression that there were any major rules changes 05:56:56 Yes, this puzzle is in one such case where opponent's cards can be helpful to you!! 05:57:31 Yes, that's quite often the case 05:58:30 -!- oerjan has quit (Quit: Good night). 06:00:26 at least in Magic 06:01:37 coppro: Yes, in Magic: the Gathering such things are more common. 06:28:38 -!- VanillaIsotope has joined. 06:31:29 http://i299.photobucket.com/albums/mm295/umar_sajjad/PSY/gifpsy.gif 06:32:44 VanillaIsotope: What is that picture for? 06:32:57 to show you guys how i feel 06:33:06 ;) 06:33:18 OK 06:33:27 Well, especially after every chakra is opened 06:33:32 thats how I feel 06:33:45 Especially after doing the breath of fire 06:34:00 ;) 06:34:44 wonky 06:35:08 pranyama is good for you :D 06:40:53 http://psychedelic-information-theory.com/ 06:42:27 http://psychedelic-information-theory.com/toc.php 07:01:41 -!- monqy has quit (Quit: hello). 07:02:37 Y'know, the miracles of Jesus really do reflect the time that the gospels were written in. 07:02:46 I mean, curing blindness and leprosy? 07:02:54 Sure, that may have been impressive back then. 07:03:33 But we can replace human vision, and leprosy is a probable target for extinction in the next, oh, 50 years. 07:04:15 It's all a bunch of things that a bunch of 0 CE Jews would've thought impressive. 07:04:39 Most of which a well-prepared time traveller could have pulled off. 07:05:07 Yes, they would call it impressive. Time traveller might be able to do it except that probably time travel cannot be done that way anyways. 07:05:09 Jesus as a time traveler? 07:05:11 Win. 07:05:30 I do not believe time travel can be done that way. 07:05:35 Starting Christianity? 07:05:36 Not so much. 07:06:00 We can even improve the amount of miracles doable if we allow for clever tricks to make it *appear* that the miracle happened, rather than actually doing it. 07:06:47 Not going to be able to handle the "rose from the dead" thing without a suicidal double, though. 07:07:50 pikhq: Yes you can figure out such kind of clever tricks, possibly, maybe. It might work. But I doubt the time travel idea will work. 07:08:45 zzo38: I am not proposing this as something someone should/could do. 07:08:53 Just as something to think about. 07:09:09 Ones thoughts need not actually be possible. ;) 07:09:15 s/Ones/One's/ 07:09:17 pikhq: Yes, it is at least something to think about. 07:10:32 pikhq, "rise from the dead?" 07:10:46 Depends on the level of technology. 07:10:55 If you have, say, brain transfers? 07:11:06 Ah, true. I was merely discussing present technology. 07:11:22 Hmm.... 07:11:25 If we allow for future but plausible technology, then bam. 07:11:48 The gospels could then be interpreted as a time traveller playing god. 07:12:16 If Jesus was a time traveler, wouldn't the Bible already exist in their time? 07:12:19 Or something. 07:12:23 Gah time travel. 07:15:23 I doubt time travel can work that way. The laws of physics are not to be broken (it is OK to be bent slightly, though). The Old Testament probably already exist in their time, not the New Testament. But even if it is the case they wouldn't have necessarily brought it back in time with them! 07:16:11 obligatory: wibbly wobbly 07:16:52 -!- CakeProphet has joined. 07:16:53 -!- CakeProphet has quit (Changing host). 07:16:53 -!- CakeProphet has joined. 07:23:07 -!- CakeProphet has quit (Ping timeout: 276 seconds). 07:47:18 repo.or.cz seems some problem I cannot edit the project settings. 07:47:53 http://aya.shii.org/wp-content/uploads/2011/06/chinabisyoujo10.jpg 07:47:59 The image is not doctored. 07:48:17 The person, obviously, is. 07:50:57 O_O 07:51:12 that is disturbing 07:51:49 Would it make you feel better to realise that it's a combination of heavy makeup, contacts, and bizarre camera angles on someone with slightly odd proportions? 07:52:09 yes 07:52:35 it's still disturbing 07:52:57 Well, yes, it is in the uncanny valley. 07:53:16 I do feel better than there is no plsatic surgery involved 07:53:54 that was my first reaction 08:05:38 I tried to make the Redmine tracking system for TeXnicard, so that now you can post issue report, document, wiki, forum, etc. There are some things isn't very good but at least it can work. However I might have done some things wrong too. https://devlabs.linuxassist.net/projects/texnicard 08:07:06 Maybe I did it wrong I don't know 08:08:20 pikhq: Yes I did when I saw the picture, must think it must be some combination of makeup, contacts, camera angle, odd proportions, etc 08:08:45