< 1202688287 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :PROLOG QUESTION < 1202688291 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :x :- y. x :- z. < 1202688294 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :both y and z then apply, right? < 1202688296 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it's: < 1202688297 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :x :- y, z. < 1202688369 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :no, if the first x-rule fails, the second one is tried < 1202688394 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :so that's x :- y ; z. (y or z) < 1202688424 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ah, ok < 1202688429 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :olsner: so if i can't overload :- < 1202688436 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :what would you reccomend as the operator for that? :P < 1202688450 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i've been using == but that doesn't make much sense for multiple cases < 1202688453 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I can do <<= < 1202688458 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :or <=, but that's really evil :-) < 1202688740 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :olsner: if you don't say anything i'll override the goddarn less-than-or-equal-to op < 1202688743 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :think of the kittens < 1202688770 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I don't understand, are you doing this in prolog? < 1202688798 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :obviously, if you've changed the meaning of :-, my previous answer was wrong < 1202689092 0 :sebbu!unknown@unknown.invalid QUIT :"@+" < 1202689720 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1202690029 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :olsner: no < 1202690035 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :writing a prolog interp as a DSL in Ruby < 1202690037 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1202690686 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :aha, so you're looking for ruby operators to overload into their prolog meaning? < 1202690728 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :olsner: yeah < 1202690876 0 :AnMaster!unknown@unknown.invalid QUIT :No route to host < 1202690923 0 :Sgeo_!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1202690955 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1202691097 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1202691103 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :prolog would be really suited for something i want to code up < 1202691129 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :take a few numbers, and a target number, then using some basic maths operators get from the numbers to the target < 1202691136 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :probably np-complete or something < 1202691136 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1202691186 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'd probably have to do my own math ops for it... < 1202691188 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :then it should be < 1202691197 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :solve([target,...],dest,X). < 1202691328 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202693159 0 :ehird`!unknown@unknown.invalid QUIT :"K-Lined by peer" < 1202696093 0 :AnMaster_!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1202696871 0 :AnMaster!unknown@unknown.invalid QUIT :Connection timed out < 1202697622 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202697869 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1202699580 0 :AnMaster_!unknown@unknown.invalid QUIT :Connection timed out < 1202699647 0 :AnMaster_!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1202699854 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION would like to take this opportunity to curse at calculus
< 1202699869 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :\int{{x^2}\over{x^2+1}}dx < 1202699871 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION sobs
< 1202699986 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1202700019 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :alright, I have an idea here < 1202700099 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :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 < 1202700149 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :There are many operations you can do to pairs of operands that generate infinite, nonrepeating sequences < 1202700161 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Pi would be an example of one of these nonrepeating sequences < 1202700233 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :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 < 1202700269 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :however, there are many possible numbers you could index into- this would improve your odds of finding a "close" match dramatically < 1202700307 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Also, in many kinds of digital data, the actual arrangement of information is largely arbitrary- take a look at a .TAR file. < 1202700330 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :there are a massive number of arrangements of data within a .TAR that would reconstruct exactly the same data < 1202700415 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :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. < 1202700457 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :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 < 1202700500 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :but in essence, what do you guys think? Complete technobabble, or vaguely plausible? < 1202700823 0 :Sgeo_!unknown@unknown.invalid NICK :Sgeo < 1202701005 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I just put that into my hp48gx calculator.. < 1202701044 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: and I must have done something wrong because that's not the answer :P < 1202701081 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :calamari: your hp48gx can decode LaTeX? < 1202701086 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :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. < 1202701100 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: that was latex? < 1202701122 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :looked like it. < 1202701189 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :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 < 1202701263 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :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 < 1202701311 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It was. < 1202701323 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is just cursing at partial fractions
< 1202701336 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Screw it: I've spent 40 minutes at it and have no answer. I'm not going to find anything. < 1202701350 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :your odds would also improve significantly for smaller filesizes, too < 1202701361 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Unless someone can tell me where to start. < 1202701365 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: thoughts on magic compression? < 1202701384 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: the Wolfram website might come in handy? < 1202701393 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: sorry, my calculator isn't smart enough for that one < 1202701399 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :and those are two separate thoughts, to be clear < 1202701409 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: Damned clever. < 1202701414 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :seems like you could use substitution tho < 1202701428 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :calamari: u=x^2. du=2xdx. How does that help? < 1202701481 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :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 < 1202701490 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: is that a real question, because Itook calc 2 a number of years ago and I don't remember much :P < 1202701519 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :calamari: I'm in it now, and that stupid problem is going to give me nightmares. < 1202701564 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION moves on to the next problem set. . .
< 1202701570 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Where I can use a table of integrals. Yay! < 1202701575 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :arctan u = u'/(1+u^2) does that help? < 1202701603 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :err d/dx(arctan u) < 1202702371 0 :immibis!n=immibis@125-236-168-102.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1202702454 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :No immibis (no=hi) < 1202702969 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :...??? < 1202702974 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :oh right < 1202702977 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1202703069 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Does anyone know what can cause a blocked port 80? < 1202703141 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :your isp < 1202703199 0 :MizardX!i=MizardX@mizardx.campus.luth.se JOIN :#esoteric < 1202703307 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hi MizardX < 1202703324 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1202703659 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :x-atan x < 1202703662 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :!!! :) < 1202703664 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :Huh? < 1202703681 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: victory ^^ < 1202703772 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :hrm, I did something wrong because that doesn't work :) < 1202703812 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :it gives you 1-1/1+x^2 tho < 1202704545 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :argh.. I think I've completely forgotten how to do integration by parts < 1202704550 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :er, 1-1/1+ is surplus isn't it? < 1202704574 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :immibis: lack of ()'s.. sorry < 1202704579 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1202704585 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :1-1/(1+x^2) < 1202705563 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :so far I've gotten to: < 1202705610 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :(x^2 * arctan(x)) - integrate(x * arctan(x) dx) < 1202707701 0 :Sgeo!unknown@unknown.invalid QUIT :Connection timed out < 1202710724 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1202715327 0 :immibis!unknown@unknown.invalid TOPIC #esoteric :BACKWARDS TEXT!!!...I mean......naem I...!!!TXET SDRAWKCAB < 1202715338 0 :immibis!unknown@unknown.invalid 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 < 1202716799 0 :clog!unknown@unknown.invalid QUIT :ended < 1202716800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1202718742 0 :olsner!unknown@unknown.invalid QUIT :"Leaving" < 1202721191 0 :AnMaster_!unknown@unknown.invalid NICK :AnMaster < 1202726850 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1202728168 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :x^2/(1+x^2) = 1-1/(1+x^2), so calamari had it right < 1202728300 0 :jix!n=jix@78.47.212.92 JOIN :#esoteric < 1202728457 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(long division of polynomials) < 1202733249 0 :sebbu!n=sebbu@ADijon-152-1-62-218.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1202733885 0 :sarehu!unknown@unknown.invalid QUIT :Remote closed the connection < 1202733894 0 :sarehu!n=irc@ool-44c637dc.dyn.optonline.net JOIN :#esoteric < 1202734765 0 :Cesque!i=52248a67@gateway/web/ajax/mibbit.com/x-bcf3b1e3dcbc1043 JOIN :#esoteric < 1202734786 0 :Cesque!unknown@unknown.invalid QUIT :Client Quit < 1202740168 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1202740825 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1202740892 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1202743596 0 :AnMaster!unknown@unknown.invalid QUIT :"ERC Version 5.2 (IRC client for Emacs)" < 1202743799 0 :SimonRC!unknown@unknown.invalid QUIT :Remote closed the connection < 1202744331 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1202745433 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1202746738 0 :SimonRC!n=sc@fof.durge.org JOIN :#esoteric < 1202746913 0 :RedDak!n=dak@host217-80-dynamic.19-79-r.retail.telecomitalia.it JOIN :#esoteric < 1202746957 0 :ais523!n=ais523@sm01-fap02.bham.ac.uk JOIN :#esoteric < 1202748681 0 :ais523!unknown@unknown.invalid QUIT :"Konversation terminated!" < 1202748777 0 :sarehu!unknown@unknown.invalid QUIT :Remote closed the connection < 1202748787 0 :sarehu!n=irc@ool-44c637dc.dyn.optonline.net JOIN :#esoteric < 1202749957 0 :RedDak!unknown@unknown.invalid QUIT :"I'm quitting... Bye all" < 1202750527 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1202752635 0 :Hiato!n=Hiato@dsl-245-46-56.telkomadsl.co.za JOIN :#esoteric < 1202752666 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION inconspicuously greats all concerned
< 1202752948 0 :cherez!n=cherez@r10snw275.device.mst.edu JOIN :#esoteric < 1202753429 0 :Hiato!unknown@unknown.invalid QUIT :"Leaving." < 1202753459 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is great enough already
< 1202753469 0 :oklopol!unknown@unknown.invalid NICK :OklopolTheGreat < 1202753581 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1202757266 0 :Sgeo!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1202759498 0 :olsner!n=salparot@cust.fiber-lan.vnet.lk.85.194.50.194.stunet.se JOIN :#esoteric < 1202759613 0 :bsmntbombdood!unknown@unknown.invalid NICK :DoodTheSoon2bGr8 < 1202759753 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1202761622 0 :RedDak!n=dak@host217-80-dynamic.19-79-r.retail.telecomitalia.it JOIN :#esoteric < 1202764942 0 :EgoBot!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202764965 0 :GregorR!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202765307 0 :DoodTheSoon2bGr8!unknown@unknown.invalid NICK :bsmntbombdood < 1202767084 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Is ANYONE going to play with PSOX? < 1202767103 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :no. < 1202767258 0 :OklopolTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo is such a party animal < 1202767262 0 :OklopolTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :omg < 1202767264 0 :OklopolTheGreat!unknown@unknown.invalid NICK :oklopol < 1202767272 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :god that was scary :d < 1202767290 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :? < 1202767299 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :my nick was scary < 1202767324 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1202767339 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it wasn't? < 1202767349 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION feels compelled to make a pixelcomic scraper so he can have a clickable list of the names of each comic
< 1202767501 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1202767581 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1202767692 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202768756 0 :Slereah!n=slereah@ANantes-252-1-82-215.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1202769085 0 :pikhq!n=pikhq@209.248.124.243 JOIN :#esoteric < 1202769853 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1202770879 0 :timotiis!unknown@unknown.invalid QUIT :"leaving" < 1202773447 0 :sebbu!unknown@unknown.invalid QUIT :"@+"