Logs: liberachat/#haskell
| 2026-04-20 02:55:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-20 02:57:17 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-04-20 02:57:34 | → | havochunter187 joins (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-20 03:05:21 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-20 03:05:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 03:10:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-04-20 03:14:45 | → | polykernel joins (~polykerne@user/polykernel) |
| 2026-04-20 03:15:30 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-04-20 03:21:02 | × | havochunter187 quits (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) (Remote host closed the connection) |
| 2026-04-20 03:21:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 03:25:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-20 03:26:51 | → | Eoco joins (~ian@128.101.131.218) |
| 2026-04-20 03:28:18 | → | user363627 joins (~user@user/user363627) |
| 2026-04-20 03:29:07 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 264 seconds) |
| 2026-04-20 03:35:19 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-04-20 03:36:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 03:37:48 | → | haritz joins (~hrtz@140.228.70.141) |
| 2026-04-20 03:37:48 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 2026-04-20 03:37:48 | → | haritz joins (~hrtz@user/haritz) |
| 2026-04-20 03:41:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 03:48:40 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-20 03:52:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 03:54:08 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-20 03:55:28 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-20 03:56:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-20 03:56:33 | → | havochunter187 joins (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-20 03:56:45 | × | havochunter187 quits (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) (Remote host closed the connection) |
| 2026-04-20 03:56:52 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-04-20 03:57:11 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-20 03:57:11 | → | haritz joins (~hrtz@user/haritz) |
| 2026-04-20 04:01:15 | → | wickedjargon joins (~user@184.69.139.242) |
| 2026-04-20 04:06:08 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-20 04:07:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 04:13:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-20 04:25:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 04:25:31 | × | alhazrod quits (uid662262@user/alhazrod) (Quit: Connection closed for inactivity) |
| 2026-04-20 04:30:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-04-20 04:38:07 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-20 04:39:02 | → | spew joins (~spew@user/spew) |
| 2026-04-20 04:40:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 04:48:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 04:59:53 | × | wickedjargon quits (~user@184.69.139.242) (Remote host closed the connection) |
| 2026-04-20 05:00:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 05:05:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-20 05:06:14 | → | Guest98 joins (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) |
| 2026-04-20 05:06:58 | → | Guest52 joins (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) |
| 2026-04-20 05:09:56 | → | havochunter joins (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-20 05:10:37 | × | Guest98 quits (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) (Ping timeout: 245 seconds) |
| 2026-04-20 05:12:39 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2026-04-20 05:20:06 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-20 05:20:18 | × | marinelli quits (~weechat@brrr.fr) (Quit: marinelli) |
| 2026-04-20 05:20:40 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-04-20 05:21:44 | → | michalz joins (~michalz@185.246.207.217) |
| 2026-04-20 05:22:25 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-20 05:24:13 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-04-20 05:25:15 | × | Guest52 quits (~Guest98@2804:584:21a1:1e00:2d2d:ec17:1a6:17b3) (Quit: Client closed) |
| 2026-04-20 05:27:31 | → | poscat joins (~poscat@user/poscat) |
| 2026-04-20 05:27:40 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-20 05:29:07 | → | Enrico63 joins (~Enrico63@host-95-249-71-165.retail.telecomitalia.it) |
| 2026-04-20 05:29:09 | × | Googulator quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-20 05:29:17 | <dibblego> | Does anything like this exist? class BiProfunctor p where dimapL :: (w -> w') -> (y' -> y) -> p w x y z -> p w' x y' z; dimapR :: (x -> x') -> (z' -> z) -> p w x y z -> p w x' y z' |
| 2026-04-20 05:29:22 | → | Googulator joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-20 05:31:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 05:36:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-20 05:45:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 05:46:23 | → | archking joins (~archking@wlan-napt-001.u-aizu.ac.jp) |
| 2026-04-20 05:46:49 | × | archking quits (~archking@wlan-napt-001.u-aizu.ac.jp) (Client Quit) |
| 2026-04-20 05:50:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-20 05:54:20 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-20 06:01:28 | → | archking1 joins (~archking@wlan-napt-001.u-aizu.ac.jp) |
| 2026-04-20 06:01:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 06:05:06 | × | Enrico63 quits (~Enrico63@host-95-249-71-165.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-04-20 06:06:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-20 06:11:13 | → | CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de) |
| 2026-04-20 06:17:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 06:20:24 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-20 06:21:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-20 06:25:51 | × | havochunter quits (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) (Remote host closed the connection) |
| 2026-04-20 06:32:07 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-20 06:32:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 06:36:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-20 06:41:04 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-20 06:42:42 | <jackdk> | dibblego: how is that different from holding a profunctor with tuples? |
| 2026-04-20 06:46:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 06:49:12 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2026-04-20 06:50:13 | → | chele joins (~chele@user/chele) |
| 2026-04-20 06:50:22 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-20 06:54:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-04-20 06:57:13 | → | tromp joins (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) |
| 2026-04-20 07:03:07 | → | havochunter joins (~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) |
| 2026-04-20 07:04:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-20 07:09:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-20 07:15:40 | × | tromp quits (~textual@2001:1c00:340e:2700:c9bc:b29c:36e3:d32a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-20 07:18:00 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2026-04-20 07:18:39 | → | pabs3 joins (~pabs3@user/pabs3) |
All times are in UTC.