| 2025-05-17 00:00:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-17 00:06:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 00:06:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 00:08:11 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-17 00:08:41 +0200 | mrmr1 | (~mrmr@user/mrmr) mrmr |
| 2025-05-17 00:09:53 +0200 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 244 seconds) |
| 2025-05-17 00:09:53 +0200 | mrmr1 | mrmr |
| 2025-05-17 00:12:08 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-17 00:13:19 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-05-17 00:19:38 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-17 00:28:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 00:28:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 00:31:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-17 00:33:41 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-17 00:39:58 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-17 00:41:11 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 272 seconds) |
| 2025-05-17 00:41:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 00:42:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-17 00:45:38 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-17 00:46:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 00:46:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-17 00:57:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 00:59:07 +0200 | sprotte24_ | (~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-17 00:59:14 +0200 | sprotte24 | (~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-17 01:06:20 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-17 01:07:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 01:08:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 01:09:43 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-17 01:11:30 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-17 01:16:34 +0200 | <apache> | EvanR: you're too old |
| 2025-05-17 01:18:00 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-17 01:20:31 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-17 01:22:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-05-17 01:22:01 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-17 01:31:25 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Read error: Connection reset by peer) |
| 2025-05-17 01:34:36 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-17 01:35:34 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-17 01:41:22 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) hackager |
| 2025-05-17 01:41:22 +0200 | ChanServ | +v haskellbridge |
| 2025-05-17 01:44:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-17 01:44:26 +0200 | manwithluck | (~manwithlu@2a09:bac5:5082:2387::38a:10) (Remote host closed the connection) |
| 2025-05-17 01:46:13 +0200 | mistivia_ | (~mistivia@user/mistivia) mistivia |
| 2025-05-17 01:46:54 +0200 | mistivia | (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 2025-05-17 01:48:09 +0200 | manwithluck | (~manwithlu@2a09:bac5:5082:2387::38a:10) manwithluck |
| 2025-05-17 01:49:05 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-17 01:49:47 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 01:50:20 +0200 | <wbrawner> | lol |
| 2025-05-17 01:54:36 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2025-05-17 01:59:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-05-17 02:02:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-17 02:02:29 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-05-17 02:03:28 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-17 02:11:05 +0200 | volsand | (~volsand@2804:1b1:1080:3f49:869b:b61b:4ad6:650f) |
| 2025-05-17 02:12:33 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-05-17 02:13:31 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f410c8650aa1a5c1c11.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-17 02:13:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 02:22:30 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-17 02:28:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-17 02:28:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 02:36:27 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-17 02:38:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-17 02:40:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-17 02:43:40 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-17 02:49:00 +0200 | craunts | (~craunts@136.158.8.87) |
| 2025-05-17 02:50:28 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-17 02:58:21 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-17 03:01:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-05-17 03:03:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 03:05:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-05-17 03:08:24 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) wickedjargon |
| 2025-05-17 03:10:49 +0200 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) |
| 2025-05-17 03:18:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-17 03:19:46 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2025-05-17 03:23:47 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-05-17 03:23:48 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-05-17 03:23:48 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-05-17 03:25:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 03:25:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 03:29:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 03:34:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 03:34:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 03:35:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-17 03:38:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 03:43:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-17 03:44:21 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-05-17 03:52:02 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-17 03:52:19 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-17 03:54:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 03:54:46 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-05-17 04:00:21 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 248 seconds) |
| 2025-05-17 04:02:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 04:02:04 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 245 seconds) |
| 2025-05-17 04:02:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 04:07:02 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2025-05-17 04:07:20 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-05-17 04:12:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 04:12:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 04:15:25 +0200 | td_ | (~td@i53870927.versanet.de) (Ping timeout: 260 seconds) |
| 2025-05-17 04:17:19 +0200 | td_ | (~td@i53870928.versanet.de) td_ |
| 2025-05-17 04:24:21 +0200 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-05-17 04:29:59 +0200 | Digitteknohippie | Digit |
| 2025-05-17 04:37:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-17 04:37:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 04:37:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 04:48:55 +0200 | jrm | (~jrm@user/jrm) jrm |
| 2025-05-17 04:52:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-17 04:55:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 04:55:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 04:58:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-17 05:01:16 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-05-17 05:06:00 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2025-05-17 05:06:34 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-05-17 05:08:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1ff5:fe1f:3cee:797d) (Ping timeout: 276 seconds) |
| 2025-05-17 05:08:51 +0200 | Digit | (~user@user/digit) Digit |
| 2025-05-17 05:09:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 05:09:29 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-05-17 05:19:01 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-05-17 05:24:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-05-17 05:29:03 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-17 05:29:56 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-05-17 05:33:53 +0200 | Digit | (~user@user/digit) Digit |
| 2025-05-17 05:35:08 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce3:4b00:63e7:2449:7739:bbf2) aforemny |
| 2025-05-17 05:35:16 +0200 | aforemny | (~aforemny@2001:9e8:6cc4:6e00:7edf:27f1:f2a2:7f8e) (Ping timeout: 265 seconds) |
| 2025-05-17 05:35:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 05:35:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 05:36:18 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-05-17 05:39:44 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1ff5:fe1f:3cee:797d) |
| 2025-05-17 05:41:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 05:42:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 05:45:49 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-05-17 05:53:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-17 05:57:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 05:58:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 06:00:16 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-17 06:04:39 +0200 | Digitteknohippie | (~user@user/digit) (Quit: double loggin correction) |
| 2025-05-17 06:05:23 +0200 | Digit | digitteknohippie |
| 2025-05-17 06:05:32 +0200 | digitteknohippie | Digit |
| 2025-05-17 06:11:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 06:12:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 06:14:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-17 06:15:59 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 06:16:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-17 06:21:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 06:22:24 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-17 06:25:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 06:25:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 06:25:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 06:30:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-17 06:31:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 06:31:28 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-05-17 06:31:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 06:39:26 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-17 06:39:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 06:41:10 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-17 06:41:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 06:42:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 06:47:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-17 06:47:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 06:48:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 06:51:13 +0200 | craunts | (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-17 06:53:32 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-17 06:54:16 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-17 06:57:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 06:58:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-17 07:03:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-17 07:09:31 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-17 07:14:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 07:21:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-17 07:28:57 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-17 07:32:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 07:32:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 07:32:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 07:34:33 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 07:36:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-17 07:37:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-17 07:38:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 07:38:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 07:40:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 07:50:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 07:50:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 07:58:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 07:58:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 08:20:07 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-05-17 08:20:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 08:20:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 08:28:36 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-17 08:31:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-17 08:43:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 08:45:13 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-17 08:47:35 +0200 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2025-05-17 08:48:29 +0200 | echoreply | (~echoreply@45.32.163.16) echoreply |
| 2025-05-17 08:48:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 08:48:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 08:49:53 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-05-17 08:50:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-17 09:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-17 09:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-17 09:02:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 09:03:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 09:08:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 09:08:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 09:16:25 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-17 09:16:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 09:16:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 09:23:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-17 09:24:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 09:24:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 09:27:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-17 09:31:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-17 09:31:33 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-17 09:31:52 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 09:33:33 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f65d0640ad70f89573f.dip0.t-ipconnect.de) acidjnk |
| 2025-05-17 09:36:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 09:36:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 09:39:37 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-17 09:40:00 +0200 | euleritian | (~euleritia@dynamic-176-006-141-057.176.6.pool.telefonica.de) |
| 2025-05-17 09:40:17 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-17 09:40:47 +0200 | Digit | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2025-05-17 09:41:26 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) Maeda |
| 2025-05-17 09:41:56 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
| 2025-05-17 09:44:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 09:45:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 09:46:41 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-17 09:46:46 +0200 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-05-17 09:47:02 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-05-17 09:48:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-17 09:54:20 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-05-17 09:55:02 +0200 | euleritian | (~euleritia@dynamic-176-006-141-057.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-17 09:55:29 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-17 09:55:57 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-17 09:56:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-05-17 09:57:08 +0200 | tv | (~tv@user/tv) tv |
| 2025-05-17 09:58:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 09:58:49 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-17 09:59:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 09:59:17 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-17 09:59:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 10:04:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 10:05:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 10:05:38 +0200 | Digit | (~user@132.7.200.146.dyn.plus.net) |
| 2025-05-17 10:06:00 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-05-17 10:06:14 +0200 | euleritian | (~euleritia@dynamic-176-006-141-057.176.6.pool.telefonica.de) |
| 2025-05-17 10:08:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 10:09:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 10:12:36 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-17 10:16:17 +0200 | Digit | (~user@132.7.200.146.dyn.plus.net) (Ping timeout: 252 seconds) |
| 2025-05-17 10:18:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 10:19:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 10:20:14 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-17 10:22:07 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-17 10:25:49 +0200 | euleritian | (~euleritia@dynamic-176-006-141-057.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2025-05-17 10:26:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 10:27:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 10:29:34 +0200 | mistivia_ | (~mistivia@user/mistivia) (Read error: Connection reset by peer) |
| 2025-05-17 10:33:13 +0200 | mistivia | (~mistivia@user/mistivia) mistivia |
| 2025-05-17 10:33:16 +0200 | Digit | (~user@user/digit) Digit |
| 2025-05-17 10:34:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 10:35:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 10:39:12 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-17 10:40:59 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-17 10:41:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 10:42:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 10:42:17 +0200 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-05-17 10:50:25 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-05-17 10:55:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 10:55:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 11:03:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-17 11:06:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 11:07:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 11:09:33 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-17 11:12:45 +0200 | Digitteknohippie | Digit |
| 2025-05-17 11:15:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 11:19:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 11:20:40 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-17 11:40:39 +0200 | euleritian | (~euleritia@dynamic-176-006-130-194.176.6.pool.telefonica.de) |
| 2025-05-17 11:44:53 +0200 | euleritian | (~euleritia@dynamic-176-006-130-194.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2025-05-17 11:47:54 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 11:49:11 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-17 11:49:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-17 11:50:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-17 11:50:39 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-05-17 11:55:01 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-05-17 11:55:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-17 12:01:54 +0200 | Digit | (~user@user/digit) Digit |
| 2025-05-17 12:07:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-17 12:19:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-17 12:32:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 12:35:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 12:35:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 12:38:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-17 12:44:02 +0200 | Digit | digitteknohippie |
| 2025-05-17 12:44:12 +0200 | digitteknohippie | Digit |
| 2025-05-17 12:45:52 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-05-17 12:47:59 +0200 | euleritian | (~euleritia@dynamic-176-006-139-010.176.6.pool.telefonica.de) |
| 2025-05-17 12:49:18 +0200 | puke | (~puke@user/puke) puke |
| 2025-05-17 12:55:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 12:55:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 13:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-17 13:01:35 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-17 13:02:14 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-17 13:02:31 +0200 | euleritian | (~euleritia@dynamic-176-006-139-010.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-17 13:02:50 +0200 | euleritian | (~euleritia@217.92.21.14) |
| 2025-05-17 13:07:38 +0200 | zlqrvx | (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-17 13:08:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1ff5:fe1f:3cee:797d) (Ping timeout: 276 seconds) |
| 2025-05-17 13:09:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 13:09:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 13:18:01 +0200 | euleritian | (~euleritia@217.92.21.14) (Ping timeout: 272 seconds) |
| 2025-05-17 13:24:15 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-17 13:26:00 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-17 13:36:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-17 13:36:43 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-17 13:39:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 13:40:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 13:41:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 13:48:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-17 13:48:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 13:49:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 13:49:41 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-17 13:53:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 14:00:39 +0200 | sajenim | (~sajenim@user/sajenim) (Quit: WeeChat 4.4.3) |
| 2025-05-17 14:02:29 +0200 | xff0x | (~xff0x@om126236158054.32.openmobile.ne.jp) |
| 2025-05-17 14:04:42 +0200 | troydm | (~troydm@user/troydm) troydm |
| 2025-05-17 14:05:03 +0200 | euleritian | (~euleritia@dynamic-176-006-144-177.176.6.pool.telefonica.de) |
| 2025-05-17 14:05:19 +0200 | craunts | (~craunts@136.158.8.87) |
| 2025-05-17 14:11:36 +0200 | euleritian | (~euleritia@dynamic-176-006-144-177.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-17 14:11:54 +0200 | euleritian | (~euleritia@217.92.21.14) |
| 2025-05-17 14:14:09 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-05-17 14:18:22 +0200 | jespada | (~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-17 14:26:57 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-17 14:28:52 +0200 | euleritian | (~euleritia@217.92.21.14) (Ping timeout: 265 seconds) |
| 2025-05-17 14:29:20 +0200 | euleritian | (~euleritia@dynamic-176-006-144-177.176.6.pool.telefonica.de) |
| 2025-05-17 14:33:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 14:34:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 14:45:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-17 14:52:31 +0200 | xff0x | (~xff0x@om126236158054.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-17 14:53:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 14:54:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 14:54:57 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-17 14:57:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 15:00:30 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca |
| 2025-05-17 15:01:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-17 15:05:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-17 15:08:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 15:09:07 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-05-17 15:09:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 15:11:23 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-17 15:12:06 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-17 15:15:34 +0200 | michalz | (~michalz@185.246.207.217) |
| 2025-05-17 15:16:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 15:17:22 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-17 15:18:47 +0200 | img | (~img@user/img) img |
| 2025-05-17 15:23:00 +0200 | euleritian | (~euleritia@dynamic-176-006-144-177.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-17 15:23:18 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-17 15:26:29 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-17 15:31:14 +0200 | ajrdck | (e0a4b72d53@user/ajrdck) ajrdck |
| 2025-05-17 15:31:54 +0200 | tomsmeding | . o O ( haskellbridge is down again ) |
| 2025-05-17 15:36:46 +0200 | <JuanDaugherty> | is it a multibridge or just discord? |
| 2025-05-17 15:37:00 +0200 | <JuanDaugherty> | or is it slack? |
| 2025-05-17 15:37:32 +0200 | <tomsmeding> | it's a bridge to matrix |
| 2025-05-17 15:38:23 +0200 | <JuanDaugherty> | ah, the inventor of irc Jarkko Okarinen was in a kiwiirc/jissi chat yesterday |
| 2025-05-17 15:38:51 +0200 | <JuanDaugherty> | turns out he doesn irc much |
| 2025-05-17 15:40:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 15:40:17 +0200 | <JuanDaugherty> | with video added it becomes clear how text only irc flattens the natural langs to just english |
| 2025-05-17 15:40:22 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f65d0640ad70f89573f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-17 15:40:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 15:40:38 +0200 | <JuanDaugherty> | *jitsi |
| 2025-05-17 15:41:08 +0200 | <JuanDaugherty> | as the server and group were in his native finland |
| 2025-05-17 15:42:43 +0200 | <JuanDaugherty> | the hs channel namespace seems to be holding up here, i've seen in other langs where slack or whatever becomes the default |
| 2025-05-17 15:42:57 +0200 | <JuanDaugherty> | that's the case for squeak for example |
| 2025-05-17 15:43:37 +0200 | <JuanDaugherty> | smalltalk was always cozier with the corporate |
| 2025-05-17 15:44:19 +0200 | <JuanDaugherty> | matrix looks down its nose on discord igess |
| 2025-05-17 15:45:55 +0200 | <JuanDaugherty> | #haskell-blah is down to a stub of users but has hung on more than a decade since Oejet cause the fork that resulted in #haskell-offtopic |
| 2025-05-17 15:46:05 +0200 | <JuanDaugherty> | *caused |
| 2025-05-17 15:47:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-17 15:47:54 +0200 | <JuanDaugherty> | the issue was that Oeject insisted on tls |
| 2025-05-17 15:48:52 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-05-17 15:48:58 +0200 | <JuanDaugherty> | 10 years on no tls is still a thing, mostly in places of ostentatious trust |
| 2025-05-17 15:50:03 +0200 | <JuanDaugherty> | ostentatious/implicit |
| 2025-05-17 15:51:28 +0200 | JuanDaugherty | wonders why some in hs channel space went to matrix |
| 2025-05-17 15:55:10 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-17 15:55:54 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2025-05-17 15:56:37 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-17 15:58:27 +0200 | <yushyin> | many migrated after the freenode hostile takeover |
| 2025-05-17 15:58:57 +0200 | <JuanDaugherty> | i think that's ahistorical |
| 2025-05-17 15:59:24 +0200 | <JuanDaugherty> | the hs namepace moved in a matter of hours upon the freednode/libera event |
| 2025-05-17 15:59:50 +0200 | <JuanDaugherty> | this migration to matrix is more recent |
| 2025-05-17 16:00:38 +0200 | <JuanDaugherty> | maybe there was corporate hs that wanted to stay on freenode but couldn for reasons |
| 2025-05-17 16:02:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 16:02:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 16:09:14 +0200 | JuanDaugherty | ColinRobinson |
| 2025-05-17 16:10:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-17 16:19:26 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-17 16:22:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 16:22:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 16:30:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 16:30:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 16:34:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-17 16:43:07 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-17 17:03:43 +0200 | <Leary> | Is there a `newtype ID a = ID Unique` with `sameID :: ID a -> ID b -> Maybe (a :~: b)` already out there somewhere? It's pretty useful: https://gist.github.com/LSLeary/5e4e157055c04a6dea77d9474ec0544a |
| 2025-05-17 17:05:03 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-17 17:06:36 +0200 | ft_ | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-17 17:08:25 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-05-17 17:08:26 +0200 | ft_ | ft |
| 2025-05-17 17:14:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:14:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 17:15:51 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-05-17 17:16:42 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-05-17 17:19:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-17 17:23:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:24:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 17:26:46 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-17 17:31:29 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-05-17 17:36:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-17 17:37:29 +0200 | <ski> | @type Type.Reflection.eqTypeRep |
| 2025-05-17 17:37:29 +0200 | <lambdabot> | forall k1 k2 (a :: k1) (b :: k2). Type.Reflection.TypeRep a -> Type.Reflection.TypeRep b -> Maybe (a :~~: b) |
| 2025-05-17 17:37:32 +0200 | <ski> | @type Data.Type.Equality.testEquality |
| 2025-05-17 17:37:33 +0200 | <lambdabot> | forall k (f :: k -> *) (a :: k) (b :: k). Data.Type.Equality.TestEquality f => f a -> f b -> Maybe (a :~: b) |
| 2025-05-17 17:37:38 +0200 | <ski> | Data.GADT.Compare.geq :: GEq f => f a -> f b -> Maybe (a :~: b) |
| 2025-05-17 17:37:57 +0200 | <ski> | Leary : some catches ^ |
| 2025-05-17 17:38:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:38:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 17:45:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:45:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 17:52:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:53:12 +0200 | <Leary> | ski: Well. I know `ID` could be made `GEq` or (unlawfully) `TestEquality`, but I'm looking for `ID` itself. Perhaps I should have also mentioned that the interface is completed by `newID :: IO (ID a)`; I'm ruling out `TypeRep` for breaking parametricity. |
| 2025-05-17 17:53:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 17:58:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 17:59:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 18:06:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-17 18:13:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 18:14:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 18:17:18 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 18:17:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-17 18:18:59 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-17 18:19:24 +0200 | volsand | (~volsand@2804:1b1:1080:3f49:869b:b61b:4ad6:650f) (Quit: volsand) |
| 2025-05-17 18:21:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-17 18:21:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 18:23:16 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-17 18:24:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 18:25:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 18:28:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-17 18:30:01 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.6.2) |
| 2025-05-17 18:34:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 18:35:14 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-17 18:41:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 18:42:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 18:56:12 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2025-05-17 18:56:34 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-17 18:56:44 +0200 | fantom | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-05-17 18:58:01 +0200 | craunts | (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-17 19:04:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 19:05:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 19:10:13 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-05-17 19:11:24 +0200 | fantom | (~fantom@33be818f.skybroadband.com) |
| 2025-05-17 19:11:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 19:12:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 19:14:29 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-17 19:16:23 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-05-17 19:19:04 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-17 19:19:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 19:19:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 19:20:10 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-05-17 19:22:28 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) |
| 2025-05-17 19:22:58 +0200 | Vajb | (~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi) (Ping timeout: 276 seconds) |
| 2025-05-17 19:26:11 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Quit: tolgo) |
| 2025-05-17 19:26:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 19:26:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 19:34:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 19:34:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 19:35:31 +0200 | <ski> | Leary : oh, the ids are not supposed to be type ids |
| 2025-05-17 19:35:57 +0200 | <ski> | why is there a type parameter ? |
| 2025-05-17 19:35:57 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-17 19:36:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-17 19:36:48 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-17 19:37:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 19:43:43 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f6519933bac196d5034.dip0.t-ipconnect.de) acidjnk |
| 2025-05-17 19:50:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 19:50:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 19:57:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 19:57:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 20:01:36 +0200 | <tomsmeding> | Leary: StableName? |
| 2025-05-17 20:01:51 +0200 | <tomsmeding> | oh no, it doesn't give you type equality evidence |
| 2025-05-17 20:02:15 +0200 | <tomsmeding> | but its guarantees-by-documentation should allow you to unsafeCoerce in that evidence |
| 2025-05-17 20:02:43 +0200 | <tomsmeding> | the downside is that StableName does not guarantee that equal names get reported as equal (in practice this happens only under contention during GC or something, iirc) |
| 2025-05-17 20:02:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-17 20:04:42 +0200 | <tomsmeding> | ski: see Leary's paste, they are supposed to be type ids, but interned |
| 2025-05-17 20:05:16 +0200 | <tomsmeding> | Leary: I wonder if TypeRep + https://hackage.haskell.org/package/intern-0.9.6/docs/Data-Interned.html could be used |
| 2025-05-17 20:05:26 +0200 | Digitteknohippie | Digit |
| 2025-05-17 20:05:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 20:06:15 +0200 | <tomsmeding> | ah, but Data.Interned drops entries when the cache fills up |
| 2025-05-17 20:06:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 20:08:23 +0200 | <joeyadams> | I'm making a library that wraps a Map (Data.Map.Strict) with an index by a non-unique key, e.g. IndexedMap UserType UserId User. Indexes can be "stacked" to index the collection by multiple things, as long as there is one unique key at the bottom: Index UPN (Index UserType Map)) UserId User. That is, Index is a "Map transformer". |
| 2025-05-17 20:09:01 +0200 | <joeyadams> | I want to call it indexed-map, unless someone has a better suggestion. I'd rather avoid taking up too good of a name, since this isn't something one needs to do frequently, but it pops up from time to time. |
| 2025-05-17 20:12:38 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-05-17 20:13:28 +0200 | <tomsmeding> | joeyadams: so your first example would be implemented as, essentially, (Map UserType UserId, Map UserId User)? |
| 2025-05-17 20:14:27 +0200 | <joeyadams> | It's actually (Map UserId User, Map UserType (Set UserId), User -> Maybe UserType). The index "stores" the mapping function. |
| 2025-05-17 20:15:31 +0200 | <joeyadams> | This design breaks some properties you'd expect of a Map (like symmetry of union/difference), but the main goal is to guarantee that every operation updates the Index correctly. |
| 2025-05-17 20:16:08 +0200 | <tomsmeding> | is there a specific reason the third component is a function and not another Map? |
| 2025-05-17 20:16:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 20:17:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 20:17:10 +0200 | <tomsmeding> | I would be hesitant to call this indexed-map because haskell library names sometimes take a bunch of influence from type theory, and there "indexed" has a very specific meaning completely unrelated to what you're doing here |
| 2025-05-17 20:17:17 +0200 | <joeyadams> | It needs to be a function so that when you add new items, they can be grouped correctly. |
| 2025-05-17 20:17:50 +0200 | <tomsmeding> | can I expect the implementation of that function to be O(log(number of items in the map))? |
| 2025-05-17 20:18:21 +0200 | <tomsmeding> | oh -- I think I get it. That function is supplied by the programmer, not computed from the maps? |
| 2025-05-17 20:18:22 +0200 | <joeyadams> | The function is specified by the caller when they create the index. It is typically constant time, e.g. (.userType) |
| 2025-05-17 20:18:24 +0200 | <tomsmeding> | right |
| 2025-05-17 20:18:38 +0200 | <joeyadams> | But yeah, indexed-map would be a bad name for this. |
| 2025-05-17 20:19:17 +0200 | <tomsmeding> | so the prime feature this has over Map is that you can efficiently get all users of a particular type |
| 2025-05-17 20:19:31 +0200 | <tomsmeding> | well, all UserIds |
| 2025-05-17 20:19:42 +0200 | mastarija | (~mastarija@141-136-202-103.dsl.iskon.hr) mastarija |
| 2025-05-17 20:19:43 +0200 | <joeyadams> | Right. At any time, after something else updates it. |
| 2025-05-17 20:19:49 +0200 | monochrom | suggests "keyed map". But hey that's redundant isn't it. :) |
| 2025-05-17 20:20:02 +0200 | <joeyadams> | It essentially lets you use Map as an in-memory database table. |
| 2025-05-17 20:20:29 +0200 | <tomsmeding> | hierarchical-map? |
| 2025-05-17 20:20:30 +0200 | monochrom | goes through moar redundant tries. association map. lookup map. ... |
| 2025-05-17 20:21:15 +0200 | <monochrom> | heterogeneous map? |
| 2025-05-17 20:21:25 +0200 | <tomsmeding> | not a fan |
| 2025-05-17 20:21:29 +0200 | <mastarija> | I don't get how one's supposed to use ReadPrec vs ReadP. ReadP is "less efficient" according to the docs, but it seems like there's no nice way to use ReadPrec without going back and forth between the ReadP and ReadPrec, and that looks like it's going to loose the supposed efficiency of ReadPrec. |
| 2025-05-17 20:21:31 +0200 | <joeyadams> | It's not hierarchical, though. If you stack multiple Indexes, they all index the whole set. |
| 2025-05-17 20:21:43 +0200 | <monochrom> | may just call it database because it is a database :) |
| 2025-05-17 20:21:52 +0200 | <monochrom> | or table |
| 2025-05-17 20:22:14 +0200 | <tomsmeding> | joeyadams: yes, but you can start with a value in the top-level map, and repeatedly narrow down to a smaller set by supplying more specific keys |
| 2025-05-17 20:22:31 +0200 | <tomsmeding> | well it models a database with a very specific schema shape |
| 2025-05-17 20:22:35 +0200 | <joeyadams> | tomsmeding: It's not hierarchical. If you stack indexes, each index covers the whole space of items. |
| 2025-05-17 20:22:52 +0200 | <tomsmeding> | subset-map? |
| 2025-05-17 20:23:03 +0200 | <joeyadams> | So you could say Index UPN (Index DisplayName Map)) UserId User |
| 2025-05-17 20:23:25 +0200 | <monochrom> | "data structure" >:) |
| 2025-05-17 20:23:30 +0200 | tomsmeding | wonders why the indexes are stacked if they all produce sets of UserId anyway -- I'd expect the "approximate keys" to be equal, not nested |
| 2025-05-17 20:23:30 +0200 | <joeyadams> | So lookupIndex index "jsmith@example.com" returns a Map UserId User (of all users with that UPN) |
| 2025-05-17 20:23:39 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-17 20:23:49 +0200 | <joeyadams> | lookupIndex (unwrapIndex index) "John Smith" returns a Map UserId User of everybody named John Smith. |
| 2025-05-17 20:23:52 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 252 seconds) |
| 2025-05-17 20:23:54 +0200 | tomsmeding | . o O ( Index '[UPN, DisplayName] UserId User ) |
| 2025-05-17 20:23:57 +0200 | <joeyadams> | The only reason to stack them is to track multiple indexes at once. |
| 2025-05-17 20:24:26 +0200 | monochrom | is inspired by: A colleague wanted to teach rings but didn't want students to just get answers from chatgpt, so he called it "algebraic structure". |
| 2025-05-17 20:24:28 +0200 | <joeyadams> | Index '[UPN, DisplayName] would be sexy, but I'm not sure how to do it or if it would be less efficient. |
| 2025-05-17 20:25:05 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 244 seconds) |
| 2025-05-17 20:25:13 +0200 | <tomsmeding> | doesn't need to be less efficient, a simple GADT will do -- it would become a linked list of the various metadata you need for the "approximate keys", but then, your current nested structure is also nothing more than a linked list |
| 2025-05-17 20:25:14 +0200 | <mastarija> | What's that about? Variants as indexes? |
| 2025-05-17 20:25:19 +0200 | <joeyadams> | I'm not a fan of `lookupIndex (unwrapIndex index) "John Smith"`. But I also don't want to assume that each indexed field is uniquely identifiable by type. |
| 2025-05-17 20:25:19 +0200 | sus0 | (zero@user/zeromomentum) (Ping timeout: 252 seconds) |
| 2025-05-17 20:25:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 20:25:32 +0200 | <joeyadams> | There might be 3 string fields I want to index on, all of them different backing fields. |
| 2025-05-17 20:25:35 +0200 | <tomsmeding> | '[UPN, DisplayName] is a list, not a set ;) |
| 2025-05-17 20:25:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 20:26:06 +0200 | alfiee | (~alfiee@user/alfiee) (Quit: WeeChat 4.5.1) |
| 2025-05-17 20:26:19 +0200 | <tomsmeding> | I don't know if the resulting API would necessarily be much nicer than what you currently have, but intuitively it makes more sense to me -- they are at the same level, so they ought to be represented in a type on the same level, not nested |
| 2025-05-17 20:26:20 +0200 | <joeyadams> | Right, Index is a linked list of indexes that lead to a Map at the end, which holds the actual values. |
| 2025-05-17 20:26:21 +0200 | <__monty__> | Future math courses "Today we'll take a look at frobbles. BTW, yesterdays guirnicks are actually called natural numbers." |
| 2025-05-17 20:27:01 +0200 | monochrom | considers his fingers. If "index" has an issue, then perhaps other fingers will help, e.g., "thumb map"? Some dictionaries certainly want you to thumb them... |
| 2025-05-17 20:27:02 +0200 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-05-17 20:27:20 +0200 | <joeyadams> | I'm building this like a monad transformer right now, except Index transforms a Map instead of a monad. Doing it with a type-level list would make it more like an effect system. |
| 2025-05-17 20:27:36 +0200 | <joeyadams> | monochrom I love it. |
| 2025-05-17 20:28:08 +0200 | <tomsmeding> | when in doubt about a contentful name, one can always reach for whimsical names |
| 2025-05-17 20:28:21 +0200 | <mastarija> | I often do xD |
| 2025-05-17 20:28:28 +0200 | <tomsmeding> | names are hard |
| 2025-05-17 20:28:45 +0200 | <mastarija> | The lengths I go through to get all of my field names to have the same length for tidiness. |
| 2025-05-17 20:29:04 +0200 | <mastarija> | I love thesaurus.com for that. |
| 2025-05-17 20:29:05 +0200 | <joeyadams> | There's a library that does what I'm talking about, except every index is a separate type variable: https://hackage.haskell.org/package/simple-index/docs/Data-SimpleIndex.html |
| 2025-05-17 20:29:28 +0200 | <tomsmeding> | ewww |
| 2025-05-17 20:30:05 +0200 | <joeyadams> | What I'm doing is building something a little more composable than that. My library is still a little ugly, though. |
| 2025-05-17 20:31:28 +0200 | <joeyadams> | If someone wanted Set, or HashMap, or whatever to be the underlying type, they wouldn't be able to. I could use associated types, but it makes things ugly. The index itself needs a collection of some sort, and using Data.Map.Strict and Data.Set across the board is more practical. |
| 2025-05-17 20:31:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 20:32:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 20:32:10 +0200 | mastarija | (~mastarija@141-136-202-103.dsl.iskon.hr) (Quit: Client closed) |
| 2025-05-17 20:34:30 +0200 | <__monty__> | monochrom: No can do, Finger trees already use all the other fingers. |
| 2025-05-17 20:35:56 +0200 | <monochrom> | heh |
| 2025-05-17 20:38:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-17 20:40:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 20:40:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 20:41:04 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-05-17 20:44:01 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 20:45:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-17 20:51:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-17 20:54:41 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-17 20:55:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 20:56:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 20:58:26 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 265 seconds) |
| 2025-05-17 20:59:41 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2025-05-17 21:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-17 21:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-17 21:09:58 +0200 | paul_j | (~user@8.190.187.81.in-addr.arpa) paul_j |
| 2025-05-17 21:11:06 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-05-17 21:11:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-17 21:11:43 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-17 21:12:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 21:13:27 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-17 21:14:16 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-17 21:14:17 +0200 | ljdarj1 | ljdarj |
| 2025-05-17 21:19:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 21:20:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 21:25:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 21:25:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 21:31:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-17 21:32:00 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-17 21:35:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-17 21:35:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-17 21:40:12 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-05-17 21:41:44 +0200 | drewr | (~drew@user/drewr) (Ping timeout: 260 seconds) |
| 2025-05-17 21:42:15 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-05-17 21:44:14 +0200 | <hololeap> | I'm getting "Conflicting family instance declarations" and I don't understand why <https://0x0.st/8vUb.txt> |
| 2025-05-17 21:54:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-17 21:56:30 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2025-05-17 21:57:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |