Logs: liberachat/#haskell
| 2026-04-24 17:20:22 | → | fvr joins (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2026-04-24 17:22:04 | → | duncan joins (c6181279e3@user/meow/duncan) |
| 2026-04-24 17:22:35 | → | caz joins (866183745f@2a03:6000:1812:100::15d4) |
| 2026-04-24 17:22:53 | × | tromp quits (~textual@2001:1c00:340e:2700:8826:a952:b27a:3344) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-24 17:23:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-24 17:27:07 | × | hsw quits (~hsw@106.104.103.195) (Remote host closed the connection) |
| 2026-04-24 17:27:26 | → | hsw joins (~hsw@106.104.103.195) |
| 2026-04-24 17:34:36 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-04-24 17:38:54 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 246 seconds) |
| 2026-04-24 17:40:35 | layline_ | is now known as layline-away |
| 2026-04-24 17:40:50 | × | layline-away quits (~layline@149.154.26.56) (Quit: ZZZzzz…) |
| 2026-04-24 17:50:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-24 17:52:54 | → | tromp joins (~textual@2001:1c00:340e:2700:8826:a952:b27a:3344) |
| 2026-04-24 17:55:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-24 17:57:17 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:99c9:3be1:eaeb:ec00) |
| 2026-04-24 17:57:18 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:99c9:3be1:eaeb:ec00) (Changing host) |
| 2026-04-24 17:57:18 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-24 17:58:21 | × | rainbyte quits (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-24 17:59:14 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 2026-04-24 17:59:17 | → | rainbyte joins (~rainbyte@181.47.219.3) |
| 2026-04-24 18:04:25 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2026-04-24 18:04:36 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2026-04-24 18:04:36 | ChanServ | sets mode +v haskellbridge |
| 2026-04-24 18:05:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-24 18:10:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-24 18:20:34 | → | Square3 joins (~Square@user/square) |
| 2026-04-24 18:21:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-24 18:25:38 | × | puke quits (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-24 18:28:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-24 18:30:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-24 18:31:43 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-04-24 18:35:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-24 18:35:51 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-24 18:37:41 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-24 18:39:49 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-04-24 18:42:31 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-24 18:45:27 | × | gAy_Dragon quits (A_D@libera/staff/dragon) (Killed (Stx (All dragons must die - tonight!))) |
| 2026-04-24 18:45:41 | → | A_Dragon joins (A_D@libera/staff/dragon) |
| 2026-04-24 18:45:57 | A_Dragon | is now known as gAy_Dragon |
| 2026-04-24 18:46:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-24 18:51:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-24 18:53:33 | → | Guest25 joins (~Guest25@135.196.142.161) |
| 2026-04-24 18:54:26 | × | tusko quits (~uwu@user/tusko) (Ping timeout: 265 seconds) |
| 2026-04-24 18:54:39 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:99c9:3be1:eaeb:ec00) |
| 2026-04-24 18:54:39 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:99c9:3be1:eaeb:ec00) (Changing host) |
| 2026-04-24 18:54:39 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-24 18:56:16 | → | tusko joins (~uwu@user/tusko) |
| 2026-04-24 19:02:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-24 19:02:59 | → | hakutaku joins (~textual@user/hakutaku) |
| 2026-04-24 19:07:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-24 19:12:22 | × | Guest25 quits (~Guest25@135.196.142.161) (Quit: Client closed) |
| 2026-04-24 19:17:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-24 19:20:20 | → | ephapticpulse joins (~user@user/ephapticpulse) |
| 2026-04-24 19:21:43 | <[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:22:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-24 19:23:52 | <[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:26:43 | <monochrom> | Yes Data.Set's internal algorithms use that. But it's probably not exported. |
| 2026-04-24 19:28:14 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-04-24 19:29:28 | × | hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-04-24 19:31:54 | → | hakutaku joins (~textual@user/hakutaku) |
| 2026-04-24 19:32:01 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2026-04-24 19:33:06 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 265 seconds) |
| 2026-04-24 19:33:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-24 19:33:35 | × | jreicher quits (~joelr@user/jreicher) (Killed (manganese.libera.chat (Nickname regained by services))) |
| 2026-04-24 19:34:04 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-04-24 19:37:13 | <[exa]> | monochrom: kinda wondering about reasons to not export it |
| 2026-04-24 19:38:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-24 19:40:10 | <[exa]> | ah okay Data.Set.Internal.merge does it |
| 2026-04-24 19:40:31 | <monochrom> | I missed that! |
| 2026-04-24 19:40:50 | <[exa]> | well, it's got a big fat warning on top of the module |
| 2026-04-24 19:40:53 | <monochrom> | should have simply "ctrl-f merge" |
| 2026-04-24 19:42:33 | <[exa]> | I didn't realize I should auto-click into internal. :D |
| 2026-04-24 19:42:41 | <[exa]> | fridays. |
| 2026-04-24 19:45:54 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-24 19:46:20 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-04-24 19:49:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-24 19:53:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-24 19:59:04 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2026-04-24 19:59:47 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-04-24 20:03:44 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-24 20:04:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-24 20:12:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-24 20:30:34 | → | layline_ joins (~layline@149.154.26.56) |
| 2026-04-24 20:30:36 | layline_ | is now known as layline-away |
| 2026-04-24 20:30:47 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-24 20:31:32 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-24 20:31:39 | × | layline-away quits (~layline@149.154.26.56) (Client Quit) |
| 2026-04-24 20:33:12 | × | craunts795335385 quits (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-24 20:36:59 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-04-24 20:39:41 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:99c9:3be1:eaeb:ec00) |
| 2026-04-24 20:39:41 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:99c9:3be1:eaeb:ec00) (Changing host) |
| 2026-04-24 20:39:41 | → | arandombit joins (~arandombi@user/arandombit) |
All times are in UTC.