Newest at the top
| 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) |
| 2026-02-20 18:57:28 +0100 | <Leary> | Let's make that a > 0, I forgot non-positive numbers exist. |
| 2026-02-20 18:57:26 +0100 | <c_wraith> | the HAMT it's based on has a much higher branching factor |
| 2026-02-20 18:57:14 +0100 | <c_wraith> | fewer comparisons |
| 2026-02-20 18:56:56 +0100 | <haskellbridge> | <ijouw> What advantage does HashSet a have over Set (Hashed a) where Ord Hashed compares the hash? |
| 2026-02-20 18:56:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 18:53:32 +0100 | AlexZenon | (~alzenon@85.174.181.228) |
| 2026-02-20 18:52:59 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2026-02-20 18:52:32 +0100 | <haskellbridge> | <ijouw> Leary: You are correct (for a /= 0) |
| 2026-02-20 18:51:51 +0100 | Alex_delenda_est | (~al_test@85.174.181.228) |
| 2026-02-20 18:51:03 +0100 | <EvanR> | as they leave 1 minute earlier |
| 2026-02-20 18:50:53 +0100 | <EvanR> | there's also unordered set |
| 2026-02-20 18:49:40 +0100 | n0w0n | (~john@user/n0w0n) (Ping timeout: 268 seconds) |
| 2026-02-20 18:49:27 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-20 18:49:05 +0100 | housemate_ | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-20 18:48:08 +0100 | ChanServ | +v yahb2 |
| 2026-02-20 18:48:08 +0100 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2026-02-20 18:47:46 +0100 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Server closed connection) |