00:23:46 -!- ivzem[m] has quit (Remote host closed the connection).
00:24:02 -!- Camto[m] has quit (Remote host closed the connection).
00:24:11 -!- xylochoron[m] has quit (Read error: Connection reset by peer).
00:24:16 -!- wmww has quit (Remote host closed the connection).
00:24:16 -!- tswett[m] has quit (Remote host closed the connection).
00:32:01 -!- Camto[m] has joined.
00:39:13 -!- Lykaina has joined.
00:40:08 <Lykaina> is this esoteric or just confusing? https://paste.ee/p/8JCjK
00:51:37 -!- MDude has quit (Ping timeout: 246 seconds).
00:52:23 -!- wmww has joined.
00:52:23 -!- tswett[m] has joined.
00:52:23 -!- xylochoron[m] has joined.
00:52:29 -!- MDude has joined.
00:52:31 -!- ivzem[m] has joined.
00:55:02 -!- budonyc has quit (Quit: Leaving).
00:59:34 <zzo38> Is the ability for PostScript programs to have command-line arguments specific to Ghostscript? (Even if so, it would be possible to emulate it just as well with other implementations.)
01:12:38 <esowiki> [[Grid]] N https://esolangs.org/w/index.php?oldid=65897 * Hakerh400 * (+23410) New language: Grid
01:14:34 <esowiki> [[Language list]] https://esolangs.org/w/index.php?diff=65898&oldid=65878 * Hakerh400 * (+11) Add "Grid" to the language list
01:15:33 <esowiki> [[User:Hakerh400]] https://esolangs.org/w/index.php?diff=65899&oldid=64427 * Hakerh400 * (+11)
01:16:54 <Lykaina> could you take a look at the language specs i posted and give me your opinion?
01:17:20 <zzo38> I looked at it, and currently do not have something to say about it.
01:23:09 <Lykaina> and my first that doesn't require an "assembler"
01:30:47 <Lykaina> https://paste.ee/p/m0sel better paste (has source)
01:38:17 <esowiki> [[Grid]] M https://esolangs.org/w/index.php?diff=65900&oldid=65897 * Hakerh400 * (+1)
01:45:11 -!- Lykaina has quit (Quit: leaving).
01:47:31 <esowiki> [[Grid]] M https://esolangs.org/w/index.php?diff=65901&oldid=65900 * Hakerh400 * (+0)
01:48:35 <esowiki> [[Grid]] M https://esolangs.org/w/index.php?diff=65902&oldid=65901 * Hakerh400 * (+0)
01:50:24 -!- xkapastel has joined.
01:52:09 <esowiki> [[Grid]] M https://esolangs.org/w/index.php?diff=65903&oldid=65902 * Hakerh400 * (-5)
01:54:09 <esowiki> [[Grid]] M https://esolangs.org/w/index.php?diff=65904&oldid=65903 * Hakerh400 * (+1)
03:24:24 -!- Sgeo__ has quit (Read error: Connection reset by peer).
03:24:52 -!- Sgeo__ has joined.
04:04:00 <esowiki> [[Underload/Numbers]] https://esolangs.org/w/index.php?diff=65905&oldid=65896 * CatIsFluffy * (-17) Run length encoding
05:20:51 <esowiki> [[Underload/Numbers]] M https://esolangs.org/w/index.php?diff=65906&oldid=65905 * CatIsFluffy * (-17) removing old 36
05:26:44 <esowiki> [[Underload/Numbers]] M https://esolangs.org/w/index.php?diff=65907&oldid=65906 * CatIsFluffy * (-25) A few more changes
06:38:32 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=65908&oldid=65782 * Dtuser1337 * (+173) /* Stupid */
06:40:08 -!- xkapastel has quit (Quit: Connection closed for inactivity).
07:25:56 -!- b_jonas has quit (Quit: leaving).
07:41:51 -!- cpressey has joined.
07:47:37 <cpressey> Pythagorus's Lesser Known Theorem: the square of one side of an equilateral triangle is equal to the average of the squares of the other two sides.
07:54:33 <cpressey> Er, Pythagorus, yeah, he was Pythagoras's cousin dontchaknow.
08:29:49 -!- wob_jonas has joined.
08:35:03 <wob_jonas> cpressey: no, that theorem is more general. it says that for a triangle with a pi/3 or 2*pi/3 angle (rather than a right angle), c = a**2 + b**2 \pm a*b, where a and b are the sides next to that angle, c is the side opposite of that, and you take the negative sign for the non-acute angle. what you say is the special case for a=b and acute angle.
08:35:26 <wob_jonas> that theorem is more general. it says that for a triangle with a pi/3 or 2*pi/3 angle (rather than a right angle), c = a**2 + b**2 \pm a*b, where a and b are the sides next to that angle, c is the side opposite of that, and you take the negative sign for the acute angle. what you say is the special case for a=b and acute angle.
08:35:45 <Taneb> cpressey: due to unique properties of equilateral triangles, it's also equal to the geometric mean of the squares of the other two sides
08:36:52 <wob_jonas> also http://www.madore.org/~david/weblog/d.2013-12-17.2175.trigonometrie-triangle.html is a handy reference for triangle formulas on euclidean, hyperbolic and spheric triangles
08:36:57 <wob_jonas> some of those formulas count as lesser known too
08:39:54 -!- arseniiv has joined.
08:42:22 -!- Lord_of_Life has quit (Ping timeout: 246 seconds).
08:45:03 -!- Lord_of_Life has joined.
08:57:34 -!- ArthurStrong has joined.
09:12:16 <esowiki> [[Pth]] N https://esolangs.org/w/index.php?oldid=65909 * A * (+945) Created page with "[[Pth]] is a dedicated declarative path-finding language created in order to make path-finding challenges on CGCC very trivial. ==Example program== <pre> # Transition starts..."
09:17:19 <int-e> wob_jonas: are you reading the whole madore website?
09:21:28 <arseniiv> int-e: IIRC he said he’s not as familiar with older posts there when we were talking about card deck design
09:26:58 <wob_jonas> int-e: no, but most of the new posts.
09:27:16 <wob_jonas> int-e: I haven't read most of the older year's blog part, and probably won't
09:48:01 <esowiki> [[Pth]] M https://esolangs.org/w/index.php?diff=65910&oldid=65909 * A * (-181)
09:48:39 <esowiki> [[Pth]] M https://esolangs.org/w/index.php?diff=65911&oldid=65910 * A * (+56)
09:49:19 -!- fungot has quit (Ping timeout: 250 seconds).
09:52:00 <esowiki> [[Pth]] M https://esolangs.org/w/index.php?diff=65912&oldid=65911 * A * (+0)
09:53:14 <esowiki> [[Pth]] M https://esolangs.org/w/index.php?diff=65913&oldid=65912 * A * (+2)
09:57:35 <esowiki> [[Pth]] M https://esolangs.org/w/index.php?diff=65914&oldid=65913 * A * (+58)
10:08:36 <wob_jonas> strange... python 3.6 adds a subscripting operator to the re.Match object, but doesn't go the whole way to make it iterable so you can conveniently multipe-assign from it
10:33:30 <esowiki> [[Special:Log/newusers]] create * Kritixilithos * New user account
10:39:21 -!- wob_jonas has quit (Quit: Ping timeout (120 seconds)).
10:39:57 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=65915&oldid=65772 * Kritixilithos * (+195)
10:44:51 <esowiki> [[AlphaBeta]] https://esolangs.org/w/index.php?diff=65916&oldid=60820 * Kritixilithos * (+23) Fixed the cat program
11:18:17 -!- fungot has joined.
11:20:03 <fungot> int-e: brought home a nice carpet from summer fnord garden shed a tear" as a verb when an existing verb works perfectly well for me
12:05:12 <fizzie> Was some internet trouble at home.
12:05:21 <fizzie> I'd like if they'd provide a little more information about these things.
12:06:05 <fizzie> There's a "dashboard", but it's just an orb that's either green with a hover-tip of "no problems" (paraphrasing), or red with a stock "we're sorry, our engineers are investigating, thank you for your patience" message.
12:07:45 <fizzie> fungot: Welcome back online.
12:07:45 <fungot> fizzie: want an explanation of access either the path or the closure out of it
12:08:21 <fizzie> fungot: Well, as I just said, the ISP isn't too forthcoming with information. Maybe you could contact their support yourself?
12:08:21 <fungot> fizzie: e!bf http://kidsquid.com/ fnord translation for this. easy to translate to void fnord blah fnord " a deep dark secret". even though the guy was real idiot...
12:08:41 <fizzie> In retrospect, maybe that's not such a great idea.
12:53:40 <esowiki> [[ASCII @]] N https://esolangs.org/w/index.php?oldid=65917 * A * (+3895) Created page with "[[ASCII @]] is a programming language created by [[User:A]], due to failing code-golf competitions because @ instructions sometimes take 2 characters. This transpiles to [[@]]..."
12:59:25 <esowiki> [[ASCII @]] M https://esolangs.org/w/index.php?diff=65918&oldid=65917 * A * (-1)
13:12:51 -!- tromp has quit (Remote host closed the connection).
13:44:17 -!- tromp has joined.
13:48:57 -!- tromp has quit (Ping timeout: 250 seconds).
14:17:15 -!- tromp has joined.
14:30:03 <esowiki> [[Special:Log/newusers]] create * Dominic3203 * New user account
14:53:23 -!- Sgeo__ has quit (Ping timeout: 245 seconds).
14:58:28 -!- cpressey has quit (Quit: A la prochaine.).
15:30:42 <HackEso> olist 1178: shachaf oerjan Sgeo FireFly boily nortti b_jonas
15:41:06 <arseniiv> <fungot> fizzie: want an explanation of access either the path or the closure out of it => I think fungot mentions the free category of a graph! :o
15:41:06 <fungot> arseniiv: any string containing neither nor is a symbol, whose hash value will itself have been updated with a new program, like bf dev??
15:41:54 <arseniiv> hm stop no paths are already a “closure” of a graph’s edges
15:44:30 <fungot> arseniiv: annnd my irssi runs over ssh on bistromath. hrm. that doesn't mean we have the long one, but the
16:46:27 -!- FreeFull has joined.
17:02:53 -!- b_jonas has joined.
17:10:24 -!- xkapastel has joined.
17:35:38 <arseniiv> for a linear approximation to some f: A → B, to have a graph which is a subspace of A × B, A and B are sufficient to be affine spaces (and for graph of f itself to be such, linear spaces). What weakest kind of spaces may A, B be for f’s quadratic approximation to have a graph being a subspace of A × B?
17:36:01 <arseniiv> clearly any differentiable manifold suffices but it’s too strong
17:37:21 <arseniiv> I think someone had already developed what those spaces could be
17:38:16 <arseniiv> and maybe I should restate the question in terms of no graphs and products of spaces, it seems superfluous
17:38:32 <arseniiv> but I don’t know how right now
17:40:00 <arseniiv> oh I seem to misplace linear spaces here
17:41:07 <arseniiv> it should be something of a “constant space”
17:45:07 <arseniiv> i. e. all or some conic hypersurfaces should be subspaces in this “quadratic-affine space”
17:45:48 <arseniiv> hm isn’t it what affine varieties are about
17:48:27 <arseniiv> this question is weird, I don’t understand which way it could be restated to make sense of “constant spaces” where only graphs of constant functions are subspaces of dom f × cod f
18:18:36 <HackEso> 528) <Gregor> Hulu's movie selection is like MST3K without the MST3K characters. \ 943) * ais523 challenges the americans here to remember who lost in the most recent UK general election <Phantom_Hoover> ais523, the lib dems
18:25:42 <esowiki> [[Underload/Numbers]] M https://esolangs.org/w/index.php?diff=65919&oldid=65907 * CatIsFluffy * (-5) A few more improvements
19:49:40 -!- xkapastel has quit (Quit: Connection closed for inactivity).
20:42:58 -!- Lord_of_Life has quit (Ping timeout: 245 seconds).
20:45:26 -!- Lord_of_Life has joined.
21:22:10 -!- ArthurStrong has quit (Quit: leaving).
21:24:19 -!- sftp has quit (Ping timeout: 246 seconds).
22:09:24 -!- sftp has joined.
22:21:16 -!- FreeFull has quit.
22:42:35 -!- hakatashi has quit (Remote host closed the connection).
22:42:52 -!- hakatashi has joined.
23:30:40 -!- arseniiv has quit (Ping timeout: 246 seconds).
23:30:56 -!- Sgeo has joined.
23:40:47 -!- Sgeo_ has joined.
23:41:55 -!- Sgeo has quit (Ping timeout: 244 seconds).
23:47:43 <zzo38> Now I wrote the JSON parser as well as JSON writer in PostScript.
23:49:37 <zzo38> Only one feature is not yet implemented, which is if JSON.utf8 is true then it will not support Unicode characters outside of the ASCII range yet; that option is supposed to enable that feature. (If JSON.utf8 is false, then it will work, but any \u escapes will use only the low 8-bits of the character code.)
23:50:24 <zzo38> shachaf: What is PSON?