Newest at the top
| 2024-11-02 15:35:32 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-02 15:30:22 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f8278b45503ad64b422.dip0.t-ipconnect.de) acidjnk |
| 2024-11-02 15:29:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 15:26:40 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2024-11-02 15:18:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-02 15:18:21 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 246 seconds) |
| 2024-11-02 15:09:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 15:05:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-02 15:03:38 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-11-02 15:02:44 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f820892a696b35d40af.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-11-02 15:00:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 14:59:26 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Read error: Connection reset by peer) |
| 2024-11-02 14:58:53 +0100 | p3n_ | (~p3n@217.198.124.246) |
| 2024-11-02 14:58:30 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-02 14:56:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-02 14:55:45 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-11-02 14:53:21 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-11-02 14:53:01 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/FvKKBjTjifYUgcmxSkLnkTDd/BWbHa2QYEHQ (3 lines) |
| 2024-11-02 14:53:01 +0100 | <haskellbridge> | <hellwolf> chatgpt says this: |
| 2024-11-02 14:50:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-02 14:49:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-02 14:48:56 +0100 | euandreh | (~Thunderbi@189.6.105.228) (Remote host closed the connection) |
| 2024-11-02 14:48:39 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-02 14:47:43 +0100 | euandreh1 | euandreh |
| 2024-11-02 14:46:48 +0100 | euandreh | (~Thunderbi@2804:d59:891b:2c00:896a:156a:7a25:3f91) (Ping timeout: 244 seconds) |
| 2024-11-02 14:45:27 +0100 | euandreh1 | (~Thunderbi@189.6.105.228) euandreh |
| 2024-11-02 14:42:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 14:40:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-02 14:40:21 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-02 14:35:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-02 14:32:42 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-02 14:31:37 +0100 | <haskellbridge> | <hellwolf> TH question: when producing a Q Exp, can I know of which top-level Dec it is part of? |
| 2024-11-02 14:31:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-02 14:26:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 14:19:07 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-02 14:16:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-02 14:08:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 14:07:38 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-11-02 14:04:37 +0100 | alp | (~alp@2001:861:e3d6:8f80:2fe7:8a3a:9a36:54fa) (Remote host closed the connection) |
| 2024-11-02 14:01:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-02 14:00:31 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-11-02 13:54:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 13:49:30 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-11-02 13:43:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-02 13:38:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 13:27:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-02 13:22:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 13:11:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-02 13:07:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-02 13:06:06 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |