| 2026-03-01 00:00:54 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-03-01 00:04:08 +0100 | <__monty__> | Of course it's traverse, just in disguise, `f <$> traverse id x` ; ) |
| 2026-03-01 00:05:16 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-01 00:10:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 00:13:22 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-01 00:15:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 00:22:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 00:23:54 +0100 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 2026-03-01 00:24:00 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: Lost terminal) |
| 2026-03-01 00:25:00 +0100 | tromp | (~textual@2001:1c00:3487:1b00:303f:bf6:f20e:2c5e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-01 00:27:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-01 00:37:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 00:40:14 +0100 | <haskellbridge> | <alexfmpe> If f is a "applicative transformation " as described in https://hackage-content.haskell.org/package/base-4.22.0.0/docs/Data-Traversable.html#laws |
| 2026-03-01 00:40:16 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/MxFYkcdXFCcojfugGipREVti/5rE8h8cKSCk (7 lines) |
| 2026-03-01 00:40:34 +0100 | slomp | (~slomp@47-158-212-88.lsan.ca.frontiernet.net) |
| 2026-03-01 00:41:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 00:49:34 +0100 | <EvanR> | \o/ |
| 2026-03-01 00:50:41 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-03-01 00:52:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 00:57:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 01:05:05 +0100 | qqq | (~qqq@185.54.22.240) (Ping timeout: 265 seconds) |
| 2026-03-01 01:06:24 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2026-03-01 01:07:39 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 246 seconds) |
| 2026-03-01 01:08:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 01:12:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 01:14:53 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 252 seconds) |
| 2026-03-01 01:18:44 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2026-03-01 01:19:01 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2026-03-01 01:23:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 01:24:17 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 2026-03-01 01:30:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 01:33:56 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-03-01 01:34:21 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-03-01 01:41:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 01:43:16 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-01 01:44:59 +0100 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-01 01:45:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 01:45:50 +0100 | CloneOfNone | (~CloneOfNo@user/CloneOfNone) CloneOfNone |
| 2026-03-01 01:50:41 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-01 01:56:44 +0100 | tromp | (~textual@2001:1c00:3487:1b00:303f:bf6:f20e:2c5e) |
| 2026-03-01 01:57:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 01:57:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:303f:bf6:f20e:2c5e) (Client Quit) |
| 2026-03-01 02:01:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 02:10:17 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-01 02:12:22 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2026-03-01 02:12:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 02:17:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 02:17:44 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-01 02:18:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 02:23:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-01 02:29:41 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 252 seconds) |
| 2026-03-01 02:29:43 +0100 | yin | (~zero@user/zero) (Ping timeout: 264 seconds) |
| 2026-03-01 02:34:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 02:38:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 02:40:11 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e580c1352a59afaaad8a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2026-03-01 02:42:44 +0100 | yin | (~zero@user/zero) zero |
| 2026-03-01 02:49:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 02:50:12 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2026-03-01 02:54:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-01 03:04:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 03:08:55 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-01 03:09:49 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-01 03:11:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 03:13:50 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jnsks) |
| 2026-03-01 03:18:53 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2026-03-01 03:19:18 +0100 | <probie> | :t \f x -> f <$> sequence x |
| 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:33 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-01 03:20:12 +0100 | <probie> | :t \f -> traverse (fmap f) |
| 2026-03-01 03:20:13 +0100 | <lambdabot> | (Traversable t, Applicative f) => (a -> b) -> t (f a) -> f (t b) |
| 2026-03-01 03:21:38 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2026-03-01 03:21:54 +0100 | <EvanR> | /o\ |
| 2026-03-01 03:22:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 03:24:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2026-03-01 03:26:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 03:27:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-01 03:38:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:41:33 +0100 | <Leary> | tomsmeding: If `f` is a fold: |
| 2026-03-01 03:41:42 +0100 | <Leary> | :t \g x -> foldMap g <$> sequenceA x |
| 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:52 +0100 | <Leary> | :t \g -> getAp . foldMap (Ap . fmap g) |
| 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:42:07 +0100 | <Leary> | Then you can fuse the sequence in. ^ |
| 2026-03-01 03:42:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 03:43:31 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-03-01 03:53:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 03:56:13 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-01 03:58:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-01 04:05:02 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-03-01 04:05:38 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2026-03-01 04:07:31 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-03-01 04:08:52 +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:19:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:23:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 04:30:51 +0100 | Fijxu_ | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2026-03-01 04:32:39 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2026-03-01 04:32:55 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 272 seconds) |
| 2026-03-01 04:34:59 +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:50:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 04:56:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 05:02:50 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2026-03-01 05:03:28 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-03-01 05:08:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 05:11:15 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-03-01 05:13:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 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:22:48 +0100 | foul_owl | (~kerry@94.156.149.99) (Ping timeout: 255 seconds) |
| 2026-03-01 05:23:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 05:26:29 +0100 | foul_owl | (~kerry@94.156.149.99) foul_owl |
| 2026-03-01 05:28:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-01 05:30:45 +0100 | tccq | (~tccq@2604:a00:50:1b7:ef89:6719:b6af:6c9e) |
| 2026-03-01 05:32:37 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-01 05:39:08 +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:54:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 05:58:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 06:09:21 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3713:5717:d067:11de) (Ping timeout: 246 seconds) |
| 2026-03-01 06:09:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 06:10:18 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fca7:d415:4834:b9e8) |
| 2026-03-01 06:14:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-01 06:15:33 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |