IRCBrowse

2026/03/12

2026-03-12 00:01:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 00:02:48 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Ping timeout: 264 seconds)
2026-03-12 00:04:32 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-03-12 00:06:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-12 00:07:44 +0100Guest34(~Guest34@134.197.0.20)
2026-03-12 00:08:13 +0100Guest34(~Guest34@134.197.0.20) (Client Quit)
2026-03-12 00:13:45 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-03-12 00:15:43 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-03-12 00:16:47 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-03-12 00:16:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 00:19:48 +0100stackdroid18(~stackdroi@user/stackdroid) ()
2026-03-12 00:22:26 +0100Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!)
2026-03-12 00:23:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-12 00:34:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 00:39:54 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-12 00:39:59 +0100czan(~czan@user/mange) czan
2026-03-12 00:40:43 +0100Square(~Square4@user/square) Square
2026-03-12 00:43:36 +0100Square2(~Square@user/square) (Ping timeout: 264 seconds)
2026-03-12 00:45:25 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2026-03-12 00:50:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 00:53:33 +0100Pozyomka(~pyon@user/pyon) (Read error: Connection reset by peer)
2026-03-12 00:54:43 +0100Pozyomka(~pyon@user/pyon) pyon
2026-03-12 00:55:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-12 01:06:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 01:09:04 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-03-12 01:11:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-12 01:22:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 01:27:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-12 01:32:10 +0100AlexZenon_2(~alzenon@5.139.232.240)
2026-03-12 01:33:08 +0100AlexZenon(~alzenon@5.139.232.240) (Ping timeout: 244 seconds)
2026-03-12 01:33:09 +0100humasect_(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-03-12 01:33:10 +0100AlexZenon(~alzenon@5.139.232.240)
2026-03-12 01:33:28 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds)
2026-03-12 01:33:28 +0100foul_owl(~kerry@94.156.149.94) (Ping timeout: 244 seconds)
2026-03-12 01:33:59 +0100foul_owl(~kerry@94.156.149.94) foul_owl
2026-03-12 01:33:59 +0100weary-traveler(~user@user/user363627) (Ping timeout: 244 seconds)
2026-03-12 01:33:59 +0100ystael(~ystael@user/ystael) (Ping timeout: 244 seconds)
2026-03-12 01:33:59 +0100edwtjo(~edwtjo@fsf/member/edwtjo) (Ping timeout: 244 seconds)
2026-03-12 01:34:12 +0100weary-traveler(~user@user/user363627) user363627
2026-03-12 01:34:15 +0100ystael(~ystael@user/ystael) ystael
2026-03-12 01:34:31 +0100Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 264 seconds)
2026-03-12 01:35:30 +0100edwtjo(~edwtjo@fsf/member/edwtjo) edwtjo
2026-03-12 01:36:56 +0100AlexZenon_2(~alzenon@5.139.232.240) (Ping timeout: 268 seconds)
2026-03-12 01:37:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 01:42:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-12 01:53:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 02:00:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-12 02:08:14 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2026-03-12 02:11:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 02:11:48 +0100xff0x(~xff0x@2405:6580:b080:900:cfba:7074:7dbc:e7e9) (Ping timeout: 264 seconds)
2026-03-12 02:16:36 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-12 02:18:34 +0100emmanuelux(~em@user/emmanuelux) (Read error: Connection reset by peer)
2026-03-12 02:18:46 +0100anselmschueler(~Thunderbi@user/schuelermine) schuelermine
2026-03-12 02:18:56 +0100Square(~Square4@user/square) (Ping timeout: 244 seconds)
2026-03-12 02:19:00 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-03-12 02:20:55 +0100acidjnk_new3(~acidjnk@p200300d6e700e503f643e9bea9c15385.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2026-03-12 02:24:43 +0100Square(~Square4@user/square) Square
2026-03-12 02:27:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 02:29:20 +0100emmanuelux(~em@user/emmanuelux) (Read error: Connection reset by peer)
2026-03-12 02:32:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-12 02:32:36 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-03-12 02:38:40 +0100humasect_(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-03-12 02:43:16 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 02:44:40 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-03-12 02:48:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-12 02:59:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 03:03:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-12 03:05:07 +0100Googulator44(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu) (Quit: Client closed)
2026-03-12 03:05:08 +0100Googulator7(~Googulato@92-249-180-22.pool.digikabel.hu)
2026-03-12 03:05:33 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-03-12 03:06:06 +0100Googulator7(~Googulato@92-249-180-22.pool.digikabel.hu) (Client Quit)
2026-03-12 03:06:12 +0100Googulator89(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu)
2026-03-12 03:07:13 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-03-12 03:08:44 +0100tromp(~textual@2001:1c00:3487:1b00:2807:b44c:c102:bda9) (Ping timeout: 252 seconds)
2026-03-12 03:14:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 03:15:22 +0100Googulator79(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu)
2026-03-12 03:15:31 +0100Googulator89(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu) (Quit: Client closed)
2026-03-12 03:16:45 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds)
2026-03-12 03:19:23 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-12 03:26:06 +0100anselmschueler(~Thunderbi@user/schuelermine) (Ping timeout: 244 seconds)
2026-03-12 03:27:00 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-03-12 03:29:40 +0100Googulator21(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu)
2026-03-12 03:30:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 03:30:48 +0100Googulator16(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu)
2026-03-12 03:30:51 +0100Googulator21(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu) (Client Quit)
2026-03-12 03:30:56 +0100Googulator79(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu) (Quit: Client closed)
2026-03-12 03:31:14 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds)
2026-03-12 03:31:55 +0100Googulator99(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu)
2026-03-12 03:32:11 +0100Googulator16(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu) (Client Quit)
2026-03-12 03:33:45 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 265 seconds)
2026-03-12 03:36:57 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-12 03:42:26 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2026-03-12 03:42:49 +0100pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2026-03-12 03:44:07 +0100qqq(~qqq@185.54.22.246)
2026-03-12 03:44:35 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-03-12 03:48:29 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 03:49:11 +0100pabs3(~pabs3@user/pabs3) pabs3
2026-03-12 03:55:02 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-12 03:55:17 +0100Googulator31(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu)
2026-03-12 03:55:17 +0100Googulator99(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu) (Quit: Client closed)
2026-03-12 03:57:01 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-03-12 03:57:11 +0100Googulator10(~Googulato@2a01-036d-0106-2025-4c0a-eafd-fab1-553f.pool6.digikabel.hu)
2026-03-12 03:59:14 +0100Googulator10(~Googulato@2a01-036d-0106-2025-4c0a-eafd-fab1-553f.pool6.digikabel.hu) (Client Quit)
2026-03-12 03:59:16 +0100Googulator69(~Googulato@2a01-036d-0106-2025-4c0a-eafd-fab1-553f.pool6.digikabel.hu)
2026-03-12 04:00:28 +0100Googulator31(~Googulato@2a01-036d-0106-0119-5d77-22bc-bcbf-a57b.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2026-03-12 04:03:18 +0100czan(~czan@user/mange) (Ping timeout: 244 seconds)
2026-03-12 04:05:27 +0100Googulator53(~Googulato@2a01-036d-0106-2025-4c0a-eafd-fab1-553f.pool6.digikabel.hu)
2026-03-12 04:05:31 +0100Googulator69(~Googulato@2a01-036d-0106-2025-4c0a-eafd-fab1-553f.pool6.digikabel.hu) (Quit: Client closed)
2026-03-12 04:05:59 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 04:10:32 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-12 04:21:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 04:26:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-12 04:31:59 +0100Square2(~Square@user/square) Square
2026-03-12 04:34:18 +0100Square(~Square4@user/square) (Ping timeout: 244 seconds)
2026-03-12 04:37:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 04:38:07 +0100qqq(~qqq@185.54.22.246) (Ping timeout: 264 seconds)
2026-03-12 04:42:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-12 04:52:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 04:54:46 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-12 04:57:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-12 05:08:26 +0100jeremyn(~jeremy@user/jeremyn) jeremyn
2026-03-12 05:08:44 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 05:09:23 +0100 <jeremyn> \
2026-03-12 05:16:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-12 05:24:17 +0100spew(~spew@user/spew) (Quit: nyaa~)
2026-03-12 05:26:00 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
2026-03-12 05:26:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 05:28:12 +0100Square2(~Square@user/square) (Ping timeout: 255 seconds)
2026-03-12 05:31:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-12 05:37:35 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-03-12 05:37:51 +0100DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-03-12 05:40:05 +0100DetourNe-DetourNetworkUK
2026-03-12 05:42:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 05:47:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-12 05:48:15 +0100kadobanana(~mud@user/kadoban) (Quit: quit)
2026-03-12 06:07:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 06:09:23 +0100michalz(~michalz@185.246.207.203)
2026-03-12 06:11:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-12 06:22:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 06:27:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-03-12 06:33:10 +0100Googulator53(~Googulato@2a01-036d-0106-2025-4c0a-eafd-fab1-553f.pool6.digikabel.hu) (Quit: Client closed)
2026-03-12 06:33:25 +0100Googulator53(~Googulato@2a01-036d-0106-2025-4c0a-eafd-fab1-553f.pool6.digikabel.hu)
2026-03-12 06:38:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 06:42:09 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-03-12 06:42:26 +0100divlamir(~divlamir@user/divlamir) divlamir
2026-03-12 06:43:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-12 06:52:23 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 06:59:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-12 07:09:56 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-03-12 07:10:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 07:13:46 +0100tusko(~uwu@user/tusko) (Ping timeout: 258 seconds)
2026-03-12 07:15:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-12 07:20:21 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds)
2026-03-12 07:24:35 +0100jreicher(~joelr@user/jreicher) (Quit: In transit)
2026-03-12 07:25:51 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 07:26:16 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Quit: Quit)
2026-03-12 07:26:31 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-03-12 07:30:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-12 07:37:39 +0100AlexNoo_(~AlexNoo@5.139.232.240)
2026-03-12 07:41:12 +0100AlexNoo(~AlexNoo@5.139.232.240) (Ping timeout: 264 seconds)
2026-03-12 07:41:37 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 07:46:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-12 07:47:11 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-03-12 07:54:55 +0100mud(~mud@user/kadoban) kadoban
2026-03-12 08:03:06 +0100Googulator53(~Googulato@2a01-036d-0106-2025-4c0a-eafd-fab1-553f.pool6.digikabel.hu) (Quit: Client closed)
2026-03-12 08:03:21 +0100Googulator53(~Googulato@2a01-036d-0106-2025-4c0a-eafd-fab1-553f.pool6.digikabel.hu)
2026-03-12 08:09:13 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 08:13:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-12 08:19:37 +0100mulk(~mulk@pd95146df.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2026-03-12 08:20:27 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-03-12 08:22:34 +0100emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-03-12 08:22:54 +0100emmanuelux(~em@user/emmanuelux) emmanuelux
2026-03-12 08:26:30 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-03-12 08:26:56 +0100dolio(~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in)
2026-03-12 08:27:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 08:28:21 +0100dolio(~dolio@130.44.140.168) dolio
2026-03-12 08:31:52 +0100dolio(~dolio@130.44.140.168) (Client Quit)
2026-03-12 08:32:24 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-12 08:37:46 +0100dolio(~dolio@130.44.140.168) dolio
2026-03-12 08:43:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 08:47:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-12 08:54:09 +0100foul_owl(~kerry@94.156.149.94) (Ping timeout: 246 seconds)
2026-03-12 08:54:26 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 08:55:23 +0100jeremyn(~jeremy@user/jeremyn) (Ping timeout: 268 seconds)
2026-03-12 08:59:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-12 08:59:33 +0100Enrico63(~Enrico63@host-82-61-84-117.retail.telecomitalia.it) Enrico63
2026-03-12 08:59:52 +0100danza(~danza@user/danza) danza
2026-03-12 09:05:26 +0100tusko(~uwu@user/tusko) tusko
2026-03-12 09:06:51 +0100Enrico63(~Enrico63@host-82-61-84-117.retail.telecomitalia.it) (Quit: Client closed)
2026-03-12 09:07:50 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-03-12 09:08:03 +0100foul_owl(~kerry@94.156.149.92) foul_owl
2026-03-12 09:09:48 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-12 09:13:32 +0100acidjnk_new3(~acidjnk@p200300d6e700e5038fcc42959c1b3c05.dip0.t-ipconnect.de)
2026-03-12 09:15:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-12 09:18:21 +0100arandombit(~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c)
2026-03-12 09:18:21 +0100arandombit(~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c) (Changing host)
2026-03-12 09:18:21 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-12 09:37:35 +0100chele(~chele@user/chele) chele
2026-03-12 09:41:32 +0100kimiamania40(~b4b260c9@user/kimiamania) kimiamania
2026-03-12 09:42:04 +0100kimiamania4(~b4b260c9@user/kimiamania) (Read error: Connection reset by peer)
2026-03-12 09:42:04 +0100kimiamania40kimiamania4
2026-03-12 09:45:13 +0100emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-03-12 09:49:08 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-03-12 09:50:10 +0100AlexNoo_AlexNoo
2026-03-12 09:50:31 +0100merijn(~merijn@77.242.116.146) merijn
2026-03-12 09:57:44 +0100akegalj(~akegalj@78-2-210-167.adsl.net.t-com.hr) akegalj
2026-03-12 10:06:49 +0100qqq(~qqq@185.54.22.246)
2026-03-12 10:14:26 +0100jreicher(~joelr@user/jreicher) jreicher
2026-03-12 10:15:33 +0100oskarw(~user@user/oskarw) oskarw
2026-03-12 10:38:32 +0100danza(~danza@user/danza) (Read error: Connection reset by peer)
2026-03-12 10:38:50 +0100danz14649(~danza@user/danza) danza
2026-03-12 10:48:13 +0100fp1(~Thunderbi@2001:708:20:1406::10c5) fp
2026-03-12 10:54:18 +0100fp2(~Thunderbi@2001:708:20:1406::10c5) fp
2026-03-12 10:54:45 +0100fp1(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds)
2026-03-12 10:56:36 +0100fp2fp1
2026-03-12 10:58:39 +0100bionade24(~quassel@server2.oscloud.info) (Read error: Connection reset by peer)
2026-03-12 10:59:04 +0100bionade24(~quassel@server2.oscloud.info) bionade24
2026-03-12 11:01:48 +0100AlexZenon(~alzenon@5.139.232.240) (Ping timeout: 244 seconds)
2026-03-12 11:04:02 +0100dhil(~dhil@5.151.29.139) dhil
2026-03-12 11:07:21 +0100AlexZenon(~alzenon@5.139.232.240)
2026-03-12 11:09:12 +0100poscat(~poscat@user/poscat) poscat
2026-03-12 11:11:26 +0100poscat0x04(~poscat@user/poscat) (Ping timeout: 268 seconds)
2026-03-12 11:14:15 +0100danz14649(~danza@user/danza) (Remote host closed the connection)
2026-03-12 11:14:57 +0100danza(~danza@user/danza) danza
2026-03-12 11:17:23 +0100danza(~danza@user/danza) (Remote host closed the connection)
2026-03-12 11:17:43 +0100danza(~danza@user/danza) danza
2026-03-12 11:18:19 +0100qqq(~qqq@185.54.22.246) (Ping timeout: 264 seconds)
2026-03-12 11:19:41 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds)
2026-03-12 11:49:03 +0100acidjnk_new(~acidjnk@p200300d6e700e551a4c32391cc3108f5.dip0.t-ipconnect.de)
2026-03-12 11:51:53 +0100acidjnk_new3(~acidjnk@p200300d6e700e5038fcc42959c1b3c05.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2026-03-12 11:55:35 +0100fp1(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds)
2026-03-12 11:57:11 +0100danza(~danza@user/danza) (Remote host closed the connection)
2026-03-12 11:57:16 +0100__monty__(~toonn@user/toonn) toonn
2026-03-12 12:00:33 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2026-03-12 12:01:44 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-03-12 12:15:43 +0100GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-03-12 12:17:37 +0100xff0x(~xff0x@2405:6580:b080:900:855c:3368:d601:eb86)
2026-03-12 12:34:42 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2026-03-12 12:37:42 +0100noctux(~noctux@user/noctux) (Read error: Connection reset by peer)
2026-03-12 12:40:12 +0100noctux(~noctux@user/noctux) noctux
2026-03-12 12:40:35 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds)
2026-03-12 12:47:56 +0100poscat0x04(~poscat@user/poscat) poscat
2026-03-12 12:48:14 +0100dhil(~dhil@5.151.29.139) (Ping timeout: 244 seconds)
2026-03-12 12:49:13 +0100poscat(~poscat@user/poscat) (Quit: Bye)
2026-03-12 12:52:34 +0100arandombit(~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c)
2026-03-12 12:52:34 +0100arandombit(~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c) (Changing host)
2026-03-12 12:52:34 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-12 12:57:28 +0100preflex(~preflex@user/mauke/bot/preflex) (Read error: Connection reset by peer)
2026-03-12 12:57:28 +0100mauke(~mauke@user/mauke) (Read error: Connection reset by peer)
2026-03-12 13:00:05 +0100preflex(~preflex@user/mauke/bot/preflex) preflex
2026-03-12 13:00:51 +0100dhil(~dhil@5.151.29.139) dhil
2026-03-12 13:03:11 +0100mauke(~mauke@user/mauke) mauke
2026-03-12 13:16:51 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-03-12 13:21:18 +0100anselmschueler(~Thunderbi@user/schuelermine) schuelermine
2026-03-12 13:23:18 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-03-12 13:31:46 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-03-12 13:31:46 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-03-12 13:31:46 +0100haritz(~hrtz@user/haritz) haritz
2026-03-12 13:31:57 +0100arandombit(~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c)
2026-03-12 13:31:57 +0100arandombit(~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c) (Changing host)
2026-03-12 13:31:57 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-12 13:33:17 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2026-03-12 13:41:58 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-12 13:51:11 +0100AlexZenon(~alzenon@5.139.232.240) (Quit: ;-)
2026-03-12 13:51:41 +0100Alex_delenda_est(~al_test@5.139.232.240) (Quit: ;-)
2026-03-12 13:52:11 +0100AlexNoo(~AlexNoo@5.139.232.240) (Quit: Leaving)
2026-03-12 14:06:14 +0100qqq(~qqq@185.54.22.246)
2026-03-12 14:09:05 +0100AlexNoo(~AlexNoo@5.139.232.240)
2026-03-12 14:09:20 +0100anselmschueler(~Thunderbi@user/schuelermine) (Ping timeout: 245 seconds)
2026-03-12 14:13:22 +0100AlexNoo(~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds)
2026-03-12 14:16:04 +0100qqq(~qqq@185.54.22.246) (Ping timeout: 244 seconds)
2026-03-12 14:22:49 +0100AlexZenon(~alzenon@5.139.232.240)
2026-03-12 14:28:02 +0100Alex_delenda_est(~al_test@5.139.232.240)
2026-03-12 14:33:00 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-12 14:35:36 +0100qqq(~qqq@185.54.22.246)
2026-03-12 14:38:03 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 272 seconds)
2026-03-12 14:49:10 +0100arandombit(~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c)
2026-03-12 14:49:10 +0100arandombit(~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c) (Changing host)
2026-03-12 14:49:10 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-12 14:54:03 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-03-12 14:59:14 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds)
2026-03-12 15:04:08 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2026-03-12 15:05:44 +0100arandombit(~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c)
2026-03-12 15:05:44 +0100arandombit(~arandombi@2a02:2455:8656:7100:cd70:20e7:538d:131c) (Changing host)
2026-03-12 15:05:44 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-12 15:10:19 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-12 15:22:01 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-12 15:23:30 +0100ski. o O ( "A break from programming languages" by Alexis King in 2025-05-29 at <https://lexi-lambda.github.io/blog/2025/05/29/a-break-from-programming-languages/> )
2026-03-12 15:23:43 +0100Square2(~Square@user/square) Square
2026-03-12 15:24:26 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds)
2026-03-12 15:24:38 +0100jeremyn(~jeremy@user/jeremyn) jeremyn
2026-03-12 15:26:26 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2026-03-12 15:27:15 +0100 <mesaoptimizer> good for her
2026-03-12 15:33:54 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-12 15:46:01 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-03-12 15:46:01 +0100jmcantrell_jmcantrell
2026-03-12 15:49:04 +0100jeremyn(~jeremy@user/jeremyn) (Ping timeout: 244 seconds)
2026-03-12 15:49:04 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2026-03-12 15:50:54 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2026-03-12 15:56:45 +0100Digitteknohippie(~user@user/digit) Digit
2026-03-12 15:56:48 +0100Digit(~user@user/digit) (Ping timeout: 264 seconds)
2026-03-12 16:09:13 +0100oskarw(~user@user/oskarw) (Ping timeout: 244 seconds)
2026-03-12 16:35:56 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-03-12 16:36:52 +0100ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-03-12 16:38:14 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2026-03-12 16:43:19 +0100myme(~myme@2a01:799:d5e:5f00:332d:919:8ee8:93eb) (Ping timeout: 244 seconds)
2026-03-12 16:44:21 +0100myme(~myme@2a01:799:d5e:5f00:303a:da6f:3ef4:dbc1) myme
2026-03-12 16:48:04 +0100Wygulmage(~Wygulmage@user/Wygulmage) Wygulmage
2026-03-12 16:48:53 +0100 <Wygulmage> Has anyone else looked at https://discourse.haskell.org/t/sneak-peek-bolt-math/13766 and thinks it's well intentioned but unworkable as written?
2026-03-12 16:49:25 +0100 <Wygulmage> I'd comment on Discourse but apparently my non-AI browser is not supported...
2026-03-12 16:50:26 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2026-03-12 17:05:14 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-03-12 17:07:34 +0100chele(~chele@user/chele) (Remote host closed the connection)
2026-03-12 17:08:59 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) kupi
2026-03-12 17:10:46 +0100 <Wygulmage> Clearly not. So, for example, say you have an instance of `AdditiveSemigroup`. Presumably the only law is that it's a semigroup. Cool. So you define `instance AdditiveSemigroup Integer where add = (*)`. Why not? It satisfies the law. And then you define `instance MultiplicativeSemigroup Integer where mul = (*)` Again, it satisfies the law. And
2026-03-12 17:10:47 +0100 <Wygulmage> they're both monoidal, with `one = 1` and `zero = one`. Again, the laws are still satisfied. And then the library claims you have a `Semiring`, and perhaps assumes that `zero` (1) is annihilative for `mul`.
2026-03-12 17:12:02 +0100Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 248 seconds)
2026-03-12 17:16:11 +0100 <Wygulmage> Sorry. Is IRC dead, or did I just come at a bad time?
2026-03-12 17:19:33 +0100somemathguy(~somemathg@user/somemathguy) (Ping timeout: 246 seconds)
2026-03-12 17:20:27 +0100 <haskellbridge> <sm> it has quiet and busy times. Definitely not dead here, but you may need to wait more than 5m
2026-03-12 17:20:50 +0100 <haskellbridge> <sm> s/but.*//
2026-03-12 17:21:58 +0100 <haskellbridge> <sm> do you have javascript disabled in your browser ?
2026-03-12 17:22:11 +0100 <Wygulmage> Thanks, sm. Just got worried that all the humans had left. *deep breaths*
2026-03-12 17:22:23 +0100 <Wygulmage> Not for haskell.org.
2026-03-12 17:22:44 +0100 <haskellbridge> <sm> :) we're still here
2026-03-12 17:23:24 +0100 <haskellbridge> <sm> I wondered why you couldn't comment at discourse. It requires js I see.
2026-03-12 17:23:56 +0100somemathguy(~somemathg@user/somemathguy) somemathguy
2026-03-12 17:24:32 +0100 <Wygulmage> When I look at what I have blocked, both for discourse-cdn and haskell.org, everything is enabled. But yeah, I won't try to make #haskell into my IT helpers. Clearly that's a me problem.
2026-03-12 17:25:56 +0100 <Wygulmage> And possibly a Discourse problem.
2026-03-12 17:27:13 +0100DigitteknohippieDigit
2026-03-12 17:29:04 +0100Ranhir(~Ranhir@157.97.53.139) Ranhir
2026-03-12 17:30:19 +0100 <Wygulmage> I do have another question that's vaguely related to my initial rant. Are there any major roadblocks in GHC preventing class alias definitions or automatic defaulted superclasses? For example, allowing someone to just write `instance Monad M where...` and let GHC silently take care of `Functor` and `Applicative`, without even having to write
2026-03-12 17:30:20 +0100 <Wygulmage> `deriving via WrapMonad M instance Applicative M` ?
2026-03-12 17:43:59 +0100 <ski> Wygulmage : i was just (before i read your responses) about to comment on the same issue with not having a single place in the source which takes resposibility for ensuring that distributivity holds
2026-03-12 17:44:45 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 245 seconds)
2026-03-12 17:47:27 +0100skicoughs and stares at `Read' and `Show'
2026-03-12 17:51:10 +0100ski. o O ( "Class Alias Proposal for Haskell" <http://repetae.net/recent/out/classalias.html>,"Supertyping Suggestion for Haskell" <http://repetae.net/recent/out/supertyping.html>, both by jmeacham)
2026-03-12 17:51:30 +0100chewybread(~chewybrea@user/chewybread) chewybread
2026-03-12 17:51:33 +0100 <Wygulmage> That's a totally fair point about `Read` and `Show` , but I think they're more clearly "utility" classes that don't have to follow any laws. But you REALLY want your numeric hierarchy to follow well defined laws.
2026-03-12 17:51:41 +0100 <EvanR> Wygulmage, the humans are dead
2026-03-12 17:52:02 +0100 <EvanR> 🤖
2026-03-12 17:52:58 +0100 <Wygulmage> I'm OK with that as long as Edward Kmett has been replaced with a sufficiently advanced chatbot that I can't tell the difference ;(
2026-03-12 17:53:45 +0100 <Wygulmage> Which, judging by the AI slop in his youtube feed...
2026-03-12 17:55:07 +0100 <davean> Wygulmage: Haha, the AI slop in his youtube feed is a very specific thing and I want more of it ...
2026-03-12 17:55:40 +0100 <davean> Wygulmage: assume the AI slop is an inside joke thing.
2026-03-12 17:56:00 +0100 <Wygulmage> \O/
2026-03-12 17:56:30 +0100 <davean> He's entertaining a specific few of us with a specific project
2026-03-12 17:56:31 +0100 <haskellbridge> <ijouw> I was experimenting with naming my class of things to add (+) (using type operators) and using functional dependencies to make sure the compiler can infer the types (if 2 of (left arg, right arg, result) type are known). That does limit it to Vector a + a = Vector a or Vector a + Vector a = Vector a
2026-03-12 17:56:46 +0100 <davean> You wouldn't have the context to enjoy it. Its public because it was being posted in a facebook group.
2026-03-12 17:58:42 +0100 <Wygulmage> davean: Thanks for outing yourself as part of the SkyNet that replaced Ed.
2026-03-12 17:58:53 +0100 <EvanR> having a vector add to something other than a vector is cringe
2026-03-12 17:59:16 +0100 <haskellbridge> <ijouw> I believe number hirarchies should be displayed as tree/graph for quick overview.
2026-03-12 17:59:48 +0100EvanRlooks at newmind
2026-03-12 17:59:58 +0100 <newmind> hi
2026-03-12 17:59:59 +0100 <EvanR> seems to be some sort of bot PMming me
2026-03-12 18:00:09 +0100akegalj(~akegalj@78-2-210-167.adsl.net.t-com.hr) (Ping timeout: 255 seconds)
2026-03-12 18:00:12 +0100 <newmind> not a bot
2026-03-12 18:00:57 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-03-12 18:01:21 +0100 <newmind> just wasn't related to this conversation, but rather something you asked in a different channel yesterday
2026-03-12 18:01:42 +0100 <EvanR> I haven't been in that channel in maybe 8 years
2026-03-12 18:01:50 +0100qqq(~qqq@185.54.22.246) (Ping timeout: 245 seconds)
2026-03-12 18:01:51 +0100Anarchos(~Anarchos@91-161-254-16.subs.proxad.net) Anarchos
2026-03-12 18:02:08 +0100 <haskellbridge> <ijouw> Maybe a bot impersonating you?
2026-03-12 18:02:22 +0100Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 244 seconds)
2026-03-12 18:02:30 +0100 <EvanR> unlikely
2026-03-12 18:02:48 +0100 <newmind> oh, sorry, misread the nick, >.> terribly sorry
2026-03-12 18:02:55 +0100 <EvanR> oh ok
2026-03-12 18:03:11 +0100 <newmind> was a 'RyanR'
2026-03-12 18:03:12 +0100 <mesaoptimizer> strange
2026-03-12 18:03:14 +0100 <EvanR> lol
2026-03-12 18:03:30 +0100 <newmind> so,, the distinct uppercase R at the end triggered a bit of a pattern match :D
2026-03-12 18:03:35 +0100 <EvanR> tbf your message was relevant to the conversion "AI slop" xD
2026-03-12 18:03:36 +0100Wygulmage4(~Wygulmage@user/Wygulmage) Wygulmage
2026-03-12 18:03:43 +0100 <EvanR> conversation
2026-03-12 18:03:52 +0100 <haskellbridge> <ijouw> if y == v then all but the first char match.
2026-03-12 18:03:59 +0100bionade24(~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!)
2026-03-12 18:04:20 +0100 <Wygulmage4> And I think they should have started with a right near semiring rather than an "additive" semigroup.
2026-03-12 18:04:30 +0100bionade24(~quassel@server2.oscloud.info) bionade24
2026-03-12 18:04:54 +0100 <ski> Wygulmage4 : like <https://cokmett.github.io/cokmett/> (click on image) ?
2026-03-12 18:05:02 +0100 <newmind> again, sorry for the disturbance, my fault >.>
2026-03-12 18:05:15 +0100 <haskellbridge> <ijouw> Do we have somewhere explaining English terminology for that stuff?
2026-03-12 18:06:00 +0100 <haskellbridge> <ijouw> Like an overview over names of math concepts relating to numbers?
2026-03-12 18:06:02 +0100 <EvanR> I wonder if any of that is real
2026-03-12 18:06:10 +0100 <Wygulmage4> ski: :')
2026-03-12 18:06:18 +0100 <newmind> you... want logs?
2026-03-12 18:06:28 +0100Wygulmage(~Wygulmage@user/Wygulmage) (Ping timeout: 240 seconds)
2026-03-12 18:06:36 +0100 <haskellbridge> <ijouw> No, i have enough wood?
2026-03-12 18:06:37 +0100 <Wygulmage4> ijouw: Almost all math terminology is terrible, and you just kind of accept it.
2026-03-12 18:07:09 +0100 <haskellbridge> <ijouw> I just do not know it.
2026-03-12 18:07:14 +0100 <EvanR> at least math people stick to it and don't go about renaming everything randomly every 6 months like programming language of the week people
2026-03-12 18:08:01 +0100 <Wygulmage4> Damn. That hurts. But yeah, why does NixOS keep arbitrarily renaming options???
2026-03-12 18:08:43 +0100 <davean> hy does nix make modularizing something take 3x the code of just doing the thing in the first place?
2026-03-12 18:08:43 +0100 <Wygulmage4> Still, semigroup is to group as semilattice is to ???????
2026-03-12 18:09:59 +0100 <ski> "semi-" here is basically "not quite"
2026-03-12 18:10:00 +0100 <EvanR> not sure that makes any sense
2026-03-12 18:10:03 +0100 <Wygulmage4> Don't think I'll survive these truth bombs.
2026-03-12 18:12:04 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-03-12 18:12:45 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds)
2026-03-12 18:13:08 +0100 <Wygulmage4> I'm not really being fair to mathematicians. But I want a "right semiring" to be two associative operations where one distributes over the other from the right. And that simply isn't true.
2026-03-12 18:13:26 +0100 <EvanR> you should rename it
2026-03-12 18:13:36 +0100 <EvanR> will be very confusing it
2026-03-12 18:14:13 +0100 <EvanR> (ring terminology already has some jargon decay in places where it depends who's talking about it means)
2026-03-12 18:14:20 +0100anselmschueler(~Thunderbi@user/schuelermine) schuelermine
2026-03-12 18:14:48 +0100 <EvanR> some of my words seem to not making it through the tubes
2026-03-12 18:15:31 +0100Ranhir(~Ranhir@157.97.53.139) Ranhir
2026-03-12 18:15:41 +0100 <Wygulmage4> I have not heard "jargon decay"; that's it exactly.