Logs: liberachat/#haskell
| 2025-11-13 23:08:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-13 23:09:49 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 246 seconds) |
| 2025-11-13 23:10:59 | → | mange joins (~mange@user/mange) |
| 2025-11-13 23:12:43 | × | tromp quits (~textual@2001:1c00:3487:1b00:7d:cf52:961a:9343) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-13 23:14:41 | × | sindu quits (~sindu@46.67.16.220.tmi.telenormobil.no) (Ping timeout: 256 seconds) |
| 2025-11-13 23:14:58 | × | xff0x quits (~xff0x@2405:6580:b080:900:7b8c:bddf:6c13:ed0c) (Ping timeout: 256 seconds) |
| 2025-11-13 23:16:18 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-13 23:16:40 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-13 23:17:11 | → | sindu joins (~sindu@2.148.52.19.tmi.telenormobil.no) |
| 2025-11-13 23:18:09 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-13 23:19:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-13 23:20:40 | <jreicher> | Does anyone have any practical experience, or know of a post that discusses it, for situations where shift/reset are adequate delimited continuation operators to use? The literature covers the situations where they're not enough, but I'm not sure there's much discussion about where they are? |
| 2025-11-13 23:22:10 | → | xff0x joins (~xff0x@2405:6580:b080:900:7b8c:bddf:6c13:ed0c) |
| 2025-11-13 23:22:33 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-11-13 23:22:51 | × | deptype quits (~deptype@2406:b400:3a:73c2:d595:4e97:33b5:4927) (Remote host closed the connection) |
| 2025-11-13 23:23:08 | → | deptype joins (~deptype@2406:b400:3a:73c2:da7f:27b6:3903:8b8f) |
| 2025-11-13 23:24:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-11-13 23:24:19 | ljdarj1 | is now known as ljdarj |
| 2025-11-13 23:24:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-13 23:29:45 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-11-13 23:30:24 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2025-11-13 23:30:24 | ChanServ | sets mode +v haskellbridge |
| 2025-11-13 23:34:00 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-13 23:34:49 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-13 23:35:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-13 23:36:53 | → | juri_ joins (~juri@implicitcad.org) |
| 2025-11-13 23:38:54 | × | bggd quits (~bgg@2a01:e0a:819:1510:2f73:1c6d:ac1:52f7) (Quit: std::move) |
| 2025-11-13 23:38:54 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 2025-11-13 23:40:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-13 23:42:25 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-13 23:42:53 | × | deptype quits (~deptype@2406:b400:3a:73c2:da7f:27b6:3903:8b8f) (Remote host closed the connection) |
| 2025-11-13 23:43:29 | → | deptype joins (~deptype@2406:b400:3a:73c2:bb74:878e:87fe:72b5) |
| 2025-11-13 23:50:36 | catties | is now known as kitties |
| 2025-11-13 23:50:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-13 23:55:29 | × | sindu quits (~sindu@2.148.52.19.tmi.telenormobil.no) (Ping timeout: 256 seconds) |
| 2025-11-13 23:57:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 00:00:35 | × | annamalai quits (~annamalai@157.33.224.236) (Ping timeout: 256 seconds) |
| 2025-11-14 00:03:25 | × | deptype quits (~deptype@2406:b400:3a:73c2:bb74:878e:87fe:72b5) (Remote host closed the connection) |
| 2025-11-14 00:03:38 | → | deptype joins (~deptype@2406:b400:3a:73c2:b60:8c10:d3ef:43c0) |
| 2025-11-14 00:05:54 | trickard_ | is now known as trickard |
| 2025-11-14 00:08:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 00:12:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-14 00:16:05 | → | saurcron joins (uid575716@user/saurcron) |
| 2025-11-14 00:23:28 | × | deptype quits (~deptype@2406:b400:3a:73c2:b60:8c10:d3ef:43c0) (Remote host closed the connection) |
| 2025-11-14 00:23:41 | → | deptype joins (~deptype@2406:b400:3a:73c2:6261:a427:7258:fcb4) |
| 2025-11-14 00:24:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 00:28:08 | → | bggd joins (~bgg@2a01:e0a:819:1510:761:a174:4d6f:f8ab) |
| 2025-11-14 00:28:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-14 00:32:12 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-11-14 00:37:13 | → | acarrico1 joins (~acarrico@rb-sip-237.greenmountainaccess.net) |
| 2025-11-14 00:39:07 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-11-14 00:39:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 00:41:33 | × | acarrico1 quits (~acarrico@rb-sip-237.greenmountainaccess.net) (Ping timeout: 244 seconds) |
| 2025-11-14 00:43:30 | × | deptype quits (~deptype@2406:b400:3a:73c2:6261:a427:7258:fcb4) (Remote host closed the connection) |
| 2025-11-14 00:44:06 | → | deptype joins (~deptype@2406:b400:3a:73c2:d1ef:54e1:33d0:7e62) |
| 2025-11-14 00:44:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 00:46:26 | → | notzmv joins (~umar@user/notzmv) |
| 2025-11-14 00:49:54 | × | xff0x quits (~xff0x@2405:6580:b080:900:7b8c:bddf:6c13:ed0c) (Ping timeout: 256 seconds) |
| 2025-11-14 00:50:33 | × | acidjnk quits (~acidjnk@p200300d6e71719864849111020082051.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-11-14 00:50:59 | kitties | is now known as Catty |
| 2025-11-14 00:52:09 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 2025-11-14 00:53:04 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-14 00:54:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 00:55:57 | → | Googulator93 joins (~Googulato@2a01-036d-0106-0180-68e2-7394-b68d-da19.pool6.digikabel.hu) |
| 2025-11-14 00:56:22 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-14 00:59:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-14 01:03:32 | × | deptype quits (~deptype@2406:b400:3a:73c2:d1ef:54e1:33d0:7e62) (Remote host closed the connection) |
| 2025-11-14 01:03:45 | → | deptype joins (~deptype@2406:b400:3a:73c2:29fc:b984:2878:681b) |
| 2025-11-14 01:08:56 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 244 seconds) |
| 2025-11-14 01:09:35 | → | jreicher joins (~user@user/jreicher) |
| 2025-11-14 01:10:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 01:14:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-14 01:15:28 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-14 01:15:57 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-14 01:16:13 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-11-14 01:23:04 | → | looking joins (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 2025-11-14 01:25:06 | × | looking quits (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Client Quit) |
| 2025-11-14 01:25:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 01:26:52 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-14 01:29:36 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 252 seconds) |
| 2025-11-14 01:31:04 | × | deptype quits (~deptype@2406:b400:3a:73c2:29fc:b984:2878:681b) (Remote host closed the connection) |
| 2025-11-14 01:31:17 | → | deptype joins (~deptype@2406:b400:3a:73c2:d817:93dd:2198:fe22) |
| 2025-11-14 01:32:09 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
| 2025-11-14 01:32:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-14 01:35:26 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2025-11-14 01:41:15 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-14 01:42:12 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-14 01:43:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 01:48:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-14 01:53:24 | × | jumper149 quits (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 4.7.1) |
| 2025-11-14 01:56:32 | × | trickard_ quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-14 01:56:47 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-14 01:57:36 | × | otto_s quits (~user@p5b044407.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-11-14 01:59:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 02:03:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-14 02:04:52 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-14 02:05:14 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-14 02:07:49 | → | otto_s joins (~user@p4ff27f5d.dip0.t-ipconnect.de) |
| 2025-11-14 02:14:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-14 02:14:47 | × | Nachtgespenst quits (~user@user/siracusa) (Read error: Connection reset by peer) |
All times are in UTC.