Newest at the top
| 2026-02-20 19:56:09 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 19:55:59 +0100 | Googulator | (~Googulato@193-226-241-165.pool.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 19:54:17 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-02-20 19:53:02 +0100 | <tomsmeding> | *monotone |
| 2026-02-20 19:52:53 +0100 | tomsmeding | . o O ( if f is antitone, then Down . f is montone ) |
| 2026-02-20 19:52:25 +0100 | <EvanR> | ☝️ |
| 2026-02-20 19:52:00 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-20 19:51:33 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-20 19:51:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 19:50:05 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-20 19:47:36 +0100 | abiss27 | (~abiss27@user/abiss) abiss |
| 2026-02-20 19:46:58 +0100 | nckx | (~nckx@libera/staff/owl/nckx) nckx |
| 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 |