Newest at the top
| 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) |
| 2024-10-30 23:18:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-30 23:16:54 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-30 23:15:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 23:14:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 23:12:23 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-30 23:12:12 +0100 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2024-10-30 23:12:05 +0100 | preflex | (~preflex@user/mauke/bot/preflex) (Remote host closed the connection) |
| 2024-10-30 23:11:39 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-10-30 23:05:22 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 23:05:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 23:05:04 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-30 23:03:42 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-10-30 23:00:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 23:00:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 22:59:59 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |