| 2025-09-29 00:00:00 +0200 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-09-29 00:02:14 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2025-09-29 00:04:46 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) |
| 2025-09-29 00:04:46 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) (Changing host) |
| 2025-09-29 00:04:46 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 00:05:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 00:05:38 +0200 | Googulator9 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 00:05:45 +0200 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 00:06:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-29 00:08:09 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2025-09-29 00:08:49 +0200 | xal | (~xal@mx1.xal.systems) xal |
| 2025-09-29 00:09:18 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-29 00:10:24 +0200 | xal | (~xal@mx1.xal.systems) (Client Quit) |
| 2025-09-29 00:11:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 00:12:15 +0200 | xal | (~xal@mx1.xal.systems) xal |
| 2025-09-29 00:16:07 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-29 00:20:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:259a:5516:59ca:4e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 00:23:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 00:27:34 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-29 00:28:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 00:29:40 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-09-29 00:30:29 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 00:33:28 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-29 00:35:38 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-29 00:37:14 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-29 00:39:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 00:40:16 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-29 00:40:17 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) |
| 2025-09-29 00:40:18 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) (Changing host) |
| 2025-09-29 00:40:18 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 00:41:12 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-29 00:43:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 00:44:17 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) talismanick |
| 2025-09-29 00:47:16 +0200 | talismanick | (~user@2601:644:937c:ed10::c8dc) (Read error: Connection reset by peer) |
| 2025-09-29 00:47:30 +0200 | bgg | (~bgg@2a01:e0a:819:1510:bd7c:a1cb:3788:3d39) |
| 2025-09-29 00:48:44 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-09-29 00:54:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 00:58:34 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-29 01:00:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 01:01:32 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 01:03:56 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-09-29 01:05:25 +0200 | craunts79 | (~craunts@136.158.7.194) |
| 2025-09-29 01:10:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 01:11:57 +0200 | mhatta_ | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.10.1+deb1 - https://znc.in) |
| 2025-09-29 01:14:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 01:15:28 +0200 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 01:15:36 +0200 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 01:16:10 +0200 | acidjnk | (~acidjnk@p200300d6e71719416d0f89f3aea01a32.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-09-29 01:16:47 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-09-29 01:16:55 +0200 | sprotte24 | (~sprotte24@p200300d16f2d9900fd81e3920f7bb401.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-29 01:18:55 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-29 01:20:29 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-09-29 01:26:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 01:30:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 01:35:55 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-29 01:38:17 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-29 01:46:28 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-29 01:50:39 +0200 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 01:50:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 01:50:44 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 01:54:27 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-29 01:55:53 +0200 | Googulator68 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-29 01:57:23 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 01:57:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 01:58:10 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 02:08:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 02:13:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-29 02:15:45 +0200 | Googulator68 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 02:15:47 +0200 | Googulator67 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 02:17:15 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-09-29 02:24:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 02:25:46 +0200 | Googulator67 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 02:25:56 +0200 | Googulator67 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 02:30:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 02:40:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 02:40:42 +0200 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 02:40:42 +0200 | Googulator67 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 02:45:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-29 02:48:46 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-29 02:56:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 02:59:17 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-29 03:00:40 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bd6b:8e9b:54f4:4d4b) (Ping timeout: 255 seconds) |
| 2025-09-29 03:00:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 03:04:32 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-29 03:04:48 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-29 03:10:58 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 03:11:18 +0200 | Googulator91 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 03:11:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 03:15:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-09-29 03:17:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 03:25:50 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 03:26:04 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 03:27:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 03:29:14 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-29 03:32:25 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-29 03:33:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-29 03:34:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-29 03:40:06 +0200 | comonad | (~comonad@p200300d02709a80002b1d060aa1cc9d9.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-09-29 03:41:49 +0200 | comonad | (~comonad@p200300d02711d0004b6eb519787385cb.dip0.t-ipconnect.de) |
| 2025-09-29 03:44:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 03:49:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 03:51:06 +0200 | mange | (~mange@user/mange) mange |
| 2025-09-29 03:59:30 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-29 04:00:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 04:04:32 +0200 | trickard_ | trickard |
| 2025-09-29 04:06:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 04:06:50 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-29 04:16:06 +0200 | Googulator12 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 04:16:11 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 04:16:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 04:21:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-29 04:23:27 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-09-29 04:24:58 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 248 seconds) |
| 2025-09-29 04:32:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 04:38:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-29 04:48:28 +0200 | td_ | (~td@i5387092C.versanet.de) (Ping timeout: 244 seconds) |
| 2025-09-29 04:50:12 +0200 | td_ | (~td@i5387093F.versanet.de) |
| 2025-09-29 04:50:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 04:51:05 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-29 04:55:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-29 04:56:05 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 04:56:06 +0200 | Googulator12 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 05:00:43 +0200 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 05:00:43 +0200 | Googulator21 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
| 2025-09-29 05:04:04 +0200 | newsham | (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) |
| 2025-09-29 05:04:23 +0200 | <newsham> | hi. why doesnt this work? `instance (Applicative a, Lerpable b) => Lerpable (a b) where`. do i have the wrong incantation? |
| 2025-09-29 05:05:33 +0200 | <newsham> | ie. I have an `instance Lerpable a => Lerpable (Image a) where { scale s img = scale s <$> img; add = liftA2 add }` whose implementation is generic to applicatives, but I cant seem to figure out how to write the generalization |
| 2025-09-29 05:05:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 05:08:54 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-09-29 05:08:54 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-09-29 05:08:54 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-09-29 05:09:12 +0200 | <geekosaur> | FlexibleInstances might allow it, but I'm not sure a type-level application works there. and if it did it would overlap pretty much any other instances (context is not used when matching instances) |
| 2025-09-29 05:09:27 +0200 | <newsham> | https://paste-bin.xyz/8204813 |
| 2025-09-29 05:10:19 +0200 | <newsham> | so template or just copy and paste a lot? |
| 2025-09-29 05:11:10 +0200 | <geekosaur> | looks like it's just telling you wnat I already told you: Haskell98/2010 doesn't allow that, FlexibleInstances does |
| 2025-09-29 05:11:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 05:11:39 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 05:11:48 +0200 | <geekosaur> | btu beware of overlaps |
| 2025-09-29 05:11:52 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 05:11:53 +0200 | <geekosaur> | *but |
| 2025-09-29 05:11:56 +0200 | <Leary> | newsham: I suggest `instance (Applicative f, Lerpable a) => Lerpable (Ap f a) where { ... }`; `data Image a = ... deriving Lerpable via Ap Image`. |
| 2025-09-29 05:12:18 +0200 | newsham | (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) (Quit: Client closed) |
| 2025-09-29 05:14:44 +0200 | newsham | (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) |
| 2025-09-29 05:14:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-09-29 05:14:54 +0200 | remmie | (ianremsen@tilde.team) remsense |
| 2025-09-29 05:14:55 +0200 | <newsham> | why does this web client disconnect so easily? |
| 2025-09-29 05:16:34 +0200 | <geekosaur> | it may depend on the browser; some of them may stop running JS on tab switch, which would cause a connection drop |
| 2025-09-29 05:17:07 +0200 | <geekosaur> | (or desktop switch or loss of focus, etc.) |
| 2025-09-29 05:20:04 +0200 | trickard_ | trickard |
| 2025-09-29 05:21:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 05:22:03 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 244 seconds) |
| 2025-09-29 05:24:39 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-29 05:25:04 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-29 05:26:01 +0200 | newsham | (~newsham@2603:800c:2c01:6825:1139:3093:e9f6:d9e) (Quit: Client closed) |
| 2025-09-29 05:26:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 05:30:36 +0200 | Googulator36 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 05:30:42 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 05:33:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 05:38:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 05:42:46 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 05:42:59 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 05:45:59 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 05:46:05 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 05:49:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 05:50:43 +0200 | Googulator89 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 05:50:43 +0200 | Googulator98 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
| 2025-09-29 05:54:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 05:55:10 +0200 | aforemny | (~aforemny@2001:9e8:6cd7:5200:d9f8:40ae:cd09:6740) aforemny |
| 2025-09-29 05:56:05 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 05:56:10 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfa:f400:257:422d:548f:72ea) (Ping timeout: 248 seconds) |
| 2025-09-29 05:56:19 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 06:04:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 06:10:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 06:10:37 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 06:10:45 +0200 | Googulator89 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 06:15:37 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 06:15:45 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 06:20:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-29 06:21:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 06:28:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 06:30:37 +0200 | Googulator89 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 06:30:48 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 06:32:53 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) |
| 2025-09-29 06:32:54 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) (Changing host) |
| 2025-09-29 06:32:54 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 06:35:38 +0200 | Googulator89 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 06:35:45 +0200 | Googulator49 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 06:38:11 +0200 | Guest69 | (~Guest37@194.87.27.209) |
| 2025-09-29 06:38:39 +0200 | Guest69 | (~Guest37@194.87.27.209) (Client Quit) |
| 2025-09-29 06:39:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 06:43:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-29 06:44:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-29 06:44:55 +0200 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-09-29 06:46:47 +0200 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 244 seconds) |
| 2025-09-29 06:46:47 +0200 | polykernel_ | polykernel |
| 2025-09-29 06:55:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 06:59:28 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-29 07:00:10 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 07:00:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 07:05:45 +0200 | Googulator49 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 07:05:46 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 07:07:25 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-29 07:09:44 +0200 | michalz | (~michalz@185.246.207.222) |
| 2025-09-29 07:11:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 07:16:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 07:20:04 +0200 | trickard_ | trickard |
| 2025-09-29 07:20:39 +0200 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 07:20:39 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 07:27:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 07:28:25 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 07:31:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 07:32:37 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-29 07:45:40 +0200 | Googulator54 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 07:45:43 +0200 | Googulator57 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 07:48:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 07:55:21 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 07:55:35 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 08:03:38 +0200 | echoreply1 | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply |
| 2025-09-29 08:04:03 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Ping timeout: 260 seconds) |
| 2025-09-29 08:04:08 +0200 | trickard_ | trickard |
| 2025-09-29 08:10:37 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 08:10:45 +0200 | Googulator57 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 08:15:44 +0200 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 08:15:44 +0200 | Googulator53 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 08:20:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 08:31:49 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-29 08:34:00 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-09-29 08:38:50 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 248 seconds) |
| 2025-09-29 08:41:13 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-29 08:43:56 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) |
| 2025-09-29 08:43:56 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) (Changing host) |
| 2025-09-29 08:43:56 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 08:49:30 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 2025-09-29 08:51:43 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 240 seconds) |
| 2025-09-29 08:51:52 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-29 08:56:02 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-29 09:00:03 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-29 09:00:59 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-29 09:05:09 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-09-29 09:07:21 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
| 2025-09-29 09:08:07 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) |
| 2025-09-29 09:08:07 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:7de9:8ce9:ba4d:e55) (Changing host) |
| 2025-09-29 09:08:07 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 09:19:29 +0200 | BOMBOCLAT | (xadmin@2001:b07:5d26:75a7::b00b) |
| 2025-09-29 09:21:06 +0200 | Googulator94 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 09:21:21 +0200 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 09:21:30 +0200 | phm | (~peter@user/phm) (Ping timeout: 248 seconds) |
| 2025-09-29 09:25:41 +0200 | Googulator94 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Client Quit) |
| 2025-09-29 09:25:44 +0200 | Googulator70 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 09:28:34 +0200 | forell | (~forell@user/forell) (Ping timeout: 255 seconds) |
| 2025-09-29 09:29:06 +0200 | acidjnk | (~acidjnk@p200300d6e71719414833950799c296ee.dip0.t-ipconnect.de) acidjnk |
| 2025-09-29 09:29:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-29 09:32:48 +0200 | forell | (~forell@user/forell) forell |
| 2025-09-29 09:41:24 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-29 09:42:32 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-09-29 09:46:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 09:56:58 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-29 10:00:37 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 10:00:46 +0200 | Googulator70 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 10:01:49 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 264 seconds) |
| 2025-09-29 10:01:51 +0200 | BOMBOCLAT | (xadmin@2001:b07:5d26:75a7::b00b) (K-Lined) |
| 2025-09-29 10:04:37 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-09-29 10:05:04 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-29 10:07:18 +0200 | craunts79 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-29 10:10:18 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-09-29 10:10:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-29 10:13:59 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-09-29 10:14:03 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Client Quit) |
| 2025-09-29 10:14:24 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-09-29 10:15:54 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 10:16:15 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-29 10:16:40 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-09-29 10:19:38 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-29 10:20:38 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 10:20:51 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 10:24:06 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-29 10:29:40 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-29 10:30:56 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
| 2025-09-29 10:30:59 +0200 | Googulator47 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 10:31:04 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 10:33:12 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 10:36:02 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-29 10:36:40 +0200 | rvalue- | rvalue |
| 2025-09-29 10:37:50 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2025-09-29 10:40:27 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 10:45:28 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 10:45:37 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-29 10:51:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-09-29 10:51:23 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 10:52:16 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-29 10:54:10 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 256 seconds) |
| 2025-09-29 11:02:34 +0200 | aku | (aku@65.108.245.241) eagleflo |
| 2025-09-29 11:03:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 11:04:08 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-09-29 11:04:29 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-29 11:05:47 +0200 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-09-29 11:15:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 11:19:13 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-09-29 11:21:34 +0200 | chele | (~chele@user/chele) chele |
| 2025-09-29 11:27:51 +0200 | kuribas | (~user@2a02-1810-2825-6000-5d46-3266-7567-729e.ip6.access.telenet.be) kuribas |
| 2025-09-29 11:37:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 11:50:01 +0200 | justache | (~justache@user/justache) justache |
| 2025-09-29 11:50:24 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2025-09-29 11:52:49 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-29 11:54:37 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-29 11:57:04 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 12:08:31 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-29 12:11:23 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 2025-09-29 12:12:01 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 12:12:04 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 12:16:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-29 12:16:44 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-29 12:17:26 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-29 12:18:29 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-09-29 12:18:57 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-29 12:20:35 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-29 12:26:55 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2025-09-29 12:30:10 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 12:30:50 +0200 | malte | (~malte@mal.tc) (Ping timeout: 248 seconds) |
| 2025-09-29 12:36:01 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-29 12:38:05 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2025-09-29 12:38:13 +0200 | justache | (~justache@user/justache) (Read error: Connection reset by peer) |
| 2025-09-29 12:39:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-09-29 12:44:09 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-29 12:44:25 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-09-29 12:44:29 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-29 12:44:30 +0200 | justache | (~justache@user/justache) justache |
| 2025-09-29 12:46:30 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 12:48:07 +0200 | <yin> | it amazes daily how liftA2 is not an infix operator |
| 2025-09-29 12:48:58 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2025-09-29 12:49:54 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-29 12:55:58 +0200 | <merijn> | :t liftA2 |
| 2025-09-29 12:55:58 +0200 | <lambdabot> | Applicative f => (a -> b -> c) -> f a -> f b -> f c |
| 2025-09-29 12:56:12 +0200 | <merijn> | yin: I mean, that's just a combination of <$> and <*>? |
| 2025-09-29 12:56:41 +0200 | <merijn> | :t let lift f x y = f <$> x <*> y in lift |
| 2025-09-29 12:56:42 +0200 | <lambdabot> | Applicative f => (a1 -> a2 -> b) -> f a1 -> f a2 -> f b |
| 2025-09-29 12:57:25 +0200 | <merijn> | And that notation trivialiases to any arity |
| 2025-09-29 13:00:51 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-09-29 13:02:00 +0200 | <yin> | useful and ubiquitous binary operation that I feel is awkward to write as prefix, not unlike `on` |
| 2025-09-29 13:02:39 +0200 | <merijn> | I don't see how liftA2 nicely turns into an infix binary operator, tbh |
| 2025-09-29 13:03:06 +0200 | <Leary> | Binary? `liftA2` tends to be given either one or three arguments. |
| 2025-09-29 13:03:13 +0200 | <yin> | now we could write <$> ... <*>, you're right! but sometimes, liftA2 is more performant |
| 2025-09-29 13:03:14 +0200 | <merijn> | > ((+) `liftA2` (Just 1)) (Just 2) |
| 2025-09-29 13:03:15 +0200 | <lambdabot> | Just 3 |
| 2025-09-29 13:03:24 +0200 | <merijn> | That seems very awkward to use |
| 2025-09-29 13:04:22 +0200 | <merijn> | > let (☃) = liftA2 in (+) ☃ (Just 1) (Just 2) |
| 2025-09-29 13:04:24 +0200 | <lambdabot> | error: |
| 2025-09-29 13:04:24 +0200 | <lambdabot> | • Couldn't match expected type ‘Maybe a1 -> f c’ |
| 2025-09-29 13:04:24 +0200 | <lambdabot> | with actual type ‘Maybe a0’ |
| 2025-09-29 13:04:40 +0200 | <merijn> | > let (☃) = liftA2 in ((+) ☃ (Just 1)) (Just 2) |
| 2025-09-29 13:04:41 +0200 | <lambdabot> | Just 3 |
| 2025-09-29 13:04:45 +0200 | <Leary> | > Just 1 &liftA2 (+)$ Just 2 |
| 2025-09-29 13:04:47 +0200 | <lambdabot> | Just 3 |
| 2025-09-29 13:04:48 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 13:05:01 +0200 | <merijn> | Leary: Right, but that can't be valid Haskell to begin with |
| 2025-09-29 13:05:21 +0200 | <merijn> | You have to bind the partial application to a name, then |
| 2025-09-29 13:05:29 +0200 | justache | (~justache@user/justache) (bye?) |
| 2025-09-29 13:05:54 +0200 | <merijn> | > let (☃) = liftA2 (+) in Just 2 ☃ Just 3 |
| 2025-09-29 13:05:55 +0200 | <lambdabot> | Just 5 |
| 2025-09-29 13:06:11 +0200 | <merijn> | And if you're gonna bind a name, then you can easily to whatever infix you want |
| 2025-09-29 13:06:24 +0200 | <Leary> | It worked, didn't it? |
| 2025-09-29 13:08:00 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-29 13:08:00 +0200 | <merijn> | Leary: I mean, that $ and & hack is approximately infinitely less readable than the prefix `liftA2` call, so I would argue no, it's also 2 operators + 1 a function, not a single infix thing :p |
| 2025-09-29 13:08:21 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-29 13:09:31 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-29 13:09:40 +0200 | <yin> | maybe you're right after all |
| 2025-09-29 13:13:15 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 13:18:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-29 13:19:10 +0200 | <sshine> | yin, at least `on` reads nicely. |
| 2025-09-29 13:22:24 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-09-29 13:22:41 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 13:26:34 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-09-29 13:28:39 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-29 13:28:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fe2c:68a3:b199:389f) |
| 2025-09-29 13:33:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-09-29 13:35:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-29 13:37:37 +0200 | <yin> | > (+) `liftA2` (Just 1) $ (Just 2) |
| 2025-09-29 13:37:39 +0200 | <lambdabot> | Just 3 |
| 2025-09-29 13:38:15 +0200 | <yin> | in my mind, we would ideally bind the infix operator more tightly than function application, but that's not possible |
| 2025-09-29 13:38:50 +0200 | <yin> | so we need the $ |
| 2025-09-29 13:39:45 +0200 | <yin> | sshine: i am vehemently agains the idea that logic languages should emulate natural language |
| 2025-09-29 13:41:47 +0200 | <yin> | ... "logical languages"? |
| 2025-09-29 13:42:09 +0200 | <yin> | programming languages at least |
| 2025-09-29 13:42:32 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 13:44:38 +0200 | <yin> | i don't care which symbols we use, as long as it's consistent. in the case of `on`, the use of `` i find it's inelegant |
| 2025-09-29 13:45:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 13:46:33 +0200 | <yin> | not because of the ` symbol but because of its semantics |
| 2025-09-29 13:50:59 +0200 | <chromoblob> | i want following syntax: Just 1 `(liftA2 (+))` Just 2 |
| 2025-09-29 13:53:57 +0200 | <[exa]> | chromoblob: parser developers wish for backtick disambiguation tools |
| 2025-09-29 13:54:24 +0200 | <merijn> | chromoblob: That'd be nice, but thinking about ramification on parsing makes me throw that right out :p |
| 2025-09-29 13:54:48 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-29 13:54:59 +0200 | <merijn> | In practice I find it a nonissue, since you can trivially locally bind it infix for readability |
| 2025-09-29 13:55:08 +0200 | [exa] | wishes for back-backtick, the foretick, like ´ but worse |
| 2025-09-29 13:55:10 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-09-29 13:55:50 +0200 | <yin> | [exa]: at least that wouldn't trip markdown up |
| 2025-09-29 13:56:01 +0200 | <chromoblob> | i also want pattern syntax ("abc" ++ s) - like n+k patterns, but for strings |
| 2025-09-29 13:56:28 +0200 | <[exa]> | chromoblob: you can do that pretty well with prisms |
| 2025-09-29 13:59:56 +0200 | <[exa]> | as in, it's not gonna be a pattern without some extra work, but you can stash it somewhere in guards: | Just arg <- preview (prefixed "hahaha") arg = ... |
| 2025-09-29 14:05:20 +0200 | <yin> | in the language J, (h f g) is (liftA2 f h g), a "monadic fork" they call it, as a basic syntax feature, which is GREAT |
| 2025-09-29 14:06:03 +0200 | <[exa]> | yin: what's wrong with (+) <$> Just 1 <*> Just 2 ? |
| 2025-09-29 14:06:17 +0200 | <yin> | :t liftA2 @((->) _) |
| 2025-09-29 14:06:18 +0200 | <lambdabot> | error: parse error on input ‘->’ |
| 2025-09-29 14:06:31 +0200 | <yin> | hmm |
| 2025-09-29 14:06:59 +0200 | <yin> | [exa]: liftA2 implementation can be more performant for some Applicatives |
| 2025-09-29 14:07:25 +0200 | <probie> | yin: Is it that great? It works because verbs and nouns are distinct, and long trains are pretty hard to read |
| 2025-09-29 14:07:33 +0200 | <yin> | % liftA2 @((->) _) |
| 2025-09-29 14:07:33 +0200 | <yahb2> | <interactive>:19:1: error: [GHC-39999] ; • No instance for ‘Show ; ((a0 -> b0 -> c0) -> (w0 -> a0) -> (w0 -> b0) -> w0 -> c0)’ ; arising from a use of ‘Yahb2Def... |
| 2025-09-29 14:08:15 +0200 | <yin> | I never know how to do this here |
| 2025-09-29 14:08:50 +0200 | <probie> | % :t liftA2 @((->) _) |
| 2025-09-29 14:08:51 +0200 | <yahb2> | liftA2 @((->) _) ; :: Applicative ((->) w) => ; (a -> b -> c) -> (w -> a) -> (w -> b) -> w -> c |
| 2025-09-29 14:10:48 +0200 | lisq | (~quassel@lis.moe) lisq |
| 2025-09-29 14:11:34 +0200 | APic | (apic@apic.name) (Ping timeout: 260 seconds) |
| 2025-09-29 14:17:33 +0200 | APic | (apic@chiptune.apic.name) APic |
| 2025-09-29 14:17:51 +0200 | <[exa]> | yin: ah okay |
| 2025-09-29 14:26:00 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 14:26:13 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 14:29:48 +0200 | <yin> | probie: i like it. i agree with you though, for some definition of "hard to read" |
| 2025-09-29 14:32:15 +0200 | <[exa]> | yin: btw in my code I usually do this with shortcuts like (<+>) = liftA2 (+). Most frequently with <:> I'd say. |
| 2025-09-29 14:35:24 +0200 | mulk | (~mulk@pd95144c3.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-09-29 14:37:13 +0200 | xdej | (~xdej@quatramaran.salle-s.org) xdej |
| 2025-09-29 14:38:39 +0200 | craunts79 | (~craunts@136.158.7.194) |
| 2025-09-29 14:40:02 +0200 | <ncf> | just don't do that with ($) or (*) and you'll be fine :) |
| 2025-09-29 14:40:49 +0200 | <ncf> | (<*>) = liftA2 ($); (<$>) = liftA1 |
| 2025-09-29 14:41:37 +0200 | <yin> | ok listen up |
| 2025-09-29 14:42:03 +0200 | <yin> | lift f a b = liftA2 f (pure a) b |
| 2025-09-29 14:42:20 +0200 | <yin> | no have <f> mean (lift f) |
| 2025-09-29 14:42:25 +0200 | <yin> | s/no/now |
| 2025-09-29 14:42:38 +0200 | <ncf> | you just want idiom brackets |
| 2025-09-29 14:42:45 +0200 | <yin> | ncf: yes |
| 2025-09-29 14:43:12 +0200 | phm | (~peter@user/phm) phm |
| 2025-09-29 14:47:18 +0200 | <yin> | ncf: wait are you talking about this? https://wiki.haskell.org/Idiom_brackets |
| 2025-09-29 14:48:31 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 2025-09-29 14:48:49 +0200 | <yin> | not quite |
| 2025-09-29 14:48:51 +0200 | <yin> | i want |
| 2025-09-29 14:49:17 +0200 | <ncf> | well, i'm talking about the notation mcbride came up with, not that weird typeclass encoding. agda has this: https://agda.readthedocs.io/en/stable/language/syntactic-sugar.html#idiom-brackets |
| 2025-09-29 14:49:22 +0200 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection) |
| 2025-09-29 14:49:26 +0200 | <yin> | a <f> b = f <$> a <*> b |
| 2025-09-29 14:50:11 +0200 | <yin> | or rather (pure a)? |
| 2025-09-29 14:50:14 +0200 | <yin> | i don't know |
| 2025-09-29 14:51:01 +0200 | <yin> | ncf oh that's nice |
| 2025-09-29 14:51:14 +0200 | ThePenguin | (~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin |
| 2025-09-29 14:53:55 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-09-29 14:59:51 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 15:00:27 +0200 | Googulator40 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
| 2025-09-29 15:02:41 +0200 | <kaol> | I feel ridiculous after composing six fmaps in a row. If it works it works. |
| 2025-09-29 15:03:43 +0200 | <merijn> | kaol: Maybe you need Compose? |
| 2025-09-29 15:04:51 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-09-29 15:06:46 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-09-29 15:07:42 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 15:07:56 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 15:08:00 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 15:08:32 +0200 | <yin> | or maybe you need to study the art of origami |
| 2025-09-29 15:09:31 +0200 | <yin> | i want a language based uniquely on folds |
| 2025-09-29 15:11:19 +0200 | <kaol> | I stacked that many maybes, eithers, lists and 2-tuples together. I'm just amused by it, that's all. |
| 2025-09-29 15:11:45 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 15:15:45 +0200 | Googulator40 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 15:15:47 +0200 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 15:16:59 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-29 15:26:20 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-09-29 15:28:02 +0200 | <tomsmeding> | % :seti -XTemplateHaskell |
| 2025-09-29 15:28:02 +0200 | <yahb2> | <no output> |
| 2025-09-29 15:28:14 +0200 | <tomsmeding> | % import Language.Haskell.TH (Q, Exp) |
| 2025-09-29 15:28:14 +0200 | <yahb2> | <no output> |
| 2025-09-29 15:28:23 +0200 | <tomsmeding> | % fMAP :: Int -> Q Exp ; fMAP 0 = [| id |] ; fMAP n = [| fmap . $(fMAP (n - 1)) |] |
| 2025-09-29 15:28:23 +0200 | <yahb2> | <no output> |
| 2025-09-29 15:28:31 +0200 | <tomsmeding> | % $(fMAP 6) (+1) [[[[[[10]]]]]] |
| 2025-09-29 15:28:31 +0200 | <yahb2> | [[[[[[11]]]]]] |
| 2025-09-29 15:28:50 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 265 seconds) |
| 2025-09-29 15:28:59 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-29 15:33:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-29 15:36:13 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-29 15:46:53 +0200 | <ski> | yin : Charity ? |
| 2025-09-29 15:48:26 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 15:50:45 +0200 | Googulator15 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 15:50:47 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 15:59:44 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-29 16:07:34 +0200 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-29 16:07:38 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
| 2025-09-29 16:08:36 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-09-29 16:09:15 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-09-29 16:10:21 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-09-29 16:10:48 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-29 16:11:46 +0200 | sprotte24 | (~sprotte24@p200300d16f33530008dc51ed686c9258.dip0.t-ipconnect.de) |
| 2025-09-29 16:12:45 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-09-29 16:21:26 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-09-29 16:24:35 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-09-29 16:30:19 +0200 | byorgey | (~byorgey@155.138.238.211) |
| 2025-09-29 16:30:19 +0200 | byorgey | (~byorgey@155.138.238.211) (Changing host) |
| 2025-09-29 16:30:19 +0200 | byorgey | (~byorgey@user/byorgey) byorgey |
| 2025-09-29 16:33:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 16:50:38 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-29 16:51:21 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-09-29 17:06:45 +0200 | trickard_ | trickard |
| 2025-09-29 17:07:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 17:16:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 17:19:55 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 245 seconds) |
| 2025-09-29 17:30:44 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 17:30:51 +0200 | Googulator56 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 17:38:37 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-09-29 17:46:01 +0200 | Googulator78 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 17:46:26 +0200 | Googulator50 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 17:48:48 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-09-29 17:55:37 +0200 | Googulator78 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 17:55:44 +0200 | Googulator94 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 17:56:44 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-29 17:56:53 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-09-29 17:59:05 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-09-29 18:04:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-09-29 18:15:20 +0200 | Googulator94 | Googulator |
| 2025-09-29 18:40:46 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 18:40:46 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 18:42:05 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-09-29 18:42:12 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-09-29 18:43:07 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-29 18:45:19 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-09-29 18:45:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-29 18:52:43 +0200 | <yin> | ski: unfamiliar |
| 2025-09-29 18:54:14 +0200 | <ski> | @where Charity |
| 2025-09-29 18:54:14 +0200 | <lambdabot> | http://pll.cpsc.ucalgary.ca/charity1/www/home.html |
| 2025-09-29 18:54:29 +0200 | <Franciman> | ski: did you read Miller's book on logic programming? |
| 2025-09-29 18:57:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 18:58:52 +0200 | <ski> | based around inductive and coinductive data types |
| 2025-09-29 18:59:40 +0200 | <ski> | Franciman : "Proof Theory and Logic Programming: Computation as Proof Search" by Dale Miller in 2025 at <https://www.lix.polytechnique.fr/~dale/ptlp/> ? |
| 2025-09-29 18:59:46 +0200 | <Franciman> | ay! |
| 2025-09-29 18:59:54 +0200 | <Franciman> | can't wait to get the book out |
| 2025-09-29 19:00:00 +0200 | <Franciman> | it's a bit hard for my mind to read it |
| 2025-09-29 19:01:41 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-09-29 19:02:08 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-09-29 19:03:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 19:05:04 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-29 19:08:58 +0200 | <ski> | Franciman : i vaguely remember you bringing it up (?) before, but had forgotten about it. ty for the reminder |
| 2025-09-29 19:09:21 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-09-29 19:14:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 19:19:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 19:23:31 +0200 | kuribas | (~user@2a02-1810-2825-6000-5d46-3266-7567-729e.ip6.access.telenet.be) (Remote host closed the connection) |
| 2025-09-29 19:25:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 19:27:01 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 250 seconds) |
| 2025-09-29 19:30:37 +0200 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 19:30:37 +0200 | Googulator74 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 19:31:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 19:34:55 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 19:35:09 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 19:36:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-29 19:42:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 19:44:07 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.1) |
| 2025-09-29 19:45:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-09-29 19:45:39 +0200 | Googulator14 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 19:45:48 +0200 | Googulator51 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 19:47:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 19:48:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 19:50:40 +0200 | Googulator14 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 19:50:43 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 20:05:15 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-09-29 20:25:15 +0200 | banner_ | (~banner@n1-41-210-25.bla22.nsw.optusnet.com.au) |
| 2025-09-29 20:25:49 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-09-29 20:25:49 +0200 | annamalai | (~annamalai@157.32.118.126) (Ping timeout: 264 seconds) |
| 2025-09-29 20:25:56 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-29 20:25:56 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2025-09-29 20:26:13 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-09-29 20:26:18 +0200 | mulk | (~mulk@pd95144c3.dip0.t-ipconnect.de) mulk |
| 2025-09-29 20:27:30 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-29 20:28:13 +0200 | banner | (~banner@1.41.210.25) (Ping timeout: 264 seconds) |
| 2025-09-29 20:28:49 +0200 | ruvam | (~ruvam@user/ruvam) (Ping timeout: 264 seconds) |
| 2025-09-29 20:28:52 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 20:29:25 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 264 seconds) |
| 2025-09-29 20:29:35 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-29 20:31:13 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-09-29 20:31:22 +0200 | ruvam | (~ruvam@user/ruvam) ruvam |
| 2025-09-29 20:34:43 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2025-09-29 20:36:56 +0200 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2025-09-29 20:37:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 20:43:45 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-29 20:45:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 20:45:27 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-09-29 20:52:18 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 2025-09-29 20:53:18 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 20:53:31 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 20:54:19 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-09-29 20:54:26 +0200 | bgg | (~bgg@2a01:e0a:819:1510:bd7c:a1cb:3788:3d39) (Remote host closed the connection) |
| 2025-09-29 20:55:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 20:57:04 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 255 seconds) |
| 2025-09-29 20:57:44 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-09-29 20:59:12 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-09-29 21:00:03 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-29 21:00:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 21:00:50 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-29 21:08:35 +0200 | annamalai | (~annamalai@157.32.114.112) annamalai |
| 2025-09-29 21:11:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 21:11:18 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-09-29 21:13:43 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-29 21:16:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 21:24:08 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-09-29 21:26:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 21:31:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-29 21:32:51 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-09-29 21:33:13 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-29 21:42:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 21:46:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 21:48:00 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-29 21:48:14 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-29 21:48:35 +0200 | petrichor | (~jez@user/petrichor) (Read error: Connection reset by peer) |
| 2025-09-29 21:50:32 +0200 | dhil | (~dhil@5.151.29.137) (Ping timeout: 240 seconds) |
| 2025-09-29 21:50:42 +0200 | Googulator5 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 21:51:17 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 21:51:37 +0200 | petrichor | (~jez@user/petrichor) petrichor |
| 2025-09-29 21:52:47 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-09-29 21:57:25 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-09-29 21:57:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 22:01:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 22:02:24 +0200 | bgg | (~bgg@2a01:e0a:819:1510:573a:3145:6af7:e234) |
| 2025-09-29 22:08:34 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) peterbecich |
| 2025-09-29 22:12:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 22:16:08 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2025-09-29 22:18:55 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-29 22:19:11 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-09-29 22:19:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 22:23:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 22:27:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 22:27:37 +0200 | peterbecich | (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 264 seconds) |
| 2025-09-29 22:38:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 22:42:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 22:50:25 +0200 | <yin> | ski: this looks interesting |
| 2025-09-29 22:51:00 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-29 22:53:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 22:58:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-29 23:00:36 +0200 | Googulator29 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 23:00:43 +0200 | Googulator5 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 23:05:40 +0200 | Googulator33 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 23:05:40 +0200 | Googulator29 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 23:09:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 23:10:09 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-09-29 23:10:41 +0200 | Googulator9 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 23:10:41 +0200 | Googulator33 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 23:11:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 23:13:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 23:13:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-09-29 23:15:41 +0200 | Googulator66 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) |
| 2025-09-29 23:15:41 +0200 | Googulator9 | (~Googulato@2a01-036d-0106-03fa-f110-0864-c42c-107f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-29 23:19:21 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-29 23:24:35 +0200 | vi6j | (~vi6j@user/vi6j) vi6j |
| 2025-09-29 23:24:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 23:29:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 23:30:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-09-29 23:32:39 +0200 | vi6j | (~vi6j@user/vi6j) () |
| 2025-09-29 23:40:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 23:40:34 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jnncaj) |
| 2025-09-29 23:40:43 +0200 | trickard_ | trickard |
| 2025-09-29 23:44:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-09-29 23:45:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-09-29 23:55:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-09-29 23:57:48 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |