| 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) |