| 2026-05-17 00:02:40 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-17 00:05:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 00:07:04 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 265 seconds) |
| 2026-05-17 00:09:21 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 00:10:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-17 00:15:45 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2026-05-17 00:21:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 00:26:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-17 00:29:40 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 00:33:55 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-17 00:35:58 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 00:39:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 00:42:26 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-05-17 00:44:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-17 00:44:32 +0000 | <Leary> | [exa]: It does if you use 'ki'. |
| 2026-05-17 00:45:37 +0000 | <Leary> | tomsmeding: Relatedly, it would be cool to have that^ in the playground. |
| 2026-05-17 00:48:53 +0000 | random-5 | (~random-je@109.166.135.135) |
| 2026-05-17 00:52:27 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 246 seconds) |
| 2026-05-17 00:55:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 00:59:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-17 01:10:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 01:11:25 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 01:15:10 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-05-17 01:17:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-17 01:17:39 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-05-17 01:17:55 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-05-17 01:19:10 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 01:23:42 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2026-05-17 01:28:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 01:33:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-17 01:34:06 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5523bf476434507d41f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-05-17 01:36:27 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 01:38:13 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 276 seconds) |
| 2026-05-17 01:41:38 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-05-17 01:44:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 01:49:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-17 01:53:16 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2026-05-17 01:53:24 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-05-17 01:55:55 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 01:57:29 +0000 | ricardomaps | (~ricardoma@201-59-105-250.user3p.veloxzone.com.br) (Ping timeout: 272 seconds) |
| 2026-05-17 01:57:55 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-17 01:58:34 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 01:59:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 02:00:10 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-17 02:03:34 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 276 seconds) |
| 2026-05-17 02:04:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-17 02:05:03 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-05-17 02:05:44 +0000 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-05-17 02:10:10 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 02:11:11 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Remote host closed the connection) |
| 2026-05-17 02:11:33 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 02:14:07 +0000 | td_ | (~td@i53870924.versanet.de) (Ping timeout: 264 seconds) |
| 2026-05-17 02:15:43 +0000 | td_ | (~td@i5387093F.versanet.de) td_ |
| 2026-05-17 02:15:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 02:20:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-17 02:24:23 +0000 | robertm | (robertm@lattice.rojoma.com) (Quit: WeeChat 4.6.3) |
| 2026-05-17 02:26:15 +0000 | robertm | (robertm@lattice.rojoma.com) robertm |
| 2026-05-17 02:31:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 02:35:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-17 02:39:17 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-05-17 02:39:37 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-05-17 02:44:05 +0000 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::49) (Read error: Connection reset by peer) |
| 2026-05-17 02:44:29 +0000 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::49) |
| 2026-05-17 02:45:19 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-05-17 02:46:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 02:50:55 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 02:53:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-17 02:55:45 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-17 03:04:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 03:08:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-17 03:12:22 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 03:14:16 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Remote host closed the connection) |
| 2026-05-17 03:14:28 +0000 | tri | (~tri@74.90.193.244) |
| 2026-05-17 03:19:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 03:24:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-17 03:32:24 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2026-05-17 03:35:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 03:40:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-17 03:51:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 03:52:22 +0000 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::49) (Remote host closed the connection) |
| 2026-05-17 03:52:46 +0000 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::49) |
| 2026-05-17 03:57:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-17 03:57:40 +0000 | synchromesh | (~john@2406:5a00:247e:1500:5901:9962:827:272d) (Read error: Connection reset by peer) |
| 2026-05-17 03:58:08 +0000 | ricardomaps | (~ricardoma@201-59-105-250.user3p.veloxzone.com.br) |
| 2026-05-17 03:58:51 +0000 | synchromesh | (~john@2406:5a00:247e:1500:5901:9962:827:272d) synchromesh |
| 2026-05-17 04:00:31 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-05-17 04:00:31 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-05-17 04:00:47 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-05-17 04:00:55 +0000 | califax | (~califax@user/califx) califx |
| 2026-05-17 04:03:06 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2026-05-17 04:05:13 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-05-17 04:09:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 04:13:01 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 272 seconds) |
| 2026-05-17 04:13:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-17 04:16:31 +0000 | lisprs | (~user@75-98-148-179.cpe.safelink.net) (Ping timeout: 268 seconds) |
| 2026-05-17 04:24:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 04:27:43 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: Lost terminal) |
| 2026-05-17 04:30:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-17 04:35:05 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2026-05-17 04:40:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 04:42:01 +0000 | sda1 | (~sda1@user/sda1) sda1 |
| 2026-05-17 04:45:10 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-17 04:45:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-17 04:50:42 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 255 seconds) |
| 2026-05-17 04:58:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 05:03:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-17 05:06:19 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) (Ping timeout: 264 seconds) |
| 2026-05-17 05:08:48 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 05:14:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 05:19:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-17 05:25:38 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-05-17 05:26:33 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 265 seconds) |
| 2026-05-17 05:30:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 05:30:28 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-17 05:30:45 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-05-17 05:32:14 +0000 | tri | (~tri@74.90.193.244) (Remote host closed the connection) |
| 2026-05-17 05:36:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-17 05:41:49 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 05:43:31 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-05-17 05:47:41 +0000 | ricardomaps | (~ricardoma@201-59-105-250.user3p.veloxzone.com.br) (Quit: ricardomaps) |
| 2026-05-17 05:47:56 +0000 | tri | (~tri@74.90.193.244) |
| 2026-05-17 05:48:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 05:53:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-17 05:54:14 +0000 | tri | (~tri@74.90.193.244) (Ping timeout: 244 seconds) |
| 2026-05-17 06:01:01 +0000 | Guest58 | (~Guest58@95.75.212.164) |
| 2026-05-17 06:03:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 06:08:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-17 06:13:04 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 06:17:47 +0000 | mstruebing | (~mstruebin@ns343649.ip-188-165-193.eu) (Read error: Connection reset by peer) |
| 2026-05-17 06:19:26 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2026-05-17 06:19:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 06:22:18 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-05-17 06:22:52 +0000 | mstruebing | (~mstruebin@ns343649.ip-188-165-193.eu) |
| 2026-05-17 06:24:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-17 06:30:07 +0000 | puke | (~puke@user/puke) puke |
| 2026-05-17 06:33:35 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 06:35:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 06:38:05 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-17 06:39:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-17 06:50:53 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-17 06:50:58 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 06:52:40 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-05-17 06:55:21 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2026-05-17 06:56:04 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 276 seconds) |
| 2026-05-17 07:00:21 +0000 | random-5 | (~random-je@109.166.135.135) (Quit: KVIrc 5.2.10 Quasar http://www.kvirc.net/) |
| 2026-05-17 07:00:37 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) random-jellyfish |
| 2026-05-17 07:01:02 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-17 07:01:20 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 07:03:06 +0000 | tt1231607019780 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-05-17 07:06:28 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2026-05-17 07:06:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 07:07:10 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd2:98e8:26e0:b189) |
| 2026-05-17 07:09:48 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 07:12:44 +0000 | sda1 | (~sda1@user/sda1) (Quit: sda1) |
| 2026-05-17 07:12:52 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-17 07:13:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-17 07:16:03 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-05-17 07:19:51 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Ping timeout: 272 seconds) |
| 2026-05-17 07:24:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 07:28:34 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 2026-05-17 07:29:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-17 07:31:02 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 07:36:25 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-17 07:40:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 07:45:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-17 07:50:04 +0000 | rzrshr | (~rzrshr@user/rzrshr) rzrshr |
| 2026-05-17 07:50:19 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 07:50:53 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 244 seconds) |
| 2026-05-17 07:54:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 07:54:41 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2026-05-17 07:57:17 +0000 | Guest58 | (~Guest58@95.75.212.164) (Ping timeout: 245 seconds) |
| 2026-05-17 07:59:05 +0000 | Guest38 | (~Guest0@2a02-a468-6b67-0-be6c-7961-22e9-4de.fixed6.kpn.net) |
| 2026-05-17 07:59:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-17 07:59:19 +0000 | Guest38 | (~Guest0@2a02-a468-6b67-0-be6c-7961-22e9-4de.fixed6.kpn.net) (Client Quit) |
| 2026-05-17 08:00:26 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e552d2c27a779caa6057.dip0.t-ipconnect.de) |
| 2026-05-17 08:08:42 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 08:10:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 08:14:04 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-17 08:14:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-17 08:17:37 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:2d67:5cab:fe49:9b31) |
| 2026-05-17 08:19:49 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 08:24:18 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 246 seconds) |
| 2026-05-17 08:25:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 08:28:59 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 08:30:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-17 08:34:13 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2026-05-17 08:41:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 08:44:29 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-17 08:44:41 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-17 08:44:53 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-17 08:46:40 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 08:47:34 +0000 | wickedjargon | (~user@2605:8d80:5430:df2f:c133:b5c0:44bf:d52a) wickedjargon |
| 2026-05-17 08:49:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-05-17 08:53:25 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-17 08:59:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 09:05:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-17 09:09:28 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5126ddf7eb9d383a6ca.dip0.t-ipconnect.de) acidjnk |
| 2026-05-17 09:12:18 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e552d2c27a779caa6057.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-05-17 09:15:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 09:18:25 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-05-17 09:19:31 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 264 seconds) |
| 2026-05-17 09:20:42 +0000 | DetourNe- | DetourNetworkUK |
| 2026-05-17 09:20:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-17 09:22:03 +0000 | <tomsmeding> | Leary: my informal criterion for including stuff in the playground is that they don't pull in half the world, and are used by enough people. The former is clearly satisfied, and it's satisfied so much that I'm okay with weakening the second criterion somewhat. Can you give me some argument that you're not the only one who might use ki? |
| 2026-05-17 09:25:26 +0000 | <tomsmeding> | (The major exception to this criterion, as far as I know, is including copilot, which happened because Ivan asked nicely and assured me it would have users. I have no clue if it actually does.) |
| 2026-05-17 09:26:35 +0000 | <tomsmeding> | Leary: also it seems I might not be building with -threaded. Is that an issue? |
| 2026-05-17 09:31:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 09:31:49 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 09:36:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-17 09:37:22 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-05-17 09:42:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 09:43:33 +0000 | <Leary> | tomsmeding: Not building with `-threaded` is an issue for concurrency in general, as the non-threaded runtime has various misbehaviours in this domain. Re other users, it's hard to say, but my best anecdotal evidence of popularity is that my most-liked discourse comment is telling someone to ditch 'async' for 'ki': https://discourse.haskell.org/t/dynamic-number-of-asyncs/11574/9 |
| 2026-05-17 09:47:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-17 09:51:26 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Quit: WeeChat 4.9.0) |
| 2026-05-17 09:52:04 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 09:54:20 +0000 | wickedjargon | (~user@2605:8d80:5430:df2f:c133:b5c0:44bf:d52a) (Remote host closed the connection) |
| 2026-05-17 09:55:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 09:58:40 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-17 10:00:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-17 10:09:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 10:12:18 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 10:14:23 +0000 | <tomsmeding> | Leary: Heh. I guess. |
| 2026-05-17 10:15:55 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-17 10:17:01 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 10:17:11 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2026-05-17 10:18:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-05-17 10:18:46 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 244 seconds) |
| 2026-05-17 10:19:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 10:20:54 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-05-17 10:21:14 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-17 10:21:21 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 244 seconds) |
| 2026-05-17 10:25:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-17 10:25:43 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-05-17 10:28:50 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 10:31:37 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 10:35:54 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-05-17 10:38:43 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 264 seconds) |
| 2026-05-17 10:45:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 10:48:42 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 10:49:15 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 10:50:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-17 10:50:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 10:52:22 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 10:53:05 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 245 seconds) |
| 2026-05-17 10:55:20 +0000 | margan | (~margan@host-79-23-82-85.retail.telecomitalia.it) |
| 2026-05-17 10:55:20 +0000 | <margan> | Ciao a tutti xD |
| 2026-05-17 10:59:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-17 10:59:47 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd2:98e8:26e0:b189) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-17 11:00:03 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-17 11:00:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 11:05:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-05-17 11:05:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 11:05:58 +0000 | Ikosit8 | (~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat) |
| 2026-05-17 11:06:13 +0000 | Ikosit8 | (~Ikosit@user/ikosit) Ikosit |
| 2026-05-17 11:06:27 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 11:10:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-05-17 11:10:57 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2026-05-17 11:12:30 +0000 | xff0x | (~xff0x@2405:6580:b080:900:21f8:e96d:3c88:27e4) (Ping timeout: 244 seconds) |
| 2026-05-17 11:13:22 +0000 | xff0x | (~xff0x@2405:6580:b080:900:120c:f6f3:78ae:2e21) |
| 2026-05-17 11:19:55 +0000 | margan | (~margan@host-79-23-82-85.retail.telecomitalia.it) (Quit: PoWeR-Script.2020 - URL: http://www.powerscript.altervista.org) |
| 2026-05-17 11:23:30 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 11:23:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 11:26:03 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd2:98e8:26e0:b189) |
| 2026-05-17 11:31:01 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2026-05-17 11:35:23 +0000 | <[exa]> | geekosaur, Leary, tomsmeding: ok thanks. I'll simply do explicit killthreads. `ki` looks cool. :] |
| 2026-05-17 11:36:52 +0000 | Beowulf | (florian@sleipnir.bandrate.org) (Quit: = "") |
| 2026-05-17 11:43:00 +0000 | Beowulf | (florian@sleipnir.bandrate.org) |
| 2026-05-17 11:45:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Remote host closed the connection) |
| 2026-05-17 11:49:48 +0000 | Googulator | (~Googulato@94-21-138-77.pool.digikabel.hu) (Quit: Client closed) |
| 2026-05-17 11:53:07 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 276 seconds) |
| 2026-05-17 11:58:11 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-05-17 12:00:55 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 12:07:43 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-17 12:09:16 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2026-05-17 12:14:27 +0000 | <gentauro> | [exa]: don't we have something similar to this -> https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/task-expressions#adding-cancell… |
| 2026-05-17 12:15:25 +0000 | <[exa]> | gentauro: oh yeah that might help |
| 2026-05-17 12:15:25 +0000 | synchromesh | (~john@2406:5a00:247e:1500:5901:9962:827:272d) (Read error: Connection reset by peer) |
| 2026-05-17 12:15:36 +0000 | <[exa]> | as in, killThread is essentially the "throw to cancel", right? :D |
| 2026-05-17 12:16:33 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-17 12:16:36 +0000 | synchromesh | (~john@2406:5a00:247e:1500:311a:780a:bedd:9a52) synchromesh |
| 2026-05-17 12:19:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 12:21:12 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 12:24:08 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Remote host closed the connection) |
| 2026-05-17 12:24:20 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 12:26:00 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Remote host closed the connection) |
| 2026-05-17 12:27:32 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 12:29:27 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Remote host closed the connection) |
| 2026-05-17 12:29:40 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 12:30:32 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Remote host closed the connection) |
| 2026-05-17 12:31:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-17 12:37:36 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 12:37:53 +0000 | Beowulf | (florian@sleipnir.bandrate.org) (Quit: = "") |
| 2026-05-17 12:42:19 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-05-17 12:43:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 12:47:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-17 12:55:50 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-05-17 12:56:20 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-05-17 13:01:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 13:05:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-17 13:11:27 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 13:17:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 13:19:44 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2026-05-17 13:19:53 +0000 | lisprs | (~user@75-98-148-179.cpe.safelink.net) |
| 2026-05-17 13:21:37 +0000 | smooth | (~smooth@d038.lnet.fi) |
| 2026-05-17 13:21:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-17 13:29:19 +0000 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2026-05-17 13:29:38 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-05-17 13:35:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 13:38:37 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 13:38:47 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 13:41:25 +0000 | <smooth> | Hi |
| 2026-05-17 13:41:58 +0000 | <smooth> | I'm new to IRC. Is there a way to read old chats? |
| 2026-05-17 13:42:21 +0000 | <Rembane> | smooth: Send the command /topic and there's a link there |
| 2026-05-17 13:42:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-17 13:42:52 +0000 | <Rembane> | smooth: also: welcome! :D |
| 2026-05-17 13:43:37 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 276 seconds) |
| 2026-05-17 13:43:39 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2026-05-17 13:44:35 +0000 | smooth | (~smooth@d038.lnet.fi) (Quit: Konversation terminated!) |
| 2026-05-17 13:45:54 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-05-17 13:50:47 +0000 | <tomsmeding> | I always find that quit message a bit blunt |
| 2026-05-17 13:53:53 +0000 | Digitteknohippie | Digit |
| 2026-05-17 13:54:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 13:56:53 +0000 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2026-05-17 13:57:17 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 13:58:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-17 13:59:58 +0000 | michalz | (~michalz@185.246.207.203) |
| 2026-05-17 14:00:06 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2026-05-17 14:08:12 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 14:09:00 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd2:98e8:26e0:b189) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-17 14:10:07 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2026-05-17 14:12:13 +0000 | jessicara | (~shirogits@user/meow/jessicara) (Remote host closed the connection) |
| 2026-05-17 14:12:55 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 264 seconds) |
| 2026-05-17 14:14:12 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2026-05-17 14:24:03 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 14:27:53 +0000 | <Rembane> | Very final |
| 2026-05-17 14:28:25 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-05-17 14:30:22 +0000 | spew | (~spew@user/spew) spew |
| 2026-05-17 14:30:41 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: connection reset by purr) |
| 2026-05-17 14:30:53 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2026-05-17 14:32:24 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 14:34:48 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 2026-05-17 14:38:07 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-05-17 14:38:36 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-05-17 14:38:48 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-05-17 14:45:56 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-05-17 14:50:57 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 14:51:40 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 14:53:44 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-05-17 14:55:38 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2026-05-17 14:56:09 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 245 seconds) |
| 2026-05-17 15:00:17 +0000 | crazazy | (crazazy@tilde.town) crazazy |
| 2026-05-17 15:01:17 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-05-17 15:12:43 +0000 | Beowulf | (florian@sleipnir.bandrate.org) |
| 2026-05-17 15:18:04 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-05-17 15:23:09 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-17 15:25:00 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 15:28:08 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-05-17 15:31:30 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2026-05-17 15:33:14 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 15:38:53 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2026-05-17 15:41:54 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-05-17 15:42:34 +0000 | xff0x | (~xff0x@2405:6580:b080:900:120c:f6f3:78ae:2e21) (Ping timeout: 276 seconds) |
| 2026-05-17 15:43:41 +0000 | xff0x | (~xff0x@2405:6580:b080:900:120c:f6f3:78ae:2e21) |
| 2026-05-17 15:44:17 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 15:46:26 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-05-17 15:49:06 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 248 seconds) |
| 2026-05-17 15:51:21 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 15:53:44 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 15:53:45 +0000 | pabs3 | Guest6419 |
| 2026-05-17 15:53:45 +0000 | Guest6419 | (~pabs3@user/pabs3) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2026-05-17 15:54:01 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-05-17 15:56:57 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 248 seconds) |
| 2026-05-17 15:58:16 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-17 15:58:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 15:59:24 +0000 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2026-05-17 15:59:55 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-05-17 16:00:18 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-05-17 16:00:54 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 16:03:03 +0000 | tomku | (~tomku@user/tomku) (Remote host closed the connection) |
| 2026-05-17 16:03:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-17 16:05:29 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 248 seconds) |
| 2026-05-17 16:05:52 +0000 | tomku | (~tomku@user/tomku) tomku |
| 2026-05-17 16:06:49 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-05-17 16:11:46 +0000 | Digitteknohippie | Digit |
| 2026-05-17 16:12:12 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 16:14:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 16:17:01 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2026-05-17 16:19:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-17 16:22:06 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-17 16:24:44 +0000 | synchromesh | (~john@2406:5a00:247e:1500:311a:780a:bedd:9a52) (Read error: Connection reset by peer) |
| 2026-05-17 16:26:20 +0000 | synchromesh | (~john@2406:5a00:247e:1500:311a:780a:bedd:9a52) synchromesh |
| 2026-05-17 16:31:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 16:32:33 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-05-17 16:33:25 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 16:34:19 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd2:98e8:26e0:b189) |
| 2026-05-17 16:34:50 +0000 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2026-05-17 16:38:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-17 16:38:22 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2026-05-17 16:45:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2026-05-17 16:45:54 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-17 16:49:50 +0000 | bggd | (~bgg@user/bggd) (Remote host closed the connection) |
| 2026-05-17 16:58:27 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-05-17 17:01:08 +0000 | tri | (~tri@74.90.193.244) |
| 2026-05-17 17:01:38 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-05-17 17:09:53 +0000 | <gentauro> | [exa]: in the sense that you just request the cancellation token to shutdown nicely and it propagates everywhere. |
| 2026-05-17 17:10:20 +0000 | <gentauro> | it's a really nice mechanism to ensure threads just don't die in the middle of something important |
| 2026-05-17 17:12:35 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-05-17 17:15:31 +0000 | Deltaspace | (~Deltaspac@user/Deltaspace) (Ping timeout: 276 seconds) |
| 2026-05-17 17:23:28 +0000 | tri | (~tri@74.90.193.244) (Ping timeout: 244 seconds) |
| 2026-05-17 17:23:57 +0000 | Deltaspace | (~Deltaspac@178.252.127.234) |
| 2026-05-17 17:28:30 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-05-17 17:29:10 +0000 | Deltaspace | (~Deltaspac@178.252.127.234) (Ping timeout: 276 seconds) |
| 2026-05-17 17:30:11 +0000 | Deltaspace | (~Deltaspac@178.252.83.109) |
| 2026-05-17 17:31:43 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-05-17 17:34:23 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 17:38:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 17:38:52 +0000 | <[exa]> | gentauro: yeah I know that, except I didn't really want to care that much :D :D |
| 2026-05-17 17:39:15 +0000 | <[exa]> | (might be the case that I should) |
| 2026-05-17 17:39:55 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2026-05-17 17:44:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-17 17:44:46 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 17:47:12 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd2:98e8:26e0:b189) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-05-17 17:48:47 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-05-17 17:50:20 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2026-05-17 17:54:47 +0000 | <gentauro> | :) |
| 2026-05-17 17:55:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 17:55:11 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 17:58:23 +0000 | tromp | (~textual@2001:1c00:340e:2700:dd2:98e8:26e0:b189) |
| 2026-05-17 17:59:34 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-05-17 17:59:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-05-17 17:59:52 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-05-17 18:03:36 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2026-05-17 18:12:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 18:17:23 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 18:17:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-17 18:25:32 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 2026-05-17 18:25:36 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-05-17 18:29:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 18:33:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-05-17 18:35:23 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 18:37:52 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-05-17 18:37:52 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-05-17 18:37:52 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-05-17 18:39:49 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 244 seconds) |
| 2026-05-17 18:42:18 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-17 18:43:19 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-17 18:44:20 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-05-17 18:46:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 18:49:24 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-05-17 18:53:27 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 18:53:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-17 18:58:04 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 265 seconds) |
| 2026-05-17 19:00:46 +0000 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2026-05-17 19:03:43 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2026-05-17 19:08:56 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-17 19:09:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2026-05-17 19:10:08 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-05-17 19:14:02 +0000 | <srk> | out of curiousity.. why is threaded runtime not the default one? I regularly shoot myself in the foot by missing -threaded |
| 2026-05-17 19:17:42 +0000 | Googulator | (~Googulato@94-21-138-77.pool.digikabel.hu) |
| 2026-05-17 19:19:08 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) (Ping timeout: 256 seconds) |
| 2026-05-17 19:19:17 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 19:19:20 +0000 | <Clint> | i could only speculate |
| 2026-05-17 19:20:45 +0000 | <EvanR> | is it still not default? |
| 2026-05-17 19:21:48 +0000 | <geekosaur> | still not |
| 2026-05-17 19:22:09 +0000 | <geekosaur> | I gather there's some backward compat reason, even though the threaded one is generally recommended |
| 2026-05-17 19:22:42 +0000 | rabbull7 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) (Quit: Ping timeout (120 seconds)) |
| 2026-05-17 19:22:53 +0000 | rabbull7 | (~rabbull@xdsl-31-164-93-219.adslplus.ch) |
| 2026-05-17 19:23:00 +0000 | <geekosaur> | I think it has to do with using C libraries which don't expect to be invoked across threads and the Haskell side didn't use forkOS because it's too old |
| 2026-05-17 19:23:24 +0000 | <geekosaur> | (or just can't be threaded properly, as with Xlib) |
| 2026-05-17 19:24:30 +0000 | <EvanR> | in certain circles it is still assumed "best practices" to never use threads ever |
| 2026-05-17 19:24:36 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2026-05-17 19:24:41 +0000 | <EvanR> | single threaded is great and good |
| 2026-05-17 19:25:13 +0000 | <geekosaur> | (or wayland, for that matter: trying to share the server socket across threads isn't ever going to work) |
| 2026-05-17 19:25:14 +0000 | <EvanR> | maybe it crept into ghc in the primordial times |
| 2026-05-17 19:26:11 +0000 | <EvanR> | if the socket is just a socket, fd, can't you just put a mutex around it |
| 2026-05-17 19:26:41 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2026-05-17 19:27:13 +0000 | <geekosaur> | I gather that is sufficiently non-performant that even in C/C++ major toolkits relay window server operations to the main thread and pass the result back |
| 2026-05-17 19:27:20 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 19:28:24 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 19:28:41 +0000 | <geekosaur> | Xlib even has a call you can make after opening the display to wrap everything in a mutex. word on the street is the result performs so badly that it should be avoided |
| 2026-05-17 19:30:20 +0000 | <geekosaur> | one thing to consider is the asynch nature of window systems, plus the need for several go-rounds or multiple response packets for requests |
| 2026-05-17 19:30:54 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) random-jellyfish |
| 2026-05-17 19:31:03 +0000 | <geekosaur> | which makes Xlib's version slow and xcb's/wayland's pretty much untenable unless you mutex at a high enough level that you get Xlib's lack of performance |
| 2026-05-17 19:32:06 +0000 | <tomsmeding> | Leary: ki has arrived |
| 2026-05-17 19:32:16 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2026-05-17 19:33:28 +0000 | <geekosaur> | also the "async" part means that you can get late responses to earlier requests during later ones, unless you XSync or equivalent between requests, which is where most of that slowdown comes from |
| 2026-05-17 19:34:42 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 244 seconds) |
| 2026-05-17 19:34:55 +0000 | <EvanR> | sounds like these issues still make it possible pass off a socket to another thread for exclusive access for a while then pass back |
| 2026-05-17 19:35:08 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 19:35:12 +0000 | <srk> | hm. makes sense, you need to be extra careful with ffi |
| 2026-05-17 19:35:44 +0000 | <EvanR> | thing is I though FFI worked worse without -threaded |
| 2026-05-17 19:36:01 +0000 | <tomsmeding> | there've been (still are?) graphics drivers that not only don't support concurrent access, but strictly require access from the main thread only |
| 2026-05-17 19:36:04 +0000 | <geekosaur> | it's possible, but it's still far more performant to designate a UI thread and forward all UI queries/updates to it |
| 2026-05-17 19:36:17 +0000 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-05-17 19:36:24 +0000 | <geekosaur> | the toolkit folks have been dealing with this for decades, they know what performs best |
| 2026-05-17 19:36:26 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 19:37:25 +0000 | <geekosaur> | FFI is less tolerant of things inappropriately marked "unsafe" without -threaded, iirc |
| 2026-05-17 19:38:05 +0000 | <geekosaur> | but (and this is one of the things tomsneding is talking about) some opengl toolkits blow up kind of spectacularly with -threaded |
| 2026-05-17 19:38:30 +0000 | <tomsmeding> | (through thread-local state) |
| 2026-05-17 19:38:41 +0000 | <geekosaur> | they even added an option to ghci to allow working with such toolkits, since it's threaded by default |
| 2026-05-17 19:39:36 +0000 | <geekosaur> | *tomsmeding (I kan type) |
| 2026-05-17 19:39:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 19:40:33 +0000 | Square | (~Square@user/square) Square |
| 2026-05-17 19:40:54 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 268 seconds) |
| 2026-05-17 19:42:44 +0000 | <tomsmeding> | what is a good verb for removing bits from an object to make it fit a hole |
| 2026-05-17 19:43:06 +0000 | <geekosaur> | "shaving" is what I'd usually say |
| 2026-05-17 19:43:08 +0000 | <tomsmeding> | or more concretely, selectively removing packages from a list until they configure & build together |
| 2026-05-17 19:43:13 +0000 | <tomsmeding> | (playground) |
| 2026-05-17 19:43:14 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-05-17 19:43:19 +0000 | <geekosaur> | but that would be pruning |
| 2026-05-17 19:43:27 +0000 | <tomsmeding> | oh pruning is better yes |
| 2026-05-17 19:43:37 +0000 | <tomsmeding> | I didn't get further than "whittle" which is not great |
| 2026-05-17 19:43:59 +0000 | petrichor | (~jez@user/petrichor) (Ping timeout: 268 seconds) |
| 2026-05-17 19:44:11 +0000 | <monochrom> | Hey that one I know! Starting with some GHC version (therefore people were surprised during the transition), ghci is built with -threaded, plus every expression you enter at the REPL enjoys its own forkIO. That broke some people entering GUI expressions at the REPL. So later ghci added a "don't forkIO" option. |
| 2026-05-17 19:44:27 +0000 | <geekosaur> | it is sometimes used idiomatically for that |
| 2026-05-17 19:44:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-05-17 19:44:44 +0000 | <geekosaur> | -no-ghci-sandbox iirc |
| 2026-05-17 19:45:11 +0000 | <monochrom> | Yeah that. |
| 2026-05-17 19:46:25 +0000 | <monochrom> | tomsmeding: Consider https://this-plt-life.tumblr.com/post/44462204757/simon-peyton-jones-adding-the-io-monad-to-haskell >:) |
| 2026-05-17 19:47:15 +0000 | <tomsmeding> | lol |
| 2026-05-17 19:47:34 +0000 | <tomsmeding> | I don't have the historical context to appreciate the title though |
| 2026-05-17 19:49:06 +0000 | <monochrom> | Oh it's just the usual "I/O is in conflict with purity". |
| 2026-05-17 19:49:18 +0000 | <tomsmeding> | lame |
| 2026-05-17 19:49:32 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: sjnvks) |
| 2026-05-17 19:50:34 +0000 | <monochrom> | It was not just SPJ. And the monad solution was well-researched. But it's funny to pin it on someone famous and also depict it as cheating. :) |
| 2026-05-17 19:51:00 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-05-17 19:51:23 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-05-17 19:55:22 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 19:56:14 +0000 | <monochrom> | BTW even Emily Riehl doesn't seem to know that "monad is just monoid in category of endofunctors" really first came from Mac Lane's textbook, not Wadler or even Iry. |
| 2026-05-17 19:56:49 +0000 | <monochrom> | I didn't know either. Just a few days ago a friend showed me it in Mac Lane's textbook. |
| 2026-05-17 19:57:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 19:57:40 +0000 | petrichor | (~jez@user/petrichor) (Ping timeout: 256 seconds) |
| 2026-05-17 20:00:21 +0000 | <Rembane> | Is that Categories for the Working Mathematician? |
| 2026-05-17 20:00:26 +0000 | <monochrom> | Yes. |
| 2026-05-17 20:01:07 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 272 seconds) |
| 2026-05-17 20:01:49 +0000 | <Rembane> | That's excellent! |
| 2026-05-17 20:02:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-17 20:02:46 +0000 | <Rembane> | And it seems to be way older than both Haskell and the paper that introduced Monads to the language. Which makes it all even better. |
| 2026-05-17 20:02:57 +0000 | <monochrom> | :) |
| 2026-05-17 20:08:22 +0000 | tjbc | (~tjbc@user/fliife) fliife |
| 2026-05-17 20:09:43 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Quit: KVIrc 5.2.8 Quasar http://www.kvirc.net/) |
| 2026-05-17 20:11:15 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 20:13:32 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 20:14:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 20:16:52 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2026-05-17 20:17:42 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 255 seconds) |
| 2026-05-17 20:18:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-17 20:26:09 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 20:30:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 20:30:31 +0000 | x9 | (~x9@91-157-105-12.elisa-laajakaista.fi) |
| 2026-05-17 20:30:43 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 20:30:53 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 272 seconds) |
| 2026-05-17 20:34:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-17 20:35:02 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2026-05-17 20:35:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 20:36:32 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 20:40:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-17 20:41:45 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2026-05-17 20:44:08 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 20:44:18 +0000 | <EvanR> | I/O specifically (not everything that was dumped onto the IO monad) is easily made compatible with purity! |
| 2026-05-17 20:45:03 +0000 | <EvanR> | this is how all the esolangs can get away with purity and do anything (can only consume 1 char from stdio and output 1 char, at a time, is the extent of their I/O) |
| 2026-05-17 20:45:20 +0000 | sp1ff | (~user@2601:1c2:4080:14c0::6eb4) (Read error: Connection reset by peer) |
| 2026-05-17 20:45:34 +0000 | <tomsmeding> | I was going to ask, how do you do purity and I/O and concurrency, but I guess concurrency is IO and not I/O |
| 2026-05-17 20:47:47 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-05-17 20:52:01 +0000 | <EvanR> | STM is cool because it is concurrency and no I/O |
| 2026-05-17 20:52:25 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 248 seconds) |
| 2026-05-17 20:52:37 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 265 seconds) |
| 2026-05-17 20:52:54 +0000 | layline_ | (~layline@149.154.26.39) layline |
| 2026-05-17 20:53:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 20:53:30 +0000 | <EvanR> | I'm not sure purity is the right word if you want to make the concurrency pure (where is the pure function) |
| 2026-05-17 20:53:47 +0000 | <EvanR> | faithful to some semantics of concurrency, whatever word this is |
| 2026-05-17 20:54:04 +0000 | <tomsmeding> | I have recently been enlightened that the essence of concurrency is nondeterministic execution order |
| 2026-05-17 20:54:13 +0000 | <tomsmeding> | purity implies determinism |
| 2026-05-17 20:54:20 +0000 | <tomsmeding> | so pure concurrency is not really a thingt |
| 2026-05-17 20:54:23 +0000 | <tomsmeding> | s/.$// |
| 2026-05-17 20:56:02 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-05-17 20:56:42 +0000 | <EvanR> | in this book on cybernetics, they sweep it all under the rug quite easily: determinism means the transition function for the system is single valued. And if it's not single valued e.g. modelling a general quantum measurement, then replace the whole thing with a probability distribution and it's single valued again (the distribution) |
| 2026-05-17 20:56:52 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 20:57:33 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 20:57:37 +0000 | <EvanR> | then the book works for deterministic and non |
| 2026-05-17 20:57:51 +0000 | <tomsmeding> | I mean, sure, if all nondeterminm comes from probabilistic events, then the output is also probabilistic |
| 2026-05-17 20:58:17 +0000 | <tomsmeding> | the issue with most practical nondeterminism is that it's not probabilistic but instead other components of the system, that are relevant to your model, doing stuff |
| 2026-05-17 20:58:51 +0000 | <EvanR> | yes that's also the "issue" with information theory, is probability appropriate in the first place |
| 2026-05-17 20:59:38 +0000 | <EvanR> | answer: probably xD |
| 2026-05-17 20:59:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-17 21:00:26 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-05-17 21:01:06 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-05-17 21:01:12 +0000 | <EvanR> | lately I've been applying probability to everything: the size of this integer is exponentially decaying so picking int64 instead of arbitrary precision gives a high chance the program works! |
| 2026-05-17 21:02:01 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 244 seconds) |
| 2026-05-17 21:04:40 +0000 | gabriel_1 | (~gabriel@92-180-228-17.dynamic.orange.sk) (Quit: WeeChat 4.9.0) |
| 2026-05-17 21:06:42 +0000 | gabriel_sevecek | (~gabriel@92-180-228-17.dynamic.orange.sk) gabriel_sevecek |
| 2026-05-17 21:09:29 +0000 | <tomsmeding> | that... sounds risky |
| 2026-05-17 21:12:24 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 2026-05-17 21:13:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 21:14:52 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 21:16:31 +0000 | <EvanR> | if the chance is on the order of your computer failing to radioisotopes in the silicon |
| 2026-05-17 21:16:39 +0000 | <EvanR> | it's fine |
| 2026-05-17 21:16:41 +0000 | <EvanR> | lol |
| 2026-05-17 21:17:51 +0000 | <EvanR> | also in cybernetics there's many systems interacting on a shared timeline, I guess this makes it a vast subset of concurrency and maybe too concrete |
| 2026-05-17 21:18:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-17 21:19:04 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-17 21:21:42 +0000 | <tomsmeding> | EvanR: if you have proved beyond a shred of a doubt that the probability is that low, perhaps. In practice, the probability of failure is significantly higher because you probably get probabilities of people or systems doing weird stuff wrong :p |
| 2026-05-17 21:22:17 +0000 | <EvanR> | you need higher order probability to model the probability model being wrong, then iterate |
| 2026-05-17 21:23:08 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-05-17 21:23:42 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 21:27:49 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 245 seconds) |
| 2026-05-17 21:33:58 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 21:41:10 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 21:41:34 +0000 | <Leary> | tomsmeding: Cheers! Also: "pare down". |
| 2026-05-17 21:42:59 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2026-05-17 21:43:15 +0000 | <tomsmeding> | Leary: nice. I think 'prune' is still more in the programming vernacular for this kind of thing, but that's a very apt word for what I wrote initially |
| 2026-05-17 21:44:23 +0000 | <geekosaur> | yeh, I think I'd consider "pare down" and "whittle down" to be equivalent from different sources, but both more informal than "prune" |
| 2026-05-17 21:45:32 +0000 | <geekosaur> | consider that we say "prune" with respect to edges or vertices of graphs |
| 2026-05-17 21:48:04 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-17 21:48:24 +0000 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2026-05-17 21:48:39 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-05-17 21:49:54 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) (Max SendQ exceeded) |
| 2026-05-17 21:50:44 +0000 | Inline | (~noOne@ipservice-092-208-182-236.092.208.pools.vodafone-ip.de) Inline |
| 2026-05-17 21:51:13 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-05-17 21:51:54 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-05-17 21:54:57 +0000 | Eoco | (~ian@128.101.131.218) (Remote host closed the connection) |
| 2026-05-17 21:55:15 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 21:56:22 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 21:57:13 +0000 | <Leary> | Fair. Re pure concurrency, there are simple models like KPNs where components may execute in any order but the network as a whole processes a stream deterministically. |
| 2026-05-17 22:00:52 +0000 | layline_ | layline-away |
| 2026-05-17 22:00:55 +0000 | Eoco | (~ian@128.101.131.218) (Ping timeout: 244 seconds) |
| 2026-05-17 22:02:10 +0000 | mtmn | (~mtmn@user/mtmn) (Remote host closed the connection) |
| 2026-05-17 22:02:52 +0000 | x9 | (~x9@91-157-105-12.elisa-laajakaista.fi) (Quit: Client closed) |
| 2026-05-17 22:04:20 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-17 22:08:39 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-05-17 22:11:51 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-05-17 22:16:15 +0000 | Eoco | (~ian@128.101.131.218) Eoco |
| 2026-05-17 22:19:16 +0000 | mtmn | (~mtmn@user/mtmn) mtmn |
| 2026-05-17 22:19:27 +0000 | layline-away | (~layline@149.154.26.39) (Quit: ZZZzzz…) |
| 2026-05-17 22:19:33 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |