Newest at the top
| 2024-09-29 11:34:54 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-09-29 11:29:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 11:23:39 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 276 seconds) |
| 2024-09-29 11:22:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 11:19:52 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-09-29 11:17:35 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-09-29 11:14:46 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-09-29 11:13:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-29 11:11:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 11:09:13 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-09-29 11:09:12 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-09-29 11:07:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 11:06:34 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-29 11:06:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 11:02:24 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-09-29 11:00:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 10:55:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 10:52:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 10:44:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 10:42:36 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-29 10:40:26 +0200 | vincent42 | (uid574193@user/vincent42) (Quit: Connection closed for inactivity) |
| 2024-09-29 10:40:20 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2024-09-29 10:40:07 +0200 | ash3en | (~Thunderbi@146.70.124.222) ash3en |
| 2024-09-29 10:37:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-29 10:37:28 +0200 | Typedfern | (~Typedfern@91.red-83-37-29.dynamicip.rima-tde.net) (Ping timeout: 245 seconds) |
| 2024-09-29 10:34:57 +0200 | <apache2> | anyone here used some of the libraries for term rewriting, like compdata/compdata-automata? what were your experiences with things that worked / shortcomings? |
| 2024-09-29 10:34:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-29 10:33:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 10:31:25 +0200 | ubert | (~Thunderbi@178.165.177.214.wireless.dyn.drei.com) ubert |
| 2024-09-29 10:31:13 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-29 10:31:09 +0200 | mzg | (mzg@abusers.hu) (Quit: brb) |
| 2024-09-29 10:29:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 10:20:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-29 10:19:08 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb46757e16ffb08be72b.dip0.t-ipconnect.de) acidjnk |
| 2024-09-29 10:18:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 10:15:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 10:10:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 10:04:48 +0200 | synchromesh | (~john@2406:5a00:241a:5600:e176:3a40:8bde:547a) synchromesh |
| 2024-09-29 10:03:23 +0200 | synchromesh | (~john@2406:5a00:241a:5600:988d:bee0:a971:b921) (Read error: Connection reset by peer) |
| 2024-09-29 09:59:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-29 09:54:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 09:52:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-29 09:46:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 09:45:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-29 09:44:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-29 09:41:50 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-09-29 09:40:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-29 09:35:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-29 09:30:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
| 2024-09-29 09:30:14 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2db7:1968:c949:1e07) |