2023-12-03 01:04:09 <sirmacik    > \o hi
2023-12-03 07:48:47 <KipIngram   > Hi sirmacik.
2023-12-03 11:22:55 <zelgomer    > is there a good reason for ' and ['] to be two different words? seems like you could make ' immediate and do the right thing in both interpretation and compulation modes
2023-12-03 11:24:58 <GeDaMo      > : test ... ' thing ... ; do I want test to include the xt for thing or do I want test to parse a word when it's called?
2023-12-03 11:30:55 <GeDaMo      > : doit  ' execute ;
2023-12-03 11:59:21 <KipIngram   > zelgomer: ' is intended to be compilable.
2023-12-03 11:59:53 <KipIngram   > Whereas ['] (which is supposed to be evocative of [ ' ] ) is intended to run during compile time.
2023-12-03 12:00:04 <KipIngram   > The compiled ' will run when the new word is executed.
2023-12-03 12:01:01 <KipIngram   > I assume your familiar at this point with [ and ] ?  [ switches you "out of" compile mode (and thus is immediate) and ] switches you into compile mode.
2023-12-03 12:01:16 <KipIngram   > Ugh.  "you're"
2023-12-03 12:02:16 <thrig       > ur
2023-12-03 12:02:41 <KipIngram   > [ ' ] wouldn't actually replicate the effect of ['] since in the former the ' would pick up the ] instead of whatever word you put after the ].  so it's not as simple as just using [ ' ] where you might use [']; further hoop jumping is required.  I'm sure that's why Chuck thought it was worth adding [']
2023-12-03 12:03:17 <KipIngram   > You'd have to do some dance with LITERAL.
2023-12-03 12:04:30 <KipIngram   > : foo  [ ' <word> ] LITERAL ;
2023-12-03 12:04:58 <KipIngram   > so ['] <word> == [ ' <word> ] LITERAL
2023-12-03 12:08:53 <KipIngram   > on the other hand, you want to be able to say
2023-12-03 12:09:02 <KipIngram   > : foo ... ' ... ;
2023-12-03 12:09:07 <KipIngram   > so you can say
2023-12-03 12:09:17 <KipIngram   > foo <word> later on.
2023-12-03 12:12:14 <GeDaMo      > You could make it immediate then use postpone to delay its execution
2023-12-03 12:14:29 <veltas      > : just doit ;
2023-12-03 12:23:13 <veltas      > Well my Sunday socks have a hole in
2023-12-03 12:23:21 <veltas      > So they are holy indeed :)
2023-12-03 12:24:27 <veltas      > I love IKEA, we were there today
2023-12-03 12:24:36 <veltas      > I wish Sweden was a real place I'd visit
2023-12-03 12:24:53 <veltas      > Such deep lore in the IKEA universe, how many shops invent their own language and berry?
2023-12-03 12:25:16 <KipIngram   > You could, yes.  There are usually several options on things like that.
2023-12-03 12:25:56 <KipIngram   > Shopping at IKEA does have "entertainment value."
2023-12-03 12:27:13 <veltas      > I love IKEA's meatballs
2023-12-03 12:27:38 <veltas      > I've gotten too many of the big plush toys there for my dog
2023-12-03 12:28:05 <KipIngram   > Ours is kind of far away, so it's  not ever a "casual drop in" thing.  There's generally a mission.
2023-12-03 12:28:47 <veltas      > Yes we were on a mission today for some 1x4 Kallax
2023-12-03 12:29:14 <veltas      > It's about an hour for us so not casual here either
2023-12-03 12:30:07 <KipIngram   > Oh, yeah - we've gotten some storage units like that too.  Got a couple upstairs in daughter bedrooms.
2023-12-03 12:30:23 <KipIngram   > They're so... "sensible."
2023-12-03 12:31:23 <veltas      > I love the inserts
2023-12-03 12:39:26 <KipIngram   > We've gotten a couple different styles of those.  Some are hard plastic of various colors - some are fabric on a frame, some are "wicker" style.
2023-12-03 12:39:54 <KipIngram   > I guess that's not "a couple."  :-)
2023-12-03 13:18:03 <veltas      > Tyler Durden
2023-12-03 13:32:57 <zelgomer    > GeDaMo> You could make it immediate then use postpone to delay its execution
2023-12-03 13:33:17 <zelgomer    > yeah. so i say again: seems like you could make ' immediate and do the right thing
2023-12-03 13:33:38 <zelgomer    > maybe i should restate my question
2023-12-03 13:34:08 <zelgomer    > in mine, i have made ' immediate and it just does the right thing. in my experiences, this seems to cover 99% of use cases. for the other 1%, there's postpone
2023-12-03 13:34:55 <thrig       > shouldn't immediate be prepone
2023-12-03 13:36:11 <zelgomer    > yes. i haven't seen a forth word yet that doesn't take at least some time to execute
2023-12-03 13:36:23 <zelgomer    > "immediate" is ambitious
2023-12-03 13:40:34 <veltas      > zelgomer: In my own experience I use ' as non-immediate most of the time
2023-12-03 13:41:00 <veltas      > e.g.  : thing create ' does> .... ;  comes up a lot
2023-12-03 13:41:16 <veltas      > And ' just outside a word def
2023-12-03 13:49:01 <KipIngram   > zelgomer: Covering 99% of your use cases is a win; you can certainly make it work however suits you.
2023-12-03 13:49:48 <KipIngram   > I guess zelgomer's proposal wouldn't change the behavior outside of definitions.
2023-12-03 13:50:10 <KipIngram   > ' would work outside of defs as normal and inside defs as [']
2023-12-03 13:50:23 <KipIngram   > Leaving you the "compile '" case to handle some other way.
2023-12-03 13:50:42 <KipIngram   > Which I guess would be POSTPONE '
2023-12-03 13:50:56 <KipIngram   > But I've never been entirely sure about POSTPONE.
2023-12-03 13:52:42 <KipIngram   > I have hardly any immediate words in my system.
2023-12-03 13:52:55 <KipIngram   > ; of course, and [
2023-12-03 13:53:08 <KipIngram   > ."
2023-12-03 13:53:23 <KipIngram   > No others are immediately coming to mind.
2023-12-03 13:54:10 <KipIngram   > All those recursion words require an offset be compiled after them, and that would normally mean they needed to be immediate.
2023-12-03 13:54:17 <KipIngram   > And there are a bunch of them.
2023-12-03 13:54:37 <KipIngram   > I dodged that by setting a bit in their headers that instructs the compiler to compile an offset.
2023-12-03 13:55:08 <KipIngram   > So I complicated the compiler a bit to avoid those dozens of immediate words becoming necessary.
2023-12-03 13:55:34 <KipIngram   > In the next system I won't need that either, since those words will no longer target by offset.
2023-12-03 13:56:05 <KipIngram   > Oh, and : is also immediate in my system, since I can put labels in the middle of definitions.
2023-12-03 13:59:20 <kws         > sounds a bit like colorForth in that respect
2023-12-03 14:03:22 <veltas      > KipIngram: There's nothing wrong with what zelgomer's doing in my opinion
2023-12-03 14:03:55 <veltas      > I'm just saying there are some people who use the non-immediate ' for info
2023-12-03 14:04:16 <veltas      > The only thing I really have an opinion on here is that I don't think it's good for words to be 'smart'
2023-12-03 14:04:23 <veltas      > about state
2023-12-03 14:04:54 <veltas      > It's good for words to just be immediate and intended for using in a word def, or non-immediate and allowed anywhere
2023-12-03 14:47:45 <zelgomer    > veltas> e.g.  : thing create ' does> .... ;  comes up a lot   -- how would you use that?  thing foo ( and now foo's xt is left on the stack )
2023-12-03 14:48:04 <zelgomer    > sorry, actually  create foo bar ( and now bar's xt is left on top )
2023-12-03 14:48:35 <zelgomer    > wouldn't you rather  ' bar thing foo  ?
2023-12-03 14:49:37 <veltas      > Often I have a DOES> word that changes another word
2023-12-03 14:50:48 <zelgomer    > "changes another word?"
2023-12-03 14:51:51 <veltas      > e.g. https://github.com/Veltas/aoc23/blob/main/1-1.4th#L3
2023-12-03 14:55:46 <zelgomer    > ah, that example has a comma which you were missing in what you posted to the channel
2023-12-03 14:56:22 <zelgomer    > and yeah, i'd have written those with   ' open-file crucial open-file!
2023-12-03 14:56:51 <zelgomer    > just a difference in style
2023-12-03 14:58:33 <zelgomer    > in fact, another question that's occurred to me is whether does> is really all that useful.  how is  crucial open-file open-file!  any different from  : open-file! ['] open-file crucial ;  ?
2023-12-03 14:59:10 <zelgomer    > or even : open-file! open-file crucial ;  if crucial just checks for a return code
2023-12-03 14:59:35 <veltas      > If I have a lot of these it's nicer to just say they're all the same relation
2023-12-03 14:59:41 <veltas      > By using a DOES> word
2023-12-03 15:00:37 <veltas      > As you can see in that example there's three CRUCIAL words, I just think that's neater than defining them all
2023-12-03 15:13:56 <zelgomer    > i'm on the fence
2023-12-03 15:14:55 <zelgomer    > i've used does> a lot in previous escapades, and this time around i'm questioning whether all it did was add some mental overhead
2023-12-03 15:19:12 <veltas      > I never plan to use it but if I have a few words which are essentially the same thing with slightly different data I tend to factor it into DOES>
2023-12-03 15:19:51 <veltas      > But there's some argument to just using human pattern recognition on a bunch of similar looking word defs
2023-12-03 15:33:51 <zelgomer    > another stylistic question of critical importance
2023-12-03 15:34:33 <zelgomer    > nevermind, in trying to form the question i just answered it for myself LOL
2023-12-03 15:34:56 <thrig       > thanks rubber ducky!
2023-12-03 15:36:37 <zelgomer    > yup
2023-12-03 16:26:48 <veltas      > I think I'm already bored of Advent of Code
2023-12-03 16:27:35 <veltas      > Anyone else still working on it?
2023-12-03 16:28:15 <zelgomer    > i actually don't know what it is
2023-12-03 16:29:18 <veltas      > It's an advent calendar of 'little' coding problems https://adventofcode.com/
2023-12-03 16:29:35 <veltas      > Although apparently they get harder half way through and take much longer
2023-12-03 16:29:56 <veltas      > Many of us attempt the first few in Forth and get burned out
2023-12-03 16:30:43 <veltas      > Because they're not incredibly interesting or incredibly suited to Forth, but it's just a nice opportunity to engage in something outside of the 'Forth community'
2023-12-03 16:31:13 <veltas      > I also honestly hope it will convince some people in here who spend all their time writing Forths to write some Forth *programs* ;)
2023-12-03 16:38:11 <zelgomer    > i am writing a forth program
2023-12-03 16:38:22 <zelgomer    > it compiles a forth interpreter
2023-12-03 16:38:50 <zelgomer    > and then it will take over the world
2023-12-03 16:40:04 <veltas      > I hope so
2023-12-03 16:57:53 <KipIngram   > veltas: I mostly agree with you re: avoiding "state smart" words.
2023-12-03 16:58:24 <KipIngram   > ." does it, and I guess I'm ok with that, but I don't think it's a good concept to carry too far.
2023-12-03 16:59:13 <veltas      > I likes me forth simple
2023-12-03 17:00:09 <KipIngram   > Yep.
2023-12-03 17:00:36 <veltas      > luv forth, luv codin, luv gregs
2023-12-03 17:07:55 <KipIngram   > :-|  My daughter just shared a message she found somewhere.  Guy was seeking advice.  His kid's math teacher had taught the kid that 1/0 = 0.  He told the kid that was wrong, and emailed the teacher.
2023-12-03 17:08:17 <KipIngram   > She replied that 1/0 = 0 and cc:'d the principal, wHO AGREED WITH HER.
2023-12-03 17:08:31 <KipIngram   > Makes me wanna cry.  Damn US education...
2023-12-03 17:08:46 <Zarutian_iPad> seen that, and logically she is right in one sense
2023-12-03 17:09:01 <KipIngram   > Let's say it is right - let's assume 1/0 = 0.
2023-12-03 17:09:13 <KipIngram   > Well, 0/1 = 0 too.
2023-12-03 17:09:18 <KipIngram   > So, 1/0 = 0/1.
2023-12-03 17:09:27 <KipIngram   > Cross multiply to get 0 = 1.
2023-12-03 17:09:38 <KipIngram   > That's a contradiction, so the starting assumption must have been wrong.
2023-12-03 17:09:51 <Zarutian_iPad> depends on how division is explained: with boxes and beeds then it makes sense as the non existant box (zero) has nothing in it (zero)
2023-12-03 17:10:10 <KipIngram   > zero and undefined are not the same thing.
2023-12-03 17:10:45 <Zarutian_iPad> how can an non existant box have anything in it?
2023-12-03 17:10:53 <KipIngram   > I.e., a box with nothing in it is not the same as "no box."
2023-12-03 17:11:54 <Zarutian_iPad> the difference between js`undefined` and js`null` as it were
2023-12-03 17:12:02 <KipIngram   > My main point, though, is that once you've proven 1 = 0, you can prove anything equals anything.
2023-12-03 17:12:08 <KipIngram   > The whole tower falls over.
2023-12-03 17:12:30 <veltas      > Shouldn't really say 1/0 = 0 is anything
2023-12-03 17:12:46 <Zarutian_iPad> yeah, I blame it on the teacher's education
2023-12-03 17:12:54 <KipIngram   > Me too.
2023-12-03 17:13:12 <KipIngram   > And on the "system's" teacher screening process.
2023-12-03 17:13:50 <veltas      > But also don't judge the teacher, not really fair for them to have to meet so many parents' expectations
2023-12-03 17:13:52 <Zarutian_iPad> but in case of 4th`42 0 /%` what would the reminder be?
2023-12-03 17:13:54 <KipIngram   > On the other hand, most of us here in the US aren't willing to foot the bill to pay for high quality teachers, so... what do we expect?
2023-12-03 17:13:59 <veltas      > Their job is to teach the curriculum
2023-12-03 17:14:04 <veltas      > Not get everything perfect
2023-12-03 17:14:20 <veltas      > Kids aren't 'broken' for learning one or two incorrect things
2023-12-03 17:14:31 <Zarutian_iPad> I though most of USA taxes got misspent on the millitary
2023-12-03 17:14:38 <KipIngram   > No, the kid will have many more math teachers - I assume the many will backfill for the few.
2023-12-03 17:14:49 <KipIngram   > That's one saving grace of the way it's structured.
2023-12-03 17:15:00 <KipIngram   > One teacher can do only limited damage.
2023-12-03 17:15:16 <zelgomer    > Zarutian_iPad: most of USA taxes are spent on entitlement programs
2023-12-03 17:15:22 <zelgomer    > military is second place
2023-12-03 17:15:41 <veltas      > With social media teachers are so much more exposed to criticism, and frankly that exposure is probably mostly bad. Lots of peering eyes and criticism isn't usually constructive.
2023-12-03 17:15:47 <KipIngram   > And education isn't really funded from the federal level anyway.
2023-12-03 17:15:55 <KipIngram   > It's a states/localities thing.
2023-12-03 17:15:57 <Zarutian_iPad> if she had answered with the unicode symbol for undefined then I would have been impressed
2023-12-03 17:16:02 <veltas      > And so it helps to bear this in mind when you see things on social media that are critical
2023-12-03 17:16:29 <KipIngram   > The thing is, though, I don't regard this as a "subtle" mistake.
2023-12-03 17:16:33 <KipIngram   > It's a core principle.
2023-12-03 17:17:37 <veltas      > Well she doesn't tell you how to do your job
2023-12-03 17:18:36 <KipIngram   > I wish she would if she caught me out in a mistake that bad.
2023-12-03 17:18:56 <veltas      > That's your opinion it's bad, but you don't do her job
2023-12-03 17:19:17 <veltas      > So you don't actually know what matters as well as she does, most likely
2023-12-03 17:19:35 <KipIngram   > I utterly disagree with you, but there's no point arguing if you feel that way.
2023-12-03 17:19:39 <Zarutian_iPad> its the "common core" crap, no?
2023-12-03 17:20:31 <KipIngram   > I would hope that would be included in any sane definition of "core."
2023-12-03 17:20:47 <KipIngram   > Not saying I necessarily admire modern educational structure.
2023-12-03 17:21:04 <KipIngram   > But... it's ARITHMETIC.  Almost the bottom foundation stone of math.
2023-12-03 17:21:22 <KipIngram   > Not quite - these days they want to stick set theory in there below it.
2023-12-03 17:22:01 <KipIngram   > I think because they say it allows a logically rigorous development of the real number system (infinitesimals, etc.)
2023-12-03 17:22:15 <KipIngram   > "The continuum."
2023-12-03 17:22:27 <Zarutian_iPad> division isnt part of ARithmetic, nor is multiplication. The latter because that is what rabbits do and the abstinith curriculum has no room for that.
2023-12-03 17:22:51 <Zarutian_iPad> just adding and subtraction
2023-12-03 17:23:17 <Zarutian_iPad> sorry aRithmetic
2023-12-03 17:23:31 <veltas      > What age group is she teaching?
2023-12-03 17:23:47 <KipIngram   > I don't think the message said that.
2023-12-03 17:24:01 <veltas      > Well depending on the age group this isn't a concern to me at all
2023-12-03 17:24:07 <Zarutian_iPad> ya know from Reading, wRiting, and aRithmetic. The three ARRS every pirate learns.
2023-12-03 17:24:13 <veltas      > If they're end of high school then I'm thinking they're seriously underqualified
2023-12-03 17:24:20 <KipIngram   > Zarutian_iPad: I still regard it as arithmetic, but it is true that in a really formal development you start with natural numbers, which don't even include zero.
2023-12-03 17:24:24 <KipIngram   > And addition.
2023-12-03 17:24:47 <KipIngram   > Because in the natural numbers you can't subtract N from M if N is bigger.
2023-12-03 17:24:53 <KipIngram   > Not until you get to the integers can you do that.
2023-12-03 17:25:10 <KipIngram   > And you don't get division until you are dealing with rational numbers.
2023-12-03 17:25:53 <Zarutian_iPad> and that is not until highschool? damn my elementary must been quite advanced in comparison
2023-12-03 17:26:47 <Zarutian_iPad> but there you have it, rational numbers and irrational teachers do not go well together
2023-12-03 17:26:51 <veltas      > The view you have of this is very advanced, and kids need to be taught simplified versions of things that aren't even correct usually before they can broach that
2023-12-03 17:27:40 <KipIngram   > I learned division facts in the third grade.
2023-12-03 17:27:47 <KipIngram   > Along with fractions.
2023-12-03 17:28:12 <Zarutian_iPad> just shows how far usa education system has regressed
2023-12-03 17:28:14 <veltas      > But is it important that children learn this?
2023-12-03 17:28:17 <KipIngram   > that was in the 1960's - I don't know how much it has changed.
2023-12-03 17:28:53 <KipIngram   > My answer to that is "yes," but that's another opinion.
2023-12-03 17:29:18 <veltas      > Regarding 1/0 = 0 I didn't 'learn' that until I was probably 15 years old, it doesn't even make sense as a proposition and unsurprisingly it has no answer in normal arithmetic, I don't think this impacted my understanding at all
2023-12-03 17:29:29 <veltas      > 1/0 being undefined rather, I know it's not zero
2023-12-03 17:29:45 <KipIngram   > I've always thought the "3R's" is a good guide.  It's a stupid term, though - it's supposed to designate "readin', ritin', rithmatic."
2023-12-03 17:29:45 <veltas      > I meant regarding that proposition
2023-12-03 17:29:55 <KipIngram   > So the very term has "faux igorance" built into it.
2023-12-03 17:30:09 <KipIngram   > But I do think reading, writing, and arithmetic are the three most important core skills.
2023-12-03 17:30:16 <KipIngram   > The rest builds on them.
2023-12-03 17:30:23 <veltas      > I don't know why you'd consider 1/0 as fundamental to young kids' arithmetic though
2023-12-03 17:30:45 <KipIngram   > it's not.  The point is that the kid was explicitly TAUGHT that 1/0 = 0, which is entirely wrong.
2023-12-03 17:30:52 <KipIngram   > No problem if they'd just left it out of the fact list.
2023-12-03 17:31:14 <KipIngram   > But it's common knowledge (supposedly) that "you can't divide by zero."
2023-12-03 17:31:23 <KipIngram   > Unless you're Chuck Norris.
2023-12-03 17:31:40 <zelgomer    > tell them if they try to divide by zero their parents will get a divorce and it'll be their fault
2023-12-03 17:31:41 <zelgomer    > problem solved
2023-12-03 17:31:50 <KipIngram   > Doh...
2023-12-03 17:31:52 <KipIngram   > :-)
2023-12-03 17:31:56 <Zarutian_iPad> you can but you get nonsense depending on the algorithm you are following
2023-12-03 17:32:22 <Zarutian_iPad> that is, diffrent nonsense for diffrent algorithm
2023-12-03 17:32:28 <MrMobius    > whats the justification for 1/0=0?
2023-12-03 17:32:39 <KipIngram   > There isn't one.
2023-12-03 17:33:09 <KipIngram   > I don't know if you saw the whole conversation - my daughter shared a message she saw posted somewhere where some guy's kid's teacher had taught that to the kid.
2023-12-03 17:33:22 <KipIngram   > That dad tried to tell her it was wrong, but she argued, and the principle agreed with her.
2023-12-03 17:33:51 <veltas      > I think the dad just needs to deal with it really
2023-12-03 17:34:24 <veltas      > I think he was right to get confirmation he's not insane but he probably found confirmation with google anyway
2023-12-03 17:34:26 <zelgomer    > the dad needs to get his kids out of public indoctrination camps
2023-12-03 17:34:41 <MrMobius    > sorry, I scrolled up but couldnt find that part
2023-12-03 17:34:51 <KipIngram   > No problem.
2023-12-03 17:35:01 <Zarutian_iPad> yeah were they teach that earth is flat in unbent spacetime
2023-12-03 17:35:16 <veltas      > Unfortunately rather than a mathematical problem, this is actually a social and political problem
2023-12-03 17:35:17 <KipIngram   > I also noted above that if you assume 1/0 = 0 you can then  prove very quickly that 1 = 0.
2023-12-03 17:35:54 <veltas      > You see by having this tussle with the teacher, going to principle, and then going to social media, they've made pretty firm enemies with that irrational teacher
2023-12-03 17:35:56 <Zarutian_iPad> KipIngram: isnt that done in some econmics disciplinrs?
2023-12-03 17:36:05 <veltas      > And that irrational teacher might just be good enough for their actual job
2023-12-03 17:36:13 <KipIngram   > Not that I'm aware of.
2023-12-03 17:36:23 <KipIngram   > Yes, like I said - it's not like we pay for quality in teaching.
2023-12-03 17:36:29 <veltas      > So now you've got an irrational teacher who hates you and will take it out on your kid
2023-12-03 17:36:39 <thrig       > I'd take a real teacher over an irrational one
2023-12-03 17:36:45 <Zarutian_iPad> or that screenshot can be fiction, like Trump being a president at one time
2023-12-03 17:36:53 <KipIngram   > Part of the problem there, though, is that when the school district does get a big wad of money they spend on a jumbotron for the sports stadium.
2023-12-03 17:37:00 <KipIngram   > spend it
2023-12-03 17:37:11 <veltas      > But by the time you're a *dad* I have to wonder how you don't realise you shouldn't have these kinds of fights with your kids' crazy teachers?
2023-12-03 17:37:28 <veltas      > This feels like a life lesson playing out with lots of bystanders
2023-12-03 17:38:32 <veltas      > If your position in a social/political situation is just to be 'rational' you will very quickly self-destruct. People agree in principle with what this Dad said and did, but most people would avoid the conflict out of self-interest.
2023-12-03 17:39:05 <Zarutian_iPad> use it as a lesson for the kid that teachers can be wrong?
2023-12-03 17:39:08 <veltas      > So my question is was the Dad sensible? And is *he* purely rational given the unsurprising consequences of his attack?
2023-12-03 17:39:16 <veltas      > Zarutian_iPad: Absolutely
2023-12-03 17:40:07 <KipIngram   > Ok - I'll say this one more time and then I'm done.  The teacher was wrong.  The principle was wrong.  The dad was right to point the error out to his kid, right to point the error out to the teacher, and right to consider it a problem.  Full stop.  I'm bowing out for a while now, because... this is just sad.
2023-12-03 17:41:45 <veltas      > I love your principles and you're right it is sad. I would also argue with the teacher but not because I'm rational, it's because I love God and want to tell the truth.
2023-12-03 17:45:04 <veltas      > This conversation actually proves my point a bit because I'm trying to be totally honest, and yet I'm totally failing socially
2023-12-03 17:46:52 <veltas      > I'm not trying to annoy anyone but it's happened. I engaged only hoping that rationality would win over, knowing even that the risk of it just being annoying was high
2023-12-03 17:47:58 <veltas      > I'll take the Hemlock now...
2023-12-03 18:30:16 <zelgomer    > 
ACTION makes a note to update /mod - return n 0 when the divisor is 0

2023-12-03 22:13:52 <xelxebar    > Speaking of division by zero, there's a cool paper by Carlstrom that explores an axiom system with zero-division
2023-12-03 22:13:54 <xelxebar    > https://www2.math.su.se/reports/2001/11/2001-11.pdf
2023-12-03 22:14:48 <xelxebar    > Algebraically, it's, indeed, a tad sus that you can say a field is closed under addition, subtraction, multiplication, and division.
2023-12-03 22:15:08 <xelxebar    > But then you have to tack on "oh, except there's this one point where division is undefined"
2023-12-03 22:15:54 <xelxebar    > Carlstrom comes up with a nice way to essentially extend the field operations in a way that zero-division makes sense.
2023-12-03 22:16:12 <xelxebar    > He calls the system a "wheel".