2025/05/17

2025-05-17 00:00:25 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-17 00:06:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 00:06:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 00:08:11 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-17 00:08:41 +0200mrmr1(~mrmr@user/mrmr) mrmr
2025-05-17 00:09:53 +0200mrmr(~mrmr@user/mrmr) (Ping timeout: 244 seconds)
2025-05-17 00:09:53 +0200mrmr1mrmr
2025-05-17 00:12:08 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-05-17 00:13:19 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-05-17 00:19:38 +0200Square2(~Square@user/square) Square
2025-05-17 00:28:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 00:28:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 00:31:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-17 00:33:41 +0200weary-traveler(~user@user/user363627) user363627
2025-05-17 00:39:58 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-17 00:41:11 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 272 seconds)
2025-05-17 00:41:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 00:42:51 +0200j1n37(~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 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 00:46:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-17 00:57:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 00:59:07 +0200sprotte24_(~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de) (Quit: Leaving)
2025-05-17 00:59:14 +0200sprotte24(~sprotte24@p200300d16f1bca002ca617d70fcb63bb.dip0.t-ipconnect.de) (Quit: Leaving)
2025-05-17 01:06:20 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-05-17 01:07:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 01:08:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 01:09:43 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-17 01:11:30 +0200ttybitnik(~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 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-17 01:20:31 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-17 01:22:00 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2025-05-17 01:22:01 +0200Lord_of_Life_Lord_of_Life
2025-05-17 01:31:25 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Read error: Connection reset by peer)
2025-05-17 01:34:36 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-17 01:35:34 +0200haskellbridge(~hackager@syn-096-028-227-029.res.spectrum.com) (Remote host closed the connection)
2025-05-17 01:41:22 +0200haskellbridge(~hackager@syn-096-028-227-029.res.spectrum.com) hackager
2025-05-17 01:41:22 +0200ChanServ+v haskellbridge
2025-05-17 01:44:18 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-17 01:44:26 +0200manwithluck(~manwithlu@2a09:bac5:5082:2387::38a:10) (Remote host closed the connection)
2025-05-17 01:46:13 +0200mistivia_(~mistivia@user/mistivia) mistivia
2025-05-17 01:46:54 +0200mistivia(~mistivia@user/mistivia) (Read error: Connection reset by peer)
2025-05-17 01:48:09 +0200manwithluck(~manwithlu@2a09:bac5:5082:2387::38a:10) manwithluck
2025-05-17 01:49:05 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-05-17 01:49:47 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 01:50:20 +0200 <wbrawner> lol
2025-05-17 01:54:36 +0200ystael(~ystael@user/ystael) (Ping timeout: 276 seconds)
2025-05-17 01:59:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-05-17 02:02:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-17 02:02:29 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds)
2025-05-17 02:03:28 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-05-17 02:11:05 +0200volsand(~volsand@2804:1b1:1080:3f49:869b:b61b:4ad6:650f)
2025-05-17 02:12:33 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
2025-05-17 02:13:31 +0200acidjnk(~acidjnk@p200300d6e71c4f410c8650aa1a5c1c11.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-17 02:13:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 02:22:30 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-17 02:28:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-17 02:28:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 02:36:27 +0200Square(~Square4@user/square) Square
2025-05-17 02:38:09 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-05-17 02:40:30 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-17 02:43:40 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-17 02:49:00 +0200craunts(~craunts@136.158.8.87)
2025-05-17 02:50:28 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-17 02:58:21 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-17 03:01:03 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-05-17 03:03:11 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 03:05:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2025-05-17 03:08:24 +0200wickedjargon(~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) wickedjargon
2025-05-17 03:10:49 +0200zlqrvx(~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3)
2025-05-17 03:18:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-17 03:19:46 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds)
2025-05-17 03:23:47 +0200dibblego(~dibblego@116-255-1-119.ip4.superloop.au)
2025-05-17 03:23:48 +0200dibblego(~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
2025-05-17 03:23:48 +0200dibblego(~dibblego@haskell/developer/dibblego) dibblego
2025-05-17 03:25:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 03:25:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 03:29:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 03:34:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 03:34:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 03:35:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-17 03:38:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 03:43:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-17 03:44:21 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-05-17 03:52:02 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-05-17 03:52:19 +0200Digitteknohippie(~user@user/digit) Digit
2025-05-17 03:54:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 03:54:46 +0200Digit(~user@user/digit) (Ping timeout: 276 seconds)
2025-05-17 04:00:21 +0200end(~end@user/end/x-0094621) (Ping timeout: 248 seconds)
2025-05-17 04:02:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 04:02:04 +0200bcksl(~bcksl@user/bcksl) (Ping timeout: 245 seconds)
2025-05-17 04:02:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 04:07:02 +0200Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: Ping timeout (120 seconds))
2025-05-17 04:07:20 +0200Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu
2025-05-17 04:12:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 04:12:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 04:15:25 +0200td_(~td@i53870927.versanet.de) (Ping timeout: 260 seconds)
2025-05-17 04:17:19 +0200td_(~td@i53870928.versanet.de) td_
2025-05-17 04:24:21 +0200Square(~Square4@user/square) (Ping timeout: 248 seconds)
2025-05-17 04:29:59 +0200DigitteknohippieDigit
2025-05-17 04:37:18 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-05-17 04:37:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 04:37:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 04:48:55 +0200jrm(~jrm@user/jrm) jrm
2025-05-17 04:52:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-17 04:55:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 04:55:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 04:58:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-17 05:01:16 +0200bcksl(~bcksl@user/bcksl) bcksl
2025-05-17 05:06:00 +0200end(~end@user/end/x-0094621) end^
2025-05-17 05:06:34 +0200Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-05-17 05:08:13 +0200xff0x(~xff0x@2405:6580:b080:900:1ff5:fe1f:3cee:797d) (Ping timeout: 276 seconds)
2025-05-17 05:08:51 +0200Digit(~user@user/digit) Digit
2025-05-17 05:09:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 05:09:29 +0200Square2(~Square@user/square) (Ping timeout: 260 seconds)
2025-05-17 05:19:01 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-05-17 05:24:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-05-17 05:29:03 +0200Digitteknohippie(~user@user/digit) Digit
2025-05-17 05:29:56 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-05-17 05:33:53 +0200Digit(~user@user/digit) Digit
2025-05-17 05:35:08 +0200aforemny_(~aforemny@2001:9e8:6ce3:4b00:63e7:2449:7739:bbf2) aforemny
2025-05-17 05:35:16 +0200aforemny(~aforemny@2001:9e8:6cc4:6e00:7edf:27f1:f2a2:7f8e) (Ping timeout: 265 seconds)
2025-05-17 05:35:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 05:35:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 05:36:18 +0200haskellbridge(~hackager@syn-096-028-227-029.res.spectrum.com) (Ping timeout: 272 seconds)
2025-05-17 05:39:44 +0200xff0x(~xff0x@2405:6580:b080:900:1ff5:fe1f:3cee:797d)
2025-05-17 05:41:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 05:42:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 05:45:49 +0200OftenFaded(~OftenFade@user/tisktisk) OftenFaded
2025-05-17 05:53:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-17 05:57:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 05:58:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 06:00:16 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-17 06:04:39 +0200Digitteknohippie(~user@user/digit) (Quit: double loggin correction)
2025-05-17 06:05:23 +0200Digitdigitteknohippie
2025-05-17 06:05:32 +0200digitteknohippieDigit
2025-05-17 06:11:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 06:12:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 06:14:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-17 06:15:59 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-17 06:16:29 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-17 06:21:32 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 06:22:24 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-17 06:25:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 06:25:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 06:25:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 06:30:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-17 06:31:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 06:31:28 +0200tv(~tv@user/tv) (Read error: Connection reset by peer)
2025-05-17 06:31:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 06:39:26 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-17 06:39:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 06:41:10 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-17 06:41:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 06:42:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 06:47:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-17 06:47:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 06:48:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 06:51:13 +0200craunts(~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat)
2025-05-17 06:53:32 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-17 06:54:16 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-05-17 06:57:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 06:58:25 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-17 07:03:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-17 07:09:31 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-05-17 07:14:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 07:21:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-17 07:28:57 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-17 07:32:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 07:32:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 07:32:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 07:34:33 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-17 07:36:00 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-05-17 07:37:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-17 07:38:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 07:38:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 07:40:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 07:50:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 07:50:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 07:58:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 07:58:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 08:20:07 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-05-17 08:20:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 08:20:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 08:28:36 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479)
2025-05-17 08:31:33 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-17 08:43:46 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 08:45:13 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-05-17 08:47:35 +0200echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2025-05-17 08:48:29 +0200echoreply(~echoreply@45.32.163.16) echoreply
2025-05-17 08:48:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 08:48:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 08:49:53 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-05-17 08:50:36 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-17 09:00:03 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-17 09:00:42 +0200caconym7(~caconym@user/caconym) caconym
2025-05-17 09:02:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 09:03:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 09:08:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 09:08:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 09:16:25 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-17 09:16:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 09:16:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 09:23:44 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-17 09:24:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 09:24:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 09:27:54 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-17 09:31:23 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479)
2025-05-17 09:31:33 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-05-17 09:31:52 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-17 09:33:33 +0200acidjnk(~acidjnk@p200300d6e71c4f65d0640ad70f89573f.dip0.t-ipconnect.de) acidjnk
2025-05-17 09:36:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 09:36:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 09:39:37 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-05-17 09:40:00 +0200euleritian(~euleritia@dynamic-176-006-141-057.176.6.pool.telefonica.de)
2025-05-17 09:40:17 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-17 09:40:47 +0200Digit(~user@user/digit) (Ping timeout: 272 seconds)
2025-05-17 09:41:26 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) Maeda
2025-05-17 09:41:56 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Client Quit)
2025-05-17 09:44:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 09:45:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 09:46:41 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-17 09:46:46 +0200olivial(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2025-05-17 09:47:02 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-05-17 09:48:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-17 09:54:20 +0200sus0(zero@user/zeromomentum) zeromomentum
2025-05-17 09:55:02 +0200euleritian(~euleritia@dynamic-176-006-141-057.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-17 09:55:29 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-17 09:55:57 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-17 09:56:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-05-17 09:57:08 +0200tv(~tv@user/tv) tv
2025-05-17 09:58:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 09:58:49 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-17 09:59:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 09:59:17 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-17 09:59:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 10:04:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 10:05:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 10:05:38 +0200Digit(~user@132.7.200.146.dyn.plus.net)
2025-05-17 10:06:00 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2025-05-17 10:06:14 +0200euleritian(~euleritia@dynamic-176-006-141-057.176.6.pool.telefonica.de)
2025-05-17 10:08:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 10:09:03 +0200sabathan2(~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 +0200Digit(~user@132.7.200.146.dyn.plus.net) (Ping timeout: 252 seconds)
2025-05-17 10:18:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 10:19:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 10:20:14 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-17 10:22:07 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-05-17 10:25:49 +0200euleritian(~euleritia@dynamic-176-006-141-057.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
2025-05-17 10:26:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 10:27:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 10:29:34 +0200mistivia_(~mistivia@user/mistivia) (Read error: Connection reset by peer)
2025-05-17 10:33:13 +0200mistivia(~mistivia@user/mistivia) mistivia
2025-05-17 10:33:16 +0200Digit(~user@user/digit) Digit
2025-05-17 10:34:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 10:35:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 10:39:12 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-17 10:40:59 +0200Digitteknohippie(~user@user/digit) Digit
2025-05-17 10:41:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 10:42:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 10:42:17 +0200Digit(~user@user/digit) (Ping timeout: 244 seconds)
2025-05-17 10:50:25 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
2025-05-17 10:55:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 10:55:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 11:03:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-17 11:06:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 11:07:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 11:09:33 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-17 11:12:45 +0200DigitteknohippieDigit
2025-05-17 11:15:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 11:19:07 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 11:20:40 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-17 11:40:39 +0200euleritian(~euleritia@dynamic-176-006-130-194.176.6.pool.telefonica.de)
2025-05-17 11:44:53 +0200euleritian(~euleritia@dynamic-176-006-130-194.176.6.pool.telefonica.de) (Ping timeout: 248 seconds)
2025-05-17 11:47:54 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-17 11:49:11 +0200Digitteknohippie(~user@user/digit) Digit
2025-05-17 11:49:20 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-05-17 11:50:17 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479)
2025-05-17 11:50:39 +0200Digit(~user@user/digit) (Ping timeout: 276 seconds)
2025-05-17 11:55:01 +0200Digitteknohippie(~user@user/digit) (Ping timeout: 248 seconds)
2025-05-17 11:55:31 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-17 12:01:54 +0200Digit(~user@user/digit) Digit
2025-05-17 12:07:01 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-05-17 12:19:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-17 12:32:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 12:35:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 12:35:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 12:38:37 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-17 12:44:02 +0200Digitdigitteknohippie
2025-05-17 12:44:12 +0200digitteknohippieDigit
2025-05-17 12:45:52 +0200puke(~puke@user/puke) (Quit: puke)
2025-05-17 12:47:59 +0200euleritian(~euleritia@dynamic-176-006-139-010.176.6.pool.telefonica.de)
2025-05-17 12:49:18 +0200puke(~puke@user/puke) puke
2025-05-17 12:55:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 12:55:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 13:00:04 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-17 13:01:35 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada
2025-05-17 13:02:14 +0200caconym7(~caconym@user/caconym) caconym
2025-05-17 13:02:31 +0200euleritian(~euleritia@dynamic-176-006-139-010.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-17 13:02:50 +0200euleritian(~euleritia@217.92.21.14)
2025-05-17 13:07:38 +0200zlqrvx(~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-17 13:08:34 +0200xff0x(~xff0x@2405:6580:b080:900:1ff5:fe1f:3cee:797d) (Ping timeout: 276 seconds)
2025-05-17 13:09:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 13:09:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 13:18:01 +0200euleritian(~euleritia@217.92.21.14) (Ping timeout: 272 seconds)
2025-05-17 13:24:15 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479)
2025-05-17 13:26:00 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-17 13:36:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-17 13:36:43 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-17 13:39:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 13:40:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 13:41:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 13:48:38 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-17 13:48:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 13:49:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 13:49:41 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-05-17 13:53:19 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 14:00:39 +0200sajenim(~sajenim@user/sajenim) (Quit: WeeChat 4.4.3)
2025-05-17 14:02:29 +0200xff0x(~xff0x@om126236158054.32.openmobile.ne.jp)
2025-05-17 14:04:42 +0200troydm(~troydm@user/troydm) troydm
2025-05-17 14:05:03 +0200euleritian(~euleritia@dynamic-176-006-144-177.176.6.pool.telefonica.de)
2025-05-17 14:05:19 +0200craunts(~craunts@136.158.8.87)
2025-05-17 14:11:36 +0200euleritian(~euleritia@dynamic-176-006-144-177.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-17 14:11:54 +0200euleritian(~euleritia@217.92.21.14)
2025-05-17 14:14:09 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds)
2025-05-17 14:18:22 +0200jespada(~jespada@r179-25-150-22.dialup.adsl.anteldata.net.uy) jespada
2025-05-17 14:26:57 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-17 14:28:52 +0200euleritian(~euleritia@217.92.21.14) (Ping timeout: 265 seconds)
2025-05-17 14:29:20 +0200euleritian(~euleritia@dynamic-176-006-144-177.176.6.pool.telefonica.de)
2025-05-17 14:33:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 14:34:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 14:45:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-17 14:52:31 +0200xff0x(~xff0x@om126236158054.32.openmobile.ne.jp) (Read error: Connection reset by peer)
2025-05-17 14:53:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 14:54:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 14:54:57 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-05-17 14:57:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 15:00:30 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-05-17 15:01:14 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479)
2025-05-17 15:05:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-17 15:08:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 15:09:07 +0200pavonia(~user@user/siracusa) siracusa
2025-05-17 15:09:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 15:11:23 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-05-17 15:12:06 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-17 15:15:34 +0200michalz(~michalz@185.246.207.217)
2025-05-17 15:16:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 15:17:22 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-17 15:18:47 +0200img(~img@user/img) img
2025-05-17 15:23:00 +0200euleritian(~euleritia@dynamic-176-006-144-177.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-17 15:23:18 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-17 15:26:29 +0200Square2(~Square@user/square) Square
2025-05-17 15:31:14 +0200ajrdck(e0a4b72d53@user/ajrdck) ajrdck
2025-05-17 15:31:54 +0200tomsmeding. 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 +0200sabathan2(~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 +0200acidjnk(~acidjnk@p200300d6e71c4f65d0640ad70f89573f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-17 15:40:28 +0200sabathan2(~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 +0200tromp(~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 +0200SlackCoder(~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 +0200JuanDaughertywonders why some in hs channel space went to matrix
2025-05-17 15:55:10 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-17 15:55:54 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Max SendQ exceeded)
2025-05-17 15:56:37 +0200wootehfoot(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 16:02:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 16:09:14 +0200JuanDaughertyColinRobinson
2025-05-17 16:10:13 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479)
2025-05-17 16:19:26 +0200ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-17 16:22:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 16:22:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 16:30:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 16:30:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 16:34:25 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-17 16:43:07 +0200wootehfoot(~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 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com)
2025-05-17 17:06:36 +0200ft_(~ft@p3e9bc106.dip0.t-ipconnect.de) ft
2025-05-17 17:08:25 +0200ft(~ft@p3e9bc106.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-05-17 17:08:26 +0200ft_ft
2025-05-17 17:14:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 17:14:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 17:15:51 +0200pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-05-17 17:16:42 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-05-17 17:19:13 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-17 17:23:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 17:24:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 17:26:46 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-17 17:31:29 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2025-05-17 17:36:39 +0200tromp(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 17:38:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 17:45:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 17:45:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 17:52:49 +0200sabathan2(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 17:58:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 17:59:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 18:06:44 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-17 18:13:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 18:14:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 18:17:18 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-17 18:17:35 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-05-17 18:18:59 +0200tolgo(~Thunderbi@199.115.144.130)
2025-05-17 18:19:24 +0200volsand(~volsand@2804:1b1:1080:3f49:869b:b61b:4ad6:650f) (Quit: volsand)
2025-05-17 18:21:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-17 18:21:31 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 18:23:16 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-05-17 18:24:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 18:25:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 18:28:44 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2025-05-17 18:30:01 +0200Pozyomka(~pyon@user/pyon) (Quit: WeeChat 4.6.2)
2025-05-17 18:34:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 18:35:14 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-17 18:41:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 18:42:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 18:56:12 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2025-05-17 18:56:34 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-17 18:56:44 +0200fantom(~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds)
2025-05-17 18:58:01 +0200craunts(~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat)
2025-05-17 19:04:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 19:05:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 19:10:13 +0200ystael(~ystael@user/ystael) ystael
2025-05-17 19:11:24 +0200fantom(~fantom@33be818f.skybroadband.com)
2025-05-17 19:11:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 19:12:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 19:14:29 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-17 19:16:23 +0200Pozyomka(~pyon@user/pyon) pyon
2025-05-17 19:19:04 +0200Digitteknohippie(~user@user/digit) Digit
2025-05-17 19:19:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 19:19:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 19:20:10 +0200Digit(~user@user/digit) (Ping timeout: 260 seconds)
2025-05-17 19:22:28 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479)
2025-05-17 19:22:58 +0200Vajb(~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi) (Ping timeout: 276 seconds)
2025-05-17 19:26:11 +0200tolgo(~Thunderbi@199.115.144.130) (Quit: tolgo)
2025-05-17 19:26:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 19:26:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 19:34:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 19:34:42 +0200sabathan2(~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 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-17 19:36:19 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-17 19:36:48 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-17 19:37:18 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 19:43:43 +0200acidjnk(~acidjnk@p200300d6e71c4f6519933bac196d5034.dip0.t-ipconnect.de) acidjnk
2025-05-17 19:50:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 19:50:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 19:57:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 19:57:37 +0200sabathan2(~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 +0200peterbecich(~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 +0200DigitteknohippieDigit
2025-05-17 20:05:57 +0200sabathan2(~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 +0200sabathan2(~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 +0200emmanuelux(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 20:17:09 +0200sabathan2(~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 +0200mastarija(~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 +0200monochromsuggests "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 +0200monochromgoes 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 +0200tomsmedingwonders 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 +0200tzh(~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 +0200bcksl(~bcksl@user/bcksl) (Ping timeout: 252 seconds)
2025-05-17 20:23:54 +0200tomsmeding. 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 +0200monochromis 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 +0200end(~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 +0200sus0(zero@user/zeromomentum) (Ping timeout: 252 seconds)
2025-05-17 20:25:31 +0200sabathan2(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 20:26:06 +0200alfiee(~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 +0200monochromconsiders 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 +0200alfiee(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 20:32:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 20:32:10 +0200mastarija(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-17 20:40:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 20:40:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 20:41:04 +0200bcksl(~bcksl@user/bcksl) bcksl
2025-05-17 20:44:01 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-17 20:45:31 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-17 20:51:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 20:54:41 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-05-17 20:55:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 20:56:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 20:58:26 +0200leah2(~leah@vuxu.org) (Ping timeout: 265 seconds)
2025-05-17 20:59:41 +0200end(~end@user/end/x-0094621) end^
2025-05-17 21:00:03 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-17 21:00:41 +0200caconym7(~caconym@user/caconym) caconym
2025-05-17 21:09:58 +0200paul_j(~user@8.190.187.81.in-addr.arpa) paul_j
2025-05-17 21:11:06 +0200leah2(~leah@vuxu.org) leah2
2025-05-17 21:11:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-17 21:11:43 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-17 21:12:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 21:13:27 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-05-17 21:14:16 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds)
2025-05-17 21:14:17 +0200ljdarj1ljdarj
2025-05-17 21:19:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 21:20:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 21:25:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 21:25:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 21:31:31 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 21:32:00 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-17 21:35:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 21:35:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 21:40:12 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-05-17 21:41:44 +0200drewr(~drew@user/drewr) (Ping timeout: 260 seconds)
2025-05-17 21:42:15 +0200SlackCoder(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-17 21:56:30 +0200zmt01(~zmt00@user/zmt00) zmt00
2025-05-17 21:57:34 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-17 22:00:21 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 276 seconds)
2025-05-17 22:02:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 22:02:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 22:06:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 22:08:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 22:08:07 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-17 22:08:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 22:14:33 +0200sprotte24(~sprotte24@p200300d16f06fd00c9f6fa4fdf16930b.dip0.t-ipconnect.de)
2025-05-17 22:16:34 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-17 22:19:52 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 22:21:54 +0200 <int-e> hololeap: Based on the error message I'd image that `type IOMode = STRef RealWorld` so `IOMode` and `STRef s` overlap
2025-05-17 22:21:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 22:22:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 22:22:57 +0200 <int-e> err, `type IOMode = STMode RealWord` and the final `STRef` was also supposed to be `STMode`
2025-05-17 22:26:02 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2025-05-17 22:31:40 +0200drewr(~drew@user/drewr) drewr
2025-05-17 22:32:17 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-17 22:37:12 +0200 <EvanR> I have this expression somewhere, within a larger expression, all on one line. (get next, env) : dump. I'd like to evaluate get next "now" ... is there a slick way
2025-05-17 22:37:54 +0200 <EvanR> ditch the list of pairs and make a strict pair chain datatype?
2025-05-17 22:38:06 +0200 <tomsmeding> let !x = get next in .... x ....
2025-05-17 22:38:17 +0200 <EvanR> ah
2025-05-17 22:38:31 +0200 <EvanR> oof my code style!
2025-05-17 22:38:34 +0200 <tomsmeding> not sure about "slick" though
2025-05-17 22:38:39 +0200 <EvanR> there's a lot of ...
2025-05-17 22:39:18 +0200 <hololeap> int-e: looks like you may be on to something: https://hackage.haskell.org/package/flatparse-0.5.2.1/docs/FlatParse-Common-Parser.html
2025-05-17 22:41:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-17 22:46:11 +0200 <EvanR> tomsmeding, ... (x, env) : dump ... where !x = get next ?
2025-05-17 22:49:19 +0200 <EvanR> hoping this desugars to the same thing
2025-05-17 22:50:23 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2025-05-17 22:52:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 22:54:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 22:54:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 22:58:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-17 22:59:06 +0200 <monochrom> I think it's the same thing.
2025-05-17 23:02:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 23:02:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 23:03:35 +0200acidjnk(~acidjnk@p200300d6e71c4f6519933bac196d5034.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-05-17 23:04:53 +0200Digit(~user@user/digit) (Ping timeout: 248 seconds)
2025-05-17 23:06:38 +0200acidjnk(~acidjnk@p200300d6e71c4f65f1ead88f57001215.dip0.t-ipconnect.de) acidjnk
2025-05-17 23:07:24 +0200OftenFaded7(~OftenFade@user/tisktisk) OftenFaded
2025-05-17 23:08:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-17 23:09:37 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2025-05-17 23:12:56 +0200OftenFaded7(~OftenFade@user/tisktisk) (Quit: OftenFaded7)
2025-05-17 23:15:57 +0200OftenFaded(~OftenFade@user/tisktisk) (Quit: OftenFaded)
2025-05-17 23:19:27 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-17 23:20:10 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-17 23:21:25 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-17 23:22:26 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479)
2025-05-17 23:22:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 23:22:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 23:24:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-17 23:26:06 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-17 23:35:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 23:36:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 23:44:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 23:44:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 23:48:04 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-17 23:49:05 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-05-17 23:52:56 +0200remexre(~remexre@user/remexre) remexre
2025-05-17 23:53:26 +0200Nosrep(~Nosrep@user/nosrep) Nosrep