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) |
All times are in UTC.