00:14:04 [[Special:Log/newusers]] create * Toel F * New user account 00:36:43 -!- arseniiv has quit (Ping timeout: 245 seconds). 00:40:56 -!- tromp_ has joined. 00:42:43 -!- tromp has quit (Ping timeout: 252 seconds). 00:57:32 -!- MDude has quit (Ping timeout: 245 seconds). 01:36:33 [[Special:Log/newusers]] create * SoundOfScripting * New user account 01:41:07 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=65718&oldid=65717 * SoundOfScripting * (+303) Followed instructions. 01:42:14 [[User:SoundOfScripting]] N https://esolangs.org/w/index.php?oldid=65719 * SoundOfScripting * (+1067) Created page with "This is the page of the terrible language designer [https://www.esolangs.org/wiki/User:SoundOfScripting User:SoundOfScripting]. I like to make esolangs, even if they are not p..." 01:43:27 [[User:HereToAnnoy]] https://esolangs.org/w/index.php?diff=65720&oldid=65380 * SoundOfScripting * (-992) Alternatively, delete this page. 01:44:18 [[Arrows]] M https://esolangs.org/w/index.php?diff=65721&oldid=57337 * SoundOfScripting * (+5) Changed to User:SoundOfScripting 01:44:42 [[TheSingularity]] M https://esolangs.org/w/index.php?diff=65722&oldid=55647 * SoundOfScripting * (+5) Changed to User:SoundOfScripting 01:46:40 [[WCDA]] M https://esolangs.org/w/index.php?diff=65723&oldid=53754 * SoundOfScripting * (+57) Changed to User:SoundOfScripting 01:47:36 [[Focus]] M https://esolangs.org/w/index.php?diff=65724&oldid=55649 * SoundOfScripting * (-60) Changed to User:SoundOfScripting 01:48:15 [[TwoFiftyFive]] M https://esolangs.org/w/index.php?diff=65725&oldid=53836 * SoundOfScripting * (+5) Sorry for the eidit spam! Just a handful more pages. ======= Changed to User:SoundOfScripting 01:48:44 [[Tables]] M https://esolangs.org/w/index.php?diff=65726&oldid=53826 * SoundOfScripting * (+5) Changed to User:SoundOfScripting 01:49:21 [[Neg]] M https://esolangs.org/w/index.php?diff=65727&oldid=55788 * SoundOfScripting * (+5) maybe I'm just dumb and I could've changed my username 01:49:43 [[GetWhen]] M https://esolangs.org/w/index.php?diff=65728&oldid=55798 * SoundOfScripting * (+5) Changed to User:SoundOfScripting 01:51:23 [[User:Language]] M https://esolangs.org/w/index.php?diff=65729&oldid=56602 * SoundOfScripting * (+45) Changed to User:SoundOfScripting 01:52:37 [[D.U.C.K.]] M https://esolangs.org/w/index.php?diff=65730&oldid=60740 * SoundOfScripting * (+5) Changed to User:SoundOfScripting 01:52:59 [[Braincells]] M https://esolangs.org/w/index.php?diff=65731&oldid=65379 * SoundOfScripting * (+5) Last one! Changed to User:SoundOfScripting 02:00:51 -!- xkapastel has quit (Quit: Connection closed for inactivity). 05:29:19 -!- ArthurStrong has joined. 06:08:08 [[BitBounce]] M https://esolangs.org/w/index.php?diff=65732&oldid=65705 * Hakerh400 * (-1) 06:52:46 -!- tromp_ has quit (Read error: Connection reset by peer). 06:53:07 -!- tromp has joined. 06:59:17 -!- tromp has quit (Ping timeout: 252 seconds). 07:12:45 -!- nfd9001 has joined. 07:13:14 -!- tromp has joined. 07:17:59 -!- tromp has quit (Ping timeout: 252 seconds). 07:30:57 -!- tromp has joined. 07:31:54 -!- tromp_ has joined. 07:35:13 -!- tromp has quit (Ping timeout: 252 seconds). 08:11:42 -!- clog has quit (Ping timeout: 244 seconds). 08:15:08 -!- Phantom_Hoover has joined. 08:15:21 [[Spin]] https://esolangs.org/w/index.php?diff=65733&oldid=33886 * Dtuser1337 * (+18) Adding a year category. 08:24:58 [[Spin]] https://esolangs.org/w/index.php?diff=65734&oldid=65733 * Dtuser1337 * (+140) Adding examples. 08:35:48 -!- Lord_of_Life has quit (Ping timeout: 248 seconds). 08:38:24 -!- Lord_of_Life has joined. 08:54:32 -!- cpressey has joined. 08:55:03 -!- AnotherTest has joined. 08:55:22 Good morning. Idea for the day: design an esoteric parsing combinator library. 08:55:38 Maybe based on Fokker's X combinator. Except for parsing, of course. 08:56:58 Good morning. 08:57:15 I feel like I should know a whole bunch more about parsing. 09:07:52 Recursive descent parsing is easy and fun, but only works on some grammars. If you write a RDP manually you can manually add code to do non-context-free things like track a symbol table or generate code. 09:08:49 There are algorithms that will return all possible parses for general context-free grammars. They're not as efficient, most programming languages don't need them, but they're also fun in their way. 09:09:11 I don't know what a PEG is, I should probably find out some day. 09:12:16 Table-based parsing of LR-type grammars I find not-fun and have basically ignored all my life. 10:03:41 The LR-grammar parsing stuff is very esoteric, though, and should not be ignored. Maybe someone could make an esolang where it works like shift/reduce parsing, except it's not just a parser, it's a Turing-complete language. 10:10:52 -!- clog has joined. 10:13:08 Not that different from a push-down automaton, really, I guess 10:13:21 This reminds me of the mostly unrelated topic of alternating finite automata. 10:13:45 I wanted to figure out whether they're a realistic implementation strategy for regular expressions. 10:14:52 It sounds realistic in the sense that you could implement it. Whether there would be any advantages to doing so or not, I don't know. 10:16:22 I think it's conventional to convert NFAs to DFAs, but you can also execute NFAs directly. Which is more efficient in the modern era probably depends on cache configuration and all that gory stuff. 10:24:02 -!- MDude has joined. 10:42:51 s/conventional/traditional/ 10:50:29 The advantage would be support for intersection and complement. 10:56:17 -!- Phantom_Hoover has quit (Ping timeout: 245 seconds). 11:02:43 I assume you mean, improved support... I think most regex implementations aren't oriented at optimizing the compilation-to-FA step. 11:03:03 You only need to compile the RE once, and typically use it more than once 11:03:21 Also, you should probably sleep 11:08:00 https://github.com/kragen/peg-bootstrap/blob/master/peg.md 11:08:05 this is my favorite page to learn about PEG 11:39:07 -!- xkapastel has joined. 12:05:57 The Wikipedia article is also not bad (as they go). My understanding is, someone looked at how CFGs actually get implemented (as RDPs) and turned that back into a grammar formalism. 12:06:21 Expedient yes; mathematically satisfying, not really 12:11:41 -!- AnotherTest has quit (Ping timeout: 252 seconds). 12:15:34 Oh, that kind of RDP. (Google finds something entirely different.) 12:23:27 -!- arseniiv has joined. 12:24:03 [[Special:Log/newusers]] create * Thecatlover1996 * New user account 12:25:01 Remote Drocedure Pall 12:28:22 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=65735&oldid=65718 * Thecatlover1996 * (+242) /* Introductions */ 12:28:27 [[Brainfuck]] https://esolangs.org/w/index.php?diff=65736&oldid=65605 * Thecatlover1996 * (+50) /* Language overview */ Tape has length 30,000 12:58:54 -!- ArthurStrong has quit (Quit: leaving). 12:59:10 [[Brainfuck]] https://esolangs.org/w/index.php?diff=65737&oldid=65736 * Ais523 non-admin * (+168) /* Language overview */ clarify the nature of the tape 13:00:50 [[Brainfuck]] https://esolangs.org/w/index.php?diff=65738&oldid=65737 * Ais523 non-admin * (+106) /* Computational class */ clarify that BF requires an unbounded tape or unbounded values to be TC 13:03:10 [[Special:Log/newusers]] create * Trickbrain26 * New user account 13:12:32 [[C-]] M https://esolangs.org/w/index.php?diff=65739&oldid=42106 * Ais523 non-admin * (-4) unpipe link to Wikipedia 13:19:32 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=65740&oldid=65735 * Trickbrain26 * (+140) /* Introductions */ 13:38:50 -!- AnotherTest has joined. 13:41:42 hpy 13:49:24 -!- Vorpal has joined. 13:49:24 -!- Vorpal has quit (Changing host). 13:49:24 -!- Vorpal has joined. 13:52:12 [[Flop]] https://esolangs.org/w/index.php?diff=65741&oldid=65714 * InfiniteDonuts * (+116) 13:53:41 [[Flop]] https://esolangs.org/w/index.php?diff=65742&oldid=65741 * InfiniteDonuts * (-66) /* A Brief Tutorial */ 13:54:04 [[Flop]] https://esolangs.org/w/index.php?diff=65743&oldid=65742 * InfiniteDonuts * (-15) /* Introduction */ 13:54:28 [[Flop]] M https://esolangs.org/w/index.php?diff=65744&oldid=65743 * InfiniteDonuts * (+0) /* A Brief Tutorial */ 13:57:34 [[Flop]] https://esolangs.org/w/index.php?diff=65745&oldid=65744 * InfiniteDonuts * (-136) 13:57:57 [[Flop]] M https://esolangs.org/w/index.php?diff=65746&oldid=65745 * InfiniteDonuts * (+9) /* Introduction */ 14:00:33 [[Flop]] https://esolangs.org/w/index.php?diff=65747&oldid=65746 * InfiniteDonuts * (-99) 14:01:35 [[Flop]] M https://esolangs.org/w/index.php?diff=65748&oldid=65747 * InfiniteDonuts * (+0) /* A Brief Tutorial */ 14:13:29 perhaps Stephen Wolfram's ideas presented in "A New Kind of Science" can provide useful insight for your endeavour 14:22:42 [[User:Orby]] https://esolangs.org/w/index.php?diff=65749&oldid=60360 * Orby * (+12) 14:39:37 -!- heroux has quit (Ping timeout: 245 seconds). 14:40:29 -!- heroux has joined. 15:34:38 [[Flop]] M https://esolangs.org/w/index.php?diff=65750&oldid=65748 * InfiniteDonuts * (-2900) 15:34:57 [[PATH]] https://esolangs.org/w/index.php?diff=65751&oldid=65653 * InfiniteDonuts * (-54) /* Variations */ 15:35:11 [[SNUSP]] https://esolangs.org/w/index.php?diff=65752&oldid=65651 * InfiniteDonuts * (-39) /* See also */ 15:35:41 -!- ais523 has joined. 15:36:09 cpressey: have you seen recursive ascent parsers? it's basically the open-coded version of LR, but much easier to understand than the table-driven version 15:37:01 -!- arseniiv has quit (Read error: Connection reset by peer). 15:37:59 the basic idea is that whenever you have a grammar ambiguity that can't immediately be resolved with your lookahead symbols but can be resolved later, you call a function that can parse either of the two things you want to be able to parse, and returns which of the two it parsed 15:38:30 (occasionally you'll need multiple functions that disambiguate in different ways depending on what comes next, but that's rare) 15:43:45 No, I haven't 15:48:07 You could also fall back to something like CYK for the non-LL parts (overkill, of course) 15:48:13 Unfortunately must be off. 15:48:17 -!- cpressey has quit (Quit: A la prochaine.). 15:49:30 -!- arseniiv has joined. 15:50:15 just use s-expressinos 15:52:51 for what? the language you're parsing? that doesn't work too well if you don't control the format 15:53:06 even when you do, s-expressions tend to have some amount of variety in what constants they support 15:53:43 I've been working with SMT2 recently, whose syntax is a proper subset of Common Lisp's (although the semantics are quite different), and it can be hard to find off-the-shelf parsers for it even though it's just s-expressions 15:53:57 due to things like #x1234 as a hexadecimal number 15:54:11 that's a frustrating problem 15:54:35 i feel like lisp and s-expressions has more potential but kind of flopped because of issues like the one you state 15:55:04 lisp is basically designed to be manipulated by lisp code, it isn't really designed to be manipulated by code in arbitrary other languages 15:58:14 i would design READ to be based on a list of regexes 15:58:22 for the tokens 16:02:16 (there's also the problem that SMT2 is very strongly typed, so, e.g., #x00 and #x0000 are constants of different type, the former is 8 bits wide, the latter 16 bits wide; this is something a generic parser is unlikely to tell you about) 16:03:06 ah yes you would definitely need a custom reader for that 16:13:42 in general I think the idea of a generic parser that handles a wide range of languages wouldn't really work, languages' semantics often ends up being mirrored in the syntax 16:15:54 * ais523 tries to imagine what a sexpy version of Incident would look like 16:15:56 I don't think it works 16:27:02 -!- ais523 has quit (Remote host closed the connection). 16:28:03 -!- ais523 has joined. 16:34:03 -!- ais523 has quit (Remote host closed the connection). 16:35:17 -!- ais523 has joined. 16:43:44 -!- Lord_of_Life_ has joined. 16:46:28 -!- Lord_of_Life has quit (Ping timeout: 258 seconds). 16:46:41 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 17:25:40 -!- Phantom_Hoover has joined. 17:27:22 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=65753&oldid=65697 * Dtuser1337 * (+110) /* Macmac */ new lang and removing newline as a shortcut. 17:33:14 -!- b_jonas has joined. 17:35:47 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=65754&oldid=65753 * InfiniteDonuts * (-404) 17:38:52 hi all 17:39:41 hi 18:01:30 [[User talk:Language]] M https://esolangs.org/w/index.php?diff=65755&oldid=60717 * Dtuser1337 * (+1) Moving category to the bottom 18:04:46 -!- FreeFull has joined. 18:05:18 hello b_jonas 18:05:20 what's new? 18:07:12 [[A]] https://esolangs.org/w/index.php?diff=65756&oldid=60788 * Dtuser1337 * (+23) Rerorerorerorero 18:11:39 [[RISBF]] https://esolangs.org/w/index.php?diff=65757&oldid=56849 * Dtuser1337 * (+18) I Love You Kitchen Gun :D 18:32:14 chkdsk eats memory like crazy :o 18:32:25 it has to 18:32:45 well, depending on what parameters you start it with, obviously 18:32:53 because it has to hold the entire filesystem metadata in memory? 18:33:09 but it has to check for, like, blocks that are marked as occupied but to which nothing points, or inconsistent forwards-backwards pointers or cycles 18:33:13 which could be anywhere in the file system 18:33:15 (b_jonas: /F /R /X /I /C) 18:33:24 arseniiv: oh, this is on Windows? 18:33:29 yeah 18:33:39 makes sense, it's not called chkdsk on unixen 18:33:42 it's called fsck 18:35:27 though I bet it could understand something like -f -r -x but I just copied the forms given in the help message 18:36:05 it’s quite scary when low on memory 18:36:33 apps crash, the screen turned black for some time for an unknown reason 18:37:04 I don't run apps 18:37:13 I don't use a smartphone 18:37:20 I only run programs, and put my files into directories 18:37:51 :D I mean, various software for entertaining purposes like skype or streamWriter 18:38:42 (don’t ask me why skype is here. I don’t know either) 18:39:03 well I do use skype 18:39:11 but only the windows version, not the mobile phone version 18:39:22 I use it because it lets me call some co-workers and relatives 18:40:22 I meant the first one here, though I had to install the second to be able to chat with people for chatting who with the first skype remains 18:40:41 I don't understand that 18:40:47 what? 18:40:54 install the mobile version to do what? 18:41:31 basically to do what I do with the first one 18:41:45 though I wanted to test the grammar a bit 18:43:21 we had tested several different messengers out there these times and hadn’t migrate properly to any of them yet, so it’s skype for a while 18:43:51 the people I know use like four different ones 18:44:00 though it visibly degraded as a group chat software 18:45:46 it upgraded in several regards, but many bugs were introduced, and sufficiently much of functionality, removed 18:46:47 I know. you can no longer just invite another person by skype username. you have to do a search, which searches in all fields, and then choose the person with the given skype username, and you can't even easily tell the skype username, only the displayed name, you have to get some hidden properties box to find it out. 18:48:15 you could probably DOS a user by registering thirty users with the same displayed name and avatar picture (and changing those to follow that person), because nobody would be able to invite them then 18:48:28 and also I want to complain about widespread lack of support of composite fonts. It’s a pretty simple concept in light of modern font rendering libraries, and still does it appear so rarely in the software with multilingual potential like chat things not based on web browsers 18:49:13 b_jonas: oh 18:49:36 anything I say about skype might be imprecise of course, because it may have changed ten updates ago 19:07:07 -!- tromp_ has quit (Remote host closed the connection). 19:33:37 -!- xkapastel has quit (Quit: Connection closed for inactivity). 19:42:45 -!- ais523 has quit (Quit: quit). 19:44:45 -!- tromp has joined. 19:49:17 -!- tromp has quit (Ping timeout: 252 seconds). 19:51:15 -!- tromp has joined. 19:52:51 -!- tromp_ has joined. 19:55:31 -!- tromp has quit (Ping timeout: 252 seconds). 19:57:21 -!- tromp_ has quit (Ping timeout: 252 seconds). 19:59:31 -!- arseniiv_ has joined. 20:00:53 -!- arseniiv has quit (Ping timeout: 245 seconds). 20:11:42 -!- aloril_ has quit (Ping timeout: 245 seconds). 20:35:23 -!- Lord_of_Life_ has joined. 20:38:32 -!- Lord_of_Life has quit (Ping timeout: 272 seconds). 20:39:50 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 20:41:27 -!- xkapastel has joined. 20:42:02 -!- Vorpal has quit (Remote host closed the connection). 20:47:58 -!- Vorpal has joined. 20:50:05 [[Brainfuck]] https://esolangs.org/w/index.php?diff=65758&oldid=65738 * PaniniTheDeveloper * (+5) 20:50:10 -!- aloril has joined. 20:58:41 [[Befunge]] https://esolangs.org/w/index.php?diff=65759&oldid=65667 * PaniniTheDeveloper * (+80) 21:00:28 -!- Cale has quit (Ping timeout: 276 seconds). 21:04:08 -!- hppavilion[1] has joined. 21:12:21 -!- Cale has joined. 21:25:01 I read a neat problem just now: given a small segment of a conic, how do you distinguish is it a circle, an ellipse, a parabola or a hyperbola? 21:25:07 -!- arseniiv_ has changed nick to arseniiv. 21:26:42 maybe someone not knowing it prior, would be interested to solve it for themselves or openly. I have already spoilered myself into a part of the solution so I don’t count 21:31:08 arseniiv: should I tell the solution, or would you just like to figure it out yourself? 21:35:15 -!- AnotherTest has quit (Ping timeout: 252 seconds). 21:35:41 as you wish; I see at least two avenues: using foci and something related or drawing a cartesian coordinate system, taking coordinates of several points and then calculating some invariants. I don’t remember particularities of either except one thing about optics 21:36:41 hopefully we won’t spoil it for anybody interested 21:36:57 b_jonas: ^ 21:37:05 arseniiv: what I'd do is to just the sort of brute force way, which is to compute the parameters of the quadratic form of the conic from five points on the arc. 21:37:28 so the second way then 21:37:37 there's a nice easy but not very well known way to do that efficiently that is described in the yellow geometry book that I bought only this year, which I can tell if you want. 21:38:02 something determinant-y? 21:38:23 it would probably be possible to do something more geometric, that is, going most of the way with a straightedge construction to find points on the involution that the conic implies on the ideal line, 21:38:55 but I don't think that helps, because that's the sort of theoretical construction that you either couldn't do in real life, or only engineers could do in real life and I'm not an engineer 21:39:15 arseniiv: something matrix-y, yes 21:40:26 I am aligned more to the second, algebraic/computational way here, too. I’m profound in forgetting essential theorems of synthetic geometry needed for the first path 21:40:41 -!- tromp has joined. 21:40:47 this is one that you can't forget once you learn about it, it's a beautiful method 21:40:58 it's a pity I hadn't learned it earlier 21:41:27 b_jonas: like, some 5th-order matrix? or less, 3rd order, something from projective linear algebra? 21:41:52 yes, you have to solve a rank 5 linear equation 21:43:08 hm, with a row for every point? 21:43:34 take the 6x5 matrix where each row is [x0**2, x1**2, x2**2, 2*x0*x1, 2*x0*x2, 2*x1*x2] where [x0, x1, x2] is a coordinate for a point, one row per point 21:44:30 oh, homogeneous coordinates, makes sense 21:45:06 and what is the right part and what are unknowns here? 21:46:26 it's 6x5, so you solve for a nonzero vector orthogonal to each row 21:46:53 if that vector is [a00, a11, a22, a01, a02, a12], then its components give the quadratic form 21:47:51 this works because [a00, a11, a22, a01, a02, a12]^T*[x0**2, x1**2, x2**2, 2*x0*x1, 2*x0*x2, 2*x1*x2] is exactly the equation of the conic 21:48:04 = 0 obviously 21:49:01 hm neat 21:49:30 so once you have that, just check the sign of the determinant of [a00,a10;a01,a11] to tell if it's a hyperbola 21:50:08 this one even lets you make this more numerically stable if you take more than five points 21:50:35 oh! this part is great 21:50:41 that is, if you have a lot of sample points but each one has some error 21:50:57 hyperbole is totally on topic for this channel. 21:52:19 and then, I guess, we can take four points and deduce something like “the most quadratic form” using least squares to solve the underdetermined system 21:52:54 I would like to note that it gets much harder to find the conic if you have three points and two tangents. Apart from degenerate cases, there are always exactly four real solutions or no real solutions. It was REALLY not obvious to me why there can't be exactly two solutions. 21:52:55 (or three points, but that would be more boring probably) 21:53:49 int-e: how about parables? 21:54:12 and I presume ellipsis is… 21:54:36 (hopefully we wouldn’t talk in circles) 21:54:51 Four points and one tangent is easier. Apart from degenerate cases, there are zero or two possible conics; there's an easy way to test which one of those is the case; and a not too hard way to solve the conic, though harder than for five points. 21:55:38 The yellow book actually describes the case of computing a conic from four points and one tangent, but it doesn't even mention the more tricky case of three points and two tangents. 21:55:48 I only know about that one from the wob. 21:56:05 If you want me to spoil some of that later, you can ask me. 21:56:05 (from what?) 21:56:15 okay! 21:56:17 arseniiv: parables seem to be rare. Ellipses on the other hand... 21:56:38 `quote parable 21:56:39 1060) ah yes, like the parable of jesus feeding the masses with expired jell-o 21:56:49 b_jonas: though currently I’m not interesting in going on a tangent 21:56:54 `grWp parable 21:56:56 No output. 21:56:59 roflwut 21:57:05 The yellow book is Richter Gerbert: "Perspectives on Projective Geometry", Springer (2019). It was one of the best purchases I've done this year. 21:57:25 b_jonas: is that a pun 21:57:42 int-e: is what a pun? 21:57:57 perspective in connection with projective geometry 21:58:05 yes, the book title is a pun 21:59:29 The other three geometry reference books on my shelf next to this one tell very little of this stuff, though they do tell some other useful info. 21:59:43 I guess there's a certain pun potential in "purchase", but it's not realized in your statement. 22:00:05 The Hajós does tell some of the basics, like about the equation of comics in general and classifying them. 22:00:40 int-e: well yes, I rarely make English puns 22:02:44 my hon. and learned friend fungot, has SGDQ 2019 started yet? 22:02:44 b_jonas: unless it uses recursion or something. " i'll let you know 22:02:55 oh thanks, that'll be great 22:03:06 some of the games may have recursion 22:04:11 -!- tromp has quit (Remote host closed the connection). 22:04:14 anyway, good night to all 22:04:16 -!- b_jonas has quit (Quit: leaving). 22:04:32 fungot: maybe you also do know when my chkdsk will finish, too? 22:04:32 arseniiv: the package name, obviously. ( wondering why i thought it was c, i don't see 22:05:06 hm they too make puns, about seeing C, but none about chkdsk 22:06:04 mmm chkdsk 22:06:34 (chkdsk should just fsck off) 22:06:44 (it's not good, but it's a pun) 22:07:25 -!- hppavilion[1] has quit (Ping timeout: 268 seconds). 22:17:31 -!- tromp has joined. 22:18:11 int-e: lol 22:19:43 ah, I was going to suggest a thing and then forgot it 22:20:05 hyperbolic good, parabolic good and elliptic good! 22:20:20 or evil 22:21:06 or maybe the other way: lawful ellipse, chaotic ellipse and what is the other… neutral ellipse 22:24:42 hm speaking of what, I’ve seen a 3×3 table of planar geometries in a geometric book. One axis was how angles behave (elliptic, parabolic, hyperbolic) and the other was the more known one, whether the quadratic form is ++ euclidean, +0 “galilean” (how is it called?) or +− pseudoeuclidean 22:25:06 those are the only ones with some properties, I don’t remember which ones 22:25:37 for instance, they are all constant-curvature 22:26:10 oh wait I mixed something up 22:26:46 how the angles behave is precisely what is the signature of the quadratic form, it was some other property 22:29:02 for example, euclidean-0 should be the usual euclidean plane, euclidean-+ should be the elliptic plane and euclidean-− should be the hyperbolic plane 22:30:01 yes it should be the sign of the constant curvature, though I don’t remember if it was defined in this way, and certainly the curvature wasn’t defined there for a general case 22:30:15 okay I’m done 22:32:53 [[User:SoundOfScripting]] M https://esolangs.org/w/index.php?diff=65760&oldid=65719 * SoundOfScripting * (-21) Okay now I can be dormant again. 22:37:47 -!- hppavilion[1] has joined. 22:48:14 -!- FreeFull has quit. 23:25:58 -!- tromp has quit (Remote host closed the connection). 23:54:45 -!- Phantom_Hoover has quit (Quit: Leaving). 23:59:01 -!- tromp has joined.