Newest at the top
| 2026-02-05 10:45:27 +0100 | <probie> | We're already going to hell for misusing `Ord` |
| 2026-02-05 10:45:15 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-05 10:45:06 +0100 | <probie> | Just pick an ordering on complex numbers and call it a day |
| 2026-02-05 10:44:07 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-05 10:43:03 +0100 | <tomsmeding> | gentauro: you probably already know this, but for completeness, /= is ≠ |
| 2026-02-05 10:42:50 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-05 10:42:23 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-05 10:42:10 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-05 10:40:32 +0100 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x_) |
| 2026-02-05 10:34:45 +0100 | <gentauro> | I might be wrong |
| 2026-02-05 10:34:42 +0100 | <gentauro> | Googulator: I don't think we have complex numbers in SML (or derivates) |
| 2026-02-05 10:29:32 +0100 | <Googulator> | Makes sense... if you're only thinking of real number and other intuitively sortable types. "Less than or greater than" is a downright lie e.g. for complex numbers. |
| 2026-02-05 10:26:43 +0100 | gentauro | which somehow makes sense. In HaskeLLM `/=` (division equals) is not that intuitive. That said, it took me like "ages" to realize `<>` xD |
| 2026-02-05 10:25:18 +0100 | gentauro | Hmmm, I just realized that in SML (and derivates such as OCaml, …) the "not equal operator" (a <> b) states that `a > b` or `a < b`: https://smlhelp.github.io/book/docs/start/syntax/#boolean-operation |
| 2026-02-05 10:19:49 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-05 10:13:38 +0100 | trickard_ | trickard |
| 2026-02-05 10:12:02 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-05 10:07:47 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-05 10:00:18 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-05 09:43:09 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-02-05 09:42:29 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-05 09:41:25 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 250 seconds) |
| 2026-02-05 09:30:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-05 09:27:07 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-05 09:25:21 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 252 seconds) |
| 2026-02-05 09:25:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 09:23:41 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-05 09:13:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-05 09:12:34 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-05 09:12:24 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-05 09:07:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 08:56:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-05 08:51:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 08:51:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-05 08:50:37 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-05 08:50:05 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-05 08:49:52 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-05 08:49:18 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4842:24c6:bd5c:fe37) |
| 2026-02-05 08:46:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 08:42:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-05 08:37:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 08:37:47 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-05 08:27:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-05 08:26:33 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-05 08:25:39 +0100 | ft | (~ft@p508db4c0.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-02-05 08:25:21 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-05 08:25:21 +0100 | divya | (divya@140.238.251.170) divya |
| 2026-02-05 08:22:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 08:17:31 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2026-02-05 08:14:07 +0100 | dolio | (~dolio@130.44.140.168) dolio |