Newest at the top
2024-09-28 05:23:05 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-09-28 05:22:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-28 05:20:46 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-28 05:18:50 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 05:17:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 05:12:07 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-09-28 05:10:32 +0200 | mud | (~mud@user/kadoban) kadoban |
2024-09-28 05:09:22 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
2024-09-28 05:07:36 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
2024-09-28 05:00:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-28 04:55:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 04:44:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
2024-09-28 04:44:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 04:39:55 +0200 | <ski> | val tabulate : int * (int -> 'a) -> 'a vector (* in SML. also for lists, &c. *) |
2024-09-28 04:39:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 04:39:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 04:28:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-28 04:23:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 04:23:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2024-09-28 04:15:00 +0200 | td_ | (~td@i53870909.versanet.de) td_ |
2024-09-28 04:13:29 +0200 | td_ | (~td@i5387092C.versanet.de) (Ping timeout: 260 seconds) |
2024-09-28 04:12:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-28 04:09:00 +0200 | hueso | (~root@user/hueso) hueso |
2024-09-28 04:08:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-28 04:08:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 04:06:55 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
2024-09-28 04:02:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 04:01:56 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-09-28 03:57:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-28 03:54:15 +0200 | <monochrom> | TIL: If two endofunctors are naturally isomophic, then monadness of one of them can be translated to monadness of the other by going through the isomorphism. |
2024-09-28 03:50:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-28 03:49:55 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 264 seconds) |
2024-09-28 03:49:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 03:43:13 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-28 03:37:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-28 03:37:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-09-28 03:33:22 +0200 | vincent42 | (uid574193@user/vincent42) vincent42 |
2024-09-28 03:33:22 +0200 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Changing host) |
2024-09-28 03:33:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 03:32:03 +0200 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
2024-09-28 03:26:19 +0200 | <monochrom> | haha |
2024-09-28 03:24:55 +0200 | <jackdk> | monochrom: if package `bifunctors` can have `Biff` and `Tannen`, as well as `Clown`s to the left and `Joker`s to the right, then you can do whatever you want. |
2024-09-28 03:22:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-28 03:17:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 03:15:19 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
2024-09-28 03:12:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 03:07:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
2024-09-28 03:06:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 03:02:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 03:01:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |