Newest at the top
| 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) |
| 2024-10-30 06:36:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 06:33:17 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-10-30 06:31:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:30:48 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-10-30 06:30:01 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-30 06:29:55 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-10-30 06:25:23 +0100 | monochrom | (trebla@216.138.220.146) |
| 2024-10-30 06:21:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 06:17:20 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-30 06:16:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 06:13:59 +0100 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-10-30 06:13:46 +0100 | <monochrom> | simplest and easiest example why I disregard snoyberg arguments. |
| 2024-10-30 06:13:10 +0100 | <monochrom> | No, it is a strawman argument with doofus Eq and Ord instances. |
| 2024-10-30 06:07:51 +0100 | <Inst> | simplest and easiest explanation for why Set cannot be a functor |
| 2024-10-30 06:07:42 +0100 | <Inst> | https://www.schoolofhaskell.com/user/snoyberg/random-code-snippets/set-is-not-a-functor |
| 2024-10-30 06:07:41 +0100 | <Inst> | thsi is actually pretty great |
| 2024-10-30 06:07:37 +0100 | Inst_ | Inst |
| 2024-10-30 06:06:24 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-30 06:05:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-30 06:04:21 +0100 | Inst | (~Inst@user/Inst) (Ping timeout: 276 seconds) |
| 2024-10-30 06:01:39 +0100 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-10-30 05:59:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 05:57:07 +0100 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2024-10-30 05:48:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-10-30 05:44:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 05:39:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-30 05:33:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-10-30 05:28:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 05:26:12 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-10-30 05:25:56 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-10-30 05:18:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-30 05:14:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-10-30 05:13:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-30 05:13:26 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-10-30 05:12:51 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-10-30 05:06:17 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |