00:09:33 -!- tromp_ has joined. 00:14:01 -!- tromp_ has quit (Ping timeout: 272 seconds). 00:26:32 -!- LKoen has quit (Quit: Leaving). 00:28:35 -!- Hooloo42 has changed nick to Hooloovo0. 00:44:49 [[Proof]] M https://esolangs.org/w/index.php?diff=73270&oldid=16530 * PythonshellDebugwindow * (+69) /* Setting variables */ cats 01:05:56 -!- sprocklem has quit (Ping timeout: 258 seconds). 01:06:30 -!- sprocklem has joined. 01:21:48 -!- adu has joined. 01:57:28 -!- tromp has joined. 02:00:36 -!- craigo has quit (Ping timeout: 256 seconds). 02:02:12 -!- tromp has quit (Ping timeout: 260 seconds). 02:04:08 -!- Phantom_Hoover has joined. 02:26:47 -!- imode has quit (Ping timeout: 246 seconds). 02:50:20 Does Google Groups have cross-posting? I suspect that maybe it doesn't. 02:51:37 -!- tromp has joined. 02:55:51 -!- tromp has quit (Ping timeout: 246 seconds). 03:07:12 -!- imode has joined. 03:08:27 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 03:31:08 -!- ArthurStrong has joined. 03:45:42 -!- tromp has joined. 03:50:37 -!- tromp has quit (Ping timeout: 272 seconds). 03:55:36 -!- craigo has joined. 04:07:05 [[LS Basic]] N https://esolangs.org/w/index.php?oldid=73271 * Simplemaker * (+3062) LS Basic is a dialect of BASIC which interprets sums of letters. 04:07:45 -!- ArthurSt1ong has joined. 04:09:26 [[LS Basic]] https://esolangs.org/w/index.php?diff=73272&oldid=73271 * Simplemaker * (+72) /* Arithmetic */ 04:10:22 [[LS Basic]] https://esolangs.org/w/index.php?diff=73273&oldid=73272 * Simplemaker * (+97) 04:11:31 -!- ArthurStrong has quit (Ping timeout: 272 seconds). 04:11:37 [[Language list]] https://esolangs.org/w/index.php?diff=73274&oldid=73215 * Simplemaker * (+15) /* L */ 04:16:03 [[LS Basic]] https://esolangs.org/w/index.php?diff=73275&oldid=73273 * Simplemaker * (+198) 04:18:03 [[LS Basic]] M https://esolangs.org/w/index.php?diff=73276&oldid=73275 * Simplemaker * (-2) /* Obfuscated Version */ 04:21:09 [[LS Basic]] M https://esolangs.org/w/index.php?diff=73277&oldid=73276 * Simplemaker * (+794) 04:39:49 -!- tromp has joined. 04:44:00 -!- tromp has quit (Ping timeout: 246 seconds). 04:49:57 -!- imode has quit (Ping timeout: 246 seconds). 05:34:07 -!- tromp has joined. 05:38:36 -!- tromp has quit (Ping timeout: 246 seconds). 05:42:38 -!- ArthurSt1ong has quit (Quit: leaving). 05:51:29 [[Nutes]] https://esolangs.org/w/index.php?diff=73278&oldid=73238 * Shaman * (+3) /* Description */ 05:54:43 -!- adu has quit (Quit: adu). 05:57:58 [[Nutes]] https://esolangs.org/w/index.php?diff=73279&oldid=73278 * Shaman * (+312) 06:01:24 [[Nutes]] https://esolangs.org/w/index.php?diff=73280&oldid=73279 * Shaman * (+53) /* Description */ 06:03:09 [[Nutes]] https://esolangs.org/w/index.php?diff=73281&oldid=73280 * Shaman * (-4) 06:07:55 -!- Remavas has joined. 06:15:50 [[Nutes]] https://esolangs.org/w/index.php?diff=73282&oldid=73281 * Yoel * (+93) 06:16:27 -!- zzo38 has quit (Quit: zzo38). 06:17:33 -!- zzo38 has joined. 06:17:35 [[Nutes]] https://esolangs.org/w/index.php?diff=73283&oldid=73282 * Yoel * (+21) /* See also */ 06:26:08 [[Thue]] https://esolangs.org/w/index.php?diff=73284&oldid=73188 * Yoel * (+176) 06:28:02 -!- tromp has joined. 06:32:45 -!- tromp has quit (Ping timeout: 272 seconds). 06:45:28 -!- tromp has joined. 06:48:27 -!- Cale has quit (Ping timeout: 240 seconds). 06:54:43 [[Markov algorithm]] N https://esolangs.org/w/index.php?oldid=73285 * Yoel * (+5479) Created page with "A '''Markov algorithm''', names after the Soviet mathematician Andrey Markov, Jr., is a string rewriting system that uses replacement rules to operate on a string of symbols...." 07:08:39 -!- Cale has joined. 07:10:12 -!- Remavas has quit (Quit: Leaving). 07:12:31 [[Markov algorithm]] https://esolangs.org/w/index.php?diff=73286&oldid=73285 * Yoel * (-27) 07:21:39 [[Markov algorithm]] https://esolangs.org/w/index.php?diff=73287&oldid=73286 * B jonas * (+10) /* See also */ 07:24:15 @tell arseniiv Unless an antipodan volunteers, you're the #esoteric Official Eclipse Observer for tonight (2020-06-05), on account of everyone else is too much to the west 07:24:16 Consider it noted. 07:25:22 [[1.1]] https://esolangs.org/w/index.php?diff=73288&oldid=69605 * B jonas * (+21) 07:26:58 -!- imode has joined. 07:40:11 -!- cpressey has joined. 07:47:12 -!- sprocklem has quit (Ping timeout: 272 seconds). 07:57:49 -!- sprocklem has joined. 08:06:03 -!- rain1 has joined. 08:07:51 -!- b_jonas has quit (Quit: leaving). 08:10:38 -!- imode has quit (Ping timeout: 272 seconds). 08:15:29 -!- Phantom_Hoover has joined. 08:15:33 -!- Phantom_Hoover has quit (Changing host). 08:15:33 -!- Phantom_Hoover has joined. 08:16:51 [[Talk:Thue]] https://esolangs.org/w/index.php?diff=73289&oldid=73237 * Yoel * (+5) 08:30:43 is it possible to express the julia set or the mandelbrot set in heraldic blazon? 08:35:10 It would be easy to blazon the sierpinski carpet 08:40:46 I don't know but if you turn the Mandelbrot set on its side it looks a little like an entire heraldic achievement :) 09:08:23 -!- ArthurStrong has joined. 09:13:12 -!- Sgeo has quit (Read error: Connection reset by peer). 09:14:48 -!- wib_jonas has joined. 09:20:58 -!- LKoen has joined. 09:38:29 oren: hmm, is there a standard fractal recursion extension for heraldic blazon already, perhaps because there are coats of arms that mutually contain a small copy of each other? 09:42:50 -!- \\server\share has joined. 09:42:50 -!- \\server\share has changed nick to HQ. 09:52:20 fungot: help 09:52:20 int-e: it's the truth, which i think is the best way 09:55:09 wib_jonas: mise en abyme? 09:56:06 Taneb: I tried to web search for recursive coats of arms and found that phrase, but apparently it just means that a section in the middle of a coat of arms is a different coat of arms, and haven't found an actually infinitely recursive example 09:56:36 Aww# 09:58:43 fungot: does this channel weird you out sometimes as well? 09:58:43 int-e: that blogger also ircs on qemu if you want 09:58:58 fungot: I'll take that as a yes. 09:58:58 int-e: fnord/ fnord/ fnord and have scheme render it for you" 09:59:15 fungot: Well, that's not very supportive. 09:59:15 int-e: here is my error: error: attempt to apply non-procedure ' 2' 50 years ago) 09:59:31 fungot: one more? 10:00:28 Hmm, I thought the quota was 5 messages. Maybe I had one earlier and nobody talked to fungot in the meantime. 10:02:00 fungot: Brahms's "Hungarian dances" consists of how many tracks, which track is the most popular, why are the tracks with the low indexes the best, and is that deceptive false advertising like when you put the more fresh fruit on the top of the pile? 10:02:00 wib_jonas: 1 cakeprophet: ps 10:02:26 int-e: there, now you have one more 10:03:01 thanks, I don't know where I'd be without the resident psychotherapist :P 10:04:53 ^style 10:04:54 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp ukparl youtube 10:05:19 `' semi-sentient 10:05:20 1246) fungot's irc is the uncanny semi-sentient style... where one can typically read half a sentence before noticing anything wrong int-e: yes, i know 10:06:52 nah, the "yes, i know" is an example of fungot's spambot style that I often see on irc or forums, the sort of statement that a bot could post basically anywhere. that's why I try not to react in chat when new people enter and say only something like "hi", nothing specifically relevant to the current topic or the topic of the chat room 10:06:52 wib_jonas: i was wondering about that for now, evoli? or perhaps garbage? i 10:08:04 but fungot does often manage to give replies that do seem relevant to our topics, and those are the quotable ones that I enjoy. plus a different class of weird utterances that do seem like they come from a messed up chatbot yet are intrinsically funny for some reason. 10:08:04 wib_jonas: you can access them by position. i wonder if i should connect it there. :-p help would be welcome :) 10:12:03 ``` quote 1323 # this one, for example, is good because fungot's reply is directly relevant to the previous sentences in a way that seems to requires deep understanding 10:12:03 wib_jonas: apparently ms also invented multiple level undo/ redo mechanism by which to extend it with support for concurrency.) didn't take much effort to come up with a nice beginner interactive environment. 10:12:07 no, not that one 10:12:07 1323) #define __NR_oldolduname 59 fungot: what's your old old name? olsner: they decided not to waste any brain cells storing obscure unix silliness). 10:12:16 ^ that one 10:12:42 hi wib_jonas 10:13:56 ``` quote 1194 # here's a worse example: it is a good joke, but not one that's particularly high context, the same reply could apply to many statements 10:13:57 1194) fungot: what do you do to get rid of information you no longer need? olsner: emacs lisp for a while 10:14:45 shachaf: I said "new people". when they're already someone I've met I may react, because it's much less likely that they're a chatbot 10:14:59 Hmm? 10:15:18 Oh. 10:15:23 I didn't see that message. I was only saying hi. 10:18:28 * wib_jonas looks up the guide at https://xkcd.com/222/ 10:18:31 hi shachaf 10:20:12 I wrote a small library for argument parsing in C. 10:25:09 shachaf: can you show it to us? 10:25:53 Yes, in a moment. 10:27:03 "Can we C?" 10:29:43 wib_jonas: https://slbkbs.org/tmp/mop/mop.h 10:38:58 shachaf: that looks fine 10:39:14 -!- sprocklem has quit (Ping timeout: 246 seconds). 10:39:38 Yes, it's not earth-shattering, but maybe nicer to use than getopt_long. 10:39:49 -!- sprocklem has joined. 11:06:53 -!- Lord_of_Life_ has joined. 11:09:22 -!- Lord_of_Life has quit (Ping timeout: 260 seconds). 11:09:42 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 11:52:14 -!- cpressey has quit (Quit: WeeChat 1.9.1). 12:03:55 -!- arseniiv has joined. 12:10:29 -!- tromp_ has joined. 12:14:06 -!- tromp has quit (Ping timeout: 246 seconds). 12:31:00 catern: Neato. 12:43:04 -!- \\server\share has joined. 12:43:51 -!- HQ has quit (Ping timeout: 246 seconds). 13:34:16 -!- craigo has quit (Ping timeout: 272 seconds). 14:03:21 -!- ArthurStrong has quit (Quit: leaving). 14:17:08 -!- cpressey has joined. 14:24:32 I had this idea. ∀ is an abbreviation for a (possibly infinite) sequence of ∧'s, and ∃ is an abbreviation for a (possibly infinite) sequence of ∨'s, right? But ∧ and ∨ are just 2 of the 16 possible binary logical connectives. So there are at least 14 other possible quantifiers! But not all connectives are commutative like ∧ and ∨ are. For any of the non-commutative connectives, you'd need to 14:24:33 make it work on an ordered structure somehow. 14:25:18 But if you're OK with that, then the → quantifier looks to me as if it represents... mathematical induction... ? 14:46:59 The ↔ quantifier is commutative; if we notate it as [↔] then [↔]x.p(x) is equivalent to (∀x.p(x)) ∨ (∀x.¬p(x)) I think 14:49:06 The ⊕ connective (XOR) is also commutative. But, hmm. Maybe that's not enough. 14:53:13 It needs to be idempotent, is that it? 14:57:01 "Idempotent" isn't quite the right word, maybe "monotonic" is better. 15:00:49 [[Nutes]] M https://esolangs.org/w/index.php?diff=73290&oldid=73283 * PythonshellDebugwindow * (-4) rm redlink 15:02:24 cpressey: hm interesting but I 15:02:25 oops 15:03:08 …but I’m afraid there are strong no-go results re. this idea. For example I don’t think → qualifies 15:03:41 I think first, the operation should be associative, and this denies us → and ↔ 15:04:57 associativity is absolutely needed when we want to define an operation on nonempty lists from an operation on pairs, likewise we need a neutral element to define the operation on empty lists 15:05:50 hm also I hadn’t thought about operations on circular lists, it would be interesting, but that’s for another conversation 15:12:15 now, why could ⊕ be a bad choice?.. hm at first it seems why not: it’s associative and has 0 as neutral element, all nice. Though it may be the case idempotence you named is after all the right restriction to add. It means it doesn’t matter how many times we accidentally count the same element in the underlying set, which is quite natural, though for example Σ doesn’t treat its domain that way. On the other hand it doesn’t tr 15:12:16 eat it that way because usually we sum not over a set, but over a function’s range, which shouldn’t be considered a mere set then, as it allows taking any value a specific number of times, which a mere set doesn’t distinguish 15:12:51 shachaf: I think a problem with that is that it incorrectly outputs non-ASCII characters without checking the locale. 15:17:21 one can also see that ¬∀ and ¬∃ can’t arise in such a way from some operation, pity. Now we see why ∀ and ∃ have their own symbols but ¬∀ and ∄ have at the best part derivative ones 15:20:28 [[Ruined BASIC]] M https://esolangs.org/w/index.php?diff=73291&oldid=68227 * Simplemaker * (+5) /* Copying values */ 15:21:17 [[Ruined BASIC]] M https://esolangs.org/w/index.php?diff=73292&oldid=73291 * Simplemaker * (+7) /* Copying values */ 15:28:01 -!- Remavas has joined. 15:31:59 arseniiv: Oh gosh, is ↔ not associative? I think of it as "equals, except for truth values", and since = is associative... OK, I'll have to think about this more. 15:32:39 Well, ok, no, = isn't associative, we just use it in an abuse of notation where it looks associative: a = b = c 15:33:11 I managed to confuse that with transitive because of that 15:33:47 -!- Melvar has quit (Quit: WeeChat 2.8). 15:37:48 cpressey: that’s no big deal, though a long time ago when I tried to get myself into logic, I got confused by one book where due to a clumsy explanation of a ≡ b ≡ c ≡ … notation I thought that’s the same as ((a ≡ b) ≡ c) ≡ … 15:40:14 hmmm I have a decent question about computational geometry of tesselations but I don’t know how to state it in brief to not confuse anyone more than necessary 15:56:04 let’s say it this way: there are a couple of polygonal “prototype tiles” and a (finite) polygonal tesselation seed which is ultimately a set of “concrete tiles” glued to each other. We are to glue a prototype to the seed along an oriented edge of each of them. To do that, we find an euclidean transformation mapping that edge in the prototype to the edge in the seed, and applying that transformation to the prototype, getting a 15:56:05 new concrete tile. Using floating point arithmetic, this operation adds inaccuracies to the seed’s vertices more and more as we glue new tiles into it. But an ideal tesselation seed is a rigid construction, so there should be a way to recalculate vertices in all the concrete tiles for them to regain some accuracy. Which is the question; what do I have to do to do this? 15:58:43 why this arises at all: I’m afraid if one makes a core in a form of big thin annulus, then there may be problems filling it inside, let alone there may be a problem closing the annulus in the first place 15:59:11 arseniiv: Can you represent each tile as a composition of the series of euclidean transformations that led up to it? 15:59:28 or any other state when you glue tiles each time to the new tiles, so the error would accumulate 15:59:38 cpressey: oh, interesting! 16:00:01 but the error would accumulate anyway, wouldn’t it? 16:00:35 maybe even more hm, though I’m not sure 16:01:15 Well, if the transformations themselves involve floating point, then yes, error would accumulate there, but could you represent them exactly somehow, with algebraic numbers? 16:01:39 (storing already transformed points seems more useful for computing e. g. edge lengths and angles) 16:01:42 And only introduce floating point, and its error, at the end 16:03:00 cpressey: yeah, I thought about “constructible numbers” like Q[√2][√(5+√2)] but they need much space and the algorithms are quite complex 16:03:34 I realized only today one can use rigidity of the construction 16:05:36 oh, also if you’re accidentally interested in numbers of that form, I’ll try to dig out an article with the algorithms 16:06:01 I rewrote them in Mathematica so my code is unhelpful even to me as of now 16:06:18 I didn’t even comment it as needed 16:06:45 (I even don’t remember if it’s complete and working as it should, lol) 16:07:22 I know very little about computational geometry but your question was very similar to a discussion I remember having with someone many, many years ago. 16:07:41 ah, I didn’t tell that I tried to prototype the thing a year or something ago, and then left it for a while, only yesterday to remember about why not again 16:08:22 cpressey: interesting! what you talked about? 16:09:11 did you talk* 16:12:21 I think it was about animating a rotating cube, rotating it a small amount on each frame, and the person I was talking to was worried that floating point error on each frame would accumulate 16:13:00 This was the 90's 16:14:33 Long before we had GPUs to do all this stuff for us :) 16:15:53 -!- tromp_ has quit (Remote host closed the connection). 16:16:54 -!- Melvar has joined. 16:17:26 cpressey: interesting but that has some merit even now, as multiplying quaternions is better than multiplying rotation matrices 16:18:02 like, there is an obvious sensible way to normalize a quaternion and not a simple one to “orthogonalize” a matrix 16:18:18 also, quaternions allow SLERP 16:18:40 I mean, quite easlily allow, vs. the matrices 16:23:39 -!- arseniiv has quit (Ping timeout: 246 seconds). 16:23:58 -!- arseniiv has joined. 16:29:03 though in applying a quaternion to a vector, one should be considerate and use an optimized procedure, not just make usual quaternion multiplication, which would be quite costly 16:29:03 ah, and also for rotating many vectors in bunch, it’s better to convert q. to a matrix and use the latter, so matrices are useful at the end 16:29:03 okay I spam the channel with googlable stuff sorry, though that’s a pretty neat stuff, I can’t get over it even if I don’t write 3D applications almost at all 16:29:03 (and I intended to add a bit about logarithms, but IRC was wise to shut me out) 16:29:32 -!- wib_jonas has quit (Quit: Connection closed). 16:29:52 b_jonas: ah! am I late? 16:30:24 I didn’t know about an eclipse at all, is it lunar? I’ll go look 16:31:34 though I have no good observation erm places, there are trees blocking the way the Moon usually is at that time 16:36:29 b_jonas: en.wikipedia says “It will be visible in most parts of Europe (except northern Scandinavia)”, well-well! 16:36:53 also Stellarium doesn’t show any dimming, meh, do I want to see that kind of eclipse 16:40:46 -!- imode has joined. 16:46:14 I have Swiss Ephemeris in my computer, so I can make the calculation of when and where is the eclipse. Do you have that or other ephemeris software? 16:46:43 -!- tromp has joined. 16:50:20 -!- Sgeo has joined. 17:02:21 -!- cpressey has quit (Quit: WeeChat 1.9.1). 17:47:42 zzo38: But I like UTF-8. 17:48:49 shachaf: Well, if you want to output UTF-8 in the error message, you should probably first check the locale to ensure that it is UTF-8, and to output ASCII instead otherwise. (You could store those substrings in global variables, and initialize them based on the locale.) 17:49:04 -!- tromp has quit (Remote host closed the connection). 17:49:40 -!- b_jonas has joined. 18:02:53 -!- tromp has joined. 18:35:57 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 18:39:22 heh, argument pa*r*sing, I read "a library for argument passing in C" 18:47:19 [[LS Basic]] https://esolangs.org/w/index.php?diff=73293&oldid=73277 * Simplemaker * (+83) 19:03:59 [[Klon]] M https://esolangs.org/w/index.php?diff=73294&oldid=33133 * PythonshellDebugwindow * (+152) cats + reorder sections 19:05:32 [[DOG]] M https://esolangs.org/w/index.php?diff=73295&oldid=23278 * PythonshellDebugwindow * (+6) bold title 19:07:33 -!- tromp has quit (Remote host closed the connection). 19:37:51 [[User:PythonshellDebugwindow]] M https://esolangs.org/w/index.php?diff=73296&oldid=73243 * PythonshellDebugwindow * (-2) 19:43:56 -!- TheLie has joined. 19:47:43 -!- tromp has joined. 20:02:49 -!- tromp has quit (Remote host closed the connection). 20:21:04 [[LS Basic]] M https://esolangs.org/w/index.php?diff=73297&oldid=73293 * Simplemaker * (+10) /* See Also */ 20:25:41 [[Dumbf*ck]] M https://esolangs.org/w/index.php?diff=73298&oldid=44185 * PythonshellDebugwindow * (+3) 20:32:42 I read the Wikipedia article about microtypography. I seem to remember someone mentioned that DVI is not compatible with microtypography, but actually it is capable of all of the things listed there, without needing any specials; the only exception is changing the widths of fonts, when you are not using a fixed set of font widths and instead allow a continuous range; this is the only thing of those that DVI doesn't do (although in my e 20:33:07 [[PESOIX]] M https://esolangs.org/w/index.php?diff=73299&oldid=41869 * PythonshellDebugwindow * (+24) cat 20:34:39 -!- tromp has joined. 20:39:30 -!- tromp has quit (Ping timeout: 246 seconds). 20:47:02 -!- tromp has joined. 21:08:07 I will check it out about microtypography 21:10:04 I have Swiss Ephemeris in my computer, so I can make the calculation of when and where is the eclipse. Do you have that or other ephemeris software? => when I had Celestia installed, I think there was a thing to prognose eclispes at several solar system bodies (and on Earth), but now I don’t use Celestia 21:11:55 I think it's "prognosticate". 21:12:26 (Or just "predict") 21:14:20 -!- edding1 has joined. 21:14:54 What do you think of the argument-parser-o-matic 16,000? 21:15:12 -!- edding1 has left. 21:15:13 Should I introduce more macros to make it less verbose and more magic? 21:15:21 Or get rid of macros entirely? 21:16:25 -!- edding1 has joined. 21:17:02 -!- edding1 has left. 21:23:53 -!- Mysteryhunter has joined. 21:23:57 thischannel is logged 21:24:01 http://esolangs.org/logs/stalker.html 21:24:39 -!- Mysteryhunter has left. 21:28:08 . o O ( Amazing insight. ) 21:28:23 big shocker that one. 21:28:35 int-e: not “prognosize”? 21:28:53 arseniiv: I actually looked it up. 21:29:52 -!- rain1 has quit (Quit: leaving). 21:30:11 Sometuimes the verb is derived from the noun and not the other way around, and this is one such case. 21:30:20 -!- adu has joined. 21:31:02 int-e: yeah, I believe you though I wanted to write “prognosize” still, as it came to my mind first :D 21:31:20 > C16 from Medieval Latin prognōsticāre “to predict” => eh 21:31:22 :1:39: error: lexical error at character 't' 21:31:43 oh sorry poor lambdabot I always forget about that 21:32:12 @botsnack -- does that affect anything and are comments parsed in here? 21:32:12 :) 21:32:18 arseniiv: A good indicator is that if there was a two or three syllable synonym for "predict", we'd see it more often. :) 21:32:33 int-e: mmmaybe 21:33:21 the joke is, “predict” didn’t come to my mind that time :′( for an obscure reason 21:33:22 -!- adu has quit (Client Quit). 21:37:44 I worry a bit that my oral speech may be degrading. Either I just speak not as much as needed, or it’s interference of much reading in English, or me noting it eagerly when it’s not actually that bad, especially when I sleep not enough before that day, or it’s really first signs of something 21:38:44 compared to that, writing (at least not in English, where I still often need a dictionary to help with something) seems more or less normal 21:39:10 my syntax is as heavy-handed as always, at least. No more, no less 21:39:21 in this mode too 21:40:25 shachaf: Well, I told you what I thought of it, at least. Well, part of it. You might add more macros if it can make the compiled program smaller and more efficient by doing so. 21:40:59 zzo38: I could stop using «» and use '' instead, but I'm only targeting systems that use UTF-8. 21:42:16 The macros are supposed to make it more convenient, not more efficient. 21:46:49 Yes, the macros should make it more convenient, but should not make it too much less efficient by doing so. 21:52:30 arseniiv: heavy-handed, hmm. "It is with a heavy hand that I type these words." 21:52:48 -!- arseniiv_ has joined. 21:53:02 haha I’m an impostor 21:53:45 very droll 21:54:40 of course the reality is not that interesting, I just forgot to rename myself before restarting the router 21:55:27 -!- arseniiv has quit (Ping timeout: 246 seconds). 21:55:30 -!- arseniiv_ has changed nick to arseniiv. 21:55:41 NOW I’m an impostor 21:56:22 not anymore, now you're identified to services. 21:56:58 I’m a proper impostor with a proper documentation, duh 21:57:13 it wouldn’t suit me otherwise! 21:57:24 imposterous 21:57:57 -!- Remavas has quit (Quit: Leaving). 21:59:18 . o O (What sort of things are postposterous things?) 21:59:20 ah, that word I remember still 22:07:10 tried to find that article about arithmetic in Q[…][…]… and as it was prognosticated, I hadn’t find it. There are just too many items and any sensible keyword resulted in failure. At least I’m not committed to use this arithmetic anyway, but it’d be nice to re-read about it, sigh 22:19:14 arseniiv: those ... are mysterious 22:20:50 int-e: ..? 22:21:05 Q[...][...]... 22:21:10 aaah 22:21:35 * int-e is not fluent in Unicode. 22:21:39 I thought those … were a textual ellipsis 22:21:50 Sure, but what do they stand for? 22:21:55 ah, Unicode 22:22:08 Q[pi][sqrt(3)][z] 22:22:39 There are numerous things you could put there. 22:22:50 Possibly some quotients as well. 22:24:10 ah, yes, something like that, but in this case all that mess denotes a field defined inductively: either that (ordered) field is Q or it is F[√s] for F being that kind of field, s ∈ F, is positive and not a square 22:24:44 So... some specific algebraic numbers. 22:24:47 so we just add some square roots in succession 22:24:48 yeah 22:24:53 and real ones 22:25:14 at that 22:25:29 Oh so s > 0? 22:25:47 yeah, s > 0 and not a square, I was to brief 22:25:57 too 22:26:24 now I’m making famous native-speaker typos, danb 22:26:27 damn* 22:26:30 Hmm, is that exciting in anyway... I guess the inverses need work. 22:27:29 finding inverses is not hard, it’s just like in C or like what is done to 1/(5 + 7√3) to get rid of the radical in the denominator 22:27:35 And if you have many square roots, the question of FFT-like speedups arises as well, hrm. Not a clue :) 22:27:39 but finding square roots… 22:28:16 Ah you want to close Q under field operations and sqrt(). 22:28:27 (of non-negative numbers.) 22:28:43 Is this for geometry? 22:29:06 also this arithmetic is very space-inefficient, so one needs to find representations in Q[…]… with as few brackets as possible, for each new result. Or it would result in a gigabytes of numbers 22:29:19 int-e: yeah 22:29:47 it’s one of the ways to make tesselation-y computations work for sure 22:29:55 but I dislike this way 22:30:52 I’ll push my luck with usual floating point, trying to come up with a way to recalculate point coordinates to make them more accurate each time that’s relevant 22:32:54 as a conected tesselation chunk is rigid, increasing accuracy almost up to floating-point precision should be possible 22:33:13 I presume in a way like those summation algorithms 22:34:01 and, as that idea needs some sleeping on, bye 22:34:30 . z Z ( good night ) 22:38:09 -!- arseniiv has quit (Ping timeout: 246 seconds). 22:45:32 -!- tromp has quit (Remote host closed the connection). 22:49:19 -!- tromp has joined. 22:56:01 -!- TheLie has quit (Remote host closed the connection). 23:00:09 -!- tromp has quit (Remote host closed the connection). 23:03:44 -!- LKoen has quit (Remote host closed the connection). 23:08:40 -!- Lord_of_Life_ has joined. 23:09:18 -!- Lord_of_Life has quit (Ping timeout: 246 seconds). 23:10:55 ah, the weekend is upon us. 23:11:31 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 23:15:23 -!- \\server\share has quit (Quit: I probably fell asleep again). 23:20:33 -!- Taneb has quit (Quit: I seem to have stopped.). 23:20:44 -!- Taneb has joined. 23:30:45 I've resolved to do a couple of things. one: build a minimum viable cycle rewriting system in C. two: build a compiler that compiles pseudo-assembly language into cycle rewriting rules. three: extend the C system to support built-in rules for I/O. 23:36:45 -!- craigo has joined.