00:02:30 -!- contrapumpkin has joined.
00:04:29 <hppavilion[1]> I found that Python has a tarfile module that will come in handy for Archive Formats in TaurusVM
00:05:17 -!- aretecode has joined.
00:05:57 -!- copumpkin has quit (Ping timeout: 255 seconds).
00:08:30 <hppavilion[1]> I think I'll change Taurus Executables to .taurus files and make the archive format .tau
00:09:42 <oren_> are there any programs that use unicode in their file extnsion?
00:09:55 <fizzie> I think I recall something.
00:11:32 <fizzie> Can't find anything right now. Even Ellipsis seems to use just '.' as the extension.
00:11:55 <fizzie> Which is kind of strange, since it uses the Unicode ellipsis character in the source code.
00:12:38 <fizzie> Well, actually it uses "..", so that it's "foo..."; maybe that wouldn't work so well with the Unicode ellipsis.
00:14:01 <oren_> what if I translated all keywords and stl functions, and made the extension .срр
00:14:41 <hppavilion[1]> I could, of course, make the Taurus Executables .♉ files
00:16:35 <oren_> whitespace programs should be named 'hello. '
00:16:45 -!- Tod-Autojoined2 has joined.
00:17:17 -!- gde33|2 has joined.
00:19:07 -!- sebbu2 has joined.
00:19:48 -!- sebbu2 has quit (Changing host).
00:19:48 -!- sebbu2 has joined.
00:20:38 -!- contrapumpkin has changed nick to copumpkin.
00:20:54 -!- olsner_ has joined.
00:21:23 -!- mihow has quit (Quit: mihow).
00:21:37 -!- Tod-Autojoined has quit (Read error: Connection reset by peer).
00:21:37 -!- sebbu has quit (Read error: Connection reset by peer).
00:21:39 -!- puckipedia has quit (Ping timeout: 268 seconds).
00:21:39 -!- gde33 has quit (Ping timeout: 268 seconds).
00:21:42 -!- clog has quit (Ping timeout: 264 seconds).
00:21:45 -!- JesseH has quit (Ping timeout: 264 seconds).
00:21:45 -!- olsner has quit (Ping timeout: 264 seconds).
00:21:45 -!- JesseH2 has joined.
00:21:56 -!- puckipedia has joined.
00:23:29 <JesseH2> My connection was reset. No understand.
00:23:37 -!- JesseH2 has changed nick to JesseH.
00:25:25 -!- hppavilion[1] has quit (Quit: WALRUS MAAAAAAAAAAAAN).
00:31:36 -!- FreeFull_ has joined.
00:31:52 -!- yorick_ has joined.
00:31:52 -!- yorick_ has quit (Changing host).
00:31:52 -!- yorick_ has joined.
00:32:10 -!- pikhq_ has joined.
00:36:03 -!- FreeFull has quit (*.net *.split).
00:36:03 -!- yorick has quit (*.net *.split).
00:36:03 -!- ocharles__ has quit (*.net *.split).
00:36:03 -!- gniourf has quit (*.net *.split).
00:36:03 -!- pikhq has quit (*.net *.split).
00:36:04 -!- APic has quit (*.net *.split).
00:36:04 -!- JesseH has quit (*.net *.split).
00:36:04 -!- boily has quit (*.net *.split).
00:36:28 -!- APic has joined.
00:36:42 -!- boily has joined.
00:37:02 -!- JesseH has joined.
00:38:39 -!- clog has joined.
00:41:14 -!- ocharles__ has joined.
00:51:09 -!- gniourf has joined.
00:52:06 -!- hppavilion[1] has joined.
00:58:00 -!- boily has quit (Quit: GREAT CHICKEN).
01:06:49 -!- JesseH has quit (Ping timeout: 256 seconds).
01:17:01 -!- FreeFull_ has quit (Ping timeout: 252 seconds).
01:17:26 <HackEgo> [wiki] [[Symball]] http://esolangs.org/w/index.php?diff=44217&oldid=44203 * GoogolPlanck * (+522) /* Examples */
01:20:35 -!- FreeFull has joined.
01:35:37 <HackEgo> [wiki] [[Codesine]] http://esolangs.org/w/index.php?diff=44218&oldid=44043 * MDude * (+21)
01:47:08 <FreeFull> hppavilion[1]: Balanced ternary logic
01:47:49 -!- Phantom__Hoover has quit (Read error: Connection reset by peer).
01:54:52 <HackEgo> [wiki] [[Microscript]] http://esolangs.org/w/index.php?diff=44219&oldid=44170 * SuperJedi224 * (+22)
02:00:15 <MDude> Balanced ternary or modal. Or modal balanced ternary.
02:00:38 <MDude> Three by three grid of logical values.
02:05:33 <oren_> language in which programs are written as non-constructive proofs of the existence of a program to do X
02:07:13 -!- JesseH has joined.
02:08:42 <MDude> An itneractive programming language where you don't say what the program should do specifically, but instead just tell it when it's doing something wrong.
02:09:15 <MDude> And not to do specific thigns in specific conditions.
02:11:04 <MDude> Like "don't write to this area of memory when you're outside of this subroutine".
02:11:06 <HackEgo> [wiki] [[Hexadecimal Stacking Pseudo-Assembly Language]] http://esolangs.org/w/index.php?diff=44220&oldid=44144 * SuperJedi224 * (+7)
02:13:19 -!- pikhq_ has changed nick to pikhq.
02:26:55 <oren_> ᾧᾨᾩᾪᾫᾬᾭᾮᾯᾰᾱᾲᾳᾴᾶᾷᾸᾹᾺ
02:30:56 <oren_> also: scissors! ✁✂✃✄
02:42:58 -!- yiyus has quit (Ping timeout: 265 seconds).
02:47:50 <HackEgo> [wiki] [[Malbolge]] http://esolangs.org/w/index.php?diff=44221&oldid=43428 * 195.191.162.160 * (+112) /* External resources */ Added link to Malbolge interpreter online
02:53:45 <MDude> Huh, Pandorabots changed it's site.
02:55:20 <MDude> Wait no the original is still at http://www.pandorabots.com/botmaster/en/home
03:00:06 <Sgeo_> I've certainly played with it as a kid, but people use this thing for production?
03:00:10 <Sgeo_> I always thought it was a toy
03:04:12 -!- lleu has quit (Read error: Connection reset by peer).
03:04:41 <MDude> For production of what?
03:05:31 -!- yiyus has joined.
03:05:35 <MDude> I don't see how being a toy changes my expectation of not having to link my account with it to yahoo or whatever.
03:05:41 -!- lleu has joined.
03:06:50 <MDude> What do you tihnk of AIML, fungot?
03:06:50 <fungot> MDude: you make an excellent point. given its apparent fnord, apart from " don't get caught" or " demonstrate fnord in hebrew." such allegations are unfounded and slanderous. they did not have a porn career and did not state what caused his death, he took up boxing under the fnord section), but we really should use the proper deletion procedures as explained in the lead of the article, i didn't do that in your writing and editi
03:07:41 <MDude> Quite the proffesional opinion, thank you.
03:08:33 <MDude> There's http://www.pandorabots.com which I got linked to from http://www.alicebot.org/aiml.html
03:08:42 <MDude> Neither even mentions the other.
03:09:57 <MDude> I was thinking I would take another try at making a chatbot that acts as an adventure game dungeon master.
03:22:26 <HackEgo> [wiki] [[Nopfunge]] N http://esolangs.org/w/index.php?oldid=44222 * 69.165.212.148 * (+5098) Added page
03:22:36 -!- augur has quit (Ping timeout: 255 seconds).
03:25:46 <hppavilion[1]> I'm making a mathematics engine for mathemeticians and students
03:26:11 <MDude> Don't see why not.
03:26:42 <MDude> I'm not entirely sure what surreals represent?
03:27:41 <HackEgo> [wiki] [[Nopfunge]] http://esolangs.org/w/index.php?diff=44223&oldid=44222 * 69.165.212.148 * (+109) A few cosmetic edits
03:28:15 -!- augur has joined.
03:29:55 <MDude> Oh,t hey can be represented in ASCII.
03:29:59 -!- Sprocklem has joined.
03:32:38 <MDude> Complex surreals sound good for a mathematical engine.
03:32:53 <hppavilion[1]> For surreal numbers I'm using w and e for infinity and infinitesimal
03:34:02 <hppavilion[1]> It's going to be advised in my engine that you use names >3 characters long for variables, because if you use R it will collide with all real numbers, etc.
03:34:32 <MDude> Well you can't wait around for students to actually type out an infinitely long {L|R} definition of w and e.
03:35:05 <MDude> It'd almost take forever.
03:36:00 <hppavilion[1]> Though the pattern recognition component will be hard
03:36:31 -!- mauris has joined.
03:36:37 <pikhq> The duals are definitely an awesome feature to have.
03:37:21 <pikhq> (and means you can do automatic differentiation!)
03:37:45 <HackEgo> [wiki] [[Nopfunge]] http://esolangs.org/w/index.php?diff=44224&oldid=44223 * 69.165.212.148 * (+151) Some more cosmetic edits
03:38:04 -!- bb010g has joined.
03:38:48 <shachaf> I was surprised to discover that "is dual to" isn't a symmetric relationship.
03:39:04 <pikhq> f(a + b \varepsilon) = f(a) + b f'(a) \varepsilon
03:39:07 <pikhq> It's a great property.
03:41:42 <shachaf> Better than explicit dual numbers is this thing where you don't have any numbers d such that d^2 = 0, but you do have a set D = {x | x <- R, x^2 = 0} and you universally quantify over D.
03:42:32 <shachaf> I think http://math.andrej.com/2008/08/13/intuitionistic-mathematics-for-physics/ might be the thing I'm talking about.
03:42:48 <pikhq> shachaf: Buh, buh, but D = {}
03:42:55 <hppavilion[1]> set(*[x for x in AllRealNumbers if x**2==0]), correct
03:43:00 <shachaf> pikhq: D contains 0, at leat.
03:43:23 <pikhq> shachaf: Ah, duh, of course it does.
03:43:35 <shachaf> But the thing is that it might contain other things.
03:44:12 <pikhq> hppavilion[1]: I would say it is *analogous to* the nilpotent.
03:44:25 <pikhq> That's the closest I'd get without some heavy proofing.
03:44:29 <shachaf> There are all sorts of infinitesimals.
03:45:54 <hppavilion[1]> This isn't going to be a mathematical engine so much as a convoluted blob of everything I know about math or can find out about math molded into one, monolithic structure
03:46:14 <hppavilion[1]> For example, surreal quaternion matrices will be a thing.
03:47:01 <pikhq> Not well studied, but that sounds like a genuinely trivial thing to construct at least.
03:47:44 <mauris> "where you don't have any numbers d such that d^2 = 0" -- what about d=0?
03:48:24 <shachaf> mauris: You can't explicitly name any nonzero numbers d such that d^2 = 0.
03:48:37 <shachaf> There are some articles about it that I'm thinking of that I can't find right now.
03:48:47 <pikhq> "Nonzero" is an important property there.
03:48:49 <shachaf> But anyway you gotta do it in a topos or something.
03:49:24 <shachaf> Well, the thing about it is that as long as you can prove your thing works with *all* d with that property, you can divide by d.
03:49:32 <shachaf> Even if the only d you ever actually deal with is 0.
03:50:21 <HackEgo> [wiki] [[Nopfunge]] http://esolangs.org/w/index.php?diff=44225&oldid=44224 * 69.165.212.148 * (+358) Some more tidying up
04:01:25 <HackEgo> [wiki] [[Nopfunge]] http://esolangs.org/w/index.php?diff=44226&oldid=44225 * 69.165.212.148 * (+27) A little more editing
04:02:26 -!- madbr has joined.
04:02:39 <madbr> ok this time I've created a monster :3
04:03:34 <madbr> It's befunge, except the program on the right side of ; is repeated an infinite number of copies
04:04:09 <madbr> and everything below = is repeated an infinite number of copies (vertically)
04:04:49 <madbr> oh, and it has no operations except for ^ v < > and space
04:04:56 <madbr> http://esolangs.org/wiki/Nopfunge
04:05:57 <madbr> also it is turing complete :D
04:16:32 <hppavilion[1]> I'm back! Since I left, I've been writing a program to calculate that hpoids are of the form...
04:16:33 <hppavilion[1]> a+bi+cω+dε+eζ+fωi+gεi+hiζ+iεω+jωζ+kεζ+lεωi+mωiζ+nεiζ+oεωζ+pεωiζ
04:18:30 <hppavilion[1]> Are you impressed by the new kind of number I made up?
04:19:15 <madbr> hmm, I don't really get what they are for
04:19:29 <hppavilion[1]> It's basically a generalization of complex surreal numbers
04:21:06 <hppavilion[1]> Also, the dual numbers, which use the nilpotent/infinitesimal times a real number added to a real number
04:22:18 <madbr> yeah I'm not familiar with surreal and etc
04:22:33 <madbr> and notta which doesn't seem to return anything on the goog
04:22:55 <hppavilion[1]> The surreal numbers are a set of number generalized to include infinities and infinitesimals
04:23:22 <madbr> maybe you could add in quaternions too
04:24:48 <hppavilion[1]> A notta number is a real number times the notta constant, xζ, and is equal to x/0
04:26:21 <hppavilion[1]> And Notta Sums can't be represented any better than just the formula a+bζ in mathspeak
04:29:18 -!- Wright has quit (Ping timeout: 265 seconds).
04:34:54 <madbr> it's gonna take some time to understand surreals
04:35:23 <madbr> unlike complex numbers it's not really something with an application in my field
04:35:55 <hppavilion[1]> I don't think it really _has_ an application in _any_ field
04:37:27 <hppavilion[1]> Should I write a python library to represent the Uber Numbers?
04:39:34 <hppavilion[1]> PRESSING QUESTION 1: Are the Infinities and Infinitesimals their own axis, like the Imaginaries, or a generalization of the Reals?
04:40:28 <hppavilion[1]> shachaf: I'm bringing in you. Your sage advice may just be useful in this situation
04:40:40 <madbr> infinitesimals I consider are evil
04:41:12 <shachaf> My advice is being more concise.
04:41:25 <madbr> simply because on x86 if you have a calculation that gives infinitesimals it slows to a crawl because some idiot thought handling underflows in an interrupt was a good idea
04:42:39 <madbr> stuff like mem += (input - mem) * param;
04:42:59 <madbr> if input is zero, mem falls exponentially
04:43:19 <madbr> eventually it gives out very small but nonzero numbers
04:44:27 <madbr> this is when the cpu starts generating so called "denormal" numbers
04:44:33 <madbr> ans slows to a crawl
04:44:57 <madbr> it would be nothing if it didn't take 100x more cpu
04:45:26 <madbr> https://en.wikipedia.org/wiki/Denormal_number
04:46:48 <madbr> computations involving floating point infinity or NAN are also horrible
04:47:21 <madbr> I understand that those were introduced for engineers but their performance is so poor that they're unusable
04:48:27 <hppavilion[1]> So I still don't know whether to represent infinity and infinitesimal on their own axis or as an extension of the real axis
04:49:01 <madbr> I'm not sure of what they even are tbh
04:49:08 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
04:49:09 <hppavilion[1]> Their own doesn't sound right because then abs(x) where x is an uber with a value for infinity will be finite
04:50:43 <oren_> there should be a function giving the non-infinitesimal part of x
04:50:54 <hppavilion[1]> But extension doesn't sound right either because of a+bω+cε+dεω
04:51:03 <oren_> and a function giving thr infinite part of x
04:54:33 <oren_> hence there is infinitesimal, and infintesimesimal, etc.
04:54:34 <madbr> so you'd need a whole array
04:54:53 <hppavilion[1]> madbr: I'm using python, so I'll either uses a class or a map (in a class) xD
04:54:56 <madbr> for epsilon, epsilon^2, epsilon^3, epsilon^4 etc
04:55:33 <oren_> You should read about the formalization of calculus on the Hyperreals
04:55:52 <oren_> which is an alternative to the use of limits
04:55:54 <shachaf> That other thing I talked about is where it's at.
04:55:59 <hppavilion[1]> oren_: So should infinity be on a different axis or an extension of the reals? If it's an extension, the sum of a finite number and a non-finite number won't work unless I do sometheing weird
04:56:19 <shachaf> You use hyperreals, and then you take the real part of your hyperreal ratio anyway.
04:56:20 <oren_> it is a different axis
04:56:29 <shachaf> So what have you gained over limits? Like, nothing, man.
04:56:43 <shachaf> Synthetic differential geometry, or smooth infinitesimal analysis, or whatever it is, is where it's at.
04:56:59 <oren_> shachaf: you've gained the ability to talk like Leibniz
04:57:29 <oren_> he uses infinitesimals
04:58:49 <oren_> abs doesn't collapse all the axes
04:59:18 <oren_> you need to heve different functions to collapse different axes. for example st()
04:59:33 <madbr> ironically, function smoothness seems to be related to turing completeness
05:00:09 <madbr> something like turing complete -> function is recursive -> function is non smooth
05:00:26 <oren_> st() is defines such that st(a + bε + cε²) = a
05:00:56 <oren_> hppavilion[1]: right but not for hyperreals or in this case i guess hypercomplexes
05:01:17 <oren_> hppavilion[1]: st() gives the non-infinitesimal part
05:01:54 <oren_> no, it is superscript 2
05:02:12 <oren_> my point is, all the epsilon parts of st(x) are removed
05:03:19 <oren_> https://en.wikipedia.org/wiki/Hyperreal_number
05:03:57 <oren_> you are doing hypercomplexes
05:04:26 <hppavilion[1]> Even if it's the superreals instead of the complexes?
05:05:27 <hppavilion[1]> I'm now writing the most mathematically strange python library ever
05:09:21 <hppavilion[1]> I should probably exclude the Notta numbers because that's just made up bullshit
05:30:11 <madbr> the question isn't "are they bullshit", the question is more like "are they coherent"
05:33:52 <MDude> Well, bitwise complex numbers would work like any other bitwise operation on a rotation value.
05:36:19 <MDude> Notta numbers are descibed further up.
05:36:49 <MDude> [23:50] <hppavilion[1]> the Notta Numbers
05:36:49 <MDude> [23:50] <hppavilion[1]> ζ=1/0
05:36:49 <MDude> [23:50] <hppavilion[1]> Where ζ is the Notta Constant
05:36:49 <MDude> [23:51] <hppavilion[1]> xD
05:36:49 <MDude> [23:51] <hppavilion[1]> I am genuinely surprised that is not a thing
05:36:49 <MDude> [23:52] <hppavilion[1]> Notta Sums are of the form a+bζ
05:37:39 <MDude> I pesonally prefer the idea of the number circle more, but won't condem other systems.
05:40:32 <MDude> A circle of infinite radius is a line, so the reverse also hold true.
05:41:09 <MDude> When graphing numbers, each axis is a line, and thus a circle of infinite radius.
05:41:17 -!- J_Arcane has quit (Ping timeout: 244 seconds).
05:41:37 <MDude> So if 0 is at 0 degrees on that circle, 1 is at 90 degrees.
05:41:49 <Sgeo_> MDude, and inf=-inf?
05:42:19 <Sgeo_> 1/0 * -1/-1 = -1/0
05:42:37 <MDude> 1/x would converge at the opposite side of the circle at 0.
05:43:02 <MDude> With the 2d graph being an infinite torus.
05:43:45 <Sgeo_> And where does ati, defined such that |ati| = -1, fit into this?
05:44:00 <Sgeo_> (I really attempted that at one point)
05:44:18 <MDude> I haven't ehard of ai?
05:44:26 <Sgeo_> I made it up when I was young
05:45:11 <Sgeo_> @ is probably a good enough abbreviation
05:45:17 <Sgeo_> or @i, not sure which
05:45:32 <MDude> It sounds interesting, but I'm not sure how to visualise it well.
05:46:24 <MDude> Wouild |-ati| also equal -1 or is it trickier than that?
05:47:07 <Sgeo_> Does |a||b| = |ab| generally hold without ati?
05:47:31 <Sgeo_> I think I struggled more with addition than multiplication. This was a long time ago though
05:48:38 <MDude> Since sign is basically treated separately from other aspects of multiplying.
05:49:07 <MDude> It's just a matter of wether an odd or even number of the number being multiplied are negative.
05:49:09 <Sgeo_> If |a| + |b| >= |a + b|, then |a| - 1 >= |a + @|
05:51:20 <hppavilion[1]> Does anyone here want to help me write a story reminiscent of Flatland based on http://xkcd.com/839/
05:51:47 <Sgeo_> |@| + |-@| = -1 + -1 = -2; |@ + -@| <= -2?
05:53:49 <hppavilion[1]> http://xkcd.com/839/ people. http://xkcd.com/839/.
05:53:58 <Sgeo_> We could say that that above rule is bad or that |-@| isn't -1, I think
05:55:10 <Sgeo_> That means giving up a nice multiplication rule though, I feel intuitively that the addition one was more questionable
05:56:20 <hppavilion[1]> So no one wants to help me write an xkcd 839 full story? :,(
05:56:27 <MDude> I am off to the sleep world.
05:56:35 <Sgeo_> hppavilion[1], that xkcd reminded me of b
05:56:40 -!- MDude has changed nick to MDream.
05:57:58 <Sgeo_> There was a grid once, and objects place around the grid, including a valuable one far away where it would take a lot of time and resources to reach
05:58:16 <Sgeo_> Except none of that happened because nothing had happened for years
05:58:28 <Sgeo_> We only thought that that stuff happened
05:58:50 <MDream> 10/10 art film concept
06:07:49 -!- bender| has joined.
06:10:31 -!- sc00fy has joined.
06:12:04 -!- zadock has joined.
06:13:31 -!- zadock has quit (Remote host closed the connection).
06:19:03 -!- yiyus has quit (Ping timeout: 256 seconds).
06:20:03 <Sgeo_> I don't think @! needs to be well defined
06:20:30 * Sgeo_ would be cautious about saying duh about any of this
06:23:32 <hppavilion[1]> (I'm calling them the fake numbers because fake is the opposite of real, and |x| when x (- R is always positive, and |@x| when x (- r is always negative)
06:24:48 <Sgeo_> https://www.wolframalpha.com/input/?i=i+factorial
06:25:21 <Sgeo_> 0.49801566811835604271369111746219809195296296758765009289264... -
06:25:21 <Sgeo_> 0.15494982830181068512495513048388660519587965207932493026588... i
06:25:40 <Sgeo_> I'm going to guess gamma or zeta function shenanigan
06:27:00 <hppavilion[1]> Heard of the Gamma Function and the Pi Function, of course
06:27:37 <Sgeo_> Gamma function. I didn't rememeber whether extension of factorial was gamma or zeta. Apparently a zeta function does exist.
06:30:58 <Sgeo_> @ is the time unit. Doesn't distance in relativity work something like x^2 + y^2 + z^2 - t^2? Almost like t is a negative distance?
06:31:45 <Sgeo_> Define || such that |a+b@| = sqrt(a^2 - b^2). What happens?
06:31:54 <Sgeo_> Wait, that doesn't work if we allow imaginaries
06:32:26 <Sgeo_> But it could still be interesting to play with
06:32:51 <hppavilion[1]> How many units do we need such that any algebraic expression is satisfiable WITHOUT just a "It doesn't work" unit?
06:34:01 <Sgeo_> I... think this shows that @ can be defined to have consistent rules, since that is a sensible function, and for reals that function matches absolute value
06:35:34 <Sgeo_> a with a dot over the tail
06:35:48 <Sgeo_> Add it to unicode people
06:37:10 <Sgeo_> Wait my function's totally broken
06:37:55 <Sgeo_> |@| = sqrt(- 1^2) = i
06:38:48 <Sgeo_> sqrt actually naturally gives +- results
06:38:57 <Sgeo_> but the function is defined to ignore the negative
06:39:51 <Sgeo_> It is, but sqrt(a^2 - b^2) doesn't work as a definition of |a+b@| if we want |@| to = -1
06:40:27 <hppavilion[1]> So it's just the @plex numbers that are messed up currently?
06:40:48 <Sgeo_> Well we could just define |a+b@| = |a| - |b| if we want to do things the obvious way
06:41:40 <Sgeo_> THe obvious thing to do from there is put some @ into a and b and see what breaks
06:42:09 <Sgeo_> |@ + @| = |@| - |@| = 0
06:42:53 <Sgeo_> Is it... reasonable to exclude @-numbers from a and b? I can't tell, but I'm guessing not
06:44:02 <Sgeo_> Wait I'm dumb |@ + @| = |@| - 1 = -1 - 1 = -2
06:45:22 <Sgeo_> Seems reasonable to me
06:46:52 <Sgeo_> I think unlike the prior function this one might still be breakable, because it's basically defined recursively
06:48:15 -!- sc00fy has quit (Ping timeout: 255 seconds).
06:50:55 <hppavilion[1]> https://drive.google.com/folderview?id=0ByRvNdqqy3GPMWRTU3R6ZXJyZm8&usp=sharing
06:56:28 <Sgeo_> I don't think it's possible with the current definition, you can only get real numbers. Could try some other shenanigans to get imaginary, but right now want sleep
07:11:26 -!- AnotherTest has joined.
07:20:07 -!- hppavilion[1] has quit (Quit: WALRUS MAAAAAAAAAAAAN).
07:26:29 -!- lambdabot has joined.
07:35:38 -!- olsner_ has changed nick to olsner.
07:38:16 -!- JesseH has quit (Remote host closed the connection).
07:47:37 -!- x10A94 has joined.
07:53:10 -!- sebbu2 has quit (Ping timeout: 240 seconds).
07:57:34 -!- sebbu has joined.
07:58:16 -!- sebbu has quit (Changing host).
07:58:16 -!- sebbu has joined.
08:13:43 -!- ais523 has joined.
08:27:19 -!- sebbu2 has joined.
08:28:04 -!- sebbu2 has quit (Changing host).
08:28:04 -!- sebbu2 has joined.
08:28:15 -!- sebbu has quit (Ping timeout: 256 seconds).
08:43:44 -!- Kozmo has joined.
08:49:29 -!- Kozmo has changed nick to theprobist69420.
08:49:48 -!- Patashu has joined.
08:52:48 -!- theprobist69420 has quit (Quit: Brb, i will probe someone.).
08:53:16 -!- Kozmo has joined.
08:58:24 -!- Kozmo has changed nick to theprobist69420.
09:00:33 -!- shikhin has quit (Read error: Connection reset by peer).
09:00:37 -!- heddwch has quit (Read error: Connection reset by peer).
09:01:23 -!- heddwch has joined.
09:05:02 -!- shikhin has joined.
09:08:20 -!- theprobist69420 has quit (Quit: Brb, i will probe someone.).
09:09:22 -!- Kozmo has joined.
09:10:07 -!- Kozmo has quit (Remote host closed the connection).
09:10:22 -!- theprobist69420 has joined.
09:30:11 <b_jonas> Is today's xkcd supposed to be a reference to that infamous D&D monster that looks like a rabbit on a tree stump?
09:31:20 <ais523> I don't get today's xkcd at all
09:39:50 <ais523> maybe I'll impl it later
09:48:23 -!- hjulle has joined.
09:49:36 -!- ais523 has quit (Ping timeout: 264 seconds).
09:54:25 -!- oerjan has joined.
10:10:34 -!- oerjan_ has joined.
10:11:41 <oerjan> @tell oren_ <oren_> oh right. x^x = 1 when x = 1, and x^x is a smooth function. <oren_> hence (1/x)^(1/x) approaches 1 as x -> +oo <-- your conclusion is right but your argument is wrong hth
10:11:41 <zemhill> oerjan: I do !zjoust; see http://zem.fi/bfjoust/ for more information.
10:11:41 <fungot> That Pong alone cannot stop!
10:11:41 -!- oerjan has quit (Quit: Changing server).
10:11:41 <fungot> ^<lang> <code>; ^def <command> <lang> <code>; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool
10:11:42 <EgoBot> help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help <command>.
10:12:00 -!- oerjan_ has changed nick to oerjan.
10:12:56 <oerjan> nice to see all your messages twice...
10:21:15 <oerjan> int-e: it was just my original server being lagged
10:21:57 <int-e> right, I didn't check the timestamps. thanks.
10:34:45 -!- boily has joined.
10:38:16 -!- FreeFull has quit (Quit: BBL).
10:40:29 <oerjan> @tell oren_ Protip: logarithms
10:42:09 <oerjan> i've somehow got 3 log tabs open. although 2 are of the same date.
10:42:16 -!- FreeFull has joined.
10:42:36 <oerjan> (no, they're not redundant.)
10:44:44 <oerjan> @tell oren_ oh missed your correction. i still think that's circular, though.
10:51:00 -!- theprobist69420 has quit (Quit: Brb, i will probe someone.).
10:53:05 -!- theprobist69420 has joined.
11:01:54 <oerjan> @tell hppavilion[1] <hppavilion[1]> MWAHAHAHAHA I HAVE RUINED MILLIONS OF PAST TEXTS EVERYWHERE <-- /g doesn't actually make much of a difference there hth
11:02:59 -!- hjulle has quit (Ping timeout: 240 seconds).
11:14:28 -!- llue has joined.
11:15:39 -!- lleu has quit (Ping timeout: 246 seconds).
11:33:13 -!- boily has quit (Quit: CALENDAR CHICKEN).
11:53:48 -!- TieSoul has joined.
11:55:51 -!- J_Arcane has joined.
11:58:54 -!- TieSoul has quit (Ping timeout: 260 seconds).
12:00:05 -!- TieSoul has joined.
12:01:29 -!- theprobist69420 has quit (Read error: Connection reset by peer).
12:01:52 <HackEgo> hppavilion[1] hppavilion[1] hppavilion[1] hppavilion[1] hppavilion[1]
12:02:02 <HackEgo> the Toe of Harriness's Enclosure
12:02:17 <HackEgo> the Toe of Harriness's Enclosure
12:05:19 <HackEgo> B is, in fact, a village in norway
12:05:49 <oerjan> `learn B is _not_ a village in Norway, unless you're even worse than the BBC and drop accented letters altogether.
12:05:51 <HackEgo> Learned 'b': B is _not_ a village in Norway, unless you're even worse than the BBC and drop accented letters altogether.
12:06:01 <HackEgo> Å _is_ a village in Norway, unless you're the BBC and don't understand things on top of letters.
12:08:18 <oerjan> `learn B is _not_ a village in Norway, unless you're even worse than the BBC and drop letters with things on top of them altogether.
12:08:20 <HackEgo> Learned 'b': B is _not_ a village in Norway, unless you're even worse than the BBC and drop letters with things on top of them altogether.
12:09:53 <oerjan> `learn B is _not_ a village in Norway, unless you're even worse than the BBC and drop strange letters altogether.
12:09:55 <HackEgo> Learned 'b': B is _not_ a village in Norway, unless you're even worse than the BBC and drop strange letters altogether.
12:10:55 -!- theprobist69420 has joined.
12:16:20 <oerjan> `learn Bø is not just one, but _two_ municipalities in Norway. And not just three, but at least _four_ farms. Ah ah ah!
12:16:23 <HackEgo> Learned 'bø': Bø is not just one, but _two_ municipalities in Norway. And not just three, but at least _four_ farms. Ah ah ah!
12:19:55 <fizzie> `learn Ii is a muncipality in Finland, no matter what you do.
12:19:57 <HackEgo> Learned 'ii': Ii is a muncipality in Finland, no matter what you do.
12:20:19 <fizzie> `run sed -i -e 's/munc/munic/' wisdom/ii
12:20:50 <oerjan> Norway has a place called Hell hth
12:20:58 <fizzie> `learn_append ii Except for speaking Swedish.
12:21:00 <HackEgo> Learned 'ii': Ii is a municipality in Finland, no matter what you do. Except for speaking Swedish.
12:21:07 <fizzie> (It's "Ijo" in Swedish.)
12:21:37 <FreeFull> oerjan: Is it very bright there?
12:21:39 <oerjan> `learn Bø is not just one, but _two_ municipalities in Norway. And not just three, but at least _four_ farms. Ah ah ah ah ah!
12:21:41 <HackEgo> Learned 'bø': Bø is not just one, but _two_ municipalities in Norway. And not just three, but at least _four_ farms. Ah ah ah ah ah!
12:21:50 <fizzie> Their "you're entering Ii" road sign looks like a pause button: https://fi.wikipedia.org/wiki/Ii#/media/File:Roadsign_of_Ii_municipality_Finland.jpg
12:22:04 <oerjan> FreeFull: not that i know of
12:22:37 <FreeFull> There is a place in Austria called Fucking
12:22:59 <FreeFull> There is a place in Australia called Sydney
12:23:39 <FreeFull> oerjan: What about Oberfucking and Unterfucking?
12:25:10 <FreeFull> There are apparently at least four places called Å
12:25:35 -!- Patashu has quit (Ping timeout: 250 seconds).
12:27:06 <FreeFull> "In 2010, the inhabitants banded together to purchase a 1.5-ton block of Purbeck Stone to place at the entrance to Shitterton, carved with the hamlet's name." That's one solution to having your sign stolen
12:27:57 <oerjan> `learn Y is a commune in France. There's nothing funny about this.
12:28:00 <HackEgo> Learned 'y': Y is a commune in France. There's nothing funny about this.
12:29:46 <oerjan> `learn L is far too short to be a village in Wales.
12:29:49 <HackEgo> Learned 'l': L is far too short to be a village in Wales.
12:30:14 <HackEgo> oerjan oerjan oerjan fizzie fizzie fizzie oerjan oerjan oerjan oerjan oerjan hppavilion[1] hppavilion[1] hppavilion[1] oren_ hppavilion[1] hppavilion[1] oren_ hppavilion[1] oren_ hppavilion[1] hppavilion[1] Phantom__Hoover hppavilion[1] oerjan tswett tswett tswett oerjan tswett tswett tswett tswett oerjan b_jonas
12:30:33 <oerjan> that _might_ be incomplete hth
12:35:12 <fizzie> "root not under root", when read aloud.
12:35:53 <HackEgo> The place where all of HackBot's wisdom is stored and forced to fight to the death for the freedom of being printed out when you type `wisdom
12:36:06 -!- Phantom_Hoover has joined.
12:36:10 <oerjan> `` sed -i 's/The/The Wisdome is the/' wisdom/wisdome
12:36:15 <HackEgo> The Wisdome is the place where all of HackBot's wisdom is stored and forced to fight to the death for the freedom of being printed out when you type `wisdom
12:36:49 <oerjan> `` sed -i 's/$/./' wisdom/wisdome
12:37:39 <oerjan> this is the kind of inattention to detail that leads to all software being crap hth
12:41:10 <oerjan> <hppavilion[1]> Now I'm tempted to write a HackBot fanfic about the Wisdome <-- someone has even more too much free time than i do
12:43:12 <HackEgo> bin \ dev \ etc \ hackenv \ home \ lib \ lib64 \ opt \ proc \ sbin \ sys \ tmp \ usr
12:43:22 <oerjan> @tell boily <boily> and here I was thinking that int-e was oerjan's good twin. or at least the less evil one. <-- i'm just so evil i need two good twins hth
12:43:34 <FreeFull> Seems that message is just specific to culprits
12:43:36 <HackEgo> bin \ dev \ etc \ hackenv \ home \ lib \ lib64 \ opt \ proc \ sbin \ sys \ tmp \ usr
12:43:54 <oerjan> FreeFull: i think it's a message from hg
12:44:03 <HackEgo> hg log --removed "$1" | grep summary: | awk '{print substr($2,2,length($2)-2)}' | sed "s/.$/\x0F&/" | xargs
12:48:03 -!- mauris has quit (Ping timeout: 246 seconds).
12:49:27 -!- bender| has quit (Ping timeout: 246 seconds).
12:49:58 -!- mauris has joined.
12:54:59 <HackEgo> [wiki] [[Loader]] http://esolangs.org/w/index.php?diff=44227&oldid=44212 * SuperJedi224 * (+1)
13:02:45 -!- mauris has quit (Ping timeout: 246 seconds).
13:04:07 -!- bender| has joined.
13:04:09 -!- `^_^v has joined.
13:16:36 -!- mauris has joined.
13:22:05 -!- Wright has joined.
13:34:33 -!- J_Arcane has quit (Ping timeout: 244 seconds).
13:42:58 -!- Wright has quit (Ping timeout: 260 seconds).
13:53:21 -!- J_Arcane has joined.
13:55:02 -!- Wright has joined.
14:00:23 -!- J_Arcane has quit (Ping timeout: 244 seconds).
14:03:19 -!- Wright has quit (Ping timeout: 240 seconds).
14:15:32 -!- Sgeo_ has quit (Read error: Connection reset by peer).
14:19:26 -!- J_Arcane has joined.
14:39:48 -!- aretecode has quit (Read error: Connection reset by peer).
14:42:51 -!- aretecode has joined.
14:47:24 -!- J_Arcane has quit (Ping timeout: 244 seconds).
14:50:05 -!- J_Arcane has joined.
14:53:12 -!- MDream has quit (Ping timeout: 264 seconds).
15:06:24 -!- `^_^v has quit (Ping timeout: 264 seconds).
15:07:29 -!- `^_^v has joined.
15:09:32 -!- Spiritualcreativ has joined.
15:14:59 -!- J_Arcane_ has joined.
15:17:22 -!- J_Arcane has quit (Ping timeout: 244 seconds).
15:17:24 -!- J_Arcane_ has changed nick to J_Arcane.
15:18:27 -!- Spiritualcreativ has left.
15:36:41 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bonjour: not found
15:36:54 -!- J_Arcane_ has joined.
15:37:14 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: bienvenu: not found
15:38:33 -!- J_Arcane has quit (Ping timeout: 244 seconds).
15:38:34 -!- J_Arcane_ has changed nick to J_Arcane.
15:41:57 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: benvenu: not found
15:42:32 -!- Vorpal has joined.
15:44:24 <HackEgo> bin/arienvenido \ bin/benvenuto \ bin/bienvenido
15:44:35 <oerjan> none of those look very french
15:45:02 <oerjan> `` grep -R venu wisdom
15:45:03 <HackEgo> wisdom/bienvenue:Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d'ésotérisme, essayez #esoteric sur irc.dal.net.) \ Binary file wisdom/reflection matches
15:45:43 <oerjan> `` mv wisdom/{bienvenue,wisdom.fr}
15:46:35 <HackEgo> Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on EFnet or DALnet.)
15:47:36 <oerjan> `` mv wisdom/{wisdom,welcome}.fr
15:47:46 <oerjan> `` sed -i 's/irc.dal.net/EFnet ou DALnet/' wisdom/welcome.fr
15:47:53 <HackEgo> Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d'ésotérisme, essayez #esoteric sur EFnet ou DALnet.)
15:48:01 <HackEgo> #!/usr/bin/perl -w \ if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome"; } else { exec "bin/?", "welcome"; }
15:48:20 <HackEgo> #!/usr/bin/perl -w \ if (defined($_=shift)) { s/ *$//; s/ +/ @ /g; exec "bin/@", $_ . " ? welcome.es"; } else { exec "bin/?", "welcome.es"; }
15:49:17 <oerjan> `` cp bin/{bienvenido,bienvenue}; sed -i 's/\.es/.fr/g' bin/bienvenue
15:49:34 <HackEgo> Jafet: Bienvenue au centre international pour le design et le déploiement des langages de programmation ésotériques! Pour plus d’informations, visitez le wiki: http://esolangs.org/wiki/Main_Page. (Pour l’autre type d'ésotérisme, essayez #esoteric sur EFnet ou DALnet.)
15:53:16 -!- bb010g has quit (Quit: Connection closed for inactivity).
16:04:58 -!- J_Arcane_ has joined.
16:07:43 -!- J_Arcane has quit (Ping timeout: 265 seconds).
16:07:51 -!- oerjan has quit (Quit: Au revoir).
16:07:52 -!- J_Arcane_ has changed nick to J_Arcane.
16:08:45 -!- Vorpal has quit (Ping timeout: 252 seconds).
16:09:06 -!- Vorpal has joined.
16:09:06 -!- Vorpal has quit (Changing host).
16:09:06 -!- Vorpal has joined.
16:17:05 -!- `^_^v has quit (Quit: This computer has gone to sleep).
16:19:21 -!- sc00fy has joined.
16:23:30 -!- sc00fy has quit (Ping timeout: 240 seconds).
16:26:06 -!- hppavilion[1] has joined.
16:27:25 -!- adu has joined.
16:32:24 -!- J_Arcane has quit (Ping timeout: 246 seconds).
16:34:06 -!- J_Arcane has joined.
16:42:14 -!- `^_^v has joined.
16:43:36 -!- J_Arcane has quit (Ping timeout: 264 seconds).
16:43:43 -!- nycs has joined.
16:46:34 -!- `^_^v has quit (Ping timeout: 246 seconds).
16:55:05 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
16:56:22 -!- ais523 has joined.
16:59:06 -!- AnotherTest has quit (Ping timeout: 240 seconds).
17:06:01 -!- JesseH has joined.
17:08:32 -!- J_Arcane has joined.
17:09:57 -!- AnotherTest has joined.
17:10:07 -!- AnotherTest has quit (Client Quit).
17:19:53 -!- atrapado has joined.
17:41:18 <HackEgo> [wiki] [[Hexagony]] N http://esolangs.org/w/index.php?oldid=44228 * Martin Büttner * (+11013) Created page with "'''Hexagony''' is a two-dimensional stack-based programming language developed by [[user:Martin Büttner]]. To the best of the author's knowledge it's the first ever 2D langua..."
17:41:42 <HackEgo> [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=44229&oldid=44196 * Martin Büttner * (+15) /* H */
17:44:47 <HackEgo> [wiki] [[User:Martin Büttner]] http://esolangs.org/w/index.php?diff=44230&oldid=43937 * Martin Büttner * (+387) add Hexagony and Marbelous
17:46:58 -!- AnotherTest has joined.
18:11:00 <HackEgo> [wiki] [[Talk:Hexagony]] N http://esolangs.org/w/index.php?oldid=44231 * Ais523 * (+595) related esolang
18:48:05 -!- hppavilion[1] has joined.
18:55:02 -!- adu has quit (Quit: adu).
18:57:55 -!- sebbu2 has changed nick to sebbu.
19:17:28 -!- FreeFull has quit (Quit: BBS).
19:17:40 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
19:24:07 -!- FreeFull has joined.
19:30:35 -!- MoALTz has joined.
19:32:39 -!- x10A94 has quit (Read error: Connection reset by peer).
19:34:36 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
19:35:26 -!- Phantom_Hoover has joined.
20:05:10 -!- Sgeo has joined.
20:26:49 -!- shikhin has quit (Quit: Alas.).
20:27:14 -!- shikhin has joined.
20:31:03 -!- mihow has joined.
20:32:59 -!- Phantom_Hoover has quit (Ping timeout: 240 seconds).
20:39:24 -!- Phantom_Hoover has joined.
20:42:14 -!- Wright has joined.
20:51:02 -!- hppavilion[1] has joined.
20:59:09 -!- ais523 has quit (Ping timeout: 252 seconds).
21:01:41 <hppavilion[1]> ais523 is /legally allowed/ to leave the channel!?
21:06:38 <hppavilion[1]> Taneb: Isn't that, with "So do it" appended, the Esolangs motto?
21:07:06 <Taneb> hppavilion[1]: no, I mean it's a boring, unesoteric idea
21:08:04 <Phantom_Hoover> hppavilion[1], do you mean adding system stuff like file handling to it
21:08:15 -!- Patashu has joined.
21:08:57 <Phantom_Hoover> that could be interesting but you should try to make it really fit into the language
21:09:36 <Phantom_Hoover> don't go the lazy way and make it a wrapper on the output or a couple of special patterns
21:12:07 <Phantom_Hoover> like if you did your file i/o just by writing "open(whatever)" to stdout
21:17:05 -!- ais523 has joined.
21:17:13 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net).
21:17:33 <Phantom_Hoover> function notation is a bit alien to thue though so the second one is probably better
21:18:55 -!- nycs has quit (Ping timeout: 256 seconds).
21:21:19 <HackEgo> [wiki] [[Thube]] N http://esolangs.org/w/index.php?oldid=44232 * Hppavilion1 * (+224) Created Page
21:22:16 -!- Phantom__Hoover has joined.
21:23:48 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds).
21:23:52 <hppavilion[1]> I've named the language Thube for now and added it to a wiki page
21:26:11 <HackEgo> [wiki] [[Thube]] http://esolangs.org/w/index.php?diff=44233&oldid=44232 * Hppavilion1 * (+106) Goals
21:27:12 -!- S1 has joined.
21:28:25 <Phantom__Hoover> hppavilion[1], i think you should try to address the criticisms of thue here while you're at it: http://esolangs.org/wiki/Thue#Criticisms
21:30:04 <Phantom__Hoover> *you can do it by transforming every character to its output but that's awful
21:31:33 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
21:32:04 -!- JesseH has quit (Remote host closed the connection).
21:35:54 <myname> i do think thue would benefit if you could add new rules at runtime
21:36:18 -!- S1 has quit (Quit: We are the revolutionaries).
21:37:26 <Taneb> Phantom__Hoover: that is the first time I've ever seen an IRC message with an actual, planned in advance, footnote
21:38:17 <Taneb> It is a good practise. Keep it up.
21:38:36 <Taneb> I forget which is the noun and which is the verb
21:39:21 -!- JesseH has joined.
21:39:33 <Taneb> On the subject of things I forget sometimes, I'm going to go to sleep now
21:40:07 <Taneb> Phantom__Hoover: @tell me it or something
21:42:28 <ais523> Phantom__Hoover: most cat variants (e.g. output in reverse) are probably impossible to do reliably in Thue because you can mimic whatever strings it uses for internal data storage
21:42:30 -!- shikhin has changed nick to shikhinito.
21:42:33 <myname> why the hell would you actually do that?
21:43:00 <myname> i mean, practise/practice
21:44:37 -!- Patashu has quit (Ping timeout: 252 seconds).
21:46:05 <Phantom__Hoover> i'm sure practice and practise had the same distinction but drifted together
21:48:03 <Phantom__Hoover> i like when you read old verse and you can see the aftermath of the great vowel shift because half the rhymes no longer work
21:49:08 -!- hppavilion[1] has joined.
22:06:09 -!- atrapado has quit (Quit: Leaving).
22:06:50 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
22:08:29 -!- hppavilion[1] has joined.
22:12:28 -!- ais523 has quit.
22:13:18 -!- guido__ has joined.
22:13:20 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
22:15:25 -!- randy- has joined.
22:15:47 -!- guido__ has quit (Client Quit).
22:33:42 -!- randy- has quit (Quit: Sto andando via).
22:42:36 -!- hppavilion[1] has quit (Ping timeout: 265 seconds).
22:51:46 -!- shikhinito has changed nick to shikhin.
22:59:54 -!- hppavilion[1] has joined.
23:04:21 -!- Phantom__Hoover has quit (Ping timeout: 265 seconds).
23:38:00 -!- Phantom_Hoover has joined.
23:39:14 <HackEgo> [wiki] [[Monkeys]] http://esolangs.org/w/index.php?diff=44234&oldid=40966 * David.werecat * (+110) Updated interpreter to new open source C interpreter
23:43:00 -!- jose1 has joined.
23:45:12 -!- jose1 has left.
23:50:12 -!- hppavilion[1] has quit (Ping timeout: 264 seconds).
23:51:12 <myname> monkeys looks like a nica language
23:56:46 -!- adu has joined.