| 2025-05-20 00:04:32 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-20 00:04:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-20 00:07:29 +0200 | <TMA> | ncf: Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo. |
| 2025-05-20 00:08:17 +0200 | <spew> | does not parse |
| 2025-05-20 00:09:03 +0200 | <TMA> | it reportedly does: https://en.wikipedia.org/wiki/Buffalo_buffalo_Buffalo_buffalo_buffalo_buffalo_Buffalo_buffalo |
| 2025-05-20 00:09:29 +0200 | <EvanR> | seems right https://paste.tomsmeding.com/hvz9f6Lt |
| 2025-05-20 00:10:38 +0200 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 252 seconds) |
| 2025-05-20 00:11:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 00:11:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 00:14:39 +0200 | <sm> | geekosaur, I don't see the original sender's nick mentioned in replies |
| 2025-05-20 00:14:54 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-20 00:15:08 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-20 00:15:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 00:17:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 00:17:42 +0200 | <haskellbridge> | <geekosaur> sm: Testing |
| 2025-05-20 00:17:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 00:17:57 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-20 00:17:59 +0200 | <geekosaur> | worked there |
| 2025-05-20 00:18:22 +0200 | <haskellbridge> | <sm> geekosaur: testing ordinary reply from matrix |
| 2025-05-20 00:18:34 +0200 | <haskellbridge> | <sm> geekosaur: testing threaded reply from matrix |
| 2025-05-20 00:18:58 +0200 | <sm> | looks good! I must be confused |
| 2025-05-20 00:19:38 +0200 | <haskellbridge> | <sm> sm: ordinary reply to myself |
| 2025-05-20 00:20:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-20 00:20:52 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-20 00:21:15 +0200 | <sm> | well I am confused, it seemed to not do it for my earlier " they agree, same max heap..." and "...How about this regular reply" replies. But it'll probably become clear |
| 2025-05-20 00:23:50 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-05-20 00:23:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-20 00:24:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 00:24:41 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-20 00:28:29 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2025-05-20 00:33:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 00:37:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-20 00:38:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-20 00:39:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 00:39:37 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-20 00:39:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 00:40:05 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) |
| 2025-05-20 00:48:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 00:53:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 00:53:44 +0200 | <haskellbridge> | <sm> https://learnxinyminutes.com/haskell is a great intro that could use some love |
| 2025-05-20 00:53:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-20 00:54:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 00:56:50 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-20 00:56:51 +0200 | Natch | (~natch@c-92-34-15-120.bbcust.telenor.se) Natch |
| 2025-05-20 00:57:08 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-20 01:03:14 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-20 01:04:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 01:04:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 01:04:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 01:05:49 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-20 01:09:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-20 01:11:45 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f475558ed43197b6fbb.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-20 01:17:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-20 01:18:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 01:20:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 01:22:29 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-20 01:23:28 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-20 01:23:41 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) |
| 2025-05-20 01:24:51 +0200 | <haskellbridge> | <sm> it's the only haskell doc with many translations AFAIK |
| 2025-05-20 01:25:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-20 01:25:12 +0200 | <haskellbridge> | <sm> (11 languages) |
| 2025-05-20 01:26:22 +0200 | poscat0x04 | (~poscat@user/poscat) (Quit: Bye) |
| 2025-05-20 01:26:37 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-05-20 01:32:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-20 01:33:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 01:36:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 01:41:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-20 01:45:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 01:46:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 01:46:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 01:50:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-20 01:50:54 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 01:51:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-20 01:53:26 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-20 01:58:42 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-20 02:00:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 02:02:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 02:03:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 02:04:33 +0200 | jespada | (~jespada@r186-49-242-255.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-05-20 02:05:13 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-20 02:06:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-20 02:10:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 02:10:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 02:14:05 +0200 | euleritian | (~euleritia@dynamic-176-006-144-129.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-20 02:14:23 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-20 02:16:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 02:16:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 02:17:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 02:18:08 +0200 | mange | (~user@user/mange) mange |
| 2025-05-20 02:22:20 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-20 02:22:42 +0200 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-20 02:23:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-20 02:34:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 02:38:45 +0200 | nacation | (~m-3l4s76@user/nacation) (Ping timeout: 252 seconds) |
| 2025-05-20 02:39:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-20 02:40:41 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-05-20 02:45:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 02:45:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 02:48:05 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-05-20 02:50:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 02:53:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 02:53:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 02:55:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-20 03:00:03 +0200 | euleritian | (~euleritia@77.23.248.100) (Read error: Connection reset by peer) |
| 2025-05-20 03:00:54 +0200 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-20 03:01:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 03:02:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 03:06:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 03:09:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 03:09:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 03:11:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-20 03:17:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-20 03:17:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 03:21:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 03:23:28 +0200 | yin | (~z@user/zero) (Ping timeout: 276 seconds) |
| 2025-05-20 03:25:31 +0200 | <EvanR> | whoa https://github.com/aistrate/Articles/tree/master/Haskell |
| 2025-05-20 03:26:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-20 03:27:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 03:27:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 03:33:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 03:33:54 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-20 03:34:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 03:37:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 03:39:02 +0200 | yin | (~z@user/zero) zero |
| 2025-05-20 03:39:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 03:39:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 03:40:45 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds) |
| 2025-05-20 03:41:30 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-05-20 03:41:47 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 03:42:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-20 03:47:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 03:47:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 03:49:40 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds) |
| 2025-05-20 03:53:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 03:54:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 03:54:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 03:57:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-20 03:59:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 03:59:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 04:02:05 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 04:03:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-20 04:04:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 04:07:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 04:07:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 04:09:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-20 04:12:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-20 04:16:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-05-20 04:19:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 04:20:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 04:20:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 04:24:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 04:25:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-20 04:25:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 04:29:07 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-20 04:31:35 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 2025-05-20 04:31:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-20 04:31:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 04:35:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 04:39:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 04:40:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 04:40:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-20 04:42:19 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-20 04:47:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 04:48:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 04:51:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 04:54:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 04:54:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 04:56:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-20 05:01:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 05:02:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 05:07:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 05:07:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 05:08:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 05:14:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-20 05:15:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 05:16:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 05:21:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 05:22:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 05:25:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 05:28:31 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 244 seconds) |
| 2025-05-20 05:29:00 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-05-20 05:29:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 05:29:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-20 05:30:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 05:32:17 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc6:1600:7908:18da:5677:a8f7) aforemny |
| 2025-05-20 05:32:33 +0200 | aforemny | (~aforemny@i59F4C598.versanet.de) (Ping timeout: 248 seconds) |
| 2025-05-20 05:34:09 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 248 seconds) |
| 2025-05-20 05:34:47 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-05-20 05:38:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-20 05:38:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 05:40:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 05:45:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-20 05:46:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-20 05:46:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 05:52:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 05:52:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 05:56:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 05:58:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 05:58:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 05:59:14 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-05-20 06:01:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-20 06:01:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-20 06:05:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 06:08:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 06:08:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 06:10:50 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-05-20 06:11:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-20 06:12:59 +0200 | <EvanR> | so in 7 `div` 3 you have the dividend and the divisor, operator and operands |
| 2025-05-20 06:13:22 +0200 | <EvanR> | in f x y z w, is there similar jargon to distinguish the f from the x y z and w |
| 2025-05-20 06:15:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 06:15:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 06:18:09 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 06:19:37 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-20 06:21:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 06:22:01 +0200 | michalz | (~michalz@185.246.207.200) |
| 2025-05-20 06:23:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 06:23:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 06:24:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-20 06:24:58 +0200 | <Leary> | I don't think there's anything wrong with 'function' and 'arguments', but I suppose you could say 'applicator' and 'applicands'. |
| 2025-05-20 06:25:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 06:25:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-20 06:30:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 06:30:51 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-20 06:30:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 06:32:52 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-20 06:35:26 +0200 | <monochrom> | function and arguments |
| 2025-05-20 06:36:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 06:37:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 06:37:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 06:41:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-20 06:43:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 06:43:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 06:45:27 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-20 06:47:11 +0200 | <EvanR> | well yeah f would evaluate to a function |
| 2025-05-20 06:47:18 +0200 | <EvanR> | but if it's a big expression |
| 2025-05-20 06:47:43 +0200 | <EvanR> | calling a big expression "the function" while "function" is used for 50 other bits and bobs ... xD |
| 2025-05-20 06:47:43 +0200 | <monochrom> | big-*ss function :) |
| 2025-05-20 06:48:02 +0200 | <EvanR> | it's like calling x `div` y, the number and the number |
| 2025-05-20 06:48:19 +0200 | <EvanR> | the number and the non-zero number |
| 2025-05-20 06:48:33 +0200 | <EvanR> | and x y z w might also be functions |
| 2025-05-20 06:48:55 +0200 | <EvanR> | applicator! dunno that sounds like I'm getting my makeup done |
| 2025-05-20 06:49:32 +0200 | <monochrom> | If you say generically "f x y" then I can only answer generically "function, 1st arg, 2nd arg". |
| 2025-05-20 06:50:03 +0200 | <monochrom> | "div x y" gets a more specific treatment because, only because, I know that you have specifically "div" not generically "f". |
| 2025-05-20 06:51:04 +0200 | <monochrom> | Tell me more about your big-*ss function and your big-*ss argument. Then maybe I can think up better wording. Information is conserve, I can't create information from nothing. |
| 2025-05-20 06:51:14 +0200 | <monochrom> | s/conserve/conserved/ |
| 2025-05-20 06:52:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 06:52:35 +0200 | <EvanR> | ok |
| 2025-05-20 06:52:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 06:52:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 06:52:46 +0200 | <EvanR> | App Expr Expr, |
| 2025-05-20 06:53:14 +0200 | <EvanR> | (a (b c) d) ((e f) g h) is of this form |
| 2025-05-20 06:53:30 +0200 | <EvanR> | I've been calling the two components l and r for lack of a better idea |
| 2025-05-20 06:53:48 +0200 | <EvanR> | one definitely should evaluate to "a function" while the other only might |
| 2025-05-20 06:53:52 +0200 | <monochrom> | Frankly I just write like "interp (App f e) = ..." |
| 2025-05-20 06:54:07 +0200 | <EvanR> | I was doing that until I needed f for other things in the same scope |
| 2025-05-20 06:54:22 +0200 | <EvanR> | and it's silly anyway since f is often another App |
| 2025-05-20 06:54:25 +0200 | <EvanR> | not a function |
| 2025-05-20 06:54:45 +0200 | <monochrom> | interp (App e1 e2) |
| 2025-05-20 06:55:01 +0200 | <EvanR> | yeah |
| 2025-05-20 06:55:28 +0200 | <monochrom> | I am not one of those Enterprise Java dev, I am not going to sweat over "oh so meaningful names" where it doesn't matter. |
| 2025-05-20 06:55:28 +0200 | <EvanR> | though to evaluate or compile App e1 e2, you don't treat them symmetrically |
| 2025-05-20 06:55:39 +0200 | <EvanR> | so if I'm writing about e1 and e2 they might have names |
| 2025-05-20 06:55:46 +0200 | <EvanR> | applicator and applicand it is |
| 2025-05-20 06:56:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-05-20 06:56:18 +0200 | <monochrom> | functor, funcand |
| 2025-05-20 06:56:25 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-20 06:56:30 +0200 | <EvanR> | functcand |
| 2025-05-20 06:56:40 +0200 | <EvanR> | functee |
| 2025-05-20 06:57:04 +0200 | <monochrom> | I saw HOL4 saying "rator, rand", short for operator, operand. |
| 2025-05-20 06:57:16 +0200 | <EvanR> | that's pretty bad |
| 2025-05-20 06:57:43 +0200 | <monochrom> | Maybe alligator and egg? Recall that aligator game... :) |
| 2025-05-20 06:57:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-20 06:57:55 +0200 | <EvanR> | yeah |
| 2025-05-20 06:58:08 +0200 | <EvanR> | maybe now that I understand lambda calculus I can go back and understand the alligator game |
| 2025-05-20 06:59:21 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-05-20 06:59:22 +0200 | <EvanR> | ok I'll reserve "now understanding LC" for after I understand oleg's lambda calculus section |
| 2025-05-20 07:01:40 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
| 2025-05-20 07:02:47 +0200 | <jackdk> | Since all functions take only one argument, the LHS of an App Expr Expr is a function if your term is well-typed |
| 2025-05-20 07:06:12 +0200 | flounders | (~flounders@2607:fb90:ee09:4f99:c6b8:4dd2:346a:a4b4) (Ping timeout: 272 seconds) |
| 2025-05-20 07:06:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 07:07:30 +0200 | flounders | (~flounders@24.246.181.22) flounders |
| 2025-05-20 07:09:47 +0200 | <EvanR> | it often "is" itself an App Expr Expr, and so on in a long chain |
| 2025-05-20 07:10:00 +0200 | jason_davidson | (~jason.dav@user/jason-davidson:57402) (Ping timeout: 272 seconds) |
| 2025-05-20 07:10:24 +0200 | <EvanR> | no use treating it as a function it's actually a function, if anything is |
| 2025-05-20 07:10:32 +0200 | <EvanR> | is lambda even a function? I'm not sure anymore |
| 2025-05-20 07:10:51 +0200 | <EvanR> | s/function it's/function until it's/ |
| 2025-05-20 07:11:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-20 07:11:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 07:12:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 07:13:28 +0200 | <EvanR> | another counter example is yeah f x is well typed, and yeah f "is" a thunk. So you force it because it "is" a function, then f diverges because haskell |
| 2025-05-20 07:14:43 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-20 07:16:17 +0200 | <monochrom> | If I have "div (div x y) (div a b)", do you have trouble calling "div a b" divisor? |
| 2025-05-20 07:16:23 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-20 07:17:29 +0200 | <monochrom> | "div a b" is itself another div, and god knows how many long chains and deep trees are hiding behind "a" and "b", too. |
| 2025-05-20 07:18:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 07:18:13 +0200 | <monochrom> | By that reasoning, you will reject even "divisor". Paradoxically, you accepted it. |
| 2025-05-20 07:18:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 07:18:53 +0200 | <EvanR> | yeah b is divisor in div a b and div a b is divisor in div (div x y) (div a b) |
| 2025-05-20 07:19:11 +0200 | <EvanR> | not "the number" |
| 2025-05-20 07:20:10 +0200 | <EvanR> | div is standing in for the fancy division sign here too, not to confuse div a b with generic f a b |
| 2025-05-20 07:21:29 +0200 | <monochrom> | Div dividend divisor :: App function argument |
| 2025-05-20 07:21:29 +0200 | <EvanR> | operator and operand might have worked if it wasn't for APL making a huge mess of that! |
| 2025-05-20 07:21:43 +0200 | <monochrom> | I did not advocate "App number number". |
| 2025-05-20 07:22:01 +0200 | <monochrom> | I didn't even advocate "App term moarterm" |
| 2025-05-20 07:22:05 +0200 | <EvanR> | "the function" and ... the non function? |
| 2025-05-20 07:22:17 +0200 | <EvanR> | could evaluate to a function, or not |
| 2025-05-20 07:22:27 +0200 | <monochrom> | I didn't commit to "the argument is not a function". |
| 2025-05-20 07:22:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 07:22:50 +0200 | <EvanR> | in some languages you can apply non functions! |
| 2025-05-20 07:23:01 +0200 | <monochrom> | Do you accept recursion? Let recursion worry about what's inside argument. |
| 2025-05-20 07:23:24 +0200 | <EvanR> | the recursion in my case has usually been taking care of what's inside "function" (left component) |
| 2025-05-20 07:23:38 +0200 | <EvanR> | to flatten out the app chain |
| 2025-05-20 07:25:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 07:25:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 07:26:32 +0200 | <monochrom> | https://en.wikipedia.org/wiki/Quotition_and_partition for more hair-splitting |
| 2025-05-20 07:27:39 +0200 | <monochrom> | oh and don't get me started about that time a Taiwanese teacher posted on Youtube very dogmatic distinction between 4*5 and 5*4. |
| 2025-05-20 07:27:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-20 07:28:19 +0200 | <EvanR> | a dogmatic distinction you need to use agda |
| 2025-05-20 07:28:40 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) (Ping timeout: 260 seconds) |
| 2025-05-20 07:28:45 +0200 | DrachenMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-05-20 07:29:12 +0200 | <EvanR> | that quotitive vs partitive is exactly that |
| 2025-05-20 07:30:02 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-05-20 07:30:02 +0200 | <EvanR> | in graphical linear algebra 0*5 and 5*0 is distinct (array dimensions) |
| 2025-05-20 07:32:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 07:33:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 07:34:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-20 07:36:37 +0200 | jle` | (~jle`@2603:8001:3b00:11:515:67c3:ce1:e6bf) (Ping timeout: 272 seconds) |
| 2025-05-20 07:36:46 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 07:37:13 +0200 | jle` | (~jle`@2603:8001:3b00:11:3079:bbff:e6c:1301) jle` |
| 2025-05-20 07:37:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-20 07:38:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 07:38:55 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 07:41:23 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) jmorris |
| 2025-05-20 07:42:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 07:42:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 07:42:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-20 07:46:17 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-20 07:46:23 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 252 seconds) |
| 2025-05-20 07:48:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 07:49:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 07:53:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 07:58:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 07:58:43 +0200 | euleritian | (~euleritia@77.23.248.100) (Read error: Connection reset by peer) |
| 2025-05-20 07:59:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 07:59:08 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-20 08:00:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-20 08:01:01 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 08:02:53 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 252 seconds) |
| 2025-05-20 08:04:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 08:05:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 08:05:17 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2025-05-20 08:07:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 08:08:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) |
| 2025-05-20 08:12:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 08:13:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 08:13:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-20 08:16:46 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 08:19:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 08:20:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 08:21:06 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 08:21:34 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2025-05-20 08:21:57 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-20 08:23:30 +0200 | nacation | (~m-3l4s76@user/nacation) (Ping timeout: 265 seconds) |
| 2025-05-20 08:23:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 08:28:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-20 08:28:20 +0200 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2025-05-20 08:28:32 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 244 seconds) |
| 2025-05-20 08:28:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 08:29:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 08:29:18 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 08:29:49 +0200 | dontdieych2_ | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-20 08:29:49 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-05-20 08:29:52 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 244 seconds) |
| 2025-05-20 08:31:08 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-20 08:33:21 +0200 | euleritian | (~euleritia@dynamic-176-006-140-197.176.6.pool.telefonica.de) |
| 2025-05-20 08:33:44 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 245 seconds) |
| 2025-05-20 08:35:52 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 08:35:56 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 08:38:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 08:38:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 08:39:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 08:39:59 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 245 seconds) |
| 2025-05-20 08:40:12 +0200 | dontdieych2_ | (~quassel@user/dontdieych2) (Ping timeout: 244 seconds) |
| 2025-05-20 08:40:30 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-20 08:40:45 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 276 seconds) |
| 2025-05-20 08:44:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-20 08:44:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 08:45:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 08:46:09 +0200 | <ski> | EvanR,Leary : Scheme says "operator" and "operand" (and "procedure combination") |
| 2025-05-20 08:46:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 08:46:20 +0200 | <ski> | interp (App e e0) = ..e..e0.. |
| 2025-05-20 08:46:49 +0200 | ski | . o O ( "alligand" ) |
| 2025-05-20 08:47:25 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-20 08:48:47 +0200 | <ski> | monochrom : yes. quotition vs. partition is relevant for factor groups (it's not really a "quotient"), e.g. |
| 2025-05-20 08:49:59 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 245 seconds) |
| 2025-05-20 08:50:16 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-20 08:50:39 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-20 08:50:55 +0200 | <ski> | similarly, the two kinds of subtraction (diminishing vs. comparing) are relevant for vectors and points (in affine spaces). or torsors, more generally |
| 2025-05-20 08:51:02 +0200 | ski | . o O ( "Torsors Made Easy" by John Baez in 2009-12-27 at <https://math.ucr.edu/home/baez/torsors.html> ) |
| 2025-05-20 08:52:05 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-20 08:53:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 08:53:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 08:54:08 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 08:54:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 08:55:58 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 08:57:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-20 08:58:18 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-20 08:59:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 08:59:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 09:00:00 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-20 09:00:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-20 09:00:27 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 252 seconds) |
| 2025-05-20 09:00:40 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-20 09:01:05 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds) |
| 2025-05-20 09:01:37 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-20 09:01:55 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-20 09:02:42 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 09:05:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 09:05:31 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 244 seconds) |
| 2025-05-20 09:05:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 09:05:47 +0200 | koz | (~koz@121.99.240.58) |
| 2025-05-20 09:07:03 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 252 seconds) |
| 2025-05-20 09:07:29 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds) |
| 2025-05-20 09:09:05 +0200 | nschoe- | (~nschoe@82-65-202-30.subs.proxad.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-20 09:09:22 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-05-20 09:09:22 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:fcbd:4c31:903a:fb6c) nschoe |
| 2025-05-20 09:10:39 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 276 seconds) |
| 2025-05-20 09:10:48 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-20 09:12:21 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-05-20 09:13:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 09:14:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 09:15:58 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 09:17:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-20 09:17:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) |
| 2025-05-20 09:21:01 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds) |
| 2025-05-20 09:25:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 09:25:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 09:31:52 +0200 | euleritian | (~euleritia@dynamic-176-006-140-197.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-20 09:32:14 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-20 09:32:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:e83d:1e4b:bd0c:14ee) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-20 09:33:30 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 09:33:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-20 09:34:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 09:34:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 09:34:59 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 09:35:57 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-20 09:40:07 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 272 seconds) |
| 2025-05-20 09:40:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 09:41:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 09:45:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 09:45:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 09:46:37 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-20 09:50:06 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.3) |
| 2025-05-20 09:50:31 +0200 | dontdieych2_ | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-20 09:50:39 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-20 09:50:53 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 276 seconds) |
| 2025-05-20 09:51:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 09:51:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 09:53:30 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-20 09:53:51 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 09:55:16 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 09:55:55 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-05-20 09:56:37 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-20 09:58:20 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-20 09:59:28 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2025-05-20 10:00:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 10:00:23 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-20 10:00:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 10:00:45 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-20 10:10:06 +0200 | dontdieych2_ | (~quassel@user/dontdieych2) (Ping timeout: 244 seconds) |
| 2025-05-20 10:10:40 +0200 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-20 10:11:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 10:11:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 10:13:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-20 10:14:52 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 10:16:37 +0200 | Digit | (~user@user/digit) Digit |
| 2025-05-20 10:19:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 10:20:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 10:26:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 10:26:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 10:32:17 +0200 | <carbolymer> | what's the best alternative class to `IsString` , but with a conversion function reporting an error e.g. `String -> Either Text a`? |
| 2025-05-20 10:32:25 +0200 | <carbolymer> | I guess a parser would be best suited I think |
| 2025-05-20 10:32:43 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-20 10:33:13 +0200 | <tomsmeding> | (related but not the same: https://hackage.haskell.org/package/validated-literals ) |
| 2025-05-20 10:33:22 +0200 | <tomsmeding> | I don't think such a class exists in common use |
| 2025-05-20 10:34:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 10:34:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 10:35:36 +0200 | <carbolymer> | looks cool, but I don't want to use it just for constants |
| 2025-05-20 10:36:00 +0200 | <tomsmeding> | no it's not what you need, but I thought it was related and interesting |
| 2025-05-20 10:36:08 +0200 | <carbolymer> | ;] |
| 2025-05-20 10:40:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-05-20 10:42:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 10:43:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 10:47:08 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-20 10:47:52 +0200 | dontdieych2_ | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-05-20 10:47:52 +0200 | dontdieych2 | (~quassel@user/dontdieych2) (Ping timeout: 272 seconds) |
| 2025-05-20 10:49:04 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-20 10:52:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 10:52:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 10:55:00 +0200 | <bwe> | sm, [exa], tomsmeding, EvanR: benchmarking scraping: GC after file load but before processing, measuring memory consumption outside of Criterion (-15% memory) added +RTS -s variant (confirms 130 MiB memory consumed), cross-checked with gnu time: https://github.com/benjaminweb/scraper-experiment/tree/main https://paste.tomsmeding.com/dS1MdYdG |
| 2025-05-20 10:55:09 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 252 seconds) |
| 2025-05-20 10:59:42 +0200 | <bwe> | sm: scalpel is using tagsoup internally, there's also https://github.com/ndmitchell/tagsoup/issues/83. How is the rather compact implementation of fast-tagsoup https://github.com/vshabanov/fast-tagsoup/blob/master/Text/HTML/TagSoup/Fast.hs realising this 10-20x speed gain compared to TagSoup? Is it just by switching to ByteStrings or by generously sprinkling in some "!" (BangPatterns) to force early evaluation? |
| 2025-05-20 11:01:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 11:02:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 11:05:53 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-05-20 11:07:12 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 11:08:18 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-20 11:09:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 11:09:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 11:10:06 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-20 11:10:15 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-05-20 11:10:35 +0200 | dontdieych2_ | (~quassel@user/dontdieych2) (Ping timeout: 268 seconds) |
| 2025-05-20 11:11:14 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 245 seconds) |
| 2025-05-20 11:15:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 11:16:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 11:20:25 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-20 11:21:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-20 11:21:12 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-20 11:21:43 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-20 11:21:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 11:22:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 11:22:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 11:22:42 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-20 11:25:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-20 11:29:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 11:29:23 +0200 | Digitteknohippie | Digit |
| 2025-05-20 11:29:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 11:33:35 +0200 | chiselfu1e | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-05-20 11:35:00 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-05-20 11:35:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 11:36:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 11:38:29 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 11:39:11 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2025-05-20 11:41:07 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) wickedjargon |
| 2025-05-20 11:42:45 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 248 seconds) |
| 2025-05-20 11:43:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 11:43:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 11:48:41 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 272 seconds) |
| 2025-05-20 11:48:48 +0200 | euleritian | (~euleritia@dynamic-176-006-140-197.176.6.pool.telefonica.de) |
| 2025-05-20 11:49:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 11:50:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 11:50:39 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 11:50:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-20 11:56:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 11:56:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 12:02:34 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-20 12:04:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 12:04:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 12:10:03 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 12:11:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 12:12:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 12:13:19 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-05-20 12:14:43 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 268 seconds) |
| 2025-05-20 12:15:21 +0200 | biberu | (~biberu@user/biberu) biberu |
| 2025-05-20 12:19:09 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-05-20 12:19:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-20 12:19:48 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-05-20 12:21:07 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 12:22:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-05-20 12:23:22 +0200 | sand-witch | (~m-mzmz6l@38.242.236.220) (Remote host closed the connection) |
| 2025-05-20 12:25:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-20 12:26:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 12:26:13 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 276 seconds) |
| 2025-05-20 12:26:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 12:26:42 +0200 | haritz | (~hrtz@152.37.68.157) |
| 2025-05-20 12:26:42 +0200 | haritz | (~hrtz@152.37.68.157) (Changing host) |
| 2025-05-20 12:26:42 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-05-20 12:28:14 +0200 | euleritian | (~euleritia@dynamic-176-006-140-197.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-20 12:28:32 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-20 12:30:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-20 12:31:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-20 12:31:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 12:32:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 12:33:56 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-05-20 12:37:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-05-20 12:38:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-20 12:39:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 12:39:58 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-20 12:40:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 12:41:54 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 12:43:45 +0200 | euouae | (~euouae@user/euouae) euouae |
| 2025-05-20 12:44:16 +0200 | <euouae> | Hello suppose you're given a long string "s" and a list of files "fs" and you have to check if the files, when concatenated, start with "s" |
| 2025-05-20 12:44:27 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 12:44:59 +0200 | <euouae> | I'm not looking for the /most efficient/ solution, but would a relatively efficient solution be: map the files to lazy strings, use lens to concatenate into 1 string "r", and just check if r begins with s? |
| 2025-05-20 12:46:14 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 245 seconds) |
| 2025-05-20 12:48:23 +0200 | <euouae> | (I mean the file contents concatenated start with s, not the file names) |
| 2025-05-20 12:48:49 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 2025-05-20 12:55:09 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-05-20 12:56:46 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-20 12:56:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 12:57:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 13:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-20 13:01:57 +0200 | jespada | (~jespada@r186-48-58-202.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-20 13:02:17 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-20 13:07:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 13:08:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 13:08:03 +0200 | nacation | (~m-3l4s76@user/nacation) (Ping timeout: 244 seconds) |
| 2025-05-20 13:08:51 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 13:09:21 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-20 13:11:00 +0200 | euleritian | (~euleritia@dynamic-176-006-140-197.176.6.pool.telefonica.de) |
| 2025-05-20 13:13:28 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 13:13:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 13:14:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 13:14:29 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-05-20 13:15:17 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2025-05-20 13:15:25 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:ba65:46ef:51e6:1d86) ubert |
| 2025-05-20 13:17:51 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 252 seconds) |
| 2025-05-20 13:20:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 13:20:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 13:21:22 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-20 13:22:21 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-20 13:26:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 13:26:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 13:27:57 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-20 13:28:18 +0200 | <__monty__> | euouae: I'd first check whether ```s `isPrefixOf` (head fs)```, then start dropping each file's contents off the string if they isPrefixOf. |
| 2025-05-20 13:29:31 +0200 | <hellwolf> | How do you tell the difference between skill issues vs. Haskell is an unproductive language? |
| 2025-05-20 13:29:41 +0200 | <__monty__> | Well almost, probably just try chopping fs off the front of the string until they're not isPrefixOf, then check that s `isPrefixOf` whatever file you're on. |
| 2025-05-20 13:30:33 +0200 | <euouae> | __monty__: right but I'm not asking for what you'd do ;P I'm asking if my solution is feasible and/or decent |
| 2025-05-20 13:30:33 +0200 | <__monty__> | hellwolf: You look at Edwark Kmett's productivity and then go hide in the closet and cry at your skill issues. |
| 2025-05-20 13:31:15 +0200 | <hellwolf> | I like the mindset of looking upwards. |
| 2025-05-20 13:31:19 +0200 | <__monty__> | euouae: Ah, that *is* a different question, apologies for my reading skill issues : ) |
| 2025-05-20 13:31:43 +0200 | <euouae> | __monty__: you have to keep in mind that I'm giving a simplified example, so you can't feasibly change it (it will no longer correspond to the more complex thing I'm doing) |
| 2025-05-20 13:32:50 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 13:33:37 +0200 | <__monty__> | Yes, it's always an XY problem. |
| 2025-05-20 13:34:11 +0200 | <euouae> | If you want to hear the XY thing, I'm writing a clone of GNU m4 in Haskell |
| 2025-05-20 13:34:24 +0200 | <euouae> | there's large tokens and m4 can have multiple streams that behave as one |
| 2025-05-20 13:35:01 +0200 | <[exa]> | bwe: btw try to squeeze the gc interval there. The 130MB you're measuring might again be "benevolent amount of memory that RTS allows itself to copy-on-write before triggering the GC", with only a small portion of that being non-GCable at any point of time |
| 2025-05-20 13:35:13 +0200 | <euouae> | I can do what you suggest, but I need more than "isPrefixOf", e.g. I might need to find needles, etc |
| 2025-05-20 13:35:55 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-05-20 13:36:04 +0200 | <[exa]> | bwe: btw see the note here https://hackage.haskell.org/package/base-4.21.0.0/docs/System-Mem.html#v:enableAllocationLimit |
| 2025-05-20 13:36:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 13:36:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 13:37:37 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 272 seconds) |
| 2025-05-20 13:42:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-20 13:42:53 +0200 | Vq | (~vq@81-226-38-201-no600.tbcn.telia.com) (Ping timeout: 268 seconds) |
| 2025-05-20 13:42:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 13:45:19 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 13:46:48 +0200 | <merijn> | I mean, depending on what you're doing 130 MiB does not seem unreasonable |
| 2025-05-20 13:48:51 +0200 | <merijn> | __monty__: isPrefixOf *hiss* |
| 2025-05-20 13:49:26 +0200 | <merijn> | I can think of very, very few situations where isPrefixOf should be used that wouldn't be better served by stripPrefix and this situation does not seem one of them :) |
| 2025-05-20 13:49:49 +0200 | <euouae> | isPrefixOf is an example, there's various operations I'd be using |
| 2025-05-20 13:50:06 +0200 | <euouae> | you'd have to curate each with your specific better algorithms (e.g. here isPrefixOf => just use stripPrefix) and so on |
| 2025-05-20 13:50:17 +0200 | <euouae> | I'd rather just treat the whole thing as one lazy string |
| 2025-05-20 13:50:28 +0200 | <euouae> | I'm just asking if it is feasible but at this point I'm testing it out myself to see |
| 2025-05-20 13:52:09 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 13:52:45 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-20 13:54:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 13:54:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 13:55:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-20 13:55:30 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-05-20 13:57:37 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 248 seconds) |
| 2025-05-20 14:02:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-05-20 14:02:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 14:02:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 14:05:07 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-05-20 14:06:05 +0200 | <euouae> | Hm, I just checked it, it runs pretty smoothly. Cool, thank you. |
| 2025-05-20 14:06:58 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 2025-05-20 14:07:00 +0200 | <euouae> | Another thing that bothers me now is that when I use emacs haskell-mode and I have dependencies (e.g. lens) in my app/Main.hs it gives me trouble when I start a GHCi session with C-c C-l: "lens not imported" or crap like that, and offers to add it to the .cabal file. I think it's not detecting it in MyLib.hs |
| 2025-05-20 14:07:27 +0200 | <euouae> | How can I work around this issue? I don't understand how to tell the GHCi session to focus on app/Main.hs instead of src/MyLib.hs |
| 2025-05-20 14:08:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 14:09:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 14:11:46 +0200 | rvalue- | rvalue |
| 2025-05-20 14:12:20 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-20 14:12:49 +0200 | <hellwolf> | (lsp-haskell-session-loading "multipleComponents") |
| 2025-05-20 14:12:51 +0200 | <hellwolf> | have you set this |
| 2025-05-20 14:13:09 +0200 | <hellwolf> | also, for a cabal project, you should also set this: |
| 2025-05-20 14:13:10 +0200 | <hellwolf> | multi-repl: true |
| 2025-05-20 14:13:18 +0200 | <euouae> | Where is that latter part set? |
| 2025-05-20 14:13:27 +0200 | <hellwolf> | cabal.project |
| 2025-05-20 14:13:34 +0200 | <euouae> | hm. that's weird |
| 2025-05-20 14:13:47 +0200 | euouae | is trying to remmber if cabal has a .user component |
| 2025-05-20 14:14:11 +0200 | <hellwolf> | what's that? |
| 2025-05-20 14:14:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 14:14:30 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-20 14:14:44 +0200 | <euouae> | user configurations on top of project configurations |
| 2025-05-20 14:14:50 +0200 | <euouae> | some build systems support it |
| 2025-05-20 14:14:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 14:16:34 +0200 | <euouae> | I'm seeing that `cabal user-config update` modified my ~/.cabal/config to be different. in particular it added multi-repl: true |
| 2025-05-20 14:17:01 +0200 | <yushyin> | cabal.project.local, maybe? |
| 2025-05-20 14:17:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-20 14:17:19 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-20 14:17:30 +0200 | jespada | (~jespada@r186-48-58-202.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-20 14:19:01 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-20 14:19:24 +0200 | <euouae> | I modified lsp-haskell-session-loading and added multi-repl: true in my cabal user config |
| 2025-05-20 14:19:30 +0200 | <euouae> | what more do I need to do it's still not working smh |
| 2025-05-20 14:20:06 +0200 | <euouae> | I restarted the lsp |
| 2025-05-20 14:20:13 +0200 | <euouae> | nothing works. dang |
| 2025-05-20 14:21:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 14:21:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 14:22:02 +0200 | <euouae> | and you're right (thanks) yushyin that's what I meatn |
| 2025-05-20 14:22:14 +0200 | <yushyin> | happy to help |
| 2025-05-20 14:23:00 +0200 | <euouae> | okay forget about emacs. I can't get it to work in the `cabal repl` either |
| 2025-05-20 14:23:07 +0200 | <euouae> | E.g. `import Control.Lens` keeps telling me it's part of a hdiden package |
| 2025-05-20 14:23:43 +0200 | <euouae> | it only works if I do `cabal repl app/Main.hs` |
| 2025-05-20 14:24:55 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 14:25:38 +0200 | <hellwolf> | ah, you need to do some trick |
| 2025-05-20 14:25:41 +0200 | <hellwolf> | with cabal repl |
| 2025-05-20 14:26:05 +0200 | <hellwolf> | cabal repl --build-depends lens |
| 2025-05-20 14:26:21 +0200 | <hellwolf> | it's literally in the last few lines in cabal --help :p |
| 2025-05-20 14:26:43 +0200 | <hellwolf> | you can also do that in a repl environment |
| 2025-05-20 14:27:01 +0200 | <hellwolf> | ::set -package lens |
| 2025-05-20 14:27:20 +0200 | <hellwolf> | you may also setup a startup ghci script, so that emacs probably can work too |
| 2025-05-20 14:27:58 +0200 | <euouae> | the `cabal repl --build-depends lens` says it will add it to the default component |
| 2025-05-20 14:28:19 +0200 | <euouae> | I have already manually added lens to the execuable component |
| 2025-05-20 14:28:30 +0200 | euleritian | (~euleritia@dynamic-176-006-140-197.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2025-05-20 14:28:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 14:28:45 +0200 | jespada | (~jespada@r186-48-58-202.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-20 14:28:51 +0200 | <hellwolf> | so, did it work? |
| 2025-05-20 14:28:54 +0200 | euleritian | (~euleritia@dynamic-176-000-061-076.176.0.pool.telefonica.de) |
| 2025-05-20 14:29:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 14:29:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-20 14:29:52 +0200 | <euouae> | First of all, what does it mean `cabal repl cname` for the component named cname? |
| 2025-05-20 14:29:56 +0200 | <euouae> | Where's the component names specified in the cabla file? |
| 2025-05-20 14:30:10 +0200 | <euouae> | I see `library` by itself and `executable m4hs`. If I try `cabal repl m4hs`, I can't import lens. |
| 2025-05-20 14:31:22 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-20 14:32:15 +0200 | <tomsmeding> | euouae: try `cabal repl exe:m4hs` |
| 2025-05-20 14:32:37 +0200 | <tomsmeding> | the component name is just what you expect, but if your package is also called m4hs, then you have two components both called m4hs |
| 2025-05-20 14:32:37 +0200 | <hellwolf> | cabal repl --build-depends lens exe:m4hs |
| 2025-05-20 14:32:42 +0200 | <euouae> | nice, that worked |
| 2025-05-20 14:32:53 +0200 | <euouae> | I don't need the --build-depends because it already is added |
| 2025-05-20 14:32:57 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-20 14:33:07 +0200 | <euouae> | okay that worked fine, but now why does Emacs not do this with ~C-c C-l`? |
| 2025-05-20 14:33:16 +0200 | <tomsmeding> | euouae: `:show imports` |
| 2025-05-20 14:33:22 +0200 | <euouae> | that's `haskell-process-load-file' |
| 2025-05-20 14:33:27 +0200 | <hellwolf> | haskell-process-type: cabal-repl |
| 2025-05-20 14:33:27 +0200 | <hellwolf> | haskell-process-load-or-reload-prompt: t |
| 2025-05-20 14:33:30 +0200 | <tomsmeding> | also `:set prompt "%s> "` |
| 2025-05-20 14:33:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 14:33:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 14:33:59 +0200 | tomsmeding | is of the opinion that switching to ghci> as the prompt has been a net detriment to the majority of haskell users because ghci module scope is tremendously confusing |
| 2025-05-20 14:34:47 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-05-20 14:34:53 +0200 | <euouae> | hellwolf: for `haskell-process-type' I have auto which should pick up the cabal.project. |
| 2025-05-20 14:35:03 +0200 | <tomsmeding> | and having multiple components, with the risk of ghci being in a different component than you expect, makes this even more confusing |
| 2025-05-20 14:35:41 +0200 | <hellwolf> | yea, loading exec component is probably beyond haskell-mode can understand. it's too old. |
| 2025-05-20 14:36:03 +0200 | <tomsmeding> | by default, `cabal repl` probably opens the library component, not the executable component |
| 2025-05-20 14:36:14 +0200 | <tomsmeding> | if you `:show imports` you can observe that |
| 2025-05-20 14:36:48 +0200 | <euouae> | you're right |
| 2025-05-20 14:37:07 +0200 | <tomsmeding> | hellwolf: `:set -package lens` is almost never the right approach :p |
| 2025-05-20 14:37:07 +0200 | <euouae> | hellwolf: oh okay, so haskell-mode just doesn't know what to do |
| 2025-05-20 14:37:32 +0200 | <tomsmeding> | at least not if you're not yet exactly sure what ghci's scope is in the first place |
| 2025-05-20 14:38:36 +0200 | <euouae> | I figured it out |
| 2025-05-20 14:38:56 +0200 | <euouae> | I need to use 'M-x haskell-session-change-target' and choose exe:4mhs |
| 2025-05-20 14:38:58 +0200 | <euouae> | exe:m4hs |
| 2025-05-20 14:39:09 +0200 | <hellwolf> | amazing |
| 2025-05-20 14:39:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 14:40:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 14:40:28 +0200 | <[exa]> | is there some kind of lensism that would allow me to write something like "zip" of 2 lenses? such as: |
| 2025-05-20 14:41:12 +0200 | <[exa]> | obj ^. myItems . deep . very . deep . lensyZipWith (+) (deeper.value.a) (other.path.to.value.b) |
| 2025-05-20 14:42:18 +0200 | <[exa]> | I could do with say `to (\x -> (x ^. bla.bla) + (x ^. foo.bar))` but that is .... insufficiently satisfying |
| 2025-05-20 14:42:43 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-20 14:43:26 +0200 | <euouae> | alongside? |
| 2025-05-20 14:43:31 +0200 | <euouae> | https://hackage-content.haskell.org/package/lens-5.3.4/docs/Control-Lens-Lens.html#v:alongside |
| 2025-05-20 14:44:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 14:45:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 14:46:23 +0200 | <hellwolf> | 05-20 15:37 <tomsmeding> hellwolf: `:set -package lens` is almost never the right approach :p |
| 2025-05-20 14:46:24 +0200 | <hellwolf> | Oh? Does cabal repl always expose the dependencies? |
| 2025-05-20 14:48:21 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 248 seconds) |
| 2025-05-20 14:48:43 +0200 | <euouae> | Okay, thank you everyone :) appreciate it |
| 2025-05-20 14:48:47 +0200 | euouae | (~euouae@user/euouae) () |
| 2025-05-20 14:50:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 14:51:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 14:56:38 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-20 14:58:18 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-20 14:58:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 14:59:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 15:01:38 +0200 | <tomsmeding> | hellwolf: cabal repl opens a ghci in the context of a particular component, with all the build-depends of that component in scope |
| 2025-05-20 15:01:55 +0200 | <tomsmeding> | euouae was just in the wrong component |
| 2025-05-20 15:02:24 +0200 | <tomsmeding> | if you really need a package in your repl that is not in the build-depends list for the component you want the repl to be in, then yes you can manually try to add it |
| 2025-05-20 15:02:45 +0200 | <tomsmeding> | but this is quite rare |
| 2025-05-20 15:04:23 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-20 15:06:16 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-20 15:08:51 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-20 15:10:25 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-20 15:11:19 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 276 seconds) |
| 2025-05-20 15:14:06 +0200 | jespada | (~jespada@r186-48-58-202.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-20 15:14:14 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-20 15:17:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 15:17:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 15:17:28 +0200 | jespada | (~jespada@r190-133-13-145.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-20 15:18:32 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-20 15:23:33 +0200 | <hellwolf> | i see. |
| 2025-05-20 15:24:05 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-20 15:24:45 +0200 | <[exa]> | euouae: oh that's it, thanks! |
| 2025-05-20 15:25:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 15:25:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 15:25:34 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-20 15:27:59 +0200 | <[exa]> | well, almost, I see that what I want can't even be a lens (what would one do with 2 different updates) |
| 2025-05-20 15:28:21 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 265 seconds) |
| 2025-05-20 15:31:14 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-20 15:31:28 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 244 seconds) |
| 2025-05-20 15:32:43 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-20 15:39:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 15:40:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 15:40:56 +0200 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-05-20 15:46:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 15:46:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 15:47:08 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:25:514a:e62a:e326) internatetional |
| 2025-05-20 15:48:34 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-20 15:52:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 15:52:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 15:54:01 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 15:57:20 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-20 15:58:27 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 252 seconds) |
| 2025-05-20 16:03:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 16:03:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 16:06:52 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-20 16:09:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 16:09:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 16:19:10 +0200 | <lxsameer> | hey folks, I'm trying to figure out a function like `.>` in this example to compose many instances of X in an array. do you have any idea how to do it? https://dpaste.com/B9NYJDA9Q |
| 2025-05-20 16:23:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 16:23:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 16:25:52 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 16:30:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 16:30:09 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 248 seconds) |
| 2025-05-20 16:30:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 16:35:03 +0200 | visilii_ | (~visilii@46.61.242.71) (Ping timeout: 265 seconds) |
| 2025-05-20 16:37:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 16:38:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 16:44:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 16:44:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 16:47:58 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-05-20 16:49:10 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-20 16:52:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 16:52:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 16:55:11 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 16:59:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 16:59:31 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 244 seconds) |
| 2025-05-20 16:59:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 17:05:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 17:05:27 +0200 | totbwf | (uid402332@id-402332.uxbridge.irccloud.com) (Changing host) |
| 2025-05-20 17:05:27 +0200 | totbwf | (uid402332@user/totbwf) totbwf |
| 2025-05-20 17:05:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 17:11:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-05-20 17:11:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 17:11:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 17:15:59 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) |
| 2025-05-20 17:17:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 17:17:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 17:23:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 17:24:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 17:31:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 17:31:37 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-20 17:32:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 17:33:40 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:70ed:b503:23d5:6728) (Ping timeout: 276 seconds) |
| 2025-05-20 17:33:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8936:d4:f59:5d83) |
| 2025-05-20 17:34:35 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8936:d4:f59:5d83) (Client Quit) |
| 2025-05-20 17:34:43 +0200 | <hellwolf> | is there any way to make MapList injective? |
| 2025-05-20 17:34:44 +0200 | <hellwolf> | type family MapList (f :: Type -> Type) (xs :: [Type]) :: [Type] where |
| 2025-05-20 17:36:18 +0200 | euleritian | (~euleritia@dynamic-176-000-061-076.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-20 17:36:37 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-20 17:36:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8936:d4:f59:5d83) |
| 2025-05-20 17:38:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 17:38:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 17:40:45 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-05-20 17:45:03 +0200 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-20 17:45:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 17:46:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 17:50:15 +0200 | <tomsmeding> | hellwolf: https://play.haskell.org/saved/ZnA8EB9E works for me https://play.haskell.org/saved/ZnA8EB9E |
| 2025-05-20 17:50:25 +0200 | visilii | (~visilii@213.24.134.172) |
| 2025-05-20 17:51:18 +0200 | <tomsmeding> | oh sorry for the double paste lol |
| 2025-05-20 17:51:24 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-20 17:51:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 17:52:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 17:52:45 +0200 | <hellwolf> | oh wow, I can use UndecidableInstances ? |
| 2025-05-20 17:53:06 +0200 | <tomsmeding> | I dunno, the error ghc gave me mentioned it and I was obedient |
| 2025-05-20 17:53:08 +0200 | <hellwolf> | hmm, let me try! if that works, that solved one of my inference woes |
| 2025-05-20 17:53:29 +0200 | <hellwolf> | yea, let me try it end-to-end |
| 2025-05-20 17:53:53 +0200 | <tomsmeding> | notable is that this is not injective in f, only in xs |
| 2025-05-20 17:54:38 +0200 | <c_wraith> | you could add more dependencies |
| 2025-05-20 17:56:31 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:25:514a:e62a:e326) (Ping timeout: 252 seconds) |
| 2025-05-20 17:57:43 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-05-20 17:59:56 +0200 | <hellwolf> | huh? |
| 2025-05-20 18:02:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 18:03:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 18:04:01 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8936:d4:f59:5d83) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-20 18:05:49 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-20 18:08:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 18:08:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 18:10:41 +0200 | <hellwolf> | nope |
| 2025-05-20 18:10:50 +0200 | <hellwolf> | in the end, it still doesn't work with the type inference |
| 2025-05-20 18:11:20 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-05-20 18:11:30 +0200 | <int-e> | yeah as the type checker will tell you, MapList f '[] = '[] fails to be injective in f. |
| 2025-05-20 18:12:03 +0200 | <hellwolf> | I know a workaround now. But that undecidableinstances probably means "well, maybe it will not be injective after all, but I will not fail for now?" |
| 2025-05-20 18:12:56 +0200 | <bwe> | [exa]: just to confirm, I should call `enableAllocationLimit` to let gc run more often so the remaining allocated memory is really the actually used one? |
| 2025-05-20 18:15:00 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-20 18:15:46 +0200 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-05-20 18:17:37 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:ba65:46ef:51e6:1d86) (Quit: ubert) |
| 2025-05-20 18:18:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-20 18:18:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 18:18:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 18:19:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-20 18:21:35 +0200 | <int-e> | hellwolf: no. as usual you just give up on a crude constraint that the type checker uses to ensure that type checking terminates in favor of a best effort approach that is still sound *if* it terminates. https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/type_families.html#verifying-the-injectivi… |
| 2025-05-20 18:22:08 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 18:22:45 +0200 | <int-e> | (sticking to logic language, you're giving up completeness) |
| 2025-05-20 18:25:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 18:25:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 18:27:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8936:d4:f59:5d83) |
| 2025-05-20 18:31:55 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-05-20 18:32:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 18:32:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 18:34:51 +0200 | <hellwolf> | I see. |
| 2025-05-20 18:35:42 +0200 | <hellwolf> | we accept term-level bottom by default. but somehow at type-level our default is more strict. |
| 2025-05-20 18:36:20 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-20 18:37:45 +0200 | <EvanR> | having the compiler enter an infinite loop is not cool |
| 2025-05-20 18:38:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 18:38:10 +0200 | Vq | (~vq@81-226-38-201-no600.tbcn.telia.com) Vq |
| 2025-05-20 18:38:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 18:44:34 +0200 | Guest11 | (~Guest11@syn-066-008-200-171.res.spectrum.com) |
| 2025-05-20 18:44:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 18:45:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 18:47:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-20 18:52:54 +0200 | Guest11 | (~Guest11@syn-066-008-200-171.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2025-05-20 18:53:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-20 18:53:30 +0200 | Publiun | (Publiun@108-93-172-143.lightspeed.miamfl.sbcglobal.net) |
| 2025-05-20 18:53:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 18:54:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 18:56:54 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-20 18:57:03 +0200 | Publiun | (Publiun@108-93-172-143.lightspeed.miamfl.sbcglobal.net) (Remote host closed the connection) |
| 2025-05-20 18:57:46 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2025-05-20 19:00:57 +0200 | biberu | (~biberu@user/biberu) biberu |
| 2025-05-20 19:00:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8936:d4:f59:5d83) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-20 19:01:56 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-20 19:07:00 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-20 19:10:12 +0200 | son0p | (~ff@2800:e6:4000:5cf7:2aa0:f8ac:1dbc:787d) (Ping timeout: 265 seconds) |
| 2025-05-20 19:10:42 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-05-20 19:12:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 19:12:13 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-05-20 19:12:22 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2025-05-20 19:12:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 19:17:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 19:18:43 +0200 | euleritian | (~euleritia@77.23.248.100) (Remote host closed the connection) |
| 2025-05-20 19:18:57 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-20 19:18:59 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-20 19:19:39 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-20 19:20:44 +0200 | son0p | (~ff@2800:e6:4000:5cf7:2aa0:f8ac:1dbc:787d) son0p |
| 2025-05-20 19:22:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-20 19:26:58 +0200 | Digitteknohippie | Digit |
| 2025-05-20 19:26:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8936:d4:f59:5d83) |
| 2025-05-20 19:27:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-20 19:28:43 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f69dd73fba2cf3982fe.dip0.t-ipconnect.de) acidjnk |
| 2025-05-20 19:33:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 19:37:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 19:37:30 +0200 | pyooque | (~puke@user/puke) puke |
| 2025-05-20 19:37:30 +0200 | puke | (~puke@user/puke) (Killed (erbium.libera.chat (Nickname regained by services))) |
| 2025-05-20 19:37:30 +0200 | pyooque | puke |
| 2025-05-20 19:37:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 19:37:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-20 19:38:02 +0200 | Square3 | (~Square@user/square) Square |
| 2025-05-20 19:38:04 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 19:38:41 +0200 | biberu\ | (~biberu@user/biberu) biberu |
| 2025-05-20 19:38:56 +0200 | monochrm | (trebla@216.138.220.146) |
| 2025-05-20 19:39:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-20 19:40:08 +0200 | Jonno_FT1 | (~come@api.carswap.me) |
| 2025-05-20 19:40:15 +0200 | nefercheprure | (tma@twin.jikos.cz) TMA |
| 2025-05-20 19:41:08 +0200 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 272 seconds) |
| 2025-05-20 19:41:40 +0200 | jjhoo_ | (jahakala@user/jjhoo) jjhoo |
| 2025-05-20 19:42:02 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 260 seconds) |
| 2025-05-20 19:42:02 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 260 seconds) |
| 2025-05-20 19:42:02 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 260 seconds) |
| 2025-05-20 19:42:02 +0200 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 260 seconds) |
| 2025-05-20 19:42:02 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-05-20 19:42:03 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 260 seconds) |
| 2025-05-20 19:42:03 +0200 | biberu\ | biberu |
| 2025-05-20 19:42:03 +0200 | monochrm | monochrom |
| 2025-05-20 19:45:06 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-05-20 19:46:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 19:46:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 19:51:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 19:53:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 19:53:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 19:55:15 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-20 19:56:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-20 19:56:30 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-05-20 19:59:27 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-20 20:00:00 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-20 20:00:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 20:00:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 20:01:52 +0200 | Digitteknohippie | Digit |
| 2025-05-20 20:02:53 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-20 20:06:56 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-20 20:07:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 20:07:59 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-05-20 20:08:01 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-20 20:08:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 20:08:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 20:11:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-20 20:13:43 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
| 2025-05-20 20:14:16 +0200 | Digitteknohippie | Digit |
| 2025-05-20 20:14:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 20:15:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 20:22:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 20:22:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 20:22:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 20:27:37 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-20 20:27:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-20 20:29:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 20:29:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 20:33:40 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-05-20 20:34:19 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-05-20 20:36:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 20:36:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 20:38:04 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2025-05-20 20:38:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 20:40:30 +0200 | rvalue- | rvalue |
| 2025-05-20 20:43:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-20 20:43:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 20:44:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 20:45:40 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-20 20:47:24 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-20 20:47:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 20:50:41 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-20 20:50:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 20:51:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 20:54:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 20:58:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 20:59:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-20 20:59:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 21:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-20 21:00:44 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-20 21:00:48 +0200 | <[exa]> | bwe: not sure tbh, but that seems to rather kill the thread after crossing a work threshold than cause earlier gc's |
| 2025-05-20 21:03:08 +0200 | <bwe> | [exa]: Are you aware of https://github.com/bgamari/html-parse ? |
| 2025-05-20 21:03:29 +0200 | <[exa]> | "aware" yes, "ever touched it" not really :D |
| 2025-05-20 21:04:09 +0200 | <[exa]> | looks like the hiperf XML parsers though, could be cool |
| 2025-05-20 21:04:22 +0200 | <EvanR> | >library is called "parse >it's a tokenizer |
| 2025-05-20 21:04:34 +0200 | <EvanR> | lost a quote |
| 2025-05-20 21:05:29 +0200 | [exa] | is full of satisfaction looking at the picked nit |
| 2025-05-20 21:05:50 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-05-20 21:05:54 +0200 | <EvanR> | is this typical language in web |
| 2025-05-20 21:06:11 +0200 | <EvanR> | expect html parser to give a giant AST |
| 2025-05-20 21:06:25 +0200 | <[exa]> | like, browers are giant ASTs |
| 2025-05-20 21:06:26 +0200 | <EvanR> | (or fail because HTML) |
| 2025-05-20 21:08:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 21:08:56 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-20 21:09:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 21:09:43 +0200 | <haskellbridge> | <sm> bwe: ah, that's unfortunate about tagsoup memory use |
| 2025-05-20 21:09:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 21:10:41 +0200 | <haskellbridge> | <sm> +(https://github.com/ndmitchell/tagsoup/issues/83) |
| 2025-05-20 21:10:57 +0200 | <haskellbridge> | <sm> oops, irc edit |
| 2025-05-20 21:11:05 +0200 | <bwe> | What's the difference between tokenizer and parser? |
| 2025-05-20 21:11:49 +0200 | <sm> | I read recently that "lexing detects words, parsing detects sentences (with grammar) |
| 2025-05-20 21:12:04 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 276 seconds) |
| 2025-05-20 21:12:41 +0200 | AlexNoo_ | (~AlexNoo@178.34.162.255) |
| 2025-05-20 21:13:25 +0200 | <Rembane> | You can use a parser as a tokenizer, so there's some semantic subset going on there. |
| 2025-05-20 21:13:50 +0200 | <bwe> | [exa]: which hiperf XML parsers do you mean? html-parse uses attoparsec underneath. |
| 2025-05-20 21:15:19 +0200 | <EvanR> | lexing / tokenizing is usually a thing that can process the input stream using a finite automaton, constant space |
| 2025-05-20 21:16:00 +0200 | AlexNoo | (~AlexNoo@178.34.162.255) (Ping timeout: 252 seconds) |
| 2025-05-20 21:16:22 +0200 | <EvanR> | but to parse e.g. haskell syntax that wouldn't be enough |
| 2025-05-20 21:16:24 +0200 | <mauke> | I'd say a lexer is a parser that produces a flat list of "tokens" as output |
| 2025-05-20 21:16:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-20 21:16:56 +0200 | <mauke> | and those tokens usually correspond directly to substrings of the input |
| 2025-05-20 21:17:25 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-05-20 21:18:20 +0200 | <EvanR> | the classic "you tried to parse HTML with regex" is ignoring the fact that you can in fact tokenize the HTML using a regex, so it's assuming parsing is something else. In that context |
| 2025-05-20 21:18:31 +0200 | Nosrep | (~Nosrep@user/nosrep) Nosrep |
| 2025-05-20 21:18:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 21:19:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 21:19:25 +0200 | <Rembane> | IIRC the pumping lemma can be used to show that an arbitrary blob of HTML can't be parsed with regex. |
| 2025-05-20 21:19:27 +0200 | sprotte24 | (~sprotte24@p200300d16f05e6007d40c893d0bf5242.dip0.t-ipconnect.de) |
| 2025-05-20 21:19:50 +0200 | <mauke> | I use perl. my regexes spit on your pumping lemma :-) |
| 2025-05-20 21:20:08 +0200 | <mauke> | but also, while you can technically tokenize <script> elements with a regex, it won't be pretty |
| 2025-05-20 21:20:15 +0200 | <EvanR> | not your grand dad's regex |
| 2025-05-20 21:20:29 +0200 | <Rembane> | Well, your regexes are neither regular nor expressions so I can see why. |
| 2025-05-20 21:20:37 +0200 | <mauke> | I gave up on it and wrote two nested loops instead |
| 2025-05-20 21:20:42 +0200 | <mauke> | exactly! |
| 2025-05-20 21:20:46 +0200 | <Rembane> | :D |
| 2025-05-20 21:20:51 +0200 | <Rembane> | "This son, are two nested loops." |
| 2025-05-20 21:21:06 +0200 | <EvanR> | if you see <script> switch to the javascript tokenizer |
| 2025-05-20 21:21:28 +0200 | <mauke> | you can't, actually |
| 2025-05-20 21:21:28 +0200 | <EvanR> | because this is the only script ever |
| 2025-05-20 21:21:48 +0200 | <mauke> | using the js tokenizer means you'd potentially miss the </script> end tag |
| 2025-05-20 21:22:16 +0200 | <EvanR> | shirley js tokenizer's have a thing for this |
| 2025-05-20 21:22:40 +0200 | <EvanR> | to treat </script> as an EOF |
| 2025-05-20 21:23:04 +0200 | <mauke> | can't. </script> can occur in the middle of a string or comment |
| 2025-05-20 21:23:04 +0200 | <EvanR> | ... that is not within a string |
| 2025-05-20 21:23:17 +0200 | EvanR | flips the table |
| 2025-05-20 21:23:25 +0200 | <haskellbridge> | <sm> lol |
| 2025-05-20 21:23:27 +0200 | <Rembane> | So you need half a javascript tokenizer and half a html tokenizer to stop tokenizing javasciprt? |
| 2025-05-20 21:23:48 +0200 | carbolymer | (~carbolyme@dropacid.net) (Remote host closed the connection) |
| 2025-05-20 21:23:51 +0200 | ian_ | (~ian@81.2.99.210) (Ping timeout: 276 seconds) |
| 2025-05-20 21:23:51 +0200 | j0lol | (~j0lol@132.145.17.236) (Ping timeout: 276 seconds) |
| 2025-05-20 21:24:03 +0200 | <mauke> | first you find the end tag using the html tokenizer, then you pass the string contents to the js parser |
| 2025-05-20 21:24:12 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 264 seconds) |
| 2025-05-20 21:24:17 +0200 | <mauke> | reparsing, baby |
| 2025-05-20 21:24:30 +0200 | <EvanR> | but my finite automaton |
| 2025-05-20 21:24:33 +0200 | <Rembane> | mauke: How do you know that the end tag isn't in a string or js-comment or some other cursed syntactical element? |
| 2025-05-20 21:24:42 +0200 | <mauke> | you don't |
| 2025-05-20 21:24:50 +0200 | <Rembane> | Does the js parser know? |
| 2025-05-20 21:24:57 +0200 | carbolymer | (~carbolyme@dropacid.net) carbolymer |
| 2025-05-20 21:24:59 +0200 | <mauke> | know what? |
| 2025-05-20 21:25:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 21:25:05 +0200 | j0lol | (~j0lol@132.145.17.236) j0lol |
| 2025-05-20 21:25:06 +0200 | <EvanR> | yes the html tokenizer knows |
| 2025-05-20 21:25:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 21:25:28 +0200 | <Rembane> | If the resulting potential content of the script-tag is only javascript |
| 2025-05-20 21:25:30 +0200 | Igloo | (~ian@81.2.99.210) |
| 2025-05-20 21:25:33 +0200 | <mauke> | consider: <script> var x = "</script>"; |
| 2025-05-20 21:25:57 +0200 | <EvanR> | nevermind |
| 2025-05-20 21:25:58 +0200 | <mauke> | as far as html is considered, that's a script element with content ' var x = "', followed by a text node of '";' |
| 2025-05-20 21:26:00 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-20 21:26:09 +0200 | <mauke> | and as far as javascript is considered, that's a syntax error |
| 2025-05-20 21:26:18 +0200 | <mauke> | (unterminated string constant) |
| 2025-05-20 21:26:55 +0200 | <EvanR> | <script> var x = "</script>"; </script> |
| 2025-05-20 21:26:59 +0200 | <EvanR> | there, fixed it |
| 2025-05-20 21:27:03 +0200 | <EvanR> | lol |
| 2025-05-20 21:27:14 +0200 | <mauke> | that's an html error (unmatched </script> tag) |
| 2025-05-20 21:28:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 21:28:25 +0200 | <int-e> | . o O ( <script id="vs" type="x-shader/x-vertex">...</script> ) |
| 2025-05-20 21:29:37 +0200 | <EvanR> | so tokens can be huge, the text blob of an entire script or any sort |
| 2025-05-20 21:30:07 +0200 | <int-e> | parsing is easy unless it needs to be accurate or fast |
| 2025-05-20 21:30:07 +0200 | <EvanR> | the web hates performance and efficiency |
| 2025-05-20 21:31:25 +0200 | <Rembane> | Avoid performance at all costs! |
| 2025-05-20 21:31:26 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-20 21:31:36 +0200 | <Rembane> | It's a part of their immune system |
| 2025-05-20 21:32:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 21:33:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-20 21:33:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 21:33:43 +0200 | <mauke> | look at this nonsense: https://metacpan.org/release/MAUKE/HTML-Blitz-0.1001/source/lib/HTML/Blitz/Parser.pm#L174-194 |
| 2025-05-20 21:34:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-20 21:34:50 +0200 | <Rembane> | mauke: Are there gotos there disuised as redos? |
| 2025-05-20 21:35:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-20 21:36:02 +0200 | <int-e> | mauke: ??! |
| 2025-05-20 21:36:18 +0200 | <Rembane> | Somehow I believe that that code started out much simpler than that. |
| 2025-05-20 21:36:30 +0200 | <mauke> | Rembane: only in the sense that 'while' and 'continue' are also gotos in disguise |
| 2025-05-20 21:36:39 +0200 | <Rembane> | mauke: Of course they are! |
| 2025-05-20 21:36:51 +0200 | <Rembane> | mauke: Structured gotos considered really sweet! |
| 2025-05-20 21:37:41 +0200 | <mauke> | that code is more or less a faithful translation of the state machine in the html5 spec |
| 2025-05-20 21:39:20 +0200 | AlexNoo_ | AlexNoo |
| 2025-05-20 21:39:37 +0200 | <mauke> | you can convert it into a single regex, but I couldn't figure out how myself, so I had to look up an "automaton to regular expression" algorithm |
| 2025-05-20 21:40:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 21:40:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 21:42:57 +0200 | <mauke> | in case you couldn't tell from the code, <script> elements can contain "html" comments, which can contain nested <script> ... </script> tags |
| 2025-05-20 21:43:07 +0200 | <mauke> | but only one level deep |
| 2025-05-20 21:43:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-20 21:43:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 21:43:57 +0200 | <mauke> | also, a </script> tag can interrupt/close an unclosed comment and a '-->' can interrupt/close a nested <script> tag |
| 2025-05-20 21:44:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-20 21:44:33 +0200 | <EvanR> | o_O |
| 2025-05-20 21:44:40 +0200 | <mauke> | also also, <!-- starts a "comment", but <!--> and <!---> do not |
| 2025-05-20 21:45:08 +0200 | <mauke> | valid: <script> <!-- </script> |
| 2025-05-20 21:45:19 +0200 | <mauke> | valid: <script> <!-- <script> --> </script> |
| 2025-05-20 21:45:33 +0200 | <mauke> | valid: <script> <!-- <script> </script> --> </script> |
| 2025-05-20 21:45:47 +0200 | <mauke> | and no, none of this makes sense as javascript |
| 2025-05-20 21:46:11 +0200 | <EvanR> | wait ... do the comments end up in the script instead of being discarded |
| 2025-05-20 21:46:35 +0200 | <EvanR> | (the complete comments) |
| 2025-05-20 21:46:41 +0200 | <mauke> | of course |
| 2025-05-20 21:46:48 +0200 | <mauke> | this is just to find the end of the script element |
| 2025-05-20 21:46:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 21:47:02 +0200 | <mauke> | as always, the contents are passed verbatim to the javascript parser |
| 2025-05-20 21:47:08 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-20 21:47:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 21:47:37 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-20 21:47:50 +0200 | <EvanR> | valid: <script> <!-- <script> --> </script> the second pair of script tags is the script? |
| 2025-05-20 21:48:04 +0200 | <mauke> | no, that is one full script element |
| 2025-05-20 21:48:15 +0200 | <mauke> | contents: " <!-- <script> --> " |
| 2025-05-20 21:48:23 +0200 | jespada | (~jespada@r190-133-13-145.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-20 21:49:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-20 21:49:19 +0200 | jespada | (~jespada@r190-133-13-145.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-20 21:52:27 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-20 21:54:28 +0200 | <mauke> | so anyway, if you want to have fun with an "AI" coding LLM, ask it to generate a Haskell function for finding the correct script end tag (after having seen the script start tag) in an HTML document |
| 2025-05-20 21:54:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-20 21:55:06 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-20 21:56:02 +0200 | Square3 | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2025-05-20 21:58:06 +0200 | <EvanR> | vibes can't be denied so easily |
| 2025-05-20 21:58:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-20 21:59:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-20 21:59:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-20 21:59:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-20 22:01:05 +0200 | <EvanR> | it did findIndex (isPrefixOf "</script>") . tails |
| 2025-05-20 22:01:18 +0200 | <mauke> | hahaha |