Newest at the top
| 2026-03-01 06:15:33 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-03-01 06:14:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-01 06:10:18 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fca7:d415:4834:b9e8) |
| 2026-03-01 06:09:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 06:09:21 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3713:5717:d067:11de) (Ping timeout: 246 seconds) |
| 2026-03-01 05:58:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 05:54:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 05:43:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 05:39:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 05:32:37 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-01 05:30:45 +0100 | tccq | (~tccq@2604:a00:50:1b7:ef89:6719:b6af:6c9e) |
| 2026-03-01 05:28:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-01 05:26:29 +0100 | foul_owl | (~kerry@94.156.149.99) foul_owl |
| 2026-03-01 05:23:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 05:22:48 +0100 | foul_owl | (~kerry@94.156.149.99) (Ping timeout: 255 seconds) |
| 2026-03-01 05:14:27 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection) |
| 2026-03-01 05:13:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 05:11:15 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-03-01 05:08:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 05:03:28 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-01 05:02:50 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2026-03-01 04:56:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 04:50:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 04:39:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-01 04:34:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 04:32:55 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 272 seconds) |
| 2026-03-01 04:32:39 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2026-03-01 04:30:51 +0100 | Fijxu_ | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2026-03-01 04:23:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 04:22:38 +0100 | tccq | (~tccq@2604:a00:50:1b7:ef89:6719:b6af:6c9e) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
| 2026-03-01 04:19:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 04:13:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-01 04:08:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 04:07:31 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-03-01 04:05:38 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-03-01 04:05:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-03-01 03:58:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-01 03:56:13 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-01 03:53:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 03:43:31 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-03-01 03:42:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 03:42:07 +0100 | <Leary> | Then you can fuse the sequence in. ^ |
| 2026-03-01 03:41:53 +0100 | <lambdabot> | (Foldable t, Applicative f, Monoid a1) => (a2 -> a1) -> t (f a2) -> f a1 |
| 2026-03-01 03:41:52 +0100 | <Leary> | :t \g -> getAp . foldMap (Ap . fmap g) |
| 2026-03-01 03:41:43 +0100 | <lambdabot> | (Monoid b, Traversable t, Applicative f) => (a -> b) -> t (f a) -> f b |
| 2026-03-01 03:41:42 +0100 | <Leary> | :t \g x -> foldMap g <$> sequenceA x |
| 2026-03-01 03:41:33 +0100 | <Leary> | tomsmeding: If `f` is a fold: |
| 2026-03-01 03:40:57 +0100 | <Leary> | What would be required would be for `fmap f` to be an applicative homomorphism/transformation, which holds iff `f = id`. |
| 2026-03-01 03:38:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 03:27:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |