Newest at the top
| 2024-10-30 08:33:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 08:27:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 08:26:30 +0100 | preflex | (~preflex@schedar.uberspace.de) |
| 2024-10-30 08:22:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-10-30 08:20:14 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) (Ping timeout: 255 seconds) |
| 2024-10-30 08:17:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 08:07:24 +0100 | alphabitserial | (~alphabits@user/alphabitserial) (Quit: alphabitserial) |
| 2024-10-30 08:06:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-30 08:03:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-30 08:02:20 +0100 | Digitteknohippie | Digit |
| 2024-10-30 08:02:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 08:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-30 08:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-30 07:56:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 07:54:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-30 07:51:51 +0100 | EarlPitts | (~EarlPitts@20014C4C1C6E670035C3E8C179579344.catv.pool.telekom.hu) (Ping timeout: 256 seconds) |
| 2024-10-30 07:51:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 07:51:24 +0100 | alphabitserial | (~alphabits@user/alphabitserial) alphabitserial |
| 2024-10-30 07:50:05 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-30 07:48:18 +0100 | <Leary> | The instances are lawful if the contents of the newtype cannot be inspected, otherwise they're just awful. |
| 2024-10-30 07:44:19 +0100 | alioguzhan | (~Thunderbi@78.173.91.30) (Ping timeout: 244 seconds) |
| 2024-10-30 07:44:01 +0100 | ell2 | (~ellie@user/ellie) ellie |
| 2024-10-30 07:43:52 +0100 | ell | (~ellie@user/ellie) (Read error: Connection reset by peer) |
| 2024-10-30 07:40:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-30 07:37:57 +0100 | <jackdk> | Nah all primes are odd once you correct for measurement error |
| 2024-10-30 07:36:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 07:35:36 +0100 | alphazone_ | (~alphazone@2.219.56.221) (Ping timeout: 246 seconds) |
| 2024-10-30 07:30:15 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-30 07:29:34 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-30 07:25:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-10-30 07:24:45 +0100 | kenran | (~user@user/kenran) kenran |
| 2024-10-30 07:18:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 07:15:49 +0100 | euleritian | (~euleritia@dynamic-176-006-131-000.176.6.pool.telefonica.de) |
| 2024-10-30 07:15:22 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-10-30 07:12:26 +0100 | ubert | (~Thunderbi@178.165.189.55.wireless.dyn.drei.com) ubert |
| 2024-10-30 07:11:09 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) Spawns_Carpeting |
| 2024-10-30 07:10:27 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-30 07:09:50 +0100 | <mauke> | that's like saying all primes are odd because the counterexample of 2 is "doofus" |
| 2024-10-30 07:08:05 +0100 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2024-10-30 07:07:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-10-30 07:07:01 +0100 | michalz | (~michalz@185.246.207.201) |
| 2024-10-30 07:06:26 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-10-30 07:05:44 +0100 | <jackdk> | And even then it only proves that non-equivalence in the presence of pathological^Wdoofus `Eq`/`Ord` instances |
| 2024-10-30 07:02:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:59:41 +0100 | EarlPitts | (~EarlPitts@20014C4C1C6E670035C3E8C179579344.catv.pool.telekom.hu) |
| 2024-10-30 06:54:11 +0100 | <jackdk> | It proves that `Set.map f . Set.map g` is not `Set.map (f . g)` but says nothing about the fact that you cannot write `instance Functor Set where fmap = Set.map` (you don't have the `Ord b` in scope that is required by `Set.map`) |
| 2024-10-30 06:51:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 06:49:03 +0100 | <mauke> | monochrom: why strawman? |
| 2024-10-30 06:47:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:40:19 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |