IRCBrowse

2026/05/05

2026-05-05 00:06:46 +0000merijn(~merijn@62.45.136.136) merijn
2026-05-05 00:09:00 +0000arthurvl(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 268 seconds)
2026-05-05 00:12:35 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-05-05 00:13:18 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 244 seconds)
2026-05-05 00:16:18 +0000arthurvl(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy
2026-05-05 00:20:07 +0000layline_layline-away
2026-05-05 00:23:57 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-05-05 00:24:21 +0000layline-awaylayline_
2026-05-05 00:24:23 +0000layline_layline-away
2026-05-05 00:24:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 00:25:28 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-05-05 00:28:56 +0000czan(~czan@user/mange) czan
2026-05-05 00:29:29 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-05 00:30:21 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-05-05 00:30:33 +0000Digit(~user@user/digit) (Ping timeout: 246 seconds)
2026-05-05 00:30:52 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:af38:878b:3ff6:5e4b) (Ping timeout: 244 seconds)
2026-05-05 00:31:02 +0000gentauro(~gentauro@user/gentauro) gentauro
2026-05-05 00:34:10 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 265 seconds)
2026-05-05 00:34:15 +0000chexum_(~quassel@gateway/tor-sasl/chexum) chexum
2026-05-05 00:39:33 +0000craunts795335385(~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat)
2026-05-05 00:42:21 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed)
2026-05-05 00:42:35 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu)
2026-05-05 00:45:19 +0000monochrom(~trebla@216.138.220.146) (Read error: Connection reset by peer)
2026-05-05 00:46:54 +0000monochrom(~trebla@216.138.220.146) monochrom
2026-05-05 00:47:03 +0000Vq(~vq@user/vq) (Ping timeout: 265 seconds)
2026-05-05 00:47:28 +0000Vq(~vq@user/vq) Vq
2026-05-05 00:56:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 00:56:33 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:421e:f3d6:d4e3:c0b6)
2026-05-05 00:57:01 +0000acidjnk_new3(~acidjnk@p200300d6e700e5504280feca8ce46458.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2026-05-05 00:57:07 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-05-05 00:57:13 +0000Square(~Square4@user/square) (Ping timeout: 244 seconds)
2026-05-05 00:57:21 +0000califax(~califax@user/califx) califx
2026-05-05 01:01:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-05-05 01:07:22 +0000layline-away(~layline@149.154.26.170) (Quit: ZZZzzz…)
2026-05-05 01:12:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 01:17:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-05-05 01:20:07 +0000ezzieygu1wuf(~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer)
2026-05-05 01:21:56 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:421e:f3d6:d4e3:c0b6) (Quit: ricardomaps)
2026-05-05 01:22:13 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:421e:f3d6:d4e3:c0b6)
2026-05-05 01:22:34 +0000weary-traveler(~user@user/user363627) user363627
2026-05-05 01:23:47 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:421e:f3d6:d4e3:c0b6) (Client Quit)
2026-05-05 01:27:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 01:32:29 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-05-05 01:34:19 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 244 seconds)
2026-05-05 01:43:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 01:49:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-05 01:52:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 01:56:43 +0000yahb2(~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 264 seconds)
2026-05-05 01:57:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-05-05 01:59:56 +0000yahb2(~yahb2@user/tomsmeding/bot/yahb2) yahb2
2026-05-05 01:59:56 +0000ChanServ+v yahb2
2026-05-05 02:00:14 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 02:05:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-05 02:09:06 +0000Jake_(~textual@c-174-165-116-179.hsd1.wa.comcast.net) (Quit: My Mac has gone to sleep. ZZZzzz…)
2026-05-05 02:13:27 +0000troojg(~troojg@user/troojg) (Ping timeout: 272 seconds)
2026-05-05 02:17:27 +0000layline_(~layline@149.154.26.170) layline
2026-05-05 02:17:30 +0000layline_layline-away
2026-05-05 02:18:57 +0000layline-away(~layline@149.154.26.170) (Client Quit)
2026-05-05 02:20:35 +0000tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2026-05-05 02:21:16 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-05-05 02:23:45 +0000layline_(~layline@149.154.26.170) layline
2026-05-05 02:27:26 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:421e:f3d6:d4e3:c0b6)
2026-05-05 02:47:08 +0000fed-kaczynski(~fed_kaczy@user/fed-kaczynski) fed-kaczynski
2026-05-05 02:58:09 +0000arandombit(~arandombi@2a02:2455:8656:7100:75d6:9cce:d680:3fef)
2026-05-05 02:58:09 +0000arandombit(~arandombi@2a02:2455:8656:7100:75d6:9cce:d680:3fef) (Changing host)
2026-05-05 02:58:09 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-05-05 03:00:24 +0000jmcantrell_jmcantrell
2026-05-05 03:01:08 +0000jmcantrell(~weechat@user/jmcantrell) (WeeChat 4.9.0)
2026-05-05 03:02:42 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2026-05-05 03:04:17 +0000DetourNe-(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-05-05 03:04:24 +0000DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-05-05 03:06:32 +0000DetourNe-DetourNetworkUK
2026-05-05 03:16:05 +0000ricmaps(~ricardoma@2804:14d:a040:81ea:4d47:6cef:b6f4:4f64)
2026-05-05 03:19:36 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:421e:f3d6:d4e3:c0b6) (Ping timeout: 246 seconds)
2026-05-05 03:23:26 +0000ricmaps(~ricardoma@2804:14d:a040:81ea:4d47:6cef:b6f4:4f64) (Ping timeout: 244 seconds)
2026-05-05 03:29:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 03:31:47 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:e2fa:1740:b304:27a2)
2026-05-05 03:34:38 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-05-05 03:36:16 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-05-05 03:39:40 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2026-05-05 03:40:26 +0000fed-kaczynski(~fed_kaczy@user/fed-kaczynski) (Remote host closed the connection)
2026-05-05 03:40:37 +0000fed-kaczynski(~fed_kaczy@user/fed-kaczynski) fed-kaczynski
2026-05-05 03:54:24 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:e2fa:1740:b304:27a2) (Ping timeout: 256 seconds)
2026-05-05 04:01:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 04:05:48 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-05-05 04:08:35 +0000fed-kaczynski(~fed_kaczy@user/fed-kaczynski) (Remote host closed the connection)
2026-05-05 04:08:52 +0000fed-kaczynski(~fed_kaczy@user/fed-kaczynski) fed-kaczynski
2026-05-05 04:13:45 +0000fed-kaczynski(~fed_kaczy@user/fed-kaczynski) (Remote host closed the connection)
2026-05-05 04:14:01 +0000emaczen(~user@user/emaczen) (Ping timeout: 248 seconds)
2026-05-05 04:15:41 +0000arandombit(~arandombi@2a02:2455:8656:7100:75d6:9cce:d680:3fef)
2026-05-05 04:15:41 +0000arandombit(~arandombi@2a02:2455:8656:7100:75d6:9cce:d680:3fef) (Changing host)
2026-05-05 04:15:41 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-05-05 04:16:07 +0000hsw(~hsw@112-104-8-95.adsl.dynamic.seed.net.tw) hsw
2026-05-05 04:16:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 04:20:16 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-05-05 04:22:01 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-05-05 04:24:22 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-05-05 04:29:30 +0000divlamir_(~divlamir@user/divlamir) divlamir
2026-05-05 04:30:05 +0000divlamir(~divlamir@user/divlamir) (Ping timeout: 244 seconds)
2026-05-05 04:30:27 +0000divlamir_divlamir
2026-05-05 04:32:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 04:33:09 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:1fae:112a:7c:70f7)
2026-05-05 04:37:51 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-05-05 04:42:02 +0000michalz(~michalz@185.246.207.203)
2026-05-05 04:42:40 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds)
2026-05-05 04:44:55 +0000divlamir_(~divlamir@user/divlamir) divlamir
2026-05-05 04:47:59 +0000divlamir(~divlamir@user/divlamir) (Ping timeout: 272 seconds)
2026-05-05 04:47:59 +0000divlamir_divlamir
2026-05-05 04:48:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 04:52:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-05-05 04:57:41 +0000Vajb(~Vajb@n739npbtpf138whub2d-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds)
2026-05-05 04:58:36 +0000layline_(~layline@149.154.26.170) (Quit: ZZZzzz…)
2026-05-05 04:58:48 +0000fed-kaczynski(~fed-kaczy@user/fed-kaczynski) fed-kaczynski
2026-05-05 05:02:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 05:06:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-05 05:14:31 +0000craunts795335385(~craunts@152.32.100.66)
2026-05-05 05:16:00 +0000echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Ping timeout: 256 seconds)
2026-05-05 05:17:52 +0000merijn(~merijn@62.45.136.136) merijn
2026-05-05 05:20:37 +0000skulk(~sid@eusebia.skulk.org) (Ping timeout: 265 seconds)
2026-05-05 05:22:24 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 245 seconds)
2026-05-05 05:24:53 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-05-05 05:25:45 +0000puke(~puke@user/puke) puke
2026-05-05 05:27:01 +0000puke(~puke@user/puke) (Remote host closed the connection)
2026-05-05 05:27:26 +0000puke(~puke@user/puke) puke
2026-05-05 05:28:04 +0000divlamir_(~divlamir@user/divlamir) divlamir
2026-05-05 05:28:31 +0000divlamir(~divlamir@user/divlamir) (Ping timeout: 272 seconds)
2026-05-05 05:29:01 +0000divlamir_divlamir
2026-05-05 05:29:56 +0000echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply
2026-05-05 05:33:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 05:38:40 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-05-05 05:44:04 +0000karenw(~karenw@user/karenw) karenw
2026-05-05 05:44:52 +0000divlamir_(~divlamir@user/divlamir) divlamir
2026-05-05 05:46:55 +0000divlamir(~divlamir@user/divlamir) (Ping timeout: 276 seconds)
2026-05-05 05:46:55 +0000divlamir_divlamir
2026-05-05 05:49:22 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 05:54:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-05-05 06:03:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 06:09:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-05-05 06:13:14 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:1fae:112a:7c:70f7) (Ping timeout: 245 seconds)
2026-05-05 06:13:36 +0000Vajb(~Vajb@2001:999:39:c3d4:3ea8:68cc:45fc:4c8e)
2026-05-05 06:14:15 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-05-05 06:21:02 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 06:23:37 +0000gf312(~gf3@user/gf3) (Ping timeout: 272 seconds)
2026-05-05 06:24:24 +0000gf31(~gf3@user/gf3) gf3
2026-05-05 06:26:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-05-05 06:36:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 06:41:23 +0000czan(~czan@user/mange) (Quit: Quittin' time)
2026-05-05 06:41:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-05-05 06:46:13 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-05-05 06:52:30 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 06:57:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-05 06:59:15 +0000Digit(~user@user/digit) Digit
2026-05-05 07:01:39 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-05-05 07:04:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 07:05:39 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-05-05 07:06:50 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-05-05 07:07:01 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-05-05 07:08:51 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-05-05 07:11:19 +0000CiaoSen(~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen
2026-05-05 07:12:23 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 272 seconds)
2026-05-05 07:19:47 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 07:24:38 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-05-05 07:25:19 +0000jreicher(~joelr@user/jreicher) (Quit: In transit)
2026-05-05 07:28:24 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992)
2026-05-05 07:28:52 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-05-05 07:29:02 +0000califax(~califax@user/califx) califx
2026-05-05 07:40:01 +0000CiaoSen(~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2026-05-05 07:48:45 +0000tnt1(~Thunderbi@user/tnt1) tnt1
2026-05-05 07:51:39 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds)
2026-05-05 08:05:37 +0000merijn(~merijn@77.242.116.146) merijn
2026-05-05 08:06:57 +0000tristanC(~tristanC@user/tristanc) (Ping timeout: 246 seconds)
2026-05-05 08:08:26 +0000emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-05-05 08:16:18 +0000tristanC(~tristanC@2602:61:718f:7d00:6847:190a:305f:7951)
2026-05-05 08:16:18 +0000tristanC(~tristanC@2602:61:718f:7d00:6847:190a:305f:7951) (Changing host)
2026-05-05 08:16:18 +0000tristanC(~tristanC@user/tristanc) tristanC
2026-05-05 08:17:45 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 248 seconds)
2026-05-05 08:20:33 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-05-05 08:26:27 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-05 08:31:33 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 272 seconds)
2026-05-05 08:33:40 +0000chele(~chele@user/chele) chele
2026-05-05 08:34:29 +0000tnt1(~Thunderbi@user/tnt1) (Remote host closed the connection)
2026-05-05 08:34:30 +0000ft(~ft@p4fc2aefd.dip0.t-ipconnect.de) (Quit: leaving)
2026-05-05 08:44:05 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2026-05-05 08:44:07 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-05 08:49:18 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 246 seconds)
2026-05-05 08:51:47 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-05 08:57:06 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-05-05 08:59:48 +0000misterfish(~misterfis@84.53.85.146) misterfish
2026-05-05 09:03:51 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 272 seconds)
2026-05-05 09:04:35 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-05 09:05:59 +0000acidjnk_new3(~acidjnk@p200300d6e700e5501cc6abc9153501bc.dip0.t-ipconnect.de)
2026-05-05 09:06:24 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992)
2026-05-05 09:12:56 +0000misterfish(~misterfis@84.53.85.146) (Quit: leaving)
2026-05-05 09:13:12 +0000misterfish(~misterfis@84.53.85.146) misterfish
2026-05-05 09:27:30 +0000acidjnk_new(~acidjnk@p200300d6e700e552c99b5b5784d4c7df.dip0.t-ipconnect.de) acidjnk
2026-05-05 09:30:26 +0000acidjnk_new3(~acidjnk@p200300d6e700e5501cc6abc9153501bc.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2026-05-05 09:32:21 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 272 seconds)
2026-05-05 09:43:32 +0000krei-se-(~krei-se@2003:a:67f:b77c::c8c6) (Quit: ZNC 1.9.1 - https://znc.in)
2026-05-05 09:53:29 +0000litharge(litharge@libera/bot/litharge) (*.net *.split)
2026-05-05 09:53:29 +0000califax(~califax@user/califx) (*.net *.split)
2026-05-05 09:53:29 +0000sord937(~sord937@gateway/tor-sasl/sord937) (*.net *.split)
2026-05-05 09:53:29 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (*.net *.split)
2026-05-05 09:53:29 +0000chexum_(~quassel@gateway/tor-sasl/chexum) (*.net *.split)
2026-05-05 09:53:29 +0000tusko(~uwu@user/tusko) (*.net *.split)
2026-05-05 09:53:29 +0000gmg(~user@user/gehmehgeh) (*.net *.split)
2026-05-05 09:53:29 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (*.net *.split)
2026-05-05 09:53:29 +0000puke(~puke@user/puke) (*.net *.split)
2026-05-05 09:53:29 +0000superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split)
2026-05-05 09:53:29 +0000dostoyevsky2(~sck@user/dostoyevsky2) (*.net *.split)
2026-05-05 09:53:29 +0000pointlessslippe-(~pointless@62.106.85.17) (*.net *.split)
2026-05-05 09:53:29 +0000nitrix(~nitrix@user/meow/nitrix) (*.net *.split)
2026-05-05 09:53:30 +0000hc_(~hc@mail.hce.li) (*.net *.split)
2026-05-05 09:53:30 +0000poscat(~poscat@user/poscat) (*.net *.split)
2026-05-05 09:53:30 +0000shr\ke(~shrike@user/paxhumana) (*.net *.split)
2026-05-05 09:53:30 +0000notzmv(~umar@user/notzmv) (*.net *.split)
2026-05-05 09:53:30 +0000socksbuny5(~socks@oberon.raccoon.fun) (*.net *.split)
2026-05-05 09:53:30 +0000phm(~peter@fsf/member/phm) (*.net *.split)
2026-05-05 09:53:30 +0000tv(~tv@user/tv) (*.net *.split)
2026-05-05 09:53:30 +0000davl_(~davl@207.154.228.18) (*.net *.split)
2026-05-05 09:53:31 +0000constxd(~constxd@user/constxd) (*.net *.split)
2026-05-05 09:53:31 +0000meejah(~meejah@rutas.meejah.ca) (*.net *.split)
2026-05-05 09:53:31 +0000raincomplex(~rain@user/raincomplex) (*.net *.split)
2026-05-05 09:53:31 +0000iteratee(~kyle@199.119.84.78) (*.net *.split)
2026-05-05 09:53:31 +0000darkling(~darkling@savella.carfax.org.uk) (*.net *.split)
2026-05-05 09:53:31 +0000glguy(glguy@libera/staff/glguy) (*.net *.split)
2026-05-05 09:53:31 +0000urdh(~urdh@user/urdh) (*.net *.split)
2026-05-05 09:53:31 +0000myxos(~myxos@67-1-178-42.tcso.qwest.net) (*.net *.split)
2026-05-05 09:53:31 +0000m1dnight_(~m1dnight@d8D861A17.access.telenet.be) (*.net *.split)
2026-05-05 09:53:31 +0000danso(~danso@user/danso) (*.net *.split)
2026-05-05 09:53:31 +0000mra(~mra@172-105-19-44.ip.linodeusercontent.com) (*.net *.split)
2026-05-05 09:53:31 +0000tydes(~tydes@user/ttydes) (*.net *.split)
2026-05-05 09:53:31 +0000remmie(ianremsen@tilde.team) (*.net *.split)
2026-05-05 09:53:31 +0000lortabac(~lortabac@mx1.fracta.dev) (*.net *.split)
2026-05-05 09:53:31 +0000mmaruseacph2(~mihai@mihai.page) (*.net *.split)
2026-05-05 09:53:31 +0000omnifunctor(~omnifunct@user/semifunctor) (*.net *.split)
2026-05-05 09:53:31 +0000eriedaberrie(~eriedaber@user/eriedaberrie) (*.net *.split)
2026-05-05 09:53:31 +0000disconnect3d(~disconnec@user/disconnect3d) (*.net *.split)
2026-05-05 09:53:31 +0000exarkun(~exarkun@user/exarkun) (*.net *.split)
2026-05-05 09:53:31 +0000c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2026-05-05 09:53:32 +0000skylord5816(~skylord58@user/skylord5816) (*.net *.split)
2026-05-05 09:53:32 +0000Aleksejs_Home(~Aleksejs@107.170.21.106) (*.net *.split)
2026-05-05 09:53:32 +0000Axman6(~Axman6@user/axman6) (*.net *.split)
2026-05-05 09:53:32 +0000fed-kaczynski(~fed-kaczy@user/fed-kaczynski) (*.net *.split)
2026-05-05 09:53:32 +0000ouilemur(~jgmerritt@user/ouilemur) (*.net *.split)
2026-05-05 09:53:32 +0000haskellbridge(~hackager@96.28.224.214) (*.net *.split)
2026-05-05 09:53:32 +0000cawfee(root@2401:c080:3800:3460::babe) (*.net *.split)
2026-05-05 09:53:32 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (*.net *.split)
2026-05-05 09:53:32 +0000degraafk(sid71464@id-71464.lymington.irccloud.com) (*.net *.split)
2026-05-05 09:53:32 +0000buhman(sid411355@user/buhman) (*.net *.split)
2026-05-05 09:53:32 +0000hook54321(sid149355@user/hook54321) (*.net *.split)
2026-05-05 09:53:32 +0000_\_(~o@user/offon) (*.net *.split)
2026-05-05 09:53:32 +0000arkeet(arkeet@moriya.ca) (*.net *.split)
2026-05-05 09:53:32 +0000nonzen_(~nonzen@user/nonzen) (*.net *.split)
2026-05-05 09:53:32 +0000evanrelf(3addc196af@2a03:6000:1812:100::f0) (*.net *.split)
2026-05-05 09:53:32 +0000Katarushisu6(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (*.net *.split)
2026-05-05 09:53:32 +0000tt1231607019780(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (*.net *.split)
2026-05-05 09:53:32 +0000rprospero_(eadde01e73@user/rprospero) (*.net *.split)
2026-05-05 09:53:32 +0000chr55(57a0c161b0@user/chr55) (*.net *.split)
2026-05-05 09:53:33 +0000polykernel(~polykerne@user/polykernel) (*.net *.split)
2026-05-05 09:53:33 +0000barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split)
2026-05-05 09:53:33 +0000tabaqui(~tabaqui@167.71.80.236) (*.net *.split)
2026-05-05 09:53:33 +0000Vizious(~bes@user/Vizious) (*.net *.split)
2026-05-05 09:53:33 +0000orcus(~orcus@user/brprice) (*.net *.split)
2026-05-05 09:53:33 +0000jrm(~jrm@user/jrm) (*.net *.split)
2026-05-05 09:53:33 +0000flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
2026-05-05 09:53:33 +0000kmein(~weechat@user/kmein) (*.net *.split)
2026-05-05 09:53:33 +0000robertm(robertm@lattice.rojoma.com) (*.net *.split)
2026-05-05 09:53:33 +0000koolazer(~koo@user/koolazer) (*.net *.split)
2026-05-05 09:53:33 +0000nnm(nnm@chainless.shells.chat) (*.net *.split)
2026-05-05 09:53:33 +0000nattkyrro(~serenity@user/nattkyrro) (*.net *.split)
2026-05-05 09:53:33 +0000JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split)
2026-05-05 09:53:33 +0000TwinAdam(~TwinAdam@user/adamsaunders) (*.net *.split)
2026-05-05 09:53:34 +0000Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (*.net *.split)
2026-05-05 09:53:34 +0000ThePenguin(~ThePengui@cust-95-80-28-221.csbnet.se) (*.net *.split)
2026-05-05 09:53:34 +0000sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) (*.net *.split)
2026-05-05 09:53:34 +0000Putonlalla(~Putonlall@it-cyan.it.jyu.fi) (*.net *.split)
2026-05-05 09:53:34 +0000RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2) (*.net *.split)
2026-05-05 09:53:34 +0000remexre(~remexre@user/remexre) (*.net *.split)
2026-05-05 09:53:34 +0000PotatoGim(sid99505@id-99505.lymington.irccloud.com) (*.net *.split)
2026-05-05 09:53:35 +0000barthandelous01(barth@triton.blinkenshell.org) (*.net *.split)
2026-05-05 09:53:35 +0000jjhoo(~jahakala@user/jjhoo) (*.net *.split)
2026-05-05 09:53:35 +0000Yumemi(~Yumemi@chamoin.net) (*.net *.split)
2026-05-05 09:53:35 +0000dunj3(~dunj3@2a01:239:328:1600::1) (*.net *.split)
2026-05-05 09:53:35 +0000ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com) (*.net *.split)
2026-05-05 09:53:35 +0000systemfault(sid267009@about/typescript/member/systemfault) (*.net *.split)
2026-05-05 09:53:35 +0000zfnmxt(~m-gkkevi@209.209.10.107) (*.net *.split)
2026-05-05 09:53:35 +0000chiselfuse(~chiselfus@user/chiselfuse) (*.net *.split)
2026-05-05 09:53:35 +0000lally(sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split)
2026-05-05 09:53:35 +0000bjs(sid190364@user/bjs) (*.net *.split)
2026-05-05 09:53:35 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992) (*.net *.split)
2026-05-05 09:53:35 +0000Vq(~vq@user/vq) (*.net *.split)
2026-05-05 09:53:35 +0000monochrom(~trebla@216.138.220.146) (*.net *.split)
2026-05-05 09:53:35 +0000mikko(~mikko@user/mikko) (*.net *.split)
2026-05-05 09:53:35 +0000malte(~malte@mal.tc) (*.net *.split)
2026-05-05 09:53:35 +0000anpad(~pandeyan@user/anpad) (*.net *.split)
2026-05-05 09:53:35 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (*.net *.split)
2026-05-05 09:53:35 +0000xal(~xal@mx1.xal.systems) (*.net *.split)
2026-05-05 09:53:35 +0000sus0322(zero@user/zeromomentum) (*.net *.split)
2026-05-05 09:53:35 +0000olivial(~benjaminl@user/benjaminl) (*.net *.split)
2026-05-05 09:53:36 +0000vetkat(~vetkat@user/vetkat) (*.net *.split)
2026-05-05 09:53:36 +0000int-e(~noone@int-e.eu) (*.net *.split)
2026-05-05 09:53:36 +0000yushyin(he1AwRbeNM@karif.server-speed.net) (*.net *.split)
2026-05-05 09:53:36 +0000noctuks(4qNwsywqoM@user/noctux) (*.net *.split)
2026-05-05 09:53:36 +0000Arsen(16abab341f@gentoo/developer/managarm.dev.Arsen) (*.net *.split)
2026-05-05 09:53:36 +0000_________(~nobody@user/noodly) (*.net *.split)
2026-05-05 09:53:36 +0000bb010g(~bb010g@wank.party) (*.net *.split)
2026-05-05 09:53:36 +0000aka_dude(~aka_dude@2a03:f80:30:f490::1) (*.net *.split)
2026-05-05 09:53:36 +0000jmct(sid160793@id-160793.tinside.irccloud.com) (*.net *.split)
2026-05-05 09:53:36 +0000S11001001(sid42510@2a03:5180:f:3::a60e) (*.net *.split)
2026-05-05 09:53:36 +0000hamishmack(sid389057@2a03:5180:f:4::5:efc1) (*.net *.split)
2026-05-05 09:53:36 +0000lexi-lambda(sid92601@2a03:5180:f:4::1:69b9) (*.net *.split)
2026-05-05 09:53:36 +0000coldmountain(sid484352@id-484352.helmsley.irccloud.com) (*.net *.split)
2026-05-05 09:53:37 +0000priime(~priime@2a01:4ff:f0:7ccc::1) (*.net *.split)
2026-05-05 09:53:37 +0000nicole(ilbelkyr@libera/staff/ilbelkyr) (*.net *.split)
2026-05-05 09:53:37 +0000xnbya(~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split)
2026-05-05 09:53:37 +0000tccq(~tccq@user/tccq) (*.net *.split)
2026-05-05 09:53:37 +0000mjrosenb(~mjrosenb@pool-71-190-143-170.nycmny.fios.verizon.net) (*.net *.split)
2026-05-05 09:53:37 +0000alanz(sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split)
2026-05-05 09:53:37 +0000SrPx(sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split)
2026-05-05 09:53:37 +0000krjst(~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (*.net *.split)
2026-05-05 09:53:37 +0000Techcable(sid534393@user/Techcable) (*.net *.split)
2026-05-05 09:53:37 +0000She(haveident@libera/staff/she/her) (*.net *.split)
2026-05-05 09:53:37 +0000ridcully_(~ridcully@p57b529aa.dip0.t-ipconnect.de) (*.net *.split)
2026-05-05 09:53:37 +0000j0lol(~j0lol@132.145.17.236) (*.net *.split)
2026-05-05 09:53:37 +0000jackdk(sid373013@cssa/life/jackdk) (*.net *.split)
2026-05-05 09:53:37 +0000Wanderer(~wanderer@user/wanderer) (*.net *.split)
2026-05-05 09:53:37 +0000Moyst(~moyst@user/moyst) (*.net *.split)
2026-05-05 09:53:37 +0000tritlo(sid58727@id-58727.hampstead.irccloud.com) (*.net *.split)
2026-05-05 09:53:37 +0000saolsen(sid26430@id-26430.lymington.irccloud.com) (*.net *.split)
2026-05-05 09:53:37 +0000gmc(sid58314@id-58314.ilkley.irccloud.com) (*.net *.split)
2026-05-05 09:53:38 +0000ChanServ(ChanServ@services.libera.chat) (*.net *.split)
2026-05-05 09:53:45 +0000SoF(~skius@user/skius) (Read error: Connection reset by peer)
2026-05-05 09:56:07 +0000FANTOM(~fantom@90.244.177.43) (Ping timeout: 265 seconds)
2026-05-05 09:56:40 +0000remexre(~remexre@2607:ea00:101:421:20::)
2026-05-05 09:57:06 +0000juri_(~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 248 seconds)
2026-05-05 09:59:01 +0000ent-(entgod@kapsi.fi) (Ping timeout: 265 seconds)
2026-05-05 10:00:48 +0000FANTOM(~fantom@90.244.177.43)
2026-05-05 10:11:36 +0000foul_owl(~kerry@94.156.149.90) (Ping timeout: 244 seconds)
2026-05-05 10:13:51 +0000__monty__(~toonn@user/toonn) toonn
2026-05-05 10:13:51 +0000juri_(~juri@217-114-215-140.pool.ovpn.com) juri_
2026-05-05 10:13:51 +0000ent(entgod@kapsi.fi) ent
2026-05-05 10:13:51 +0000042AANDOA(~Thunderbi@130.233.70.60) fp
2026-05-05 10:13:51 +0000krei-se(~krei-se@p5098b7b3.dip0.t-ipconnect.de) krei-se
2026-05-05 10:13:51 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992)
2026-05-05 10:13:51 +0000califax(~califax@user/califx) califx
2026-05-05 10:13:51 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-05-05 10:13:51 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-05-05 10:13:51 +0000puke(~puke@user/puke) puke
2026-05-05 10:13:51 +0000fed-kaczynski(~fed-kaczy@user/fed-kaczynski) fed-kaczynski
2026-05-05 10:13:51 +0000Vq(~vq@user/vq) Vq
2026-05-05 10:13:51 +0000monochrom(~trebla@216.138.220.146) monochrom
2026-05-05 10:13:51 +0000chexum_(~quassel@gateway/tor-sasl/chexum) chexum
2026-05-05 10:13:51 +0000tusko(~uwu@user/tusko) tusko
2026-05-05 10:13:51 +0000pointlessslippe-(~pointless@62.106.85.17)
2026-05-05 10:13:51 +0000dostoyevsky2(~sck@user/dostoyevsky2) dostoyevsky2
2026-05-05 10:13:51 +0000nitrix(~nitrix@user/meow/nitrix) nitrix
2026-05-05 10:13:51 +0000mikko(~mikko@user/mikko) mikko
2026-05-05 10:13:51 +0000malte(~malte@mal.tc) malte
2026-05-05 10:13:51 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-05-05 10:13:51 +0000Axman6(~Axman6@user/axman6) Axman6
2026-05-05 10:13:51 +0000anpad(~pandeyan@user/anpad) anpad
2026-05-05 10:13:51 +0000GdeVolpiano(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-05-05 10:13:51 +0000xal(~xal@mx1.xal.systems) xal
2026-05-05 10:13:51 +0000ouilemur(~jgmerritt@user/ouilemur) ouilemur
2026-05-05 10:13:51 +0000haskellbridge(~hackager@96.28.224.214) hackager
2026-05-05 10:13:51 +0000cawfee(root@2401:c080:3800:3460::babe) qjqqyy
2026-05-05 10:13:51 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline
2026-05-05 10:13:51 +0000hook54321(sid149355@user/hook54321) hook54321
2026-05-05 10:13:51 +0000buhman(sid411355@user/buhman) buhman
2026-05-05 10:13:51 +0000degraafk(sid71464@id-71464.lymington.irccloud.com) degraafk
2026-05-05 10:13:51 +0000_\_(~o@user/offon) offon
2026-05-05 10:13:51 +0000arkeet(arkeet@moriya.ca) arkeet
2026-05-05 10:13:51 +0000nonzen_(~nonzen@user/nonzen) nonzen
2026-05-05 10:13:51 +0000evanrelf(3addc196af@2a03:6000:1812:100::f0) evanrelf
2026-05-05 10:13:51 +0000sus0322(zero@user/zeromomentum) zeromomentum
2026-05-05 10:13:51 +0000hc_(~hc@mail.hce.li) hc
2026-05-05 10:13:51 +0000olivial(~benjaminl@user/benjaminl) benjaminl
2026-05-05 10:13:51 +0000Katarushisu6(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
2026-05-05 10:13:51 +0000tt1231607019780(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231
2026-05-05 10:13:51 +0000poscat(~poscat@user/poscat) poscat
2026-05-05 10:13:51 +0000042AAM1G5(eadde01e73@user/rprospero) rprospero
2026-05-05 10:13:51 +0000chr55(57a0c161b0@user/chr55) chr55
2026-05-05 10:13:51 +0000polykernel(~polykerne@user/polykernel) polykernel
2026-05-05 10:13:51 +0000barrucadu(~barrucadu@carcosa.barrucadu.co.uk) barrucadu
2026-05-05 10:13:51 +0000mercury.libera.chat+v haskellbridge
2026-05-05 10:13:51 +0000tabaqui(~tabaqui@167.71.80.236) tabaqui
2026-05-05 10:13:51 +0000Vizious(~bes@user/Vizious) Vizious
2026-05-05 10:13:51 +0000ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-05-05 10:13:51 +0000orcus(~orcus@user/brprice) brprice
2026-05-05 10:13:51 +0000jrm(~jrm@user/jrm) jrm
2026-05-05 10:13:51 +0000vetkat(~vetkat@user/vetkat) vetkat
2026-05-05 10:13:51 +0000int-e(~noone@int-e.eu) int-e
2026-05-05 10:13:51 +0000shr\ke(~shrike@user/paxhumana) paxhumana
2026-05-05 10:13:51 +0000TwinAdam(~TwinAdam@user/adamsaunders) adamsaunders
2026-05-05 10:13:51 +0000flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke
2026-05-05 10:13:51 +0000superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) superbil
2026-05-05 10:13:51 +0000yushyin(he1AwRbeNM@karif.server-speed.net) yushyin
2026-05-05 10:13:51 +0000noctuks(4qNwsywqoM@user/noctux) noctux
2026-05-05 10:13:51 +0000notzmv(~umar@user/notzmv) notzmv
2026-05-05 10:13:51 +0000kmein(~weechat@user/kmein) kmein
2026-05-05 10:13:51 +0000robertm(robertm@lattice.rojoma.com) robertm
2026-05-05 10:13:51 +0000socksbuny5(~socks@oberon.raccoon.fun) raccoonasdf
2026-05-05 10:13:51 +0000koolazer(~koo@user/koolazer) koolazer
2026-05-05 10:13:51 +0000nnm(nnm@chainless.shells.chat)
2026-05-05 10:13:51 +0000Arsen(16abab341f@gentoo/developer/managarm.dev.Arsen) Arsen
2026-05-05 10:13:51 +0000phm(~peter@fsf/member/phm) phm
2026-05-05 10:13:51 +0000tccq(~tccq@user/tccq) tccq
2026-05-05 10:13:51 +0000nattkyrro(~serenity@user/nattkyrro) nattkyrro
2026-05-05 10:13:51 +0000JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken
2026-05-05 10:13:51 +0000_________(~nobody@user/noodly) _________
2026-05-05 10:13:51 +0000Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) Ram-Z
2026-05-05 10:13:51 +0000ThePenguin(~ThePengui@cust-95-80-28-221.csbnet.se) ThePenguin
2026-05-05 10:13:51 +0000bb010g(~bb010g@wank.party) bb010g
2026-05-05 10:13:51 +0000aka_dude(~aka_dude@2a03:f80:30:f490::1)
2026-05-05 10:13:51 +0000tv(~tv@user/tv) tv
2026-05-05 10:13:51 +0000davl_(~davl@207.154.228.18) davl
2026-05-05 10:13:51 +0000constxd(~constxd@user/constxd) constxd
2026-05-05 10:13:51 +0000meejah(~meejah@rutas.meejah.ca) meejah
2026-05-05 10:13:51 +0000jmct(sid160793@id-160793.tinside.irccloud.com)
2026-05-05 10:13:51 +0000raincomplex(~rain@user/raincomplex) raincomplex
2026-05-05 10:13:51 +0000sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101
2026-05-05 10:13:51 +0000iteratee(~kyle@199.119.84.78) iteratee
2026-05-05 10:13:51 +0000darkling(~darkling@savella.carfax.org.uk) darkling
2026-05-05 10:13:51 +0000glguy(glguy@libera/staff/glguy) glguy
2026-05-05 10:13:51 +0000Putonlalla(~Putonlall@it-cyan.it.jyu.fi) Tuplanolla
2026-05-05 10:13:51 +0000urdh(~urdh@user/urdh) urdh
2026-05-05 10:13:51 +0000myxos(~myxos@67-1-178-42.tcso.qwest.net) myxokephale
2026-05-05 10:13:51 +0000mra(~mra@172-105-19-44.ip.linodeusercontent.com) mra
2026-05-05 10:13:51 +0000m1dnight_(~m1dnight@d8D861A17.access.telenet.be) m1dnight
2026-05-05 10:13:51 +0000S11001001(sid42510@2a03:5180:f:3::a60e) S11001001
2026-05-05 10:13:51 +0000hamishmack(sid389057@2a03:5180:f:4::5:efc1) hamishmack
2026-05-05 10:13:51 +0000lexi-lambda(sid92601@2a03:5180:f:4::1:69b9) lexi-lambda
2026-05-05 10:13:51 +0000priime(~priime@2a01:4ff:f0:7ccc::1) priime
2026-05-05 10:13:51 +0000coldmountain(sid484352@id-484352.helmsley.irccloud.com) coldmountain
2026-05-05 10:13:51 +0000xnbya(~xnbya@2a01:4f8:c17:cbdd::1)
2026-05-05 10:13:51 +0000nicole(ilbelkyr@libera/staff/ilbelkyr) ilbelkyr
2026-05-05 10:13:51 +0000danso(~danso@user/danso) danso
2026-05-05 10:13:51 +0000RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2)
2026-05-05 10:13:51 +0000tydes(~tydes@user/ttydes) ttydes
2026-05-05 10:13:51 +0000omnifunctor(~omnifunct@user/semifunctor) omnifunctor
2026-05-05 10:13:51 +0000mjrosenb(~mjrosenb@pool-71-190-143-170.nycmny.fios.verizon.net)
2026-05-05 10:13:51 +0000remmie(ianremsen@tilde.team) remsense
2026-05-05 10:13:51 +0000alanz(sid110616@id-110616.uxbridge.irccloud.com) alanz
2026-05-05 10:13:51 +0000lortabac(~lortabac@mx1.fracta.dev) lortabac
2026-05-05 10:13:51 +0000PotatoGim(sid99505@id-99505.lymington.irccloud.com) PotatoGim
2026-05-05 10:13:51 +0000SrPx(sid108780@id-108780.uxbridge.irccloud.com) SrPx
2026-05-05 10:13:51 +0000Techcable(sid534393@user/Techcable) Techcable
2026-05-05 10:13:51 +0000krjst(~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst
2026-05-05 10:13:51 +0000She(haveident@libera/staff/she/her) She
2026-05-05 10:13:51 +0000ridcully_(~ridcully@p57b529aa.dip0.t-ipconnect.de) ridcully
2026-05-05 10:13:51 +0000mmaruseacph2(~mihai@mihai.page) mmaruseacph2
2026-05-05 10:13:51 +0000j0lol(~j0lol@132.145.17.236) j0lol
2026-05-05 10:13:51 +0000barthandelous01(barth@triton.blinkenshell.org) barthandelous01
2026-05-05 10:13:51 +0000jjhoo(~jahakala@user/jjhoo) jjhoo
2026-05-05 10:13:51 +0000eriedaberrie(~eriedaber@user/eriedaberrie) eriedaberrie
2026-05-05 10:13:51 +0000Yumemi(~Yumemi@chamoin.net) Yumemi
2026-05-05 10:13:51 +0000Aleksejs_Home(~Aleksejs@107.170.21.106) aleksejs
2026-05-05 10:13:51 +0000skylord5816(~skylord58@user/skylord5816) skylord5816
2026-05-05 10:13:51 +0000c_wraith(~c_wraith@adjoint.us) c_wraith
2026-05-05 10:13:51 +0000exarkun(~exarkun@user/exarkun) exarkun
2026-05-05 10:13:51 +0000disconnect3d(~disconnec@user/disconnect3d) disconnect3d
2026-05-05 10:13:51 +0000bjs(sid190364@user/bjs) bjs
2026-05-05 10:13:51 +0000lally(sid388228@id-388228.uxbridge.irccloud.com) lally
2026-05-05 10:13:51 +0000chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2026-05-05 10:13:51 +0000zfnmxt(~m-gkkevi@209.209.10.107)
2026-05-05 10:13:51 +0000systemfault(sid267009@about/typescript/member/systemfault) systemfault
2026-05-05 10:13:51 +0000ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com)
2026-05-05 10:13:51 +0000dunj3(~dunj3@2a01:239:328:1600::1) dunj3
2026-05-05 10:13:51 +0000gmc(sid58314@id-58314.ilkley.irccloud.com) gmc
2026-05-05 10:13:51 +0000saolsen(sid26430@id-26430.lymington.irccloud.com) saolsen
2026-05-05 10:13:51 +0000tritlo(sid58727@id-58727.hampstead.irccloud.com)
2026-05-05 10:13:51 +0000Moyst(~moyst@user/moyst) Moyst
2026-05-05 10:13:51 +0000Wanderer(~wanderer@user/wanderer) Wanderer
2026-05-05 10:13:51 +0000jackdk(sid373013@cssa/life/jackdk) jackdk
2026-05-05 10:13:51 +0000ChanServ(ChanServ@services.libera.chat)
2026-05-05 10:13:51 +0000litharge(litharge@libera/bot/litharge) litharge
2026-05-05 10:13:51 +0000mercury.libera.chat+o ChanServ
2026-05-05 10:14:41 +0000Arsen(16abab341f@gentoo/developer/managarm.dev.Arsen) (Max SendQ exceeded)
2026-05-05 10:14:46 +0000JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (Max SendQ exceeded)
2026-05-05 10:14:46 +0000sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) (Remote host closed the connection)
2026-05-05 10:14:55 +0000RSCASTILHO_(RSCASTILHO@189.61.152.230)
2026-05-05 10:14:56 +0000RSCASTILHO_(RSCASTILHO@189.61.152.230) (Remote host closed the connection)
2026-05-05 10:15:14 +0000sam113101(~sam@24.202.189.200)
2026-05-05 10:15:45 +0000chexum_(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-05-05 10:17:46 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-05-05 10:18:21 +0000poscat0x04(~poscat@user/poscat) poscat
2026-05-05 10:18:24 +0000JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken
2026-05-05 10:18:47 +0000Arsen(16abab341f@gentoo/developer/managarm.dev.Arsen) Arsen
2026-05-05 10:22:36 +0000poscat(~poscat@user/poscat) (Ping timeout: 255 seconds)
2026-05-05 10:24:20 +0000juri_(~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 245 seconds)
2026-05-05 10:24:52 +0000jreicher(~joelr@user/jreicher) jreicher
2026-05-05 10:24:54 +0000gentauro(~gentauro@user/gentauro) (Ping timeout: 245 seconds)
2026-05-05 10:25:54 +0000gentauro(~gentauro@user/gentauro) gentauro
2026-05-05 10:26:08 +0000foul_owl(~kerry@94.156.149.96) foul_owl
2026-05-05 10:35:25 +0000juri_(~juri@217-114-215-140.pool.ovpn.com) juri_
2026-05-05 10:45:14 +0000RSCASTILHO__(RSCASTILHO@user/RSCASTILHO-:81218) RSCASTILHO__
2026-05-05 10:45:59 +0000RSCASTILHO__(RSCASTILHO@user/RSCASTILHO-:81218) (Remote host closed the connection)
2026-05-05 11:14:07 +0000foul_owl(~kerry@94.156.149.96) (Ping timeout: 244 seconds)
2026-05-05 11:22:40 +0000tremon(~tremon@83.80.159.219) tremon
2026-05-05 11:31:56 +0000foul_owl(~kerry@94.156.149.96) foul_owl
2026-05-05 11:33:48 +0000042AANDOA(~Thunderbi@130.233.70.60) (Ping timeout: 246 seconds)
2026-05-05 11:39:09 +0000 <dminuoso> janus: Me neither.
2026-05-05 11:39:32 +0000layline_(~layline@149.154.26.170) layline
2026-05-05 11:48:59 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-05-05 12:20:13 +0000Square(~Square4@user/square) Square
2026-05-05 12:21:03 +0000fed-kaczynski(~fed-kaczy@user/fed-kaczynski) (Remote host closed the connection)
2026-05-05 12:21:21 +0000fed-kaczynski(~fed-kaczy@user/fed-kaczynski) fed-kaczynski
2026-05-05 12:52:40 +0000Holzhaeckselmasc(~Holzhaeck@2a02:3035:605:7b7b:303b:60e4:11b4:94cd)
2026-05-05 12:56:11 +0000CiaoSen(~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen
2026-05-05 12:59:24 +0000Holzhaeckselhaec(~Holzhaeck@2a02:3035:605:7b7b:303b:60e4:11b4:94cd)
2026-05-05 13:00:10 +0000 <Holzhaeckselhaec> Once again I have completely lost sight of my actual goal, … due to drowning to the spell of obfuscation … cast by the type god, in the dungeons of arcane mathematicians’ appeasement. … “Just a quick script to generate ini files from a few rules” he said. … Now most of the day is gone, and I’m sitting in a web of Template Haskell
2026-05-05 13:00:11 +0000 <Holzhaeckselhaec> brambles. :(
2026-05-05 13:00:21 +0000 <Holzhaeckselhaec> I hate how cumbersome Haskell is … Especially because I can see how great it could be. …
2026-05-05 13:00:56 +0000srazkvt(~sarah@user/srazkvt) srazkvt
2026-05-05 13:01:52 +0000Holzhaeckselmasc(~Holzhaeck@2a02:3035:605:7b7b:303b:60e4:11b4:94cd) (Ping timeout: 245 seconds)
2026-05-05 13:02:22 +0000 <Holzhaeckselhaec> Any suggestions for how I could improve this situation, I always find myself in again?
2026-05-05 13:04:28 +0000 <Holzhaeckselhaec> (Assuming it isn’t just mathematicians being mathematicians, and adding as many layers of implied indirectness and obscure unsearchable syntax to feel superior when really it’s just another detached-from-reality religion pretending to be the most superior of sciences, again.)
2026-05-05 13:06:12 +0000 <int-e> Well, you violate the KISS principle at your own peril.
2026-05-05 13:10:07 +0000layline_layline-away
2026-05-05 13:10:22 +0000layline-away(~layline@149.154.26.170) (Quit: ZZZzzz…)
2026-05-05 13:10:22 +0000 <Holzhaeckselhaec> int-e: I don’t see the relation. But to be frank, everything I ever experienced regarding “the KISS principle” always has been a toxic anti-pattern stemming from the US glorification of stupidity as a virtue, by dumbing down the concept of emergence, which is simplicicy *times* power, to just simplicity. And then not following it to the end,
2026-05-05 13:10:23 +0000 <Holzhaeckselhaec> because otherwise the simplest computer program is NOP and the simples computer is a featureless rock. XD
2026-05-05 13:11:41 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992)
2026-05-05 13:11:42 +0000 <int-e> You mentioned Template Haskell. Which is not a tool you should wield unless you're drowning in repetitive boilerplate code. Which, if you want to generate some ini files... is not a situation you should find yourself in.
2026-05-05 13:12:19 +0000 <int-e> So I believe that by the KISS principle you shouldn't have touched Template Haskell.
2026-05-05 13:14:47 +0000Holzhaeckselhaec(~Holzhaeck@2a02:3035:605:7b7b:303b:60e4:11b4:94cd) (Ping timeout: 245 seconds)
2026-05-05 13:16:07 +0000 <int-e> There was a wood chipper pun in this, I can feel it. Didn't find a good one though...
2026-05-05 13:17:07 +0000 <int-e> (Holz = wood, häckseln = to chip)
2026-05-05 13:35:52 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-05-05 13:46:16 +0000tabaqui(~tabaqui@167.71.80.236) (Quit: WeeChat 4.9.0)
2026-05-05 13:50:34 +0000CiaoSen(~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2026-05-05 13:52:57 +0000layline_(~layline@149.154.26.170) layline
2026-05-05 13:57:05 +0000Vajb(~Vajb@2001:999:39:c3d4:3ea8:68cc:45fc:4c8e) (Ping timeout: 272 seconds)
2026-05-05 14:05:42 +0000fp1(~Thunderbi@130.233.70.60) fp
2026-05-05 14:09:05 +0000Jake_(~textual@c-174-165-116-179.hsd1.wa.comcast.net)
2026-05-05 14:10:39 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-05-05 14:11:02 +0000sam113101(~sam@24.202.189.200) (Quit: WeeChat 4.8.1)
2026-05-05 14:11:17 +0000sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101
2026-05-05 14:12:26 +0000fed-kaczynski(~fed-kaczy@user/fed-kaczynski) (Remote host closed the connection)
2026-05-05 14:13:32 +0000fp1(~Thunderbi@130.233.70.60) (Quit: fp1)
2026-05-05 14:14:00 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2026-05-05 14:15:11 +0000fed-kaczynski(~fed-kaczy@user/fed-kaczynski) fed-kaczynski
2026-05-05 14:15:32 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-05-05 14:16:57 +0000craunts795335385(~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat)
2026-05-05 14:20:45 +0000layline_(~layline@149.154.26.170) (Ping timeout: 246 seconds)
2026-05-05 14:34:36 +0000Jake_(~textual@c-174-165-116-179.hsd1.wa.comcast.net) (Quit: My Mac has gone to sleep. ZZZzzz…)
2026-05-05 14:45:40 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-05-05 14:47:44 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:9e9:e4e4:cb8c:58be)
2026-05-05 14:49:31 +0000picnoir(~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.9.0)
2026-05-05 15:02:03 +0000tnt1(~Thunderbi@user/tnt1) tnt1
2026-05-05 15:05:26 +0000tnt1(~Thunderbi@user/tnt1) (Remote host closed the connection)
2026-05-05 15:07:09 +0000Wygulmage(~Wygulmage@user/Wygulmage) Wygulmage
2026-05-05 15:13:49 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-05-05 15:14:50 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
2026-05-05 15:29:55 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed)
2026-05-05 15:34:58 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:9e9:e4e4:cb8c:58be) (Quit: ricardomaps)
2026-05-05 15:35:10 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:a6d5:1bd0:dbb9:2a28)
2026-05-05 15:35:28 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu)
2026-05-05 15:39:28 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992)
2026-05-05 15:43:16 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2026-05-05 15:47:52 +0000chele(~chele@user/chele) (Remote host closed the connection)
2026-05-05 15:50:28 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:a6d5:1bd0:dbb9:2a28) (Quit: ricardomaps)
2026-05-05 15:53:41 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-05-05 15:55:24 +0000tusko(~uwu@user/tusko) (Ping timeout: 265 seconds)
2026-05-05 15:55:24 +0000layline_(~layline@98.122.252.122) layline
2026-05-05 15:56:51 +0000tusko(~uwu@user/tusko) tusko
2026-05-05 16:00:35 +0000misterfish(~misterfis@84.53.85.146) (Ping timeout: 272 seconds)
2026-05-05 16:08:38 +0000Vajb(~Vajb@85-76-86-203-nat.elisa-mobile.fi)
2026-05-05 16:09:22 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:9004:2959:f0bb:da1a)
2026-05-05 16:12:40 +0000Vajb(~Vajb@85-76-86-203-nat.elisa-mobile.fi) (Ping timeout: 245 seconds)
2026-05-05 16:16:18 +0000layline_layline-away
2026-05-05 16:16:22 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:9004:2959:f0bb:da1a) (Ping timeout: 244 seconds)
2026-05-05 16:16:30 +0000Vajb(~Vajb@85-76-139-183-nat.elisa-mobile.fi)
2026-05-05 16:16:33 +0000layline-away(~layline@98.122.252.122) (Quit: ZZZzzz…)
2026-05-05 16:21:38 +0000Jake_(~textual@c-174-165-116-179.hsd1.wa.comcast.net)
2026-05-05 16:21:54 +0000 <haskellbridge> <Liamzee> Most cursed code imaginable:
2026-05-05 16:22:07 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:6526:d026:911d:6312)
2026-05-05 16:22:25 +0000 <haskellbridge> <Liamzee> instance Num (ContT c a) where
2026-05-05 16:22:27 +0000 <haskellbridge> <Liamzee> something like that
2026-05-05 16:23:07 +0000 <haskellbridge> <Liamzee> but you can theoretically write a program almost entirely as numbers, and use Num as a defacto free monad interpreter. Well, not really, but as an interpreter, you can always instance it into Monad later
2026-05-05 16:23:19 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2026-05-05 16:23:37 +0000 <Wygulmage> How do you define `negate` ?
2026-05-05 16:23:46 +0000 <haskellbridge> <Liamzee> instance Num (Cont c a -> Cont c b)
2026-05-05 16:24:43 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2026-05-05 16:24:47 +0000 <tomsmeding> nah, answer me fromInteger first
2026-05-05 16:25:43 +0000 <Wygulmage> tomsmedding equivalent to Sum's stimes.
2026-05-05 16:25:59 +0000 <tomsmeding> what's with stimes?
2026-05-05 16:26:00 +0000Jake_(~textual@c-174-165-116-179.hsd1.wa.comcast.net) (Ping timeout: 245 seconds)
2026-05-05 16:26:39 +0000 <Wygulmage> Semigroup's stimes is positive integer exponent generalized to any semigroup.
2026-05-05 16:26:58 +0000 <Wygulmage> So actually I guess you'd do `stimesMonoid`
2026-05-05 16:27:26 +0000 <tomsmeding> I... still don't see the relation between that and a Num instance for continuation monad computations :p
2026-05-05 16:29:19 +0000 <Wygulmage> Whatever @Liamzee is using for addition, you do n times.
2026-05-05 16:29:43 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:6526:d026:911d:6312) (Ping timeout: 272 seconds)
2026-05-05 16:30:53 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed)
2026-05-05 16:31:08 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu)
2026-05-05 16:31:19 +0000 <Wygulmage> I'm not sure what, because the endo version would require `ContT c a -> ContT c a` for multiplication to be function composition.
2026-05-05 16:31:46 +0000 <Wygulmage> But if it were that, then addition could be sequencing with `>>`.
2026-05-05 16:32:14 +0000 <Wygulmage> I think?
2026-05-05 16:32:27 +0000 <tomsmeding> If you have a value, at least if you're not interested in laws, you could at the very least return that value again, giving you at non-crashing implementation of negate
2026-05-05 16:32:42 +0000 <tomsmeding> if you want to do this and have it not be absurd, start by defining fromInteger
2026-05-05 16:33:01 +0000 <tomsmeding> if you can show me you can create a value, you can then proceed with thinking about how you compute with those values :p
2026-05-05 16:33:59 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:69c0:1969:b51f:8a41)
2026-05-05 16:34:13 +0000 <tomsmeding> (lest you fall into the trap of the PhD student who derived various interesting properties about a cool mathematical object, only for a panel member at their defence to show that no such object exists)
2026-05-05 16:34:14 +0000 <Wygulmage> I forgot that stimes needs a 1 to multiply. That wouldn't work here.
2026-05-05 16:34:40 +0000Guest62(~Guest62@p200300ca8f4909003abb4d1ad8d69acd.dip0.t-ipconnect.de)
2026-05-05 16:34:49 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992)
2026-05-05 16:35:39 +0000 <Wygulmage> (I was thinking in terms of the semiring of endofunctions of a monoid.)
2026-05-05 16:44:41 +0000layline_(~layline@98.122.252.122) layline
2026-05-05 16:46:48 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed)
2026-05-05 16:47:05 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu)
2026-05-05 16:48:27 +0000Wygulmage(~Wygulmage@user/Wygulmage) (Quit: Client closed)
2026-05-05 16:49:45 +0000Vajb(~Vajb@85-76-139-183-nat.elisa-mobile.fi) (Ping timeout: 245 seconds)
2026-05-05 16:50:42 +0000Guest62(~Guest62@p200300ca8f4909003abb4d1ad8d69acd.dip0.t-ipconnect.de) (Quit: Client closed)
2026-05-05 16:50:51 +0000Vajb(~Vajb@n6lpves58x74h02v2l2-1.v6.elisa-mobile.fi)
2026-05-05 16:52:37 +0000haritz(~hrtz@140.228.70.141)
2026-05-05 16:52:37 +0000haritz(~hrtz@140.228.70.141) (Changing host)
2026-05-05 16:52:37 +0000haritz(~hrtz@user/haritz) haritz
2026-05-05 16:55:34 +0000Wygulmage(~Wygulmage@user/Wygulmage) Wygulmage
2026-05-05 16:57:58 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2026-05-05 16:58:22 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) (Read error: Connection reset by peer)
2026-05-05 16:58:37 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 17:05:28 +0000yin(~zero@user/zero) (Remote host closed the connection)
2026-05-05 17:07:49 +0000yin(~zero@user/zero) zero
2026-05-05 17:08:10 +0000fed-kaczynski_(~fed-kaczy@user/fed-kaczynski) fed-kaczynski
2026-05-05 17:12:01 +0000fed-kaczynski(~fed-kaczy@user/fed-kaczynski) (Ping timeout: 276 seconds)
2026-05-05 17:12:01 +0000fed-kaczynski_fed-kaczynski
2026-05-05 17:13:29 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-05-05 17:13:58 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2026-05-05 17:14:01 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-05-05 17:14:06 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2026-05-05 17:14:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 17:16:08 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-05-05 17:17:38 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-05-05 17:19:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-05-05 17:21:54 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-05-05 17:24:54 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 245 seconds)
2026-05-05 17:30:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 17:32:38 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-05 17:35:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-05-05 17:35:12 +0000tok(~user@user/tok) tok
2026-05-05 17:37:13 +0000ft(~ft@p4fc2aefd.dip0.t-ipconnect.de) ft
2026-05-05 17:38:51 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 246 seconds)
2026-05-05 17:40:43 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-05 17:41:35 +0000misterfish(~misterfis@84.53.85.146) misterfish
2026-05-05 17:42:28 +0000Deltaspace(~Deltaspac@user/Deltaspace) (Remote host closed the connection)
2026-05-05 17:42:49 +0000danza(~danza@user/danza) danza
2026-05-05 17:46:08 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-05-05 17:49:09 +0000Deltaspace(~Deltaspac@user/Deltaspace) Deltaspace
2026-05-05 17:49:40 +0000Vajb(~Vajb@n6lpves58x74h02v2l2-1.v6.elisa-mobile.fi) (Ping timeout: 256 seconds)
2026-05-05 17:49:53 +0000misterfish(~misterfis@84.53.85.146) (Ping timeout: 244 seconds)
2026-05-05 17:49:55 +0000danza(~danza@user/danza) (Remote host closed the connection)
2026-05-05 17:50:37 +0000Wygulmage(~Wygulmage@user/Wygulmage) (Ping timeout: 245 seconds)
2026-05-05 17:51:07 +0000Vajb(~Vajb@n4fwi4tlxv6mwzdia9u-1.v6.elisa-mobile.fi)
2026-05-05 17:52:41 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 272 seconds)
2026-05-05 17:53:00 +0000Deltaspace(~Deltaspac@user/Deltaspace) (Quit: Client closed)
2026-05-05 17:53:53 +0000Deltaspace91(~Deltaspac@user/Deltaspace) Deltaspace
2026-05-05 17:54:01 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-05 17:54:06 +0000Deltaspace91(~Deltaspac@user/Deltaspace) (Client Quit)
2026-05-05 17:55:39 +0000Deltaspace(~Deltaspac@user/Deltaspace) Deltaspace
2026-05-05 17:56:00 +0000codolio(~dolio@130.44.140.168) dolio
2026-05-05 17:57:02 +0000dolio(~dolio@130.44.140.168) (Ping timeout: 252 seconds)
2026-05-05 17:58:18 +0000Deltaspace(~Deltaspac@user/Deltaspace) (Client Quit)
2026-05-05 17:58:44 +0000Deltaspace(~Deltaspac@178.252.83.109)
2026-05-05 17:58:51 +0000Deltaspace(~Deltaspac@178.252.83.109) (Changing host)
2026-05-05 17:58:51 +0000Deltaspace(~Deltaspac@user/Deltaspace) Deltaspace
2026-05-05 17:59:27 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 265 seconds)
2026-05-05 18:04:10 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 18:08:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-05-05 18:11:59 +0000layline_layline-away
2026-05-05 18:12:56 +0000layline-awaylayline_
2026-05-05 18:14:26 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-05 18:19:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 18:24:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-05-05 18:28:35 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992)
2026-05-05 18:31:12 +0000spew(~spew@user/spew) spew
2026-05-05 18:35:46 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 18:36:26 +0000 <monochrom> "Cont c a -> Cont c b" sounds like a botched attempt at type-level negation. But negate is value-level negation.
2026-05-05 18:37:03 +0000 <monochrom> In addition (pun!), the former is propositional negation, the latter is arithmetic negation.
2026-05-05 18:37:09 +0000DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Ping timeout: 265 seconds)
2026-05-05 18:37:54 +0000srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2026-05-05 18:39:21 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-05-05 18:41:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-05 18:43:44 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-05-05 18:44:36 +0000codoliodolio
2026-05-05 18:51:31 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 18:56:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-05-05 18:59:14 +0000RSCASTILHO__(RSCASTILHO@user/RSCASTILHO-:81218) RSCASTILHO__
2026-05-05 18:59:24 +0000RSCASTILHO__(RSCASTILHO@user/RSCASTILHO-:81218) (Remote host closed the connection)
2026-05-05 19:02:44 +0000karenw(~karenw@user/karenw) (Ping timeout: 244 seconds)
2026-05-05 19:07:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 19:10:59 +0000mtmn(~mtmn@user/mtmn) (Remote host closed the connection)
2026-05-05 19:11:55 +0000mtmn(~mtmn@user/mtmn) mtmn
2026-05-05 19:11:59 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-05 19:15:30 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-05-05 19:19:31 +0000layline_layline-away
2026-05-05 19:19:46 +0000layline-away(~layline@98.122.252.122) (Quit: ZZZzzz…)
2026-05-05 19:20:43 +0000Guest62(~Guest62@p200300ca8f4909003abb4d1ad8d69acd.dip0.t-ipconnect.de)
2026-05-05 19:20:44 +0000Guest62(~Guest62@p200300ca8f4909003abb4d1ad8d69acd.dip0.t-ipconnect.de) (Write error: Connection reset by peer)
2026-05-05 19:21:14 +0000Guest62(~Guest62@p200300ca8f4909003abb4d1ad8d69acd.dip0.t-ipconnect.de)
2026-05-05 19:22:46 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-05-05 19:22:58 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 19:24:49 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992)
2026-05-05 19:26:44 +0000 <EvanR> tomsmeding, existence is overrated anyway
2026-05-05 19:30:10 +0000DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-05-05 19:30:13 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-05-05 19:41:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 19:46:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-05-05 19:55:13 +0000sergelangfan(~serge@192.sub-174-224-54.myvzw.com)
2026-05-05 19:56:40 +0000sergelangfan(~serge@192.sub-174-224-54.myvzw.com) (Quit: leaving)
2026-05-05 19:56:50 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 19:57:10 +0000pipgirl(~textual@c-76-152-12-168.hsd1.ma.comcast.net)
2026-05-05 19:58:20 +0000pipgirl(~textual@c-76-152-12-168.hsd1.ma.comcast.net) (Client Quit)
2026-05-05 20:00:51 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-05-05 20:01:25 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
2026-05-05 20:01:39 +0000weary-traveler(~user@user/user363627) user363627
2026-05-05 20:01:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-05-05 20:03:43 +0000Lord_of_Life_Lord_of_Life
2026-05-05 20:04:57 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-05-05 20:05:40 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 20:07:31 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) (Ping timeout: 264 seconds)
2026-05-05 20:10:07 +0000michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2026-05-05 20:11:09 +0000craunts795335385(~craunts@152.32.100.66)
2026-05-05 20:11:44 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-05-05 20:12:34 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 20:14:26 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992)
2026-05-05 20:14:33 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 272 seconds)
2026-05-05 20:17:35 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Quit: ZNC 1.10.1 - https://znc.in)
2026-05-05 20:17:43 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-05 20:19:02 +0000Eoco(~ian@128.101.131.218) Eoco
2026-05-05 20:21:53 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 20:22:12 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2026-05-05 20:27:03 +0000emaczen(~user@user/emaczen) emaczen
2026-05-05 20:28:19 +0000merijn(~merijn@62.45.136.136) merijn
2026-05-05 20:29:58 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 20:30:10 +0000 <tomsmeding> fair point
2026-05-05 20:32:55 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) (Ping timeout: 272 seconds)
2026-05-05 20:33:06 +0000Guest62(~Guest62@p200300ca8f4909003abb4d1ad8d69acd.dip0.t-ipconnect.de) (Quit: Client closed)
2026-05-05 20:33:09 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 244 seconds)
2026-05-05 20:36:09 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 20:37:17 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Ping timeout: 244 seconds)
2026-05-05 20:37:26 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-05-05 20:39:54 +0000 <monochrom> If existence is overrated, then constructivism is too. >:)
2026-05-05 20:40:34 +0000monochromaccepts the axiom of choice on odd-numbered days. "This is fine."
2026-05-05 20:42:49 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 265 seconds)
2026-05-05 20:43:35 +0000 <EvanR> it's a fine formalism
2026-05-05 20:43:43 +0000 <EvanR> grammatically sound
2026-05-05 20:44:04 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 20:46:55 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 20:47:20 +0000dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2026-05-05 20:48:27 +0000dutchie(~dutchie@user/dutchie) dutchie
2026-05-05 20:48:39 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) (Ping timeout: 244 seconds)
2026-05-05 20:49:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-05-05 20:54:09 +0000leppard(~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2026-05-05 20:55:24 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-05-05 20:58:16 +0000 <EvanR> in typesetting math or haskell type signatures I presume variables are italic, but what about type constructors like Maybe
2026-05-05 20:59:09 +0000 <EvanR> or just single capital letters, which we sort of take to be not variables most of the time
2026-05-05 20:59:46 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 20:59:53 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 21:02:09 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Ping timeout: 265 seconds)
2026-05-05 21:03:46 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds)
2026-05-05 21:07:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-05-05 21:08:26 +0000leppard(~noOne@92.208.182.236) Inline
2026-05-05 21:08:42 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-05-05 21:09:13 +0000layline_(~layline@98.122.252.122) layline
2026-05-05 21:13:27 +0000Digit(~user@user/digit) (Ping timeout: 272 seconds)
2026-05-05 21:13:34 +0000pavonia(~user@user/siracusa) siracusa
2026-05-05 21:15:03 +0000 <geekosaur> `Maybe` is concrete, like `sin`
2026-05-05 21:17:35 +0000priime(~priime@2a01:4ff:f0:7ccc::1) (Quit: The Lounge - https://thelounge.chat)
2026-05-05 21:17:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 21:20:30 +0000leppard|2(~noOne@92.208.182.236) Inline
2026-05-05 21:20:45 +0000leppard(~noOne@92.208.182.236) (Killed (NickServ (GHOST command used by leppard|2)))
2026-05-05 21:20:52 +0000leppard|2leppard
2026-05-05 21:21:12 +0000Wbooze(~noOne@92.208.182.236) Inline
2026-05-05 21:21:38 +0000 <monochrom> I toss a coin. :)
2026-05-05 21:22:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-05 21:22:30 +0000 <monochrom> Sometimes I even sidestep the question by using teletype or fixed-width font throughout.
2026-05-05 21:26:18 +0000 <tomsmeding> EvanR: personally, type variables in italics and type constructors in upright. But things get very muddy in terms, as there's no sensible distinction between "functions" and "variables"
2026-05-05 21:27:06 +0000 <tomsmeding> originally, type variables were written with greek letters, like map :: (α -> β) -> [α] -> [β]
2026-05-05 21:27:45 +0000 <tomsmeding> in my editor everything is upright :p
2026-05-05 21:31:00 +0000 <monochrom> Let me set my editor to all-italics so when I show code in class it annoys all students!
2026-05-05 21:31:43 +0000 <monochrom> Ubuntu Mono Italic "what can possibly go wrong?!"
2026-05-05 21:32:25 +0000 <tomsmeding> a colleague usually codes in a proportional font and used that when livecoding in class
2026-05-05 21:32:42 +0000 <tomsmeding> he told me the class was a little awkward
2026-05-05 21:33:13 +0000 <monochrom> OK italic and proportional then!
2026-05-05 21:33:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 21:33:32 +0000 <tomsmeding> make it zapfino when you're at it lol
2026-05-05 21:33:46 +0000 <tomsmeding> sorry, zapfino
2026-05-05 21:34:07 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-05-05 21:35:25 +0000 <monochrom> I don't have zapfino. I will have to settle for ubuntu sans italic. Now my shell script looks great!
2026-05-05 21:35:53 +0000 <tomsmeding> you're clearly missing out! https://en.wikipedia.org/wiki/Zapfino
2026-05-05 21:36:40 +0000 <monochrom> OK that would be great for untyped cursive lambda calculus!
2026-05-05 21:36:55 +0000 <monochrom> literally untyped!
2026-05-05 21:37:39 +0000califax_(~califax@user/califx) califx
2026-05-05 21:38:15 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-05-05 21:38:34 +0000califax(~califax@user/califx) (Ping timeout: 265 seconds)
2026-05-05 21:38:52 +0000califax_califax
2026-05-05 21:49:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 21:50:14 +0000peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-05-05 21:53:42 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2026-05-05 21:54:00 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-05-05 22:04:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 22:07:31 +0000Square(~Square4@user/square) (Ping timeout: 264 seconds)
2026-05-05 22:09:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-05-05 22:11:52 +0000misterfish(~misterfis@84.53.85.146) misterfish
2026-05-05 22:17:54 +0000emmanuelux(~em@user/emmanuelux) emmanuelux
2026-05-05 22:20:41 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 22:22:10 +0000foul_owl(~kerry@94.156.149.96) (Ping timeout: 248 seconds)
2026-05-05 22:22:34 +0000 <mra> hey! i've got some silly questions about the state monad. first: what's the fundamental difference between the state monad and the reader monad? using "set" in the state monad seems similar to using "local" to evaluate a value in the reader monad in a modified environment
2026-05-05 22:23:15 +0000peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds)
2026-05-05 22:24:43 +0000 <int-e> mra: local f a >> b doesn't affect the value in b, unlike modify f >> a >> b, so they compose very differently.
2026-05-05 22:24:51 +0000 <monochrom> local forgets the "new" value later, the "old" is restored. "set" loses the "old" value.
2026-05-05 22:24:54 +0000 <int-e> @unmtl Reader r a
2026-05-05 22:24:54 +0000 <lambdabot> r -> a
2026-05-05 22:24:59 +0000 <int-e> @unmtl State s a
2026-05-05 22:24:59 +0000 <lambdabot> s -> (a, s)
2026-05-05 22:25:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-05-05 22:25:52 +0000 <int-e> (you can see this in the type too; Reader has no way to return a modified "state")
2026-05-05 22:26:33 +0000 <mra> hm, so one way to think about it is like modifications of the reader environment are "local" in scope, while modifications of state are "global" in scope?
2026-05-05 22:26:33 +0000foul_owl(~kerry@94.156.149.96) foul_owl
2026-05-05 22:27:05 +0000 <monochrom> Yes!
2026-05-05 22:27:14 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu) (Quit: Client closed)
2026-05-05 22:27:30 +0000Googulator(~Googulato@84-236-65-50.pool.digikabel.hu)
2026-05-05 22:27:44 +0000 <mra> okay, that makes sense. while i'm at it, what's the relationship between State and ST?
2026-05-05 22:28:08 +0000 <int-e> conceptually, none
2026-05-05 22:28:30 +0000 <mra> they both represent a computation which relies on some globally-maintained state, yes?
2026-05-05 22:28:42 +0000 <monochrom> State uses pure functions S -> (A, S) to emulate state. ST is real mutable cells.
2026-05-05 22:28:45 +0000 <int-e> (ST is a stateful thread; the emphasis is on sequential control flow)
2026-05-05 22:29:16 +0000 <mra> so is the difference a matter of implementation?
2026-05-05 22:29:22 +0000 <int-e> (which is what enables sane interactions with mutable memory)
2026-05-05 22:29:30 +0000 <monochrom> Also the API.
2026-05-05 22:29:34 +0000 <int-e> they do completely different things!
2026-05-05 22:31:02 +0000 <monochrom> State makes you pick one type S and stick to it, i.e., you have one cell that can't change type. ST allows you to do add more newSTRef's any time you want, i.e., you have multiple cells of various types, or you can think of as dynamically growing S.
2026-05-05 22:31:33 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992)
2026-05-05 22:32:07 +0000 <int-e> (The reason why I wrote "conceptually" is that when you go down int implementation details you'll find a type that looks similar to State. It still serves a different purpose; the "state" isn't actually modified and only serves to impose artificial data dependencies that prevent the compiler from reordering operations.)
2026-05-05 22:34:20 +0000 <mra> monochrom: hm... so for instance if i wanted to represent a computation with some global state S, i could use State S, but if i wanted to add some state T, i would need to use State (S, T)?
2026-05-05 22:34:46 +0000 <mra> but in ST i would just do newSTRef (s :: S) or newSTRef (t :: T)
2026-05-05 22:35:23 +0000 <int-e> :t runState
2026-05-05 22:35:24 +0000 <lambdabot> State s a -> s -> (a, s)
2026-05-05 22:36:15 +0000 <int-e> With State you can use `runState` to run State action, and then pass the resulting final state to several other State actions. ST s a cannot do that.
2026-05-05 22:36:28 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 22:37:08 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:69c0:1969:b51f:8a41) (Quit: ricardomaps)
2026-05-05 22:38:55 +0000Square2(~Square@user/square) Square
2026-05-05 22:40:30 +0000layline_layline-away
2026-05-05 22:40:41 +0000tusko(~uwu@user/tusko) (Remote host closed the connection)
2026-05-05 22:40:45 +0000layline-away(~layline@98.122.252.122) (Quit: ZZZzzz…)
2026-05-05 22:40:56 +0000tusko(~uwu@user/tusko) tusko
2026-05-05 22:41:13 +0000 <mra> int-e: for concreteness, when would you use State T and when would you use ST s T?
2026-05-05 22:41:46 +0000tromp(~textual@2001:1c00:340e:2700:f5e1:2bbd:745a:3992) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-05-05 22:42:51 +0000 <int-e> I use the former when I want to thread state through pure computations. I use the latter when I feel that I need mutable data (usually arrays) for performance. (Or maybe I just switch to Rust or C++ instead.)
2026-05-05 22:43:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-05-05 22:43:33 +0000 <monochrom> readSTRef and writeSTRef are slow. I use State unless I want a mutable array.
2026-05-05 22:44:12 +0000 <monochrom> or unless, eg, newSTRef is really the right thing to do.
2026-05-05 22:45:14 +0000 <int-e> I don't remember using newSTRef... I must have, but I don't recall any particular use. (IORefs are a different matter.)
2026-05-05 22:45:30 +0000raincomplex(~rain@user/raincomplex) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in)
2026-05-05 22:45:47 +0000raincomplex(~rain@pool-173-54-185-20.nwrknj.fios.verizon.net)
2026-05-05 22:45:47 +0000raincomplex(~rain@pool-173-54-185-20.nwrknj.fios.verizon.net) (Changing host)
2026-05-05 22:45:47 +0000raincomplex(~rain@user/raincomplex) raincomplex
2026-05-05 22:45:48 +0000 <int-e> I guess they'd come up if you want to have linked data structures.
2026-05-05 22:46:26 +0000 <int-e> STRefs that is
2026-05-05 22:47:52 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-05-05 22:48:19 +0000misterfish(~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2026-05-05 22:51:37 +0000 <int-e> Also, I don't use State s a much because it requires monadic code for what generally starts out as a pure function; it's not so bad to pass an extra argument (and return it where needed). The transformer (StateT s m a) is much more attractive because code will already be monadic.
2026-05-05 22:58:18 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 22:59:53 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) (Ping timeout: 244 seconds)
2026-05-05 23:03:57 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:69c0:1969:b51f:8a41)
2026-05-05 23:04:20 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 23:04:56 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) (Read error: Connection reset by peer)
2026-05-05 23:05:11 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 23:07:31 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Ping timeout: 264 seconds)
2026-05-05 23:09:42 +0000spew(~spew@user/spew) (Quit: nyaa~)
2026-05-05 23:10:28 +0000troojg(~troojg@user/troojg) troojg
2026-05-05 23:12:28 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2026-05-05 23:17:21 +0000xff0x(~xff0x@2405:6580:b080:900:8968:b950:943:a781) (Ping timeout: 244 seconds)
2026-05-05 23:18:22 +0000xff0x(~xff0x@2405:6580:b080:900:ca86:24b4:2fbe:a55a)
2026-05-05 23:24:16 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 23:24:30 +0000 <EvanR> mra, ST comes with several utilities like multiple mutable variables, mutable arrays (boxed and unboxed), and an equivalent of unsafeInterleaveIO. It's like a safe subset of IO for doing IO things that are provably pure. While State is simply a single value passed around unmagically
2026-05-05 23:27:43 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) (Ping timeout: 272 seconds)
2026-05-05 23:28:57 +0000 <EvanR> tomsmeding, so if type variables are greek letters, are they also italic (what a contradiction!)
2026-05-05 23:32:44 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Read error: Connection reset by peer)
2026-05-05 23:33:38 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 23:35:01 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:69c0:1969:b51f:8a41) (Ping timeout: 244 seconds)
2026-05-05 23:38:35 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 23:39:45 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) (Ping timeout: 272 seconds)
2026-05-05 23:42:35 +0000ricardomaps(~ricardoma@2804:14d:a040:81ea:c5fe:9a9e:a8c1:91b1)
2026-05-05 23:43:49 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 23:44:11 +0000CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Ping timeout: 272 seconds)
2026-05-05 23:49:08 +0000gawen(~gawen@user/gawen) (Quit: cya)
2026-05-05 23:49:55 +0000gawen(~gawen@user/gawen) gawen
2026-05-05 23:51:18 +0000CloneOfN-(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-05-05 23:53:04 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) (Ping timeout: 276 seconds)
2026-05-05 23:55:35 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-05-05 23:55:56 +0000CloneOfN-(~CloneOfNo@user/CloneOfNone) (Read error: Connection reset by peer)
2026-05-05 23:57:34 +0000CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone