Newest at the top
| 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 |
| 2026-03-01 03:26:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 03:24:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2026-03-01 03:22:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 03:21:54 +0100 | <EvanR> | /o\ |
| 2026-03-01 03:21:38 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2026-03-01 03:20:13 +0100 | <lambdabot> | (Traversable t, Applicative f) => (a -> b) -> t (f a) -> f (t b) |
| 2026-03-01 03:20:12 +0100 | <probie> | :t \f -> traverse (fmap f) |
| 2026-03-01 03:19:33 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-01 03:19:19 +0100 | <lambdabot> | (Traversable t, Monad f) => (t a -> b) -> t (f a) -> f b |
| 2026-03-01 03:19:18 +0100 | <probie> | :t \f x -> f <$> sequence x |
| 2026-03-01 03:18:53 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2026-03-01 03:13:50 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jnsks) |
| 2026-03-01 03:11:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 03:09:49 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-01 03:08:55 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-01 03:04:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 02:54:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-01 02:50:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2026-03-01 02:49:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 02:42:44 +0100 | yin | (~zero@user/zero) zero |
| 2026-03-01 02:40:11 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e580c1352a59afaaad8a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-03-01 02:38:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 02:34:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 02:29:43 +0100 | yin | (~zero@user/zero) (Ping timeout: 264 seconds) |
| 2026-03-01 02:29:41 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 252 seconds) |
| 2026-03-01 02:23:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-01 02:18:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 02:17:44 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-01 02:17:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 02:12:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 02:12:22 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2026-03-01 02:10:17 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-01 02:01:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 01:57:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:303f:bf6:f20e:2c5e) (Client Quit) |