Newest at the top
| 2026-04-24 19:59:47 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-04-24 19:59:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2026-04-24 19:53:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-24 19:49:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-24 19:46:20 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-24 19:45:54 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-24 19:42:41 +0000 | <[exa]> | fridays. |
| 2026-04-24 19:42:33 +0000 | <[exa]> | I didn't realize I should auto-click into internal. :D |
| 2026-04-24 19:40:53 +0000 | <monochrom> | should have simply "ctrl-f merge" |
| 2026-04-24 19:40:50 +0000 | <[exa]> | well, it's got a big fat warning on top of the module |
| 2026-04-24 19:40:31 +0000 | <monochrom> | I missed that! |
| 2026-04-24 19:40:10 +0000 | <[exa]> | ah okay Data.Set.Internal.merge does it |
| 2026-04-24 19:38:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-24 19:37:13 +0000 | <[exa]> | monochrom: kinda wondering about reasons to not export it |
| 2026-04-24 19:34:04 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-24 19:33:35 +0000 | jreicher | (~joelr@user/jreicher) (Killed (manganese.libera.chat (Nickname regained by services))) |
| 2026-04-24 19:33:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-24 19:33:06 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-24 19:32:01 +0000 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-24 19:31:54 +0000 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-04-24 19:29:28 +0000 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-04-24 19:28:14 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-04-24 19:26:43 +0000 | <monochrom> | Yes Data.Set's internal algorithms use that. But it's probably not exported. |
| 2026-04-24 19:23:52 +0000 | <[exa]> | (like, I assume that if cutting&rebalancing of the internal tree can be done in log-time, the joining operation should also be doable in log-time no?) |
| 2026-04-24 19:22:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-24 19:21:43 +0000 | <[exa]> | OK so. Data.Set has dropWhileAntitone and takeWhileAntitone that is able to split the set based on (reasonably behaving) predicate in O(log n). Is there any set-joining counterpart? |
| 2026-04-24 19:20:20 +0000 | ephapticpulse | (~user@user/ephapticpulse) ephapticpulse |
| 2026-04-24 19:17:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-24 19:12:22 +0000 | Guest25 | (~Guest25@135.196.142.161) (Quit: Client closed) |
| 2026-04-24 19:07:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-24 19:02:59 +0000 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-04-24 19:02:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-24 18:56:16 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-24 18:54:39 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-24 18:54:39 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:99c9:3be1:eaeb:ec00) (Changing host) |
| 2026-04-24 18:54:39 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:99c9:3be1:eaeb:ec00) |
| 2026-04-24 18:54:26 +0000 | tusko | (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-24 18:53:33 +0000 | Guest25 | (~Guest25@135.196.142.161) |
| 2026-04-24 18:51:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-24 18:46:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-24 18:45:57 +0000 | A_Dragon | gAy_Dragon |
| 2026-04-24 18:45:41 +0000 | A_Dragon | (A_D@libera/staff/dragon) ad |
| 2026-04-24 18:45:27 +0000 | gAy_Dragon | (A_D@libera/staff/dragon) (Killed (Stx (All dragons must die - tonight!))) |
| 2026-04-24 18:42:31 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-24 18:39:49 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-04-24 18:37:41 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-24 18:35:51 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-24 18:35:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-24 18:31:43 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-04-24 18:30:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |