00:11:00 oerjan: Only if you define your measurements in terms of light's motion in a certain unit of time over that unit of time. 00:11:28 If you use the metric system, then you get a wildly different integer. ;) 00:11:40 you use plancks constant! 00:14:27 um, planck's constant is independent of c 00:15:24 shut up you! i know a big word 00:16:03 the reason to use c = 1 is that it makes all the relativistic formulas simpler 00:16:32 speed as fractions of c makes sense 00:17:45 but only when it makes sense 00:20:22 speed limit: .0000000671 00:26:22 The reason not to use c = 1 is that it makes all humanly obtainable speeds simpler. ;) 00:26:52 bah, humans 00:35:18 What, speeds near c aren't humanly obtainable? 00:35:29 You just need energy loans, that's all. 00:35:54 Hawking radiation or something. 00:42:15 -!- sebbu2 has quit ("@+"). 00:45:47 -!- Pikhq has quit (Read error: 60 (Operation timed out)). 00:46:16 Ask the First Interstellar Bank 00:46:33 * SimonRC has a Firefox bug. 00:46:40 anyone want to see? 00:47:08 ICBA to report it, as they want a Bugzilla account 00:49:17 bugzilla accounts will be the death of open source 00:50:16 Follow the instructions very carefully to see if *your* browser has this semi-bug http://compsoc.dur.ac.uk/~sc/tmp/test.html 00:53:18 omg it has! 00:53:28 DO I HAVE VIRUS? 00:53:36 heh 00:54:45 one of the advantages to using IE is that i can simply assume i have all bugs in existence, and not worry about checking 00:55:01 Although the chapter and verse I quoted doesn't actually say that is the wrong behaviour, it certainly implies it is a little too simple for a web-browser. 00:55:17 * SimonRC thinks of an idea... 00:56:09 I could use this to write a webpage, that when you recursively follow all links in one user-agent, you get an exponential blopwup, but in another user-agent you don't. 00:56:53 It would link back to itself lots of times with random variations on the link-back URL that *shouldn't* change its meaning. 00:57:03 dynamically-generated, of course 00:57:08 * bsmntbombdood wants a gyrotheodolite and an optical distance meter 00:59:41 -!- ehird` has quit. 01:03:43 moved it to: http://compsoc.dur.ac.uk/~sc/fxbug/test.html 01:04:18 interestingly, I only found *that* because of a Hoogle bug. :-S 01:05:03 Is there a name for the phenomenon of a bug exposing another bug? 01:07:15 treason 01:09:28 :-S ?! 01:12:03 well.. you'd expect them to respect each other more than that 01:12:46 there is no honor among bugs 01:14:07 so it seems 01:14:41 * oklopol is the creator of all that is good and cappuccino 01:14:45 mhohoho 01:15:12 ah, i get it now 01:15:52 whom? 01:16:51 oklopol: pff. Nothing is both good and cappuccino. 01:17:31 you don't like cappuccino 8| 01:17:35 ? 01:17:42 ihope is a freak! 01:18:05 if you don't like it, you haven't tasted my special lidl-microwave bake! 01:18:16 Hmm... maybe I should have said "Isn't 'good and cappuccino' redundant?" 01:18:27 thaz better 01:19:10 so you only parse syntactically what we say and create clever answers by swapping words? 01:19:25 doesn't everyone? 01:19:43 well, i guess some mix in some semantics 01:19:53 women, mostly 01:19:59 and gay people 01:20:06 coffeez -----------> 01:20:08 and bugs 01:20:39 mmm, cappucino 01:22:07 hot damn, http://en.wikipedia.org/wiki/Image:Hollow_dollar.jpg 01:23:35 * bsmntbombdood wants 01:33:14 -!- ihope_ has quit (Read error: 54 (Connection reset by peer)). 01:50:46 bsmntbombdood: that wouldn't be accepted by a machine, of course 01:51:04 ...why would i put it in a machine? 01:52:28 i'd make one if i had a mill 01:52:31 -!- oerjan has quit ("Good night"). 01:52:32 "ZOMG! I accidentally put the secret microfilm in a vending machine" 01:52:44 except you couldn't 02:19:17 i'd make a lot of things if i had a mill 02:29:50 * SimonRC sings _The Ultimate Showdown Of Ultimate Destiny_ in the style of Tom Lehrer. 02:29:54 great fun!!!!! 02:30:02 bsmntbombdood: flour? 02:30:13 huh? 02:31:06 erm, as in "flour mill"? 02:31:16 a metal mill 02:31:33 I was kidding 03:12:21 * SimonRC contemplates pointer-free datastructures. 03:13:13 They're not actually any worse than linearly-typed data, apart from the copying time, and theproblem of having enough space to expand the datastructure. 03:13:16 hmm.... 03:17:40 pointer-free trees might not be to bad... 03:18:40 tree = [A=label][B=left subtree][C=right subtree][length of ABC] 03:19:59 an empty tree would have a special label field. 03:20:34 you might want a way to skip to the middle too... 03:20:42 i.e. look at the right subtree 03:21:18 this would be optimised for lookup and linear traversal of course, but in the latter case it would do *fantastic* things to the cache. 03:23:20 c'mon guys, *respond* 03:23:36 this is most definitely an esoteric programming topic. 03:25:15 i don't like it 03:25:38 "pointer free linked list" = array? 03:25:56 yes 03:26:30 It will go fater than anything else possibly can, as long as you traverse it correctly. 03:26:43 it makes more sense to have length at the begining for a tree 03:26:59 or rather, as long as your algorithm requireds the right sort of traversal. 03:27:22 bsmntbombdood: quite possibly, but you'd have to backpatch it. 03:27:43 I suppose you will want pointers in your algorithms 03:28:06 maybe array indices are enough... 03:28:54 you can't put anything in the right subtree untill you find how long the left one is 03:31:37 ...and so on in the right subtree 03:33:43 sometimes that is how you generate the data 03:34:06 this type of things isn't universally applicable, but it might be perfect sometimes 03:34:23 consider for example this usenet post: http://groups.google.com/group/rec.games.roguelike.development/msg/62df77aa41921dda 03:34:59 the major datastructures in his program have almost no pointers at all (inteheir interfacse at least) 03:35:16 he claims this makes things easier to debug, and I am sure it does 04:06:04 -!- wooby has joined. 04:33:58 -!- wooby_ has joined. 04:34:28 -!- wooby has quit (Read error: 104 (Connection reset by peer)). 04:36:23 -!- wooby_ has quit (Client Quit). 04:44:31 -!- calamari has quit ("Leaving"). 05:35:15 summer nights ++ 05:37:29 -!- Pikhq has joined. 05:39:31 * Pikhq may very well have came up with a replacement name for BFM and BASM. . . 05:39:55 PEBBLE: Practical Esoteric Brainfuck-Based Language, Eh? 05:39:58 (for BFM) 05:40:17 PFUCK: Pebble's Fucked Up Compiler, Kay? 05:40:23 (for basm) 05:45:59 pebble? 05:46:41 It's better than conflicting with a different esolang. 06:31:16 -!- Sgeo has quit ("Ex-Chat"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:37:50 -!- sebbu has joined. 13:11:21 -!- jix__ has joined. 13:19:07 -!- jix__ has changed nick to jix. 13:37:14 -!- sebbu2 has joined. 13:56:16 -!- sebbu has quit (Read error: 110 (Connection timed out)). 14:32:53 -!- ehird` has joined. 14:50:41 -!- jix has quit ("This computer has gone to sleep"). 15:45:25 -!- jix has joined. 17:04:26 -!- Joe38 has joined. 17:05:08 hi all together 17:06:26 -!- Joe38 has quit (Client Quit). 17:21:58 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 17:29:15 # Get out there and dance like an idiot # 19:00:39 -!- Sgeo has joined. 19:52:38 * bsmntbombdood is starting "the uberman's sleep schedule": http://www.kuro5hin.org/story/2002/4/15/103358/720 19:53:52 bsmntbombdood.employmentStatus() 19:54:03 == false 19:54:19 on summer break from school 19:56:21 ok 19:56:59 if it works, it looks like a brilliant but somewhat brittle hack 20:01:00 so much stuff makes sense if one considers the human body to be a craply-designed system 20:12:07 -!- jix has joined. 20:12:13 maybe it's the computers that are craply-designed 20:12:52 pikhq.employmentStatus() == false;but pikhq.desiredEmploymentStatus() == true 20:13:43 * Pikhq should read kuro5hin more. . . Ben a few months. 20:14:14 pikhq.setEmploymentStatus(pikhq.desiredEmploymentStatus()) 20:14:55 # 9 out of 10 sociopaths agree // you've gotta see Hyakugojyuuichi # 20:15:14 ehird`: Function "setEmploymentStatus" in pikhq (inherited from class person) can only be accessed by someone of class employer. 20:15:46 SimonRC: Why should I see 151, exactly? 20:15:51 employer.new().classEval { pikhq.setEmploymentStatus(pikhq.desiredEmploymentStatus()); } 20:15:56 And what the hell is it, anyways? 20:16:45 ehird`: employer can only be constructed via another member of class employer, or by forcesOfTheFreeMarket(). 20:18:05 forcesOfTheFreeMarket().classEval { employer.new().classEval { pikhq.setEmploymentStatus(pikhq.desiredEmploymentStatus()); } } 20:18:18 Pikhq: a line from a song 20:18:26 I could explain if you really want 20:18:36 Pikhq: you don't want 20:18:40 I really, really want to know what the hell it is. 20:18:49 ehird`: Curiosity killed the cat. 20:19:18 ehird`: forcesOfTheFreeMarket() may only be called by the system administrator, which you are not. 20:19:19 Pikhq: J(F)GI 20:19:33 Pikhq: Hyakugojyuuichi = one of the first animutations (which is a warped style of animation) 20:19:38 ehird`: Oh. 20:19:48 that line = a line from Hyakugojyuuichi 2003, which is a vanity song 2 years later by... the same maker. 20:19:51 QED. 20:19:55 The line is from a song about it, which in turn has it's own animutation :-S 20:20:02 Pikhq: sudo forcesOfTheFreeMarket().classEval { employer.new().classEval { pikhq.setEmploymentStatus(pikhq.desiredEmploymentStatus()); } } 20:20:14 ehird`: Password: 20:20:21 password 20:20:28 Nope. 20:20:31 Password: 20:20:35 ^C 20:20:54 ^C^C^C 20:20:54 You will be reported to God@universe. 20:20:55 $ 20:21:11 fastpwdcrack root > pwd 20:21:15 SimonRC: Blegh. Me no like animutation 20:21:22 ehird`: Hello, World! 20:21:23 $ 20:21:33 cat pwd 20:21:36 $ 20:21:44 hrm. 20:22:08 Message from God@universe (1:20 MST, May 27, 2007): 20:22:13 sudo logrm sudo-logs Don't make me smite you. 20:22:15 ^D 20:22:30 sudo kill God@universe Message from God@universe (1:21 MST, May 27, 2007): 20:22:46 suspense 20:22:47 Alright. That's enough. 20:22:49 ^D 20:22:54 logout 20:22:57 Message from universe: 20:23:00 Pikhq: me neither, but the songs by the artist are good 20:23:02 You have been smote. 20:23:02 ^Clogout^D^D^D^D^D^Dlogout^Clogout 20:23:06 SimonRC: Agreed. 20:23:13 * ehird` likes animutation. 20:23:29 * Pikhq thinks it's a stupid form of animation 20:23:37 * ehird` thinks it's hilarious 20:23:50 Of course, Lemon Demon has proven that he can do better stuff, so he is redeemed in my book. 20:24:30 trapezoid/"deporitaz" is painful to the ears. 20:24:34 (pre-lemondemon lemondemon) 20:24:56 his non-wordy stuff can be good 20:25:16 word. y. 20:25:17 _Zero Gravity_ is good 20:25:25 ehird`: ?? 20:25:49 SimonRC: ? 20:26:25 " word. y." <--- ??? 20:26:43 his non-wordy stuff can be good 20:26:54 erm, yeah 20:27:17 ITYM "werd", which is the more usual spelling of the expression of sgreement. 20:27:47 sigh 20:46:02 werd up, yo 20:58:14 -!- ehird` has quit. 21:04:26 -!- sebbu has joined. 21:11:08 -!- oerjan has joined. 21:12:01 -!- Sgeo has quit (Remote closed the connection). 21:23:54 -!- sebbu2 has quit (Connection timed out). 21:49:53 given log(a), calculate log(a+1) without storing exp(log(a)) 21:50:30 never! 21:51:01 hm... 21:51:17 should be possible to give a series 21:54:52 aah 21:55:12 what? 21:55:35 log(2) + log(a)/2 + log(a)**2/8 + log(a)**4/192 + ... 21:56:33 -!- StevenBao has joined. 21:56:43 -!- StevenBao has left (?). 21:57:53 not sure what the general form of the denomiators is 21:58:42 you should be able to find them with differentiation 21:59:18 presumably that is the Taylor series for log(exp(a)+1) 21:59:47 *log(exp(x)+1) with x = log(a) 22:00:13 yeah 22:01:37 derivative exp(x)/(exp(x)+1) 22:01:46 * Pikhq curses at the PEBBLE interpreter. . . 22:02:17 Currently, I've got it saying that 3%10==111 22:03:37 can't find what d^n[log(exp(x) + 1)]/dx^n is 22:03:48 after you renamed it PEBBLE, it obviously started calculating with roman numerals 22:04:09 Obviously. 22:04:14 i gave you the first derivative 22:04:20 assuming log = ln 22:04:35 yes 22:04:47 Works if I turn off -O 2 22:05:25 Which, of course, defeats the purpose, since it's -O 2 I want working before I release. 22:06:17 maybe it is doing some wrong aliasing assumptions? 22:06:40 that would be very easy when you are dealing with a bf tape 22:06:53 I bet it's the damned language-specific macros breaking something. 22:07:14 Just got the C collection working, so I moved on, and I'm running into the same issues. 22:10:56 * Pikhq gets the feeling he'd be better off removing the interpreter backend, and just make the -lang interpret target call a seperate Brainfuck interpreter 22:13:01 . . . Ah. Found it. 22:13:04 (and me == stupid) 22:14:05 I managed to evaluate (3/10)%10, somehow. 22:14:37 hm... exp(x)/(exp(x)+1) = 1/(1+exp(-x)), might be easier 22:17:41 d^n(1/(1+y))/dy^n = (-1)^n * n! / (1+y)^(n+1) or something close to it 22:20:05 * oerjan might do this quicker if he had a computer algebra system 22:20:40 maxima 22:21:09 it's what i used to give the first series 22:22:08 anyway then you use the chain rule with exp(-x) and the product rule 22:36:20 With u = exp(-x), f(y)=1/(1+y), I get (u^n)' = -n*u^n, and d[u^n*f^('n)(u)]/dx = -n*u^n*f^('n)(u) - u^(n+1)*f^('n+1)(u) 22:37:39 8| 22:37:41 which actually seems to give a simple recursion 22:38:51 since the power of u and number of differentiations of f is always the same 22:40:14 i don't get it 22:40:31 actually i don't use what f is in that part 22:40:48 where do you get 1/(1+exp(-x)) 22:42:10 i said already that (log(exp(x)+1)' = exp(x)/(exp(x)+1), which is = 1/(1+exp(-x)) if you divide by exp(x) in both numerator and denominator 22:42:41 oh right 22:50:45 now we think of this as a linear combination of terms of the form u^n*f^('n)(u), then derivation multiplies with a matrix with -n on the main diagonal and -1 just below it 22:53:57 now for x = 0, u = 1 and f^('n)(1) = (-1)^n * n! / 2^(n+1) 23:08:26 _Snales on a Plane_ FTW! 23:08:27 *Snakes 23:09:17 snails on a plane, that's exciting 23:25:01 Have you ever had one of hose arguments that feels like (bad analogy coming up): 23:25:06 ... 23:25:54 The person on the other side might be stating that the moon landings were faked, or might be stating that the moon itself is fake, and it is unclear which. 23:25:57 ... 23:25:58 whoops. bsmntbombdood, you sure the sign in front of log(a)**4/192 is right? 23:26:00 ... 23:26:29 And you are struggling to get him to state the former, because you can't quite beleive that anyone would beleive the latter. 23:26:32 ? 23:26:37 (end bad analogy) 23:27:00 oerjan: oops. should be -1/192 23:27:58 good. then my method gives the right coefficients. 23:28:21 (-1)^n * n! / 2^(n+1) ? 23:28:42 no, more complicated, you need to do the recursion too 23:28:57 which recursion? 23:29:32 to find the coefficient for each n 23:31:12 ... 23:31:30 ah, they are not all reciprocals. - log(a)**8 * 17/645120 23:31:59 right 23:32:04 oerjan: what is the pattern? 23:32:41 sec 23:33:32 it's quite complicated. they start out small but eventually i think the factorial becomes dominant. 23:33:53 http://www.mathbin.net/11025 23:34:20 SimonRC: taylor series for log(exp(x) + 1) 23:35:02 ok 23:35:11 [1 % 2,1 % 8,0 % 1,(-1) % 192,0 % 1,1 % 2880,0 % 1,(-17) % 645120,0 % 1,31 % 14515200,0 % 1,(-691) % 3832012800,0 % 1,5461 % 5115781120,0 % 1,(-929569) % 64134053888,0 % 1,(-3202291) % 3593732096,0 % 1,221930581 % 16817061888,0 % 1,(-4722116521) % 2090860544,0 % 1,968383680827 % 12415139840,0 % 1,(-14717667114151) % 7415529472,0 % 1,2093660879252671 % 11005853696,0 % 1,86125672563201181 % 5637144576,0 % 1] 23:35:36 do you have a formula for them? 23:35:47 SimonRC: no, that's what we're trying to find 23:35:48 the only easy part is that every second one is 0 23:38:11 oh and of course there is a division by factorial in there, so the derivatives are even larger 23:38:53 what happens if you adjust them to all have the same numerator? 23:40:07 SimonRC: all the time. 23:40:16 well, often 23:41:04 ah, I'm not the only one... 23:41:33 darn Hugs is buggy with big calculations 23:41:54 heh, i usually assume they are stupid, and turns out i'm wrong 23:42:12 mh? 23:42:24 oerjan: are you using Int or Integer? 23:42:30 Rational 23:42:46 that shouldn't be a problem 23:43:07 oerjan: Try *proving* it has a bug. 23:43:31 oh that is obvious. the output is messed up. 23:43:41 "assuming they are stupid" is one of the two options 23:43:45 in that situation 23:44:00 i think it is the memory bug that has been discussed on the hugsbugs list 23:44:26 but there hasn't been a new release since it was fixed 23:44:28 oerjan: use ghci then 23:45:10 DSLs++ 23:45:44 bsmntbombdood: give details 23:45:52 of what? 23:46:06 i'll paste my algorithm 23:46:20 bsmntbombdood: why DSLs are so good right now 23:46:49 because haskell doesn't have symbolic differentiation built in 23:46:56 ah, ok 23:48:20 after removing the n! part, all the denominators are powers of 2 23:48:43 yes, of course they are 23:49:07 erm, what? 23:49:37 http://pastebin.ca/514838 23:50:12 the derivatives are all linear combinations of (-1)^n * fact n / 2^(n+1) 23:50:23 http://pastebin.ca/514839 23:50:41 first 50 coefficients with n! cancelled 23:51:25 at first the numerators are 2**n-1 23:51:50 +/-, i mean 23:52:33 I think we should get rid of the 1/2 at the beginning 23:52:38 somehow 23:54:31 * SimonRC boggles at the speed of Haskell's numeric library 23:54:49 It is printing out numbers at amazing speed 23:57:28 hmm 23:57:49 anyway dL and dLn calculate the recursive coefficients i mentioned earlier 23:58:30 what do the arguments mean? 23:58:38 whats (0:1)? 23:58:54 it means the wand has one chatge left and has never been rechargeds 23:58:56 (0:l) is l with a 0 prepended