Newest at the top
| 2026-02-20 18:21:46 +0100 | <n0w0n> | An incongruent ordering, ya say? |
| 2026-02-20 18:19:43 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2026-02-20 18:19:06 +0100 | <dutchie> | just costs a newtype wrapper I guess |
| 2026-02-20 18:18:31 +0100 | <dutchie> | which doesn't matter if you just want to shove them into a Set |
| 2026-02-20 18:18:12 +0100 | <dutchie> | you can order the complex numbers (eg. lexicographically on their real and imaginary components), it just won't be compatible with the ring structure |
| 2026-02-20 18:16:23 +0100 | Enrico63 | (~Enrico63@host-82-56-209-65.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-20 18:15:18 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-02-20 18:14:43 +0100 | <n0w0n> | Damn you Chris Okasaki |
| 2026-02-20 18:14:29 +0100 | <n0w0n> | & Sets are secretly Red Black Trees with an ordering |
| 2026-02-20 18:13:44 +0100 | <n0w0n> | Since complex numbers are unordered |
| 2026-02-20 18:13:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-20 18:13:35 +0100 | <n0w0n> | Unrelated, but that just reminded me that ya can't encode a set of complex number in Haskell using the Set type in containers |
| 2026-02-20 18:11:44 +0100 | <haskellbridge> | <ijouw> What if we made an arbitrary Ord Type and used it and Set Type to define dynamic sum types (as seen in e.g. typescript)? |
| 2026-02-20 18:10:58 +0100 | Googulator | (~Googulato@193-226-241-165.pool.digikabel.hu) |
| 2026-02-20 18:10:43 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 18:09:42 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-20 18:06:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 18:02:53 +0100 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-02-20 18:02:29 +0100 | Enrico63 | (~Enrico63@host-82-56-209-65.retail.telecomitalia.it) Enrico63 |
| 2026-02-20 18:01:50 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2026-02-20 18:01:14 +0100 | mangoiv | (~mangoiv@2a01:4f9:c012:6c0e::) |
| 2026-02-20 18:00:56 +0100 | mangoiv | (~mangoiv@user/mangoiv) (Server closed connection) |
| 2026-02-20 17:56:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 17:54:57 +0100 | n0w0n | (~john@user/n0w0n) n0w0n |
| 2026-02-20 17:51:23 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-02-20 17:51:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 17:50:37 +0100 | larsivi | (~larsivi@user/larsivi) larsivi |
| 2026-02-20 17:48:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) |
| 2026-02-20 17:46:58 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2026-02-20 17:45:15 +0100 | thenightmail | (~thenightm@user/thenightmail) thenightmail |
| 2026-02-20 17:40:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-20 17:37:32 +0100 | thenightmail | (~thenightm@user/thenightmail) (Client Quit) |
| 2026-02-20 17:35:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 17:35:16 +0100 | thenightmail | (~thenightm@user/thenightmail) thenightmail |
| 2026-02-20 17:33:49 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 17:33:28 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 17:33:06 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-02-20 17:32:56 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Server closed connection) |
| 2026-02-20 17:23:40 +0100 | thenightmail | (~thenightm@user/thenightmail) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-02-20 17:23:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 17:21:18 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2026-02-20 17:21:06 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2026-02-20 17:17:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 17:16:37 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2026-02-20 17:16:26 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2026-02-20 17:13:56 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-20 17:12:17 +0100 | thenightmail | (~thenightm@user/thenightmail) thenightmail |
| 2026-02-20 17:10:01 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2026-02-20 17:07:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-20 17:05:31 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |