Newest at the top
| 2026-02-20 19:40:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-20 19:36:10 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) bastelfreak |
| 2026-02-20 19:35:43 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 2026-02-20 19:35:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 19:34:35 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-20 19:29:56 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-20 19:29:48 +0100 | petrichor | (~jez@user/petrichor) (Ping timeout: 264 seconds) |
| 2026-02-20 19:29:08 +0100 | <dolio> | They're all monotone, too, because the reverse order is also an order. |
| 2026-02-20 19:28:14 +0100 | cipherrot | (~jez@user/petrichor) petrichor |
| 2026-02-20 19:26:18 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-20 19:24:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-20 19:20:24 +0100 | talismanick | (~user@2601:644:8502:d340::cd3d) (Remote host closed the connection) |
| 2026-02-20 19:20:17 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-20 19:19:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 19:17:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 19:14:50 +0100 | <c_wraith> | which is a perfectly good description |
| 2026-02-20 19:14:35 +0100 | <haskellbridge> | <ijouw> That makes monotone synonym of order-preserving |
| 2026-02-20 19:13:00 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-20 19:12:59 +0100 | <dutchie> | "The dual notion is often called antitone, anti-monotone, or order-reversing" |
| 2026-02-20 19:12:53 +0100 | <dutchie> | wikipedia also says "order-reversing" |
| 2026-02-20 19:12:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 19:11:51 +0100 | <EvanR> | reversing that would be interesting xD |
| 2026-02-20 19:11:06 +0100 | <fgarcia> | reverse kind of works. or maybe not |
| 2026-02-20 19:11:05 +0100 | <n0w0n> | heh, oh analysis my analysis |
| 2026-02-20 19:10:42 +0100 | <EvanR> | a monotone function maps more defined inputs to more defined outputs |
| 2026-02-20 19:10:11 +0100 | <EvanR> | are we talking about semantics i.e. definedness |
| 2026-02-20 19:10:06 +0100 | <Leary> | It's a phrasing that's more pertinent to sequences, yes, but nothing will stop mathematicians from overloading, so they use it for functions too. |
| 2026-02-20 19:09:31 +0100 | <c_wraith> | I would say "monotonically decreasing" as a description of a sequence, but "antitone" is a description of a function. *shrug*. It's not too important. |
| 2026-02-20 19:08:38 +0100 | n0w0n | (~john@user/n0w0n) n0w0n |
| 2026-02-20 19:08:38 +0100 | n0w0n | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Changing host) |
| 2026-02-20 19:08:26 +0100 | <EvanR> | if monotone is supposed to be not decreasing just say that? |
| 2026-02-20 19:08:20 +0100 | <haskellbridge> | <ijouw> But isn't that describing the values themselves? |
| 2026-02-20 19:08:11 +0100 | <Leary> | But antitone is cool too. |
| 2026-02-20 19:08:06 +0100 | n0w0n | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-02-20 19:07:40 +0100 | <Leary> | People usually just say (monotone/monotonically) decreasing. |
| 2026-02-20 19:06:42 +0100 | <haskellbridge> | <ijouw> I wrote that as answer to anti-monotone |
| 2026-02-20 19:06:13 +0100 | <haskellbridge> | <ijouw> Seems consistent |
| 2026-02-20 19:06:09 +0100 | <c_wraith> | oh, I guess "antitone" is acceptable as well. that's better |
| 2026-02-20 19:05:45 +0100 | <c_wraith> | but it's awkward as heck |
| 2026-02-20 19:05:39 +0100 | <c_wraith> | well, there's anti-monotone |
| 2026-02-20 19:05:20 +0100 | <haskellbridge> | <ijouw> Is there a word for a change (analogue to monotonic), when it reverses ordering? |
| 2026-02-20 19:04:57 +0100 | <c_wraith> | For the specific question being asked, that's not relevant |
| 2026-02-20 19:04:51 +0100 | <EvanR> | e.g. comparing bytestrings for ordering can be faster than hashing depending on the length and type of hash |
| 2026-02-20 19:04:21 +0100 | <EvanR> | it might not be faster depending on how expensive hashing is |
| 2026-02-20 19:04:14 +0100 | <c_wraith> | Leary: I tend to forget about that too |
| 2026-02-20 19:02:31 +0100 | <haskellbridge> | <ijouw> So it trades space efficiency for faster lookup, got it |
| 2026-02-20 19:02:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 19:00:08 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-02-20 18:57:52 +0100 | <c_wraith> | I believe it's 32-way |
| 2026-02-20 18:57:47 +0100 | wickedjargon | (~user@24.244.23.254) (Remote host closed the connection) |