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