| 2025-07-03 00:00:52 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 00:01:06 +0000 | <ski> | @let newtype Santa a = MkSanta {runSanta :: Santa a -> a} |
| 2025-07-03 00:01:07 +0000 | <lambdabot> | Defined. |
| 2025-07-03 00:01:15 +0000 | <ski> | > let fix f = g `runSanta` g where g = MkSanta (\g -> f (g `runSanta` g)) in take 4 (fix (0 :)) |
| 2025-07-03 00:01:17 +0000 | <lambdabot> | [0,0,0,0] |
| 2025-07-03 00:01:25 +0000 | glguy | (glguy@libera/staff/glguy) glguy |
| 2025-07-03 00:01:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 00:02:16 +0000 | <c_wraith> | So when the value recursion in x happens, it refers to the previously-allocated thunk instead of evaluating f again |
| 2025-07-03 00:03:18 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 00:03:26 +0000 | <c_wraith> | So like (fix (0:)) creates a (:) node that points to itself, instead of pointing to a new (fix (0:)) expression |
| 2025-07-03 00:03:51 +0000 | jespada | (~jespada@r179-25-246-58.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-07-03 00:05:11 +0000 | <c_wraith> | and yes, this is complicated. Best to sit down and draw some pictures. GHC uses graph reduction as its evaluation mechanism. Drawing pictures actually gives you a decent idea how it works. |
| 2025-07-03 00:06:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-03 00:08:00 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 00:08:17 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 00:15:26 +0000 | rat-with-hat | (~rat-with-@24-113-114-97.wavecable.com) (Ping timeout: 272 seconds) |
| 2025-07-03 00:17:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 00:18:21 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 00:18:37 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 00:22:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-03 00:23:41 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 00:23:57 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 00:24:53 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 00:28:37 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 00:32:28 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-03 00:33:02 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 00:33:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 00:36:11 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2025-07-03 00:37:24 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-03 00:40:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-03 00:41:26 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 00:42:55 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-03 00:43:06 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-03 00:45:38 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-03 00:51:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 00:51:40 +0000 | xff0x | (~xff0x@2405:6580:b080:900:d5d3:9c03:a2c:5492) (Ping timeout: 276 seconds) |
| 2025-07-03 00:53:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 00:56:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-07-03 00:56:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-03 00:57:32 +0000 | Square3 | (~Square4@user/square) Square |
| 2025-07-03 01:01:02 +0000 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2025-07-03 01:01:34 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 01:06:27 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 01:06:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 01:08:51 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-03 01:10:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 01:11:34 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-07-03 01:11:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-03 01:14:42 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-03 01:17:18 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds) |
| 2025-07-03 01:18:17 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 01:19:11 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-07-03 01:22:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 01:24:29 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 01:25:35 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 01:27:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-03 01:28:34 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 01:34:55 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 01:36:42 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 01:37:18 +0000 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2025-07-03 01:37:43 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2025-07-03 01:37:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 01:38:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 01:39:50 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-03 01:40:22 +0000 | trickard_ | trickard |
| 2025-07-03 01:42:25 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 01:43:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-03 01:46:01 +0000 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 2025-07-03 01:46:35 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 01:46:52 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 01:50:34 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 01:53:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 01:54:00 +0000 | <monochrom> | A good test of laziness in lists is `take 1` for example. |
| 2025-07-03 01:56:57 +0000 | <c_wraith> | if the list has a length > 1 |
| 2025-07-03 01:58:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-03 01:58:45 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 02:08:09 +0000 | <probie> | > take 1 (42 : reverse [1..]) -- seems lazy to me |
| 2025-07-03 02:08:10 +0000 | <lambdabot> | [42] |
| 2025-07-03 02:08:36 +0000 | <monochrom> | It is lazy to me. |
| 2025-07-03 02:09:41 +0000 | <EvanR> | laziness. You know it when you see it |
| 2025-07-03 02:12:49 +0000 | <probie> | > let lazyishReverse xs = [ys !! n | let ys = reverse xs, n <- zipWith const [0..] xs] in (lazyishReverse [1..5], length (take 42 (lazyishReverse [1..]))) |
| 2025-07-03 02:12:50 +0000 | <lambdabot> | ([5,4,3,2,1],42) |
| 2025-07-03 02:17:28 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 2025-07-03 02:17:33 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 276 seconds) |
| 2025-07-03 02:19:35 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-03 02:20:28 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 02:20:37 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-07-03 02:24:56 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 02:27:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-07-03 02:27:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 02:31:04 +0000 | td_ | (~td@i53870938.versanet.de) (Ping timeout: 260 seconds) |
| 2025-07-03 02:32:24 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-03 02:32:30 +0000 | td_ | (~td@i53870926.versanet.de) td_ |
| 2025-07-03 02:32:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-03 02:36:21 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 02:37:37 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-07-03 02:40:37 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 02:42:37 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-03 02:43:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 02:48:06 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 02:48:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-03 02:51:34 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |
| 2025-07-03 02:53:22 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 02:55:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-03 03:00:03 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 03:00:51 +0000 | kimjetwav | (~user@2607:fea8:25a3:a100:794c:5924:b309:3338) (Read error: Connection reset by peer) |
| 2025-07-03 03:01:22 +0000 | kimjetwav | (~user@2607:fea8:25a3:a100:9a03:8363:4504:2e7) kimjetwav |
| 2025-07-03 03:01:23 +0000 | <c_wraith> | now... find a way to do that that isn't O(n^2) |
| 2025-07-03 03:01:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 03:04:01 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 03:04:15 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-03 03:06:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-03 03:07:49 +0000 | aforemny_ | (~aforemny@2001:9e8:6cd6:3b00:1625:89f0:f9af:ca56) aforemny |
| 2025-07-03 03:08:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 03:09:36 +0000 | aforemny | (~aforemny@i577B12B5.versanet.de) (Ping timeout: 272 seconds) |
| 2025-07-03 03:13:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-03 03:21:09 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Ping timeout: 244 seconds) |
| 2025-07-03 03:21:25 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2025-07-03 03:23:12 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-03 03:24:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 03:25:07 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-03 03:26:07 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-03 03:29:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-03 03:31:24 +0000 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2025-07-03 03:33:15 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 03:36:42 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-03 03:37:33 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 03:39:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 03:40:07 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-07-03 03:40:09 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Client Quit) |
| 2025-07-03 03:41:28 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-07-03 03:45:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-03 03:50:25 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 03:51:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-07-03 03:54:52 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 03:55:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 03:57:17 +0000 | <probie> | > let lazyishLinearReverse xs = go xs (reverse xs) where { go [] _ = []; go (_:ys) ~(z:zs) = z: go ys zs } in (lazyishLinearReverse [1..5], length (take 42 (lazyishLinearReverse [0..]))) |
| 2025-07-03 03:57:18 +0000 | <lambdabot> | ([5,4,3,2,1],42) |
| 2025-07-03 03:57:43 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-07-03 03:58:24 +0000 | wbooze | (~inline@ip-005-146-197-240.um05.pools.vodafone-ip.de) Inline |
| 2025-07-03 03:58:26 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 03:58:29 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 04:00:37 +0000 | <c_wraith> | nice |
| 2025-07-03 04:02:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-03 04:05:14 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 04:05:53 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-03 04:05:53 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 04:05:55 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-07-03 04:09:33 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-03 04:13:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 04:18:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-03 04:24:00 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.6.3) |
| 2025-07-03 04:25:04 +0000 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-07-03 04:26:39 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 04:28:21 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-03 04:29:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 04:32:07 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 04:33:11 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 04:33:28 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-07-03 04:34:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-03 04:36:03 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 04:39:43 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 04:44:38 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 04:45:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 04:45:41 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 04:46:54 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-03 04:47:08 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 04:48:49 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 04:50:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-03 04:51:02 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-03 04:52:05 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 04:55:05 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 04:57:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 05:01:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 05:01:06 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 05:06:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-03 05:08:52 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 05:09:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 05:14:07 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 05:14:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-03 05:21:36 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 05:21:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-03 05:23:42 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 05:25:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 05:30:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-03 05:37:32 +0000 | kuribas` | (~user@ptr-17d51ep9vpquipzlo4q.18120a2.ip6.access.telenet.be) kuribas |
| 2025-07-03 05:40:34 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-07-03 05:40:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 05:47:18 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 05:47:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-03 05:56:29 +0000 | hsw_ | (~hsw@106.104.103.23) hsw |
| 2025-07-03 05:56:49 +0000 | Lears | (~Leary@user/Leary/x-0910699) Leary |
| 2025-07-03 05:56:59 +0000 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Read error: Connection reset by peer) |
| 2025-07-03 05:56:59 +0000 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) (Read error: Connection reset by peer) |
| 2025-07-03 05:56:59 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Read error: Connection reset by peer) |
| 2025-07-03 05:57:02 +0000 | hc | (~hc@mail.hce.li) (Read error: Connection reset by peer) |
| 2025-07-03 05:57:05 +0000 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) |
| 2025-07-03 05:57:09 +0000 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 2025-07-03 05:57:16 +0000 | hc | (~hc@mail.hce.li) hc |
| 2025-07-03 05:57:36 +0000 | a_fantom | (~fantom@33be818f.skybroadband.com) |
| 2025-07-03 05:57:42 +0000 | FANTOM | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-07-03 05:57:42 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 244 seconds) |
| 2025-07-03 05:58:13 +0000 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 244 seconds) |
| 2025-07-03 05:58:44 +0000 | hsw | (~hsw@106.104.103.23) (Ping timeout: 244 seconds) |
| 2025-07-03 05:58:47 +0000 | kritzefitz | (~kritzefit@debian/kritzefitz) kritzefitz |
| 2025-07-03 05:58:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 06:01:49 +0000 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 2025-07-03 06:03:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-03 06:07:44 +0000 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2025-07-03 06:08:10 +0000 | mud | (~mud@user/kadoban) kadoban |
| 2025-07-03 06:10:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 06:15:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-03 06:19:45 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 06:20:26 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-07-03 06:23:45 +0000 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 248 seconds) |
| 2025-07-03 06:24:46 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-07-03 06:25:29 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-03 06:25:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 06:28:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-03 06:32:34 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-03 06:32:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-03 06:40:47 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) |
| 2025-07-03 06:44:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 06:49:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-07-03 06:49:24 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-07-03 06:50:58 +0000 | rat-with-hat | (~rat-with-@24-113-114-97.wavecable.com) |
| 2025-07-03 06:51:49 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 06:52:09 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 06:59:34 +0000 | hsw_ | (~hsw@106.104.103.23) (Quit: Leaving) |
| 2025-07-03 06:59:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 06:59:53 +0000 | hsw | (~hsw@106.104.103.23) hsw |
| 2025-07-03 07:00:03 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-03 07:00:42 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-07-03 07:03:17 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 07:04:40 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 07:05:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-03 07:11:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 07:14:23 +0000 | wbooze | (~inline@ip-005-146-197-240.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2025-07-03 07:16:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-03 07:21:43 +0000 | Square | (~Square@user/square) Square |
| 2025-07-03 07:22:43 +0000 | wbooze | (~inline@ip-005-146-197-196.um05.pools.vodafone-ip.de) Inline |
| 2025-07-03 07:23:40 +0000 | trickard_ | trickard |
| 2025-07-03 07:25:00 +0000 | <[exa]> | is there some good clean way to make an applicative optparser that can guess something like "file format" from suffix of an option or take a hint, and fail still in the parsing phase if it decides that the file format is not known? |
| 2025-07-03 07:25:39 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 276 seconds) |
| 2025-07-03 07:26:22 +0000 | <[exa]> | e.g. as with pandoc: `-o something.md` knows I want markdown, `-o something -t markdown` knows the format to be markdown because I told it so, but just `-o something` should die |
| 2025-07-03 07:26:50 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-07-03 07:28:56 +0000 | acidjnk | (~acidjnk@p200300d6e70b6621f429b1307fbc5ebd.dip0.t-ipconnect.de) acidjnk |
| 2025-07-03 07:31:03 +0000 | kuribas` | (~user@ptr-17d51ep9vpquipzlo4q.18120a2.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-07-03 07:31:10 +0000 | shaeto | (~Shaeto@94.25.234.117) |
| 2025-07-03 07:31:34 +0000 | kuribas | (~user@ptr-17d51ep9vpquipzlo4q.18120a2.ip6.access.telenet.be) kuribas |
| 2025-07-03 07:34:24 +0000 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 260 seconds) |
| 2025-07-03 07:39:46 +0000 | Guest54 | (~Guest54@67.218.116.66) |
| 2025-07-03 07:45:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-07-03 07:48:22 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-03 07:49:50 +0000 | <haskellbridge> | <Axman6> /me another day, another failed attempt to understand python package management and feeling like topping oneself would be an easier option |
| 2025-07-03 07:55:19 +0000 | Guest54 | (~Guest54@67.218.116.66) (Quit: Client closed) |
| 2025-07-03 07:56:19 +0000 | <[exa]> | Axman6: just don't |
| 2025-07-03 07:57:43 +0000 | <[exa]> | the ecosystem is so dragged into all directions (and legacy) and so shaped to just somehow survive everything that has been thrown at it that there's nothing to really understand, just tech debt |
| 2025-07-03 07:58:54 +0000 | <tomsmeding> | [exa]: that sounds like wanting to do control flow in the applicative based on values inside |
| 2025-07-03 07:59:01 +0000 | <tomsmeding> | i.e. the thing that you can't do in an applicative but can do in a monad |
| 2025-07-03 07:59:08 +0000 | <kuribas> | Axman6: Did you try "uv"? |
| 2025-07-03 07:59:15 +0000 | <[exa]> | tomsmeding: yeah trying to dodge precisely that |
| 2025-07-03 07:59:46 +0000 | <tomsmeding> | at some point there's a primitive parser on strings that can do anything, if you could hook in there it could work |
| 2025-07-03 08:00:08 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 08:00:09 +0000 | <kuribas> | I didn't follow the whole discussion, but I often find an applicative wrapped in a monad handy... |
| 2025-07-03 08:00:55 +0000 | <[exa]> | currently I found I can do `option (eitherReader guessSuffix)` and fall back to it from `MyVal <$> option fmt (long "format") <*> strOption (long "input")` |
| 2025-07-03 08:03:02 +0000 | Lears | Leary |
| 2025-07-03 08:03:21 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-07-03 08:04:52 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 08:05:16 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-03 08:06:16 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-03 08:08:25 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-07-03 08:09:49 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-03 08:21:48 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.5.1) |
| 2025-07-03 08:22:15 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 08:23:11 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-07-03 08:25:50 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 08:26:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-07-03 08:30:24 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-03 08:30:50 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Remote host closed the connection) |
| 2025-07-03 08:30:52 +0000 | <[exa]> | ok looks like it either doesn't backtrack or failover properly |
| 2025-07-03 08:32:48 +0000 | <[exa]> | of I do (schematically): `(MyVal <$> optionA <*> optionB) <|> optionA_that_guesses_whole_MyVal` and only supply option A, it complains that it's missing option B |
| 2025-07-03 08:33:20 +0000 | <[exa]> | and if I flip the alternatives, it generally ignores the optionB and uses it only if there |
| 2025-07-03 08:33:22 +0000 | <[exa]> | there |
| 2025-07-03 08:33:33 +0000 | <[exa]> | (whoops my keyboard is acting funny) |
| 2025-07-03 08:34:05 +0000 | <[exa]> | ...only if the guessy optionA fails to guess |
| 2025-07-03 08:34:20 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-07-03 08:39:26 +0000 | <__monty__> | [exa]: Problem is that the left parser doesn't backtrack, so there's no recovery. Wrapping the left side in `try` should work. |
| 2025-07-03 08:40:03 +0000 | <[exa]> | there's try? |
| 2025-07-03 08:40:38 +0000 | <[exa]> | maybe I fail at finding stuff |
| 2025-07-03 08:40:46 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-03 08:41:03 +0000 | <__monty__> | @hoogle try |
| 2025-07-03 08:41:03 +0000 | <[exa]> | I think there's none |
| 2025-07-03 08:41:03 +0000 | <lambdabot> | Control.Exception try :: Exception e => IO a -> IO (Either e a) |
| 2025-07-03 08:41:03 +0000 | <lambdabot> | Control.Exception.Base try :: Exception e => IO a -> IO (Either e a) |
| 2025-07-03 08:41:03 +0000 | <lambdabot> | System.Directory.Internal.Prelude try :: Exception e => IO a -> IO (Either e a) |
| 2025-07-03 08:41:11 +0000 | <__monty__> | Well, it's none of those. |
| 2025-07-03 08:41:24 +0000 | <[exa]> | anyway the issue is that the left parser actually fails, but it doesn't even try the option after <|> |
| 2025-07-03 08:42:33 +0000 | <__monty__> | The Megaparsec docs explain, https://hackage.haskell.org/package/megaparsec-9.3.0/docs/Text-Megaparsec.html#v:try |
| 2025-07-03 08:43:11 +0000 | <__monty__> | The left parser doesn't fail to consume any input whatsoever, so the alternative can never be tried. |
| 2025-07-03 08:43:19 +0000 | <tomsmeding> | __monty__: this is optparse-applicative |
| 2025-07-03 08:43:56 +0000 | <tomsmeding> | in a monadic parser this whole issue doesn't arise :) |
| 2025-07-03 08:45:18 +0000 | <__monty__> | Oh, apologies for the confusion then. |
| 2025-07-03 08:45:21 +0000 | <tomsmeding> | [exa]: this has prefBacktrack though https://hackage-content.haskell.org/package/optparse-applicative-0.19.0.0/docs/Options-Applicative… |
| 2025-07-03 08:45:55 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-03 08:46:01 +0000 | tomsmeding | wonders why docs are suddenly served from 'hackage-content' instead of 'hackage' |
| 2025-07-03 08:52:37 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-07-03 08:52:53 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 08:54:25 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-07-03 09:02:19 +0000 | <tomsmeding> | there's no functionality in HLS to automatically case-split on a variable, right? |
| 2025-07-03 09:02:29 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-07-03 09:03:26 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 09:03:39 +0000 | Square | (~Square@user/square) (Ping timeout: 265 seconds) |
| 2025-07-03 09:04:05 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-03 09:05:21 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 09:06:20 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 09:08:00 +0000 | <[exa]> | tomsmeding: that prefBacktrack is only for subparsers (which generally are hidden behind a "command"-style argument) |
| 2025-07-03 09:08:07 +0000 | <tomsmeding> | ah |
| 2025-07-03 09:08:20 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-03 09:15:21 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-03 09:18:59 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-07-03 09:19:52 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 09:22:44 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 09:24:50 +0000 | <[exa]> | yeah looks like there's no way to do that, I thought that the option "readers" would fail on the applicative&alternative level but they're hard failures actually |
| 2025-07-03 09:27:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 09:29:22 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-07-03 09:32:56 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 09:34:05 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-07-03 09:35:35 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 09:38:26 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 09:38:33 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-07-03 09:41:37 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-03 09:44:33 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-07-03 09:50:02 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 09:53:25 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 09:54:59 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 260 seconds) |
| 2025-07-03 09:55:04 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 09:55:20 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
| 2025-07-03 09:57:53 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 09:59:02 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-03 09:59:08 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-07-03 09:59:56 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) |
| 2025-07-03 10:14:59 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 10:16:02 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-07-03 10:16:19 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
| 2025-07-03 10:17:33 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-03 10:17:47 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 10:20:57 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 10:21:30 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-07-03 10:21:46 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-07-03 10:25:20 +0000 | rat-with-hat | (~rat-with-@24-113-114-97.wavecable.com) (Ping timeout: 272 seconds) |
| 2025-07-03 10:34:16 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 10:34:50 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2025-07-03 10:35:49 +0000 | mange | (~mange@user/mange) mange |
| 2025-07-03 10:35:59 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-03 10:37:28 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 10:43:30 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 10:43:50 +0000 | trickard_ | trickard |
| 2025-07-03 10:45:10 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-03 10:48:36 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 11:00:04 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-03 11:01:36 +0000 | jespada | (~jespada@r179-25-246-58.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-03 11:02:13 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-07-03 11:10:13 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-07-03 11:11:28 +0000 | comonad | (~comonad@p54a0317c.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev) |
| 2025-07-03 11:12:34 +0000 | kuribas | (~user@ptr-17d51ep9vpquipzlo4q.18120a2.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-07-03 11:13:18 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-03 11:25:28 +0000 | xff0x | (~xff0x@ai083248.d.east.v6connect.net) |
| 2025-07-03 11:27:45 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-03 11:30:33 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 11:34:40 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 11:36:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 11:41:32 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 11:45:55 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 11:50:30 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 12:03:50 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-03 12:05:37 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 12:08:42 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 12:09:03 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2025-07-03 12:16:03 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 12:16:09 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-03 12:19:09 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 12:23:11 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-03 12:23:57 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 12:26:27 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-03 12:27:38 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 12:30:41 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-03 12:34:04 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) |
| 2025-07-03 12:36:13 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 12:36:32 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 12:41:04 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 12:42:18 +0000 | jespada | (~jespada@r179-25-246-58.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-03 12:44:15 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 12:44:29 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-07-03 12:44:49 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-03 12:45:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 12:45:52 +0000 | jespada | (~jespada@r179-25-246-58.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-03 12:46:34 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 12:47:38 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-03 12:56:03 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-07-03 12:56:27 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 12:59:06 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-03 12:59:33 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 13:01:54 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-03 13:02:37 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 13:05:53 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-03 13:06:36 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 13:09:23 +0000 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2025-07-03 13:09:49 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-07-03 13:12:23 +0000 | trickard_ | trickard |
| 2025-07-03 13:15:12 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 13:15:39 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-07-03 13:16:14 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-07-03 13:16:34 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 13:19:46 +0000 | shaeto | (~Shaeto@94.25.234.117) (Ping timeout: 248 seconds) |
| 2025-07-03 13:20:02 +0000 | symdrome | (~user@2804:14d:5c56:b187:f2aa:9432:41bf:deb4) symdrome |
| 2025-07-03 13:21:26 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-07-03 13:22:10 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-03 13:22:36 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 13:23:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 13:24:33 +0000 | symdrome | (~user@2804:14d:5c56:b187:f2aa:9432:41bf:deb4) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1)) |
| 2025-07-03 13:24:51 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 13:26:42 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 13:29:37 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-03 13:31:29 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 13:31:51 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-03 13:34:50 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 13:35:48 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 13:37:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 13:41:21 +0000 | comonad | (~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) |
| 2025-07-03 13:41:24 +0000 | comonad | (~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) (Client Quit) |
| 2025-07-03 13:41:43 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 13:45:37 +0000 | comonad | (~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) |
| 2025-07-03 13:46:15 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 13:46:17 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-07-03 13:47:01 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-07-03 13:49:52 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 13:56:04 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-07-03 13:56:40 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 14:06:11 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) |
| 2025-07-03 14:07:07 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-07-03 14:07:44 +0000 | puke | (~puke@user/puke) puke |
| 2025-07-03 14:11:45 +0000 | trickard_ | trickard |
| 2025-07-03 14:18:32 +0000 | m1dnight | (~m1dnight@78-20-51-206.access.telenet.be) m1dnight |
| 2025-07-03 14:18:32 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-07-03 14:18:45 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-03 14:19:42 +0000 | jespada | (~jespada@r179-25-246-58.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 2025-07-03 14:21:03 +0000 | prdak1 | prdak |
| 2025-07-03 14:22:16 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 14:22:26 +0000 | jespada | (~jespada@r179-24-27-93.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-03 14:24:19 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 14:28:04 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-07-03 14:30:37 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 14:33:02 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-03 14:33:45 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 14:37:50 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-07-03 14:38:15 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 14:39:40 +0000 | chewybread | (~chewybrea@c-71-195-88-239.hsd1.pa.comcast.net) |
| 2025-07-03 14:39:40 +0000 | chewybread | (~chewybrea@c-71-195-88-239.hsd1.pa.comcast.net) (Changing host) |
| 2025-07-03 14:39:40 +0000 | chewybread | (~chewybrea@user/chewybread) chewybread |
| 2025-07-03 14:40:13 +0000 | hseg | (~gesh@46.120.20.122) |
| 2025-07-03 14:41:41 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-03 14:45:22 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 14:46:45 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-03 14:49:42 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-03 14:50:14 +0000 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-07-03 14:51:57 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-07-03 14:53:24 +0000 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-07-03 14:54:12 +0000 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-07-03 14:54:12 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-03 14:57:03 +0000 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2025-07-03 14:58:27 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 15:00:38 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 15:04:21 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) |
| 2025-07-03 15:04:44 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 15:10:06 +0000 | <[exa]> | btw re that applicative issue from above, found that optparse supports ParserM, oneM and fromM which one can use to stick in a monad (with limited access to stuff) |
| 2025-07-03 15:10:10 +0000 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) SlackCoder |
| 2025-07-03 15:10:58 +0000 | fun-safe-math | (~fun-safe-@97.115.254.112) (Ping timeout: 272 seconds) |
| 2025-07-03 15:11:22 +0000 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) (Remote host closed the connection) |
| 2025-07-03 15:11:47 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 15:11:50 +0000 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) SlackCoder |
| 2025-07-03 15:12:04 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 15:13:21 +0000 | rat-with-hat | (~rat-with-@24-113-114-97.wavecable.com) |
| 2025-07-03 15:15:25 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-07-03 15:17:09 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 15:18:34 +0000 | <__monty__> | What's the issue that doesn't arise in a monadic parser actually? Because I often end up needing to resort to `try`. |
| 2025-07-03 15:20:28 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-03 15:21:17 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 15:22:23 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-03 15:25:32 +0000 | TMA | (tma@twin.jikos.cz) (Ping timeout: 272 seconds) |
| 2025-07-03 15:28:49 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-07-03 15:40:55 +0000 | Square | (~Square@user/square) Square |
| 2025-07-03 15:41:25 +0000 | <[exa]> | __monty__: you can produce a value-dependent error manually, though indirectly |
| 2025-07-03 15:43:52 +0000 | Frostillicus | (~Frostilli@mobile-166-171-186-49.mycingular.net) |
| 2025-07-03 15:44:56 +0000 | <[exa]> | __monty__: alpha-quality half-abstracted attempt here: https://paste.tomsmeding.com/hTg5htdS |
| 2025-07-03 15:47:20 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 15:47:28 +0000 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) (Ping timeout: 245 seconds) |
| 2025-07-03 15:47:39 +0000 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-07-03 15:48:05 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) |
| 2025-07-03 15:51:02 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 15:51:13 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-07-03 15:51:14 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-07-03 15:53:39 +0000 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) SlackCoder |
| 2025-07-03 15:55:46 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-07-03 15:57:47 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 15:58:35 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-07-03 15:58:41 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-03 16:00:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-07-03 16:04:13 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-07-03 16:06:46 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-03 16:09:11 +0000 | j1n37 | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-07-03 16:11:11 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-07-03 16:11:27 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 16:15:17 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-07-03 16:15:34 +0000 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2025-07-03 16:16:05 +0000 | puke | (~puke@user/puke) puke |
| 2025-07-03 16:18:15 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-03 16:19:40 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-07-03 16:20:19 +0000 | hseg | (~gesh@46.120.20.122) (Quit: WeeChat 4.6.3) |
| 2025-07-03 16:21:04 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-07-03 16:21:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 16:22:42 +0000 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-03 16:23:36 +0000 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-07-03 16:26:26 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-03 16:26:59 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-07-03 16:27:35 +0000 | chewybread | (~chewybrea@user/chewybread) (Remote host closed the connection) |
| 2025-07-03 16:28:31 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 16:28:33 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-07-03 16:30:34 +0000 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 16:31:21 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-07-03 16:31:37 +0000 | puke | (~puke@user/puke) puke |
| 2025-07-03 16:33:03 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 16:35:53 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) |
| 2025-07-03 16:36:18 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 16:37:10 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 16:37:25 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 16:40:28 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 16:40:44 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 16:43:20 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-03 16:44:28 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 16:48:40 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 16:49:38 +0000 | Frostillicus | (~Frostilli@mobile-166-171-186-49.mycingular.net) (Read error: Connection reset by peer) |
| 2025-07-03 16:52:20 +0000 | Frostillicus | (~Frostilli@2600:380:595f:2a15:d4d7:6087:6432:7e52) |
| 2025-07-03 16:52:29 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-07-03 16:52:56 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 16:55:16 +0000 | Frostillicus | (~Frostilli@2600:380:595f:2a15:d4d7:6087:6432:7e52) (Read error: Connection reset by peer) |
| 2025-07-03 16:56:05 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-03 16:56:20 +0000 | qqe | (~qqq@185.54.20.5) |
| 2025-07-03 17:04:51 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-03 17:05:43 +0000 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 2025-07-03 17:06:18 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-07-03 17:06:19 +0000 | ljdarj1 | ljdarj |
| 2025-07-03 17:07:25 +0000 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) |
| 2025-07-03 17:13:39 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 2025-07-03 17:15:52 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-07-03 17:17:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 17:24:27 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 17:24:44 +0000 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) ft |
| 2025-07-03 17:28:41 +0000 | SlackCoder | (~SlackCode@remote.nationalgallery.org.ky) (Quit: Leaving) |
| 2025-07-03 17:28:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 17:32:16 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-03 17:33:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-03 17:35:14 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 17:44:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 17:46:41 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 17:48:18 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-07-03 17:49:59 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-03 17:50:20 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) |
| 2025-07-03 17:51:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-03 17:52:09 +0000 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-07-03 17:57:00 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 17:57:57 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-03 17:59:16 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-07-03 18:00:30 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 18:02:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 18:02:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-03 18:07:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-03 18:10:19 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-03 18:12:09 +0000 | acidjnk | (~acidjnk@p200300d6e70b6621f429b1307fbc5ebd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-07-03 18:13:50 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-03 18:14:38 +0000 | acidjnk | (~acidjnk@p200300d6e70b6620bcbc3b811e0d7840.dip0.t-ipconnect.de) acidjnk |
| 2025-07-03 18:16:17 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) |
| 2025-07-03 18:22:46 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 18:24:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 18:26:30 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 18:29:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-03 18:30:14 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-03 18:31:19 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) ensyde |
| 2025-07-03 18:32:29 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 18:32:46 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 18:38:19 +0000 | ensyde | (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 276 seconds) |
| 2025-07-03 18:39:45 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 18:39:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 18:42:38 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 18:44:09 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 18:44:52 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) (Quit: Client closed) |
| 2025-07-03 18:45:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-03 18:48:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-03 18:49:32 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 18:50:23 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Client Quit) |
| 2025-07-03 18:51:05 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 18:51:10 +0000 | <tomsmeding> | __monty__: the issue that doesn't arise is that you cannot resort to try |
| 2025-07-03 18:51:34 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 18:51:45 +0000 | <tomsmeding> | in an applicative computation `f a`, the "context" part of the computation (the structure in `f`) cannot depend on the values inside (the `a`) |
| 2025-07-03 18:52:09 +0000 | <tomsmeding> | [exa] wanted to take a different parser path / throw errors depending on a particular value parsed in an argument |
| 2025-07-03 18:52:24 +0000 | <tomsmeding> | in a monadic parser you can just do this, completely naturally |
| 2025-07-03 18:52:30 +0000 | <tomsmeding> | in an applicative parser you're suddenly in a snag |
| 2025-07-03 18:52:33 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 18:53:00 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 18:53:09 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 18:53:31 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 18:55:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 18:57:39 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-03 19:00:05 +0000 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-03 19:00:21 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-07-03 19:00:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-03 19:00:45 +0000 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-07-03 19:00:53 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-03 19:02:09 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-07-03 19:02:10 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 19:02:29 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 19:03:30 +0000 | Everything | (~Everythin@94.153.23.111) Everything |
| 2025-07-03 19:03:31 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 19:03:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-03 19:06:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-07-03 19:07:50 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 19:08:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-03 19:09:54 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 19:11:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 19:13:32 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-03 19:14:45 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
| 2025-07-03 19:15:01 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 19:16:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-03 19:17:11 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 19:21:31 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 19:22:43 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-07-03 19:27:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 19:28:22 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 19:28:36 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-03 19:31:43 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 19:32:26 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) |
| 2025-07-03 19:32:36 +0000 | <r-sta> | do we have time for a discussion? |
| 2025-07-03 19:34:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-03 19:34:23 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 19:34:26 +0000 | <r-sta> | quite enjoying sound synthesis tunes if everyone is afk https://www.youtube.com/watch?v=PDdWjRwMU2k |
| 2025-07-03 19:36:50 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 19:38:44 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-03 19:39:25 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-07-03 19:39:52 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 19:43:04 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 19:44:55 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 19:47:54 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 19:48:55 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 19:51:16 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-03 19:52:29 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) (Quit: Client closed) |
| 2025-07-03 19:53:02 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-07-03 19:53:07 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 19:54:10 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 19:54:35 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) |
| 2025-07-03 19:54:36 +0000 | patri | (~patri@user/patri) (Ping timeout: 252 seconds) |
| 2025-07-03 19:54:47 +0000 | patri | (~patri@user/patri) patri |
| 2025-07-03 19:56:28 +0000 | sprotte24 | (~sprotte24@p200300d16f07b70069ef01bc799a406e.dip0.t-ipconnect.de) |
| 2025-07-03 19:57:32 +0000 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-07-03 19:58:32 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 20:05:29 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 20:07:39 +0000 | qqe | (~qqq@185.54.20.5) (Quit: Lost terminal) |
| 2025-07-03 20:08:01 +0000 | immibis | (foobar@social.immibis.com) immibis |
| 2025-07-03 20:09:39 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 20:09:41 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-03 20:13:26 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 20:18:06 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 20:18:53 +0000 | <__monty__> | tomsmeding: But you can still use `try` in the specific case where you can go from more to less specific, no? |
| 2025-07-03 20:20:15 +0000 | <tomsmeding> | __monty__: in an applicative-only context, you fundamentally cannot change applicative-level control flow based on values inside |
| 2025-07-03 20:20:42 +0000 | <__monty__> | But alternative isn't quite applicative, is it? |
| 2025-07-03 20:20:51 +0000 | <tomsmeding> | the only "feedback" you have from the value level into the applicative level is from primitive operations |
| 2025-07-03 20:21:30 +0000 | <tomsmeding> | if you have a primitive that e.g. parses a unit of text and produces some kind of success/failure result in the applicative, then you can do things like Alternative to it to get control flow |
| 2025-07-03 20:21:57 +0000 | <__monty__> | The original question was about alternative, no? |
| 2025-07-03 20:22:06 +0000 | <tomsmeding> | [exa]'s problem with optparse-applicative was that they wanted to change what flags were accepted (I think) based on the value of an option argument |
| 2025-07-03 20:22:35 +0000 | <tomsmeding> | since optparse-applicative only gives you primitive parsers that parse full arguments, regardless of what text is in them, what they wanted was impossible |
| 2025-07-03 20:22:50 +0000 | <tomsmeding> | (though it turned out that there was some monadic loophole (fromM?)) |
| 2025-07-03 20:23:00 +0000 | <tomsmeding> | alternative does not change what I just said |
| 2025-07-03 20:23:08 +0000 | <tomsmeding> | alternative branches based on information at the applicative level |
| 2025-07-03 20:23:13 +0000 | <tomsmeding> | you first need to get the information to that level |
| 2025-07-03 20:23:27 +0000 | <tomsmeding> | with a Monad, (>>=) does this for you trivially |
| 2025-07-03 20:23:50 +0000 | <tomsmeding> | with an Applicative, neither pure nor (<*>) does this for you, so it will have to be by primitive operations in the particular applicative that you're using |
| 2025-07-03 20:24:10 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 20:24:25 +0000 | <tomsmeding> | my argument does not conclude that you can't do this in _any_ applicative, but that _just_ Applicative and Alternative is not enough |
| 2025-07-03 20:27:39 +0000 | <tomsmeding> | this reasoning reminds me of something in this channel a few weeks back: someone asked how to get an SqlExpr (Value (Maybe a)) from an SqlExpr (Value a) in esqueleto |
| 2025-07-03 20:28:29 +0000 | <tomsmeding> | and they were asking how to contort 'fmap' to do this |
| 2025-07-03 20:28:55 +0000 | <tomsmeding> | despite not having ever looked at the esqueleto docs, seeing "SqlExpr" (and some other hints that they dropped, iirc) made me realise that this is probably an embedded DSL, meaning that fmap is not going to do anything helpful, so it would have to be some kind of primitive combinator |
| 2025-07-03 20:29:04 +0000 | <tomsmeding> | and indeed there was a function called 'just' right there |
| 2025-07-03 20:29:39 +0000 | <tomsmeding> | this is not to brag or anything, just me realising that reasoning about expressive power of typeclasses is useful :) |
| 2025-07-03 20:29:48 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 20:32:49 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 20:33:05 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 20:34:59 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 20:38:06 +0000 | Everything | (~Everythin@94.153.23.111) (Quit: leaving) |
| 2025-07-03 20:44:17 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 20:48:55 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-03 20:52:04 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-07-03 20:52:08 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 20:52:42 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) |
| 2025-07-03 20:57:02 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) MaybeMonad |
| 2025-07-03 20:57:14 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) (Client Quit) |
| 2025-07-03 20:57:28 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) MaybeMonad |
| 2025-07-03 20:58:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 21:00:01 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 21:03:42 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 21:03:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-03 21:06:48 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 21:08:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-03 21:10:02 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-07-03 21:10:20 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-03 21:10:43 +0000 | ii8 | (~ii8@45.63.97.131) ii8 |
| 2025-07-03 21:13:11 +0000 | <ii8> | Hello, how do I tell stack to set some options when calling c2hs, specifically --cppopts. glib is a dependency of the package I'm trying to build and it doesn't work because _Noreturn isn't recognised by c2hs and I'd like to workaround it by setting -D_Noreturn= |
| 2025-07-03 21:13:14 +0000 | MaybeMonad | (~MaybeMona@user/MaybeMonad) (Ping timeout: 272 seconds) |
| 2025-07-03 21:14:03 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 21:14:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 21:14:40 +0000 | <ii8> | It's the same error as this: https://github.com/gtk2hs/gtk2hs/issues/262 |
| 2025-07-03 21:19:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-03 21:21:21 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 21:22:41 +0000 | jespada | (~jespada@r179-24-27-93.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-03 21:24:17 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 21:25:49 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 21:28:09 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 21:28:26 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 21:30:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 21:33:45 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 21:35:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-03 21:37:15 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 21:37:40 +0000 | mesaoptimizer | (~mesa@user/PapuaHardyNet) (Remote host closed the connection) |
| 2025-07-03 21:38:29 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 21:38:45 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 21:39:05 +0000 | <ii8> | It's the same error as this: https://github.com/gtk2hs/gtk2hs/issues/262 |
| 2025-07-03 21:39:09 +0000 | <ii8> | whoops sry |
| 2025-07-03 21:42:07 +0000 | mesaoptimizer | (~mesa@user/PapuaHardyNet) PapuaHardyNet |
| 2025-07-03 21:46:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 21:46:54 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2025-07-03 21:47:25 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-07-03 21:50:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-03 21:51:22 +0000 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-07-03 21:51:26 +0000 | <geekosaur> | docker upgrade |
| 2025-07-03 21:52:40 +0000 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-07-03 21:52:40 +0000 | ChanServ | +v haskellbridge |
| 2025-07-03 21:56:22 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-03 22:00:00 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-07-03 22:00:28 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-07-03 22:01:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 22:03:09 +0000 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-07-03 22:03:27 +0000 | sprotte24 | (~sprotte24@p200300d16f07b70069ef01bc799a406e.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-07-03 22:04:23 +0000 | tromp | (~textual@2001:1c00:3487:1b00:9da2:b619:bd71:a1b5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-03 22:06:05 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-07-03 22:08:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-03 22:09:35 +0000 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-07-03 22:09:43 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-07-03 22:10:27 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-03 22:16:49 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-03 22:17:03 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 22:18:19 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 245 seconds) |
| 2025-07-03 22:19:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 22:21:39 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-07-03 22:22:14 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 2025-07-03 22:24:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-03 22:25:59 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-03 22:30:05 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 22:33:49 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 22:34:05 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 22:35:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 22:36:41 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) |
| 2025-07-03 22:37:58 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2025-07-03 22:39:48 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 22:40:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-03 22:40:49 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) (Client Quit) |
| 2025-07-03 22:40:55 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 22:43:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-03 22:47:15 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) |
| 2025-07-03 22:49:13 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 22:50:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 22:52:43 +0000 | r-sta | (~r-sta@cpc142694-benw13-2-0-cust901.16-2.cable.virginm.net) (Quit: Client closed) |
| 2025-07-03 22:55:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-03 22:55:22 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 22:56:14 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 22:57:13 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 23:00:15 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 23:01:57 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 23:05:07 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 23:05:34 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 23:06:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 23:06:57 +0000 | xff0x | (~xff0x@ai083248.d.east.v6connect.net) (Ping timeout: 248 seconds) |
| 2025-07-03 23:09:06 +0000 | xff0x | (~xff0x@2405:6580:b080:900:efe2:6b13:ea54:26e7) |
| 2025-07-03 23:10:57 +0000 | rat-with-hat | (~rat-with-@24-113-114-97.wavecable.com) (Ping timeout: 252 seconds) |
| 2025-07-03 23:11:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-03 23:11:19 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 23:11:45 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2025-07-03 23:12:45 +0000 | rat-with-hat | (~rat-with-@148.sub-174-204-69.myvzw.com) |
| 2025-07-03 23:20:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 23:21:21 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 23:21:48 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 23:23:35 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-03 23:23:48 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 23:24:25 +0000 | trickard_ | trickard |
| 2025-07-03 23:24:48 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 23:25:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-03 23:25:30 +0000 | rat-with-hat | (~rat-with-@148.sub-174-204-69.myvzw.com) (Ping timeout: 244 seconds) |
| 2025-07-03 23:26:16 +0000 | acidjnk | (~acidjnk@p200300d6e70b6620bcbc3b811e0d7840.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-07-03 23:27:32 +0000 | rat-with-hat | (~rat-with-@24-113-114-97.wavecable.com) |
| 2025-07-03 23:28:13 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-03 23:30:01 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 23:30:13 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2025-07-03 23:30:30 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-07-03 23:32:08 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-03 23:32:11 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 23:34:36 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 23:35:20 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 23:36:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 23:36:07 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 23:37:25 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-07-03 23:39:15 +0000 | ttybitnik | (~ttybitnik@user/wolper) (Quit: "Até mais") |
| 2025-07-03 23:39:19 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 23:40:29 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-07-03 23:40:40 +0000 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-03 23:41:56 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 23:42:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-03 23:44:50 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 23:45:11 +0000 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-07-03 23:48:06 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 23:51:22 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-07-03 23:54:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-03 23:54:09 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2025-07-03 23:54:25 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-07-03 23:55:50 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-07-03 23:58:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |