Newest at the top
2025-05-14 20:08:15 +0200 | <EvanR> | my equation |
2025-05-14 20:08:11 +0200 | <EvanR> | my question is true for sets of chars |
2025-05-14 20:08:04 +0200 | <xerox> | totally |
2025-05-14 20:07:47 +0200 | <monochrom> | numerology |
2025-05-14 20:07:38 +0200 | <yin> | are we playing countdown |
2025-05-14 20:07:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-05-14 20:07:26 +0200 | <lambdabot> | 1048.0 |
2025-05-14 20:07:25 +0200 | <xerox> | > 1024 + (768 / 32) |
2025-05-14 20:06:57 +0200 | <EvanR> | 1024x768 - 2x76 = 1048 |
2025-05-14 20:06:40 +0200 | <yin> | for some definition of multiplication :) |
2025-05-14 20:06:11 +0200 | <yin> | monochrom: 1024 * 768 = 1048 checks out |
2025-05-14 20:05:57 +0200 | <EvanR> | checks out |
2025-05-14 20:05:55 +0200 | <EvanR> | join (action pure) = action |
2025-05-14 20:05:46 +0200 | <EvanR> | join (pure action) = action |
2025-05-14 20:05:13 +0200 | ljdarj1 | ljdarj |
2025-05-14 20:05:12 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2025-05-14 20:04:49 +0200 | <monochrom> | 1048 = 1024x768 monitors |
2025-05-14 20:04:46 +0200 | <Angelz> | :) |
2025-05-14 20:04:36 +0200 | <monochrom> | People even say "monad multiplication" for join, so I think everyone is already abusing the word "multiplication". |
2025-05-14 20:04:26 +0200 | <yin> | monochrom: 1048 is traffic control in police radio 10-codes |
2025-05-14 20:04:02 +0200 | <Angelz> | hi lambdabot |
2025-05-14 20:03:22 +0200 | <EvanR> | and somebody could abuse it and call the operation multiplication |
2025-05-14 20:03:12 +0200 | <EvanR> | or monoid |
2025-05-14 20:03:09 +0200 | <EvanR> | anything other behavior I have heard might be acceptable in a group |
2025-05-14 20:02:57 +0200 | <yin> | EvanR: yeah maybe there's no point in calling it multiplication |
2025-05-14 20:02:54 +0200 | <monochrom> | But "it" = the new software version |
2025-05-14 20:02:49 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-05-14 20:02:32 +0200 | <EvanR> | if multiplication doesn't distribute over addition, and multiplication has no 1, then I will perhaps want my money back |
2025-05-14 20:02:32 +0200 | <monochrom> | My friend was given no clue. Everyone there said "1048" as if it were standard. That's my point. |
2025-05-14 20:02:31 +0200 | <yin> | which kind of software? |
2025-05-14 20:01:53 +0200 | <yin> | we need a clue |
2025-05-14 20:00:38 +0200 | Angelz | (Angelz@user/angelz) angelz |
2025-05-14 20:00:38 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) (Changing host) |
2025-05-14 20:00:11 +0200 | hgolden | (~hgolden@syn-172-251-233-141.res.spectrum.com) (Ping timeout: 268 seconds) |
2025-05-14 20:00:08 +0200 | <monochrom> | My friend worked as tech support for small companies. One day he was upgrading software versions for a small company. Everyone there asked him "does it still support 1048?". Guess what 1048 means. |
2025-05-14 19:59:33 +0200 | <yin> | EvanR: can be |
2025-05-14 19:59:14 +0200 | <yin> | monochrom: please :) |
2025-05-14 19:59:02 +0200 | <monochrom> | May I tell you a true story about homebrew vocabulary that the inventor thought intuitive but in reality no one else knows what it means? |
2025-05-14 19:58:52 +0200 | <EvanR> | so your arithmetic system isn't just for arithmetic but for defining additional structure, like Peano Arithmetic |
2025-05-14 19:58:13 +0200 | <yin> | a ring is a formal structure that may not exist in my fantasy arithmetic system |
2025-05-14 19:57:52 +0200 | <monochrom> | I was hoping that there were a reason the wording was not simply "Num instance". |
2025-05-14 19:57:12 +0200 | <EvanR> | Num class <- arbitrary arithmetic system |
2025-05-14 19:57:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-05-14 19:56:59 +0200 | <EvanR> | oh I answered my own question |
2025-05-14 19:56:14 +0200 | <monochrom> | I don't know what "arbitrary arithmetic system" means. But for a ring like EvanR said, * distributes over +, also +'s identity becomes *'s zero. |
2025-05-14 19:55:57 +0200 | <yin> | sure. some arithmetic system i decide to create just for fun |
2025-05-14 19:55:18 +0200 | <EvanR> | what's an arbitrary arithmetic system |
2025-05-14 19:54:31 +0200 | <EvanR> | in an arbitrary ring it does |
2025-05-14 19:53:25 +0200 | <yin> | in an arbitrary arithmetic system, something i call multiplication doesn't have to have an inherent relationship with something i call addition? |
2025-05-14 19:52:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |