Newest at the top
| 2024-10-31 01:17:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-31 01:15:40 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-31 01:13:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-31 01:08:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-31 01:05:59 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-31 01:03:48 +0100 | troojg | (~troojg@user/troojg) (Ping timeout: 276 seconds) |
| 2024-10-31 01:01:32 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-31 00:58:55 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 265 seconds) |
| 2024-10-31 00:58:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-31 00:53:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-31 00:42:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-31 00:39:09 +0100 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) (Quit: Leaving) |
| 2024-10-31 00:37:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-31 00:34:06 +0100 | son0p | (~ff@186.113.103.75) son0p |
| 2024-10-31 00:29:54 +0100 | sadmax` | (~user@64.130.91.66) (Ping timeout: 248 seconds) |
| 2024-10-31 00:21:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-31 00:20:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-31 00:20:09 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-31 00:18:49 +0100 | spew | (~spew@201.141.99.170) spew |
| 2024-10-31 00:17:38 +0100 | Guest15 | (~Guest15@n49-190-165-50.meb2.vic.optusnet.com.au) (Client Quit) |
| 2024-10-31 00:16:29 +0100 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) |
| 2024-10-31 00:16:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-31 00:14:42 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-31 00:13:56 +0100 | Guest15 | (~Guest15@n49-190-165-50.meb2.vic.optusnet.com.au) |
| 2024-10-31 00:12:19 +0100 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-31 00:06:39 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-31 00:03:36 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-31 00:03:29 +0100 | Guest10 | (~Guest10@n49-190-165-50.meb2.vic.optusnet.com.au) (Client Quit) |
| 2024-10-31 00:02:52 +0100 | Guest10 | (~Guest10@n49-190-165-50.meb2.vic.optusnet.com.au) |
| 2024-10-31 00:00:31 +0100 | Everythi1g | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2024-10-30 23:59:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-30 23:54:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 23:52:04 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Read error: Connection reset by peer) |
| 2024-10-30 23:50:39 +0100 | hiecaq` | (~hiecaq@user/hiecaq) hiecaq |
| 2024-10-30 23:43:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 23:43:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-30 23:41:54 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-30 23:40:36 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 276 seconds) |
| 2024-10-30 23:36:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 23:33:20 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 23:33:13 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 23:27:04 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-30 23:24:11 +0100 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Client Quit) |
| 2024-10-30 23:22:10 +0100 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) shef |
| 2024-10-30 23:21:18 +0100 | spew | (~spew@201.141.99.170) (Ping timeout: 252 seconds) |
| 2024-10-30 23:20:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-10-30 23:19:51 +0100 | <tomsmeding> | ph88: I have written TH code that _generates_ code with linear types |
| 2024-10-30 23:19:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 23:19:24 +0100 | euleritian | (~euleritia@dynamic-176-006-139-223.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-30 23:19:01 +0100 | euleritian | (~euleritia@dynamic-176-006-139-223.176.6.pool.telefonica.de) |