| 2024-10-28 00:03:05 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-28 00:06:50 +0100 | acidjnk_new | (~acidjnk@p200300d6e72cfb2791fd33152230db35.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-10-28 00:07:27 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-28 00:09:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 00:14:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 00:16:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 00:25:34 +0100 | st_aldini | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) (Ping timeout: 260 seconds) |
| 2024-10-28 00:26:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-10-28 00:30:02 +0100 | sadmax | (~user@64.130.91.66) (Read error: Connection reset by peer) |
| 2024-10-28 00:30:31 +0100 | sadmax | (~user@64.130.91.66) |
| 2024-10-28 00:36:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 00:41:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 00:45:56 +0100 | synchromesh | (~john@139.180.95.1) (Quit: WeeChat 4.0.5) |
| 2024-10-28 00:47:10 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-28 00:47:11 +0100 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2024-10-28 00:50:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-10-28 00:50:03 +0100 | ljdarj1 | ljdarj |
| 2024-10-28 00:52:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 00:59:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-28 01:03:38 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2024-10-28 01:10:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 01:15:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 01:17:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 01:20:24 +0100 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2024-10-28 01:22:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-28 01:30:25 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-28 01:37:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 01:37:44 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 260 seconds) |
| 2024-10-28 01:42:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-28 01:54:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 01:54:45 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8be3:6384:4679:8a68) (Ping timeout: 252 seconds) |
| 2024-10-28 01:57:20 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-10-28 01:58:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-28 01:59:29 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-28 02:07:01 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-10-28 02:09:06 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-10-28 02:09:28 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-10-28 02:09:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 02:14:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-28 02:25:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 02:30:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-28 02:31:24 +0100 | sadmax | (~user@64.130.91.66) (Ping timeout: 260 seconds) |
| 2024-10-28 02:33:08 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-10-28 02:36:06 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-28 02:38:00 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2024-10-28 02:40:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 02:41:13 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-10-28 02:45:34 +0100 | sadmax | (~user@64.130.91.66) |
| 2024-10-28 02:47:08 +0100 | califax | (~califax@user/califx) califx |
| 2024-10-28 02:47:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 02:48:22 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-28 02:48:43 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-28 02:51:07 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-28 02:52:59 +0100 | sadmax | (~user@64.130.91.66) (Ping timeout: 260 seconds) |
| 2024-10-28 02:58:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 03:03:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 03:05:29 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-10-28 03:07:19 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-10-28 03:14:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 03:18:40 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-28 03:20:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 03:23:19 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-10-28 03:24:04 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-28 03:25:48 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2024-10-28 03:32:04 +0100 | araujo | (~araujo@216.73.163.215) araujo |
| 2024-10-28 03:32:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 03:37:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 03:38:51 +0100 | sadmax | (~user@64.130.91.66) |
| 2024-10-28 03:41:18 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-28 03:46:29 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-28 03:48:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 03:52:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-28 04:03:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 04:08:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 04:08:50 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-28 04:16:34 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: Ping timeout (120 seconds)) |
| 2024-10-28 04:16:57 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
| 2024-10-28 04:19:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 04:25:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-28 04:27:06 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-28 04:34:32 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-28 04:37:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 04:39:01 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-28 04:39:08 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-28 04:41:16 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2024-10-28 04:41:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 04:52:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 04:57:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-28 04:57:56 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-28 05:01:55 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2024-10-28 05:02:08 +0100 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 252 seconds) |
| 2024-10-28 05:02:19 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2024-10-28 05:04:01 +0100 | td_ | (~td@i53870902.versanet.de) td_ |
| 2024-10-28 05:07:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 05:12:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 05:14:41 +0100 | sadmax | (~user@64.130.91.66) (Ping timeout: 248 seconds) |
| 2024-10-28 05:15:23 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-28 05:23:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 05:27:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 05:27:56 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2024-10-28 05:29:37 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2024-10-28 05:38:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 05:40:02 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Ping timeout: 255 seconds) |
| 2024-10-28 05:40:26 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-28 05:43:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-10-28 05:49:55 +0100 | rosco | (~rosco@60.53.5.183) rosco |
| 2024-10-28 05:54:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 05:55:50 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-28 05:58:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-28 05:59:08 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-10-28 05:59:26 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-28 06:01:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 06:03:49 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-10-28 06:05:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-28 06:16:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 06:20:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 06:21:38 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-28 06:25:48 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-10-28 06:30:04 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-28 06:30:45 +0100 | rosco | (~rosco@60.53.5.183) (Quit: Lost terminal) |
| 2024-10-28 06:32:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 06:35:16 +0100 | famubu | (~julinuser@14.139.174.50) (Quit: leaving) |
| 2024-10-28 06:36:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-28 06:47:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 06:52:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 06:59:09 +0100 | araujo | (~araujo@216.73.163.215) (Ping timeout: 260 seconds) |
| 2024-10-28 07:03:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 07:03:51 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-10-28 07:04:56 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 07:07:01 +0100 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-10-28 07:09:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 07:16:37 +0100 | alp | (~alp@2001:861:e3d6:8f80:8a65:ef8c:a08:456c) |
| 2024-10-28 07:16:37 +0100 | alp | (~alp@2001:861:e3d6:8f80:8a65:ef8c:a08:456c) (Changing host) |
| 2024-10-28 07:16:37 +0100 | alp | (~alp@user/alp) alp |
| 2024-10-28 07:17:34 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-28 07:19:38 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 07:21:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 07:21:37 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-10-28 07:23:59 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-10-28 07:24:02 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-28 07:25:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 07:25:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 07:25:48 +0100 | rvalue- | rvalue |
| 2024-10-28 07:28:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 07:30:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-10-28 07:30:38 +0100 | euleritian | (~euleritia@dynamic-176-006-136-140.176.6.pool.telefonica.de) |
| 2024-10-28 07:32:46 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
| 2024-10-28 07:32:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-28 07:35:14 +0100 | euleritian | (~euleritia@dynamic-176-006-136-140.176.6.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-10-28 07:40:27 +0100 | euleritian | (~euleritia@dynamic-176-006-147-100.176.6.pool.telefonica.de) |
| 2024-10-28 07:43:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 07:48:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 07:59:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 08:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-28 08:00:43 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-28 08:05:26 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-28 08:05:46 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2024-10-28 08:06:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-10-28 08:11:44 +0100 | michalz | (~michalz@185.246.207.200) |
| 2024-10-28 08:20:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-28 08:21:58 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-28 08:22:13 +0100 | euleritian | (~euleritia@dynamic-176-006-147-100.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-28 08:22:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 08:25:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-28 08:27:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-28 08:29:39 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-10-28 08:33:00 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-28 08:37:49 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-10-28 08:38:25 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-10-28 08:40:16 +0100 | acidjnk_new | (~acidjnk@p200300d6e72cfb16704d6a71e163a8ef.dip0.t-ipconnect.de) acidjnk |
| 2024-10-28 08:42:44 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-28 08:42:46 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-28 08:42:52 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-10-28 08:44:04 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-28 08:44:57 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-28 08:49:27 +0100 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-28 08:56:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-28 09:05:00 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-28 09:09:17 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-10-28 09:09:17 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-28 09:10:08 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 09:11:28 +0100 | jespada | (~jespada@222.203-67-87.adsl-dyn.isp.belgacom.be) jespada |
| 2024-10-28 09:15:01 +0100 | <mari-estel> | >> :t \f g a -> f a >>= g |
| 2024-10-28 09:15:09 +0100 | <mari-estel> | > :t \f g a -> f a >>= g |
| 2024-10-28 09:15:10 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2024-10-28 09:16:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-28 09:16:46 +0100 | <jackdk> | I think you have to use yahb to use :t , maybe? |
| 2024-10-28 09:16:54 +0100 | <jackdk> | % :t \f g a -> f a >>= g |
| 2024-10-28 09:16:54 +0100 | <yahb2> | \f g a -> f a >>= g ; :: Monad m => (t -> m a) -> (a -> m b) -> t -> m b |
| 2024-10-28 09:17:04 +0100 | <jackdk> | mari-estel: ^ |
| 2024-10-28 09:17:13 +0100 | <mari-estel> | > 9 |
| 2024-10-28 09:17:15 +0100 | <lambdabot> | 9 |
| 2024-10-28 09:17:21 +0100 | <mari-estel> | lame |
| 2024-10-28 09:17:47 +0100 | <Leary> | :t \f g a -> f a >>= g |
| 2024-10-28 09:17:48 +0100 | <lambdabot> | Monad m => (t -> m a) -> (a -> m b) -> t -> m b |
| 2024-10-28 09:18:19 +0100 | Guest53 | (~Guest53@210.160.217.2) |
| 2024-10-28 09:20:25 +0100 | alp | (~alp@user/alp) (Remote host closed the connection) |
| 2024-10-28 09:21:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-10-28 09:23:16 +0100 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) ubert |
| 2024-10-28 09:24:03 +0100 | euleritian | (~euleritia@dynamic-176-003-073-168.176.3.pool.telefonica.de) |
| 2024-10-28 09:25:46 +0100 | Guest53 | (~Guest53@210.160.217.2) (Quit: Client closed) |
| 2024-10-28 09:26:10 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-28 09:26:28 +0100 | <mari-estel> | it does not make life easier to newcomers to have to guess the interpreter here |
| 2024-10-28 09:28:46 +0100 | <dminuoso> | monochrom: Oh books can be so incohesive.. |
| 2024-10-28 09:29:10 +0100 | euleritian | (~euleritia@dynamic-176-003-073-168.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-28 09:29:28 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 09:29:34 +0100 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-10-28 09:29:56 +0100 | <dminuoso> | So I would `s/are/can be/` |
| 2024-10-28 09:30:23 +0100 | <jackdk> | mari-estel: You may prefer to use ghcup (https://www.haskell.org/ghcup/ ) to install the Glasgow Haskell Compiler locally, or try the https://play.haskell.org sandbox |
| 2024-10-28 09:30:52 +0100 | <mari-estel> | yeah. Afterwards, tell me also something i don't know |
| 2024-10-28 09:30:53 +0100 | <dminuoso> | Also, you can use yahb2 and lambdabot in a query/pm/direct message if you prefer. |
| 2024-10-28 09:31:47 +0100 | <dminuoso> | mari-estel: Okay do you have a better suggestion for how to make the interpreter guesseable (whatever that means for you)? |
| 2024-10-28 09:32:39 +0100 | <mari-estel> | thanks dminuoso. For instance, i did not know my english was so unintelligible |
| 2024-10-28 09:38:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-28 09:39:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 09:39:23 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-28 09:49:44 +0100 | <mauke> | :t (<=<) |
| 2024-10-28 09:49:45 +0100 | <lambdabot> | Monad m => (b -> m c) -> (a -> m b) -> a -> m c |
| 2024-10-28 09:50:07 +0100 | <mauke> | :t (>=>) |
| 2024-10-28 09:50:09 +0100 | <lambdabot> | Monad m => (a -> m b) -> (b -> m c) -> a -> m c |
| 2024-10-28 09:50:29 +0100 | <mari-estel> | "planet earth is blue, and there's nothing i can do" |
| 2024-10-28 09:51:36 +0100 | <mauke> | it's not the english, it's the ellipsis |
| 2024-10-28 09:56:11 +0100 | <kaol> | I wish Monad type class used >=> instead of >>=. |
| 2024-10-28 09:56:34 +0100 | <Franciman> | today i'm in the mood for some post rock |
| 2024-10-28 09:56:36 +0100 | <mari-estel> | oh nonononoh, that's frowned upon! |
| 2024-10-28 09:56:38 +0100 | <Franciman> | ops sorry |
| 2024-10-28 09:57:07 +0100 | <mari-estel> | no worries, it's the >=> to be frowned upon really. Rock is just our task |
| 2024-10-28 10:00:24 +0100 | mari-estel | (~mari-este@user/mari-estel) (Quit: on the move) |
| 2024-10-28 10:01:11 +0100 | <kaol> | Kleisli is so aesthetically symmetric and it looks like regular function composition with some extra sprinkles added on it. |
| 2024-10-28 10:03:29 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-28 10:04:38 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-28 10:11:01 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-28 10:14:16 +0100 | alp | (~alp@2001:861:e3d6:8f80:fb17:c519:ba02:ac60) |
| 2024-10-28 10:18:56 +0100 | chele | (~chele@user/chele) chele |
| 2024-10-28 10:21:47 +0100 | <tomsmeding> | also the monad laws get |
| 2024-10-28 10:21:54 +0100 | <tomsmeding> | *much nicer (sorry for the newline) |
| 2024-10-28 10:23:02 +0100 | <kaol> | For sure. One look and you go "oh that's just a monoid". Not going to happen with the bind formulation. |
| 2024-10-28 10:23:42 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2024-10-28 10:25:36 +0100 | acidjnk_new | (~acidjnk@p200300d6e72cfb16704d6a71e163a8ef.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-10-28 10:26:18 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-28 10:29:10 +0100 | <Leary> | f is a Monad iff `a b :-> a -> f b` is a Category; f is an Applicative iff `a b :-> f (a -> b)` is a Category. The standard formulation of their laws is abysmal, and should be eradicated from the documentation. |
| 2024-10-28 10:30:18 +0100 | Guest13 | (~Guest13@2607:fea8:539d:9a00:51a6:57e6:262a:18cb) |
| 2024-10-28 10:37:30 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-10-28 10:39:09 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 2024-10-28 10:43:20 +0100 | rvalue- | rvalue |
| 2024-10-28 10:53:01 +0100 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-10-28 11:01:33 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-28 11:01:54 +0100 | Guest13 | (~Guest13@2607:fea8:539d:9a00:51a6:57e6:262a:18cb) (Quit: Client closed) |
| 2024-10-28 11:02:34 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-10-28 11:05:48 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-28 11:07:03 +0100 | <dminuoso> | Leary: What does `a b :-> a -> f b` denote? |
| 2024-10-28 11:08:50 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2024-10-28 11:09:29 +0100 | <ncf> | a function with type Type → Type → Type |
| 2024-10-28 11:09:32 +0100 | <Leary> | :-> is \mapsTo, it's a mathematician's equivalent of lambda syntax. The closest Haskell equivalent of that type level function being `Kleisli`, and the other being `Tannen`. |
| 2024-10-28 11:12:33 +0100 | <dminuoso> | Leary: Is the expression: "`a b :-> ...` is a category" something category theorists normally say? |
| 2024-10-28 11:12:50 +0100 | <dminuoso> | I'm just surprised because I have not seen it before. |
| 2024-10-28 11:13:48 +0100 | <Leary> | Note that I specifically wrote Category, not category. |
| 2024-10-28 11:15:15 +0100 | <Leary> | (I wasn't able to study CT in university, and haven't gotten around to studying it since, so I don't really know what they say) |
| 2024-10-28 11:15:26 +0100 | <dminuoso> | Then I'm slightly more confused. |
| 2024-10-28 11:15:34 +0100 | <dminuoso> | What is the difference between Category and category? |
| 2024-10-28 11:16:53 +0100 | habib | (~habib@146.70.119.186) (Ping timeout: 248 seconds) |
| 2024-10-28 11:20:13 +0100 | <ncf> | Haskell's Category is a typeclass for defining a category whose type of objects is Type |
| 2024-10-28 11:20:59 +0100 | <ncf> | hm i guess that's not true any more, the argument to Category can have kind k → k → Type |
| 2024-10-28 11:21:00 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-28 11:21:19 +0100 | <dminuoso> | So :-> is meant as an actual type constructor? |
| 2024-10-28 11:21:23 +0100 | Nixkernal | (~Nixkernal@52.131.63.188.dynamic.cust.swisscom.net) Nixkernal |
| 2024-10-28 11:21:50 +0100 | <ncf> | but anyway k is the type of objects there, so when you say (λ a b → a → f b) is a Category you mean the type of objects of that category is Type and the morphisms between a and b are functions a → f b |
| 2024-10-28 11:22:00 +0100 | <ncf> | dminuoso: no, that's just ↦ |
| 2024-10-28 11:22:07 +0100 | <ncf> | lambda abstraction |
| 2024-10-28 11:22:18 +0100 | <dminuoso> | I dont understand what that original statement by Leary means exactly. |
| 2024-10-28 11:22:40 +0100 | <ncf> | (a b ↦ a → f b) is Kleisli f |
| 2024-10-28 11:22:46 +0100 | <dminuoso> | How can "some abstract mathematical notation" "be a" (instance of?) Category? |
| 2024-10-28 11:22:56 +0100 | <ncf> | Monad f ⇔ Category (Kleisli f) |
| 2024-10-28 11:22:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 11:23:43 +0100 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 245 seconds) |
| 2024-10-28 11:24:08 +0100 | <ncf> | well, we're talking about what the notation denotes, not the notation itself |
| 2024-10-28 11:25:06 +0100 | <Leary> | You can mentally replace the type-function expressions with `Kleisli f` and `Tannen f (->)`, I just didn't want to confuse my meta-notation with language constructs. They /are/ Categories in the same sense that many types /are/ Functor: their instance exists and is unique. |
| 2024-10-28 11:25:53 +0100 | <dminuoso> | Instead I was confused by the mixture of language and non-language constructs. :-) |
| 2024-10-28 11:26:08 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert |
| 2024-10-28 11:27:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2024-10-28 11:27:42 +0100 | euleritian | (~euleritia@dynamic-176-003-032-186.176.3.pool.telefonica.de) |
| 2024-10-28 11:30:47 +0100 | euleritian | (~euleritia@dynamic-176-003-032-186.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-28 11:31:04 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 11:33:43 +0100 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 264 seconds) |
| 2024-10-28 11:35:45 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-28 11:38:06 +0100 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-10-28 11:43:38 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-28 11:48:02 +0100 | alphazone | (~alphazone@2.219.56.221) |
| 2024-10-28 11:53:20 +0100 | <xelxebar> | I think there's a typo in https://wiki.haskell.org/Catamorphisms#Laws |
| 2024-10-28 11:53:21 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-28 11:54:15 +0100 | <xelxebar> | cata-fusion as stated on the wiki only applies to an algebra endomorphism. |
| 2024-10-28 11:54:32 +0100 | <xelxebar> | However, it should really apply to any algebra homomorphism. |
| 2024-10-28 11:55:17 +0100 | <xelxebar> | Just for thoroughness, I tracked down the original paper where this was stated, and it indeed refers to a general algebra homomorphism. |
| 2024-10-28 11:55:54 +0100 | acidjnk_new | (~acidjnk@p200300d6e72cfb165c062c18fa4bedb4.dip0.t-ipconnect.de) acidjnk |
| 2024-10-28 11:56:21 +0100 | <xelxebar> | Should say that `f . phi = psi . fmap f` implies `f . cata phi = cata psi`. |
| 2024-10-28 11:57:36 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-28 11:58:25 +0100 | <xelxebar> | Looks like the wiki is copying the error from E. Kmett reference, which is a defunct URL and needs to be viewed from archive.org. |
| 2024-10-28 11:58:50 +0100 | <ncf> | xelxebar: what's the original paper? |
| 2024-10-28 11:59:46 +0100 | xff0x | (~xff0x@2405:6580:b080:900:b00a:f648:5747:c396) |
| 2024-10-28 12:00:47 +0100 | <xelxebar> | ncf: Varmo Vene, Categorical Programming with Inductive and Coinductive Types. 2000. |
| 2024-10-28 12:01:52 +0100 | kuribas | (~user@ptr-17d51epnnpcnu3v8qjj.18120a2.ip6.access.telenet.be) kuribas |
| 2024-10-28 12:02:54 +0100 | <xelxebar> | Well, I'm not actually sure that's the earliest original, but it's what I could track down. |
| 2024-10-28 12:05:32 +0100 | <xelxebar> | And, well, the more general cata-fusion law itself follows directly from the definition of algebra homomorphism and cata as being initial. |
| 2024-10-28 12:06:10 +0100 | <ncf> | xelxebar: ok, fixed it and added that reference |
| 2024-10-28 12:06:19 +0100 | <xelxebar> | Cheers! |
| 2024-10-28 12:17:43 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-28 12:19:39 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3406-c072-f489-680b-9cb7-dfd8.rev.sfr.net) alexherbo2 |
| 2024-10-28 12:30:10 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-28 12:33:08 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-28 12:35:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-28 12:35:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 12:40:10 +0100 | mari-estel | (~mari-este@user/mari-estel) (Quit: shitty system) |
| 2024-10-28 12:41:09 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-28 12:42:18 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-28 12:43:46 +0100 | habib | (~habib@185.195.232.169) habib |
| 2024-10-28 12:43:49 +0100 | rosco | (~rosco@60.53.5.183) rosco |
| 2024-10-28 12:44:59 +0100 | euleritian | (~euleritia@dynamic-176-003-032-186.176.3.pool.telefonica.de) |
| 2024-10-28 12:47:34 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-28 12:47:47 +0100 | zzz | (~z@user/zero) (Ping timeout: 252 seconds) |
| 2024-10-28 12:48:32 +0100 | zero | (~z@user/zero) zero |
| 2024-10-28 12:53:35 +0100 | scaniatrucker | (~user@78.56.98.5) scaniatrucker |
| 2024-10-28 12:55:26 +0100 | jespada | (~jespada@222.203-67-87.adsl-dyn.isp.belgacom.be) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-10-28 12:59:13 +0100 | euleritian | (~euleritia@dynamic-176-003-032-186.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-28 12:59:30 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-28 13:02:35 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-28 13:06:49 +0100 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-10-28 13:12:07 +0100 | sinbad | (~sinbad@user/sinbad) Sinbad |
| 2024-10-28 13:13:24 +0100 | Nixkernal | (~Nixkernal@52.131.63.188.dynamic.cust.swisscom.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |