00:04:47 PROLOG QUESTION 00:04:51 x :- y. x :- z. 00:04:54 both y and z then apply, right? 00:04:56 it's: 00:04:57 x :- y, z. 00:06:09 no, if the first x-rule fails, the second one is tried 00:06:34 so that's x :- y ; z. (y or z) 00:07:04 ah, ok 00:07:09 olsner: so if i can't overload :- 00:07:16 what would you reccomend as the operator for that? :P 00:07:30 i've been using == but that doesn't make much sense for multiple cases 00:07:33 I can do <<= 00:07:38 or <=, but that's really evil :-) 00:12:20 olsner: if you don't say anything i'll override the goddarn less-than-or-equal-to op 00:12:23 think of the kittens 00:12:50 I don't understand, are you doing this in prolog? 00:13:18 obviously, if you've changed the meaning of :-, my previous answer was wrong 00:18:12 -!- sebbu has quit ("@+"). 00:28:40 -!- calamari has joined. 00:33:49 olsner: no 00:33:55 writing a prolog interp as a DSL in Ruby 00:33:57 :D 00:44:46 aha, so you're looking for ruby operators to overload into their prolog meaning? 00:45:28 olsner: yeah 00:47:56 -!- AnMaster has quit (No route to host). 00:48:43 -!- Sgeo_ has joined. 00:49:15 -!- AnMaster has joined. 00:51:37 hmm 00:51:43 prolog would be really suited for something i want to code up 00:52:09 take a few numbers, and a target number, then using some basic maths operators get from the numbers to the target 00:52:16 probably np-complete or something 00:52:16 :P 00:53:06 i'd probably have to do my own math ops for it... 00:53:08 then it should be 00:53:17 solve([target,...],dest,X). 00:55:28 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 01:25:59 -!- ehird` has quit ("K-Lined by peer"). 02:14:53 -!- AnMaster_ has joined. 02:27:51 -!- AnMaster has quit (Connection timed out). 02:40:22 -!- Slereah has quit (Read error: 110 (Connection timed out)). 02:44:29 -!- Corun has quit ("This computer has gone to sleep"). 03:13:00 -!- AnMaster_ has quit (Connection timed out). 03:14:07 -!- AnMaster_ has joined. 03:17:34 * pikhq would like to take this opportunity to curse at calculus 03:17:49 \int{{x^2}\over{x^2+1}}dx 03:17:51 * pikhq sobs 03:19:46 heh 03:20:19 alright, I have an idea here 03:21:39 to preface this, I understand coding theory and the entropy of data. I understand that it is impossible to create a "magic" compression algo that would work for *any* input, and I'm asking about this idea merely to discover wether people think it's sufficiently plausible for Sci-fi, not real implementation 03:22:29 There are many operations you can do to pairs of operands that generate infinite, nonrepeating sequences 03:22:41 Pi would be an example of one of these nonrepeating sequences 03:23:53 it is reasonable to assume that you can find an arbitrary pattern (arbitrary data) in Pi, and encode data as merely an index and run length into the digits of Pi, but you'd probably have such huge numbers that you wouldn't actually save any space, and it'd take forever to calculate 03:24:29 however, there are many possible numbers you could index into- this would improve your odds of finding a "close" match dramatically 03:25:07 Also, in many kinds of digital data, the actual arrangement of information is largely arbitrary- take a look at a .TAR file. 03:25:30 there are a massive number of arrangements of data within a .TAR that would reconstruct exactly the same data 03:26:55 so, if you had *MASSIVE* computing power to try every combination of rearranging your data, breaking it up into pieces and adding noncoding padding, in combination with a large pool of sequences to search, you could theoretically compress enormous amounts of data into something that could be written on a piece of paper. 03:27:37 And there's always the possibility that you simply won't be able to find the sequence you want, so there would be a certain probability that specific data would be just plain impossible to compress 03:28:20 but in essence, what do you guys think? Complete technobabble, or vaguely plausible? 03:33:43 -!- Sgeo_ has changed nick to Sgeo. 03:36:45 pikhq: I just put that into my hp48gx calculator.. 03:37:24 pikhq: and I must have done something wrong because that's not the answer :P 03:38:01 calamari: your hp48gx can decode LaTeX? 03:38:06 RodgerTheGreat: Once you have the index, you have to find the location of the index within pi. Statistically speaking, since the index is smaller than the original data, it is more likely to appear, sooner. So you can usually reduce it further. Of course, this will break down at an unpredictable point, but you could probably get it down to a few billion gigs of data. 03:38:20 RodgerTheGreat: that was latex? 03:38:42 looked like it. 03:39:49 GregorR: that's the value of being able to search many, many repeating sequences, choosing from a large selection of binary "targets" that can all decode identically 03:41:03 the more variables you can play with, the higher your odds become to find a usable index that's some kind of sane distance in 03:41:51 It was. 03:42:03 * pikhq is just cursing at partial fractions 03:42:16 Screw it: I've spent 40 minutes at it and have no answer. I'm not going to find anything. 03:42:30 your odds would also improve significantly for smaller filesizes, too 03:42:41 Unless someone can tell me where to start. 03:42:45 pikhq: thoughts on magic compression? 03:43:04 pikhq: the Wolfram website might come in handy? 03:43:13 pikhq: sorry, my calculator isn't smart enough for that one 03:43:19 and those are two separate thoughts, to be clear 03:43:29 RodgerTheGreat: Damned clever. 03:43:34 seems like you could use substitution tho 03:43:48 calamari: u=x^2. du=2xdx. How does that help? 03:44:41 I think if you're willing to accept the caveats that it will take ludicrous amounts of time to compress data, your mileage may vary, and some sequences are incompressible, it sounds semi-realistic 03:44:50 pikhq: is that a real question, because Itook calc 2 a number of years ago and I don't remember much :P 03:45:19 calamari: I'm in it now, and that stupid problem is going to give me nightmares. 03:46:04 * pikhq moves on to the next problem set. . . 03:46:10 Where I can use a table of integrals. Yay! 03:46:15 arctan u = u'/(1+u^2) does that help? 03:46:43 err d/dx(arctan u) 03:59:31 -!- immibis has joined. 04:00:54 No immibis (no=hi) 04:09:29 ...??? 04:09:34 oh right 04:09:37 hi 04:11:09 Does anyone know what can cause a blocked port 80? 04:12:21 your isp 04:13:19 -!- MizardX has joined. 04:15:07 Hi MizardX 04:15:24 hello 04:20:59 x-atan x 04:21:02 !!! :) 04:21:04 Huh? 04:21:21 pikhq: victory ^^ 04:22:52 hrm, I did something wrong because that doesn't work :) 04:23:32 it gives you 1-1/1+x^2 tho 04:35:45 argh.. I think I've completely forgotten how to do integration by parts 04:35:50 er, 1-1/1+ is surplus isn't it? 04:36:14 immibis: lack of ()'s.. sorry 04:36:19 ok 04:36:25 1-1/(1+x^2) 04:52:43 so far I've gotten to: 04:53:30 (x^2 * arctan(x)) - integrate(x * arctan(x) dx) 05:28:21 -!- Sgeo has quit (Connection timed out). 06:18:44 -!- calamari has quit ("Leaving"). 07:35:27 -!- immibis has set topic: BACKWARDS TEXT!!!...I mean......naem I...!!!TXET SDRAWKCAB. 07:35:38 -!- immibis has quit ("Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. and dlte ur files. and email ths to). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:32:22 -!- olsner has quit ("Leaving"). 09:13:11 -!- AnMaster_ has changed nick to AnMaster. 10:47:30 -!- oerjan has joined. 11:09:28 x^2/(1+x^2) = 1-1/(1+x^2), so calamari had it right 11:11:40 -!- jix has joined. 11:14:17 (long division of polynomials) 12:34:09 -!- sebbu has joined. 12:44:45 -!- sarehu has quit (Remote closed the connection). 12:44:54 -!- sarehu has joined. 12:59:25 -!- Cesque has joined. 12:59:46 -!- Cesque has quit (Client Quit). 14:29:28 -!- oerjan has quit ("leaving"). 14:40:25 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 14:41:32 -!- puzzlet has joined. 15:26:36 -!- AnMaster has quit ("ERC Version 5.2 (IRC client for Emacs)"). 15:29:59 -!- SimonRC has quit (Remote closed the connection). 15:38:51 -!- timotiis has joined. 15:57:13 -!- AnMaster has joined. 16:18:58 -!- SimonRC has joined. 16:21:53 -!- RedDak has joined. 16:22:37 -!- ais523 has joined. 16:51:21 -!- ais523 has quit ("Konversation terminated!"). 16:52:57 -!- sarehu has quit (Remote closed the connection). 16:53:07 -!- sarehu has joined. 17:12:37 -!- RedDak has quit ("I'm quitting... Bye all"). 17:22:07 -!- Corun has joined. 17:57:15 -!- Hiato has joined. 17:57:46 * Hiato inconspicuously greats all concerned 18:02:28 -!- cherez has joined. 18:10:29 -!- Hiato has quit ("Leaving."). 18:10:59 * oklopol is great enough already 18:11:09 -!- oklopol has changed nick to OklopolTheGreat. 18:13:01 -!- oerjan has joined. 19:14:26 -!- Sgeo has joined. 19:51:38 -!- olsner has joined. 19:53:33 -!- bsmntbombdood has changed nick to DoodTheSoon2bGr8. 19:55:53 -!- oerjan has quit ("leaving"). 20:27:02 -!- RedDak has joined. 21:22:22 -!- EgoBot has quit (Read error: 110 (Connection timed out)). 21:22:45 -!- GregorR has quit (Read error: 110 (Connection timed out)). 21:28:27 -!- DoodTheSoon2bGr8 has changed nick to bsmntbombdood. 21:58:04 Is ANYONE going to play with PSOX? 21:58:23 no. 22:00:58 Sgeo is such a party animal 22:01:02 omg 22:01:04 -!- OklopolTheGreat has changed nick to oklopol. 22:01:12 god that was scary :d 22:01:30 ? 22:01:39 my nick was scary 22:02:04 lol 22:02:19 it wasn't? 22:02:29 * Sgeo feels compelled to make a pixelcomic scraper so he can have a clickable list of the names of each comic 22:05:01 -!- RedDak has quit (Remote closed the connection). 22:06:21 -!- jix has quit ("CommandQ"). 22:08:12 -!- pikhq has quit (Read error: 110 (Connection timed out)). 22:25:56 -!- Slereah has joined. 22:31:25 -!- pikhq has joined. 22:44:13 -!- Sgeo has quit (Read error: 110 (Connection timed out)). 23:01:19 -!- timotiis has quit ("leaving"). 23:44:07 -!- sebbu has quit ("@+").