Newest at the top
| 2026-05-17 10:15:55 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-05-17 10:14:23 +0000 | <tomsmeding> | Leary: Heh. I guess. |
| 2026-05-17 10:12:18 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 10:09:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 10:00:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-05-17 09:58:40 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-17 09:55:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:52:04 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 09:51:26 +0000 | rzrshr | (~rzrshr@user/rzrshr) (Quit: WeeChat 4.9.0) |
| 2026-05-17 09:47:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 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:42:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 09:37:22 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2026-05-17 09:36:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-05-17 09:31:49 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 09:31:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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: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: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:20:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-05-17 09:20:42 +0000 | DetourNe- | DetourNetworkUK |
| 2026-05-17 09:19:31 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 264 seconds) |
| 2026-05-17 09:18:25 +0000 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-05-17 09:15:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 09:12:18 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e552d2c27a779caa6057.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-05-17 09:09:28 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5126ddf7eb9d383a6ca.dip0.t-ipconnect.de) acidjnk |
| 2026-05-17 09:05:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-05-17 08:59:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 08:53:25 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2026-05-17 08:49:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-05-17 08:47:34 +0000 | wickedjargon | (~user@2605:8d80:5430:df2f:c133:b5c0:44bf:d52a) wickedjargon |
| 2026-05-17 08:46:40 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 08:44:53 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-05-17 08:44:41 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-05-17 08:44:29 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-05-17 08:41:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 08:34:13 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2026-05-17 08:30:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-05-17 08:28:59 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 08:25:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 08:24:18 +0000 | nhar | (~noah@76.33.110.8) (Ping timeout: 246 seconds) |
| 2026-05-17 08:19:49 +0000 | nhar | (~noah@76.33.110.8) |
| 2026-05-17 08:17:37 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:2d67:5cab:fe49:9b31) |
| 2026-05-17 08:14:51 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-05-17 08:14:04 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2026-05-17 08:10:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-05-17 08:08:42 +0000 | tri | (~tri@ool-4a5ac1f4.dyn.optonline.net) |
| 2026-05-17 08:00:26 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e552d2c27a779caa6057.dip0.t-ipconnect.de) |
| 2026-05-17 07:59:19 +0000 | Guest38 | (~Guest0@2a02-a468-6b67-0-be6c-7961-22e9-4de.fixed6.kpn.net) (Client Quit) |