Newest at the top
| 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 |
| 2025-05-14 19:51:38 +0200 | <Leary> | Square: https://github.com/input-output-hk/haskell.nix |
| 2025-05-14 19:49:43 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-14 19:48:48 +0200 | euleritian | (~euleritia@dynamic-176-006-136-001.176.6.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2025-05-14 19:44:15 +0200 | euleritian | (~euleritia@dynamic-176-006-136-001.176.6.pool.telefonica.de) |
| 2025-05-14 19:43:17 +0200 | <Square> | yushyin, Good idea. I'll try that |
| 2025-05-14 19:43:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-14 19:42:27 +0200 | <yushyin> | Square: maybe #haskell:nixos.org (matrix) has an answer |
| 2025-05-14 19:42:00 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-14 19:41:18 +0200 | <monochrom> | a language is just a data type. >:) |
| 2025-05-14 19:38:44 +0200 | euleritian | (~euleritia@77.23.248.100) (Ping timeout: 244 seconds) |