| 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) |
| 2026-03-01 06:23:09 +0100 | raym | (~ray@user/raym) raym |
| 2026-03-01 06:25:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 06:32:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 06:39:55 +0100 | loungerry_ | (~loungerry@150.241.86.78) |
| 2026-03-01 06:43:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 06:46:35 +0100 | tydes | (~tydes@user/ttydes) ttydes |
| 2026-03-01 06:47:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 06:54:16 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-03-01 06:58:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 06:58:50 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-01 07:02:38 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-01 07:03:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-01 07:03:59 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-01 07:09:44 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-01 07:10:00 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-01 07:14:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 07:18:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-01 07:18:45 +0100 | philopsos1 | (~caecilius@user/philopsos) (Quit: leaving) |
| 2026-03-01 07:20:30 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-01 07:29:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 07:33:23 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-03-01 07:33:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 07:34:58 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2026-03-01 07:44:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 07:45:22 +0100 | elnegro | (~elnegro@r186-54-71-91.dialup.adsl.anteldata.net.uy) elnegro |
| 2026-03-01 07:46:38 +0100 | elnegro | (~elnegro@r186-54-71-91.dialup.adsl.anteldata.net.uy) (Remote host closed the connection) |
| 2026-03-01 07:49:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-01 07:51:41 +0100 | elnegro | (~elnegro@r186-54-71-91.dialup.adsl.anteldata.net.uy) elnegro |
| 2026-03-01 08:00:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 08:03:19 +0100 | elnegro | (~elnegro@r186-54-71-91.dialup.adsl.anteldata.net.uy) (Remote host closed the connection) |
| 2026-03-01 08:06:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 08:10:32 +0100 | loungerry_ | (~loungerry@150.241.86.78) (Changing host) |
| 2026-03-01 08:10:32 +0100 | loungerry_ | (~loungerry@user/loungerry-:45058) loungerry_ |
| 2026-03-01 08:11:43 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-03-01 08:13:22 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fca7:d415:4834:b9e8) (Ping timeout: 248 seconds) |
| 2026-03-01 08:14:43 +0100 | <haskellbridge> | <alexfmpe> * id) |
| 2026-03-01 08:14:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 08:19:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-01 08:30:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 08:34:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 08:36:27 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fca7:d415:4834:b9e8) |
| 2026-03-01 08:45:31 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2026-03-01 08:49:21 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 2026-03-01 08:50:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 08:54:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 09:01:07 +0100 | tt12316070 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Quit: The Lounge - https://thelounge.chat) |
| 2026-03-01 09:03:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:303f:bf6:f20e:2c5e) |
| 2026-03-01 09:05:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 09:07:22 +0100 | tt123160701 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231 |
| 2026-03-01 09:08:11 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2026-03-01 09:10:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-01 09:12:45 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-03-01 09:15:12 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-01 09:16:55 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-01 09:19:27 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-01 09:20:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 09:23:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-01 09:25:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 09:36:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 09:36:23 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-01 09:39:53 +0100 | Square2 | (~Square@user/square) Square |
| 2026-03-01 09:42:44 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-03-01 09:42:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 09:46:19 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-01 09:54:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 09:56:25 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-01 09:57:45 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e58028e5f6012138f519.dip0.t-ipconnect.de) acidjnk |
| 2026-03-01 09:58:10 +0100 | _0xa | (~user@user/0xa/x-3134607) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2026-03-01 09:58:48 +0100 | _0xa | (~user@95.179.128.10) |
| 2026-03-01 09:58:48 +0100 | _0xa | (~user@95.179.128.10) (Changing host) |
| 2026-03-01 09:58:48 +0100 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-03-01 09:58:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 10:09:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 10:14:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-01 10:15:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 10:16:02 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 248 seconds) |
| 2026-03-01 10:16:12 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-03-01 10:20:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 10:28:57 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-01 10:31:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 10:31:30 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-03-01 10:35:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-01 10:37:17 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-01 10:41:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-03-01 10:48:14 +0100 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) Milan_Vanca |
| 2026-03-01 10:48:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 10:53:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 11:02:09 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-01 11:03:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 11:07:48 +0100 | gehmehgeh | gmg |
| 2026-03-01 11:08:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 11:11:22 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-01 11:12:21 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2026-03-01 11:16:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 11:23:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-01 11:24:00 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) Enrico63 |
| 2026-03-01 11:26:44 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-03-01 11:27:03 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-03-01 11:32:20 +0100 | <Milan_Vanca> | Hello guyz, not sure if I found bug in library or I am just dumb but for import Text.Regex.TDFA and these equations "aaa" =~ "[a]{1,3}" -> True, "a]a" =~ "[a\\]]{1,3}" -> True, "aaa" =~ "[a\\]]{1,3}" -> False |
| 2026-03-01 11:32:38 +0100 | <Milan_Vanca> | The last one should also produce True? |
| 2026-03-01 11:33:51 +0100 | <opqdonut> | I don't know about Text.Regex.TDFA in particular, but in most regex implementations you need to write that character class as []a] |
| 2026-03-01 11:34:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 11:34:50 +0100 | <opqdonut> | note that =~ checks if any match is found, it doesn't necesarily match the whole string |
| 2026-03-01 11:35:12 +0100 | <Milan_Vanca> | Yeah I think I see now. |
| 2026-03-01 11:35:28 +0100 | <opqdonut> | I think what might be happening is that "a]a" =~ "[a\\]]{1,3}" is really matching "[a]]{1,3}", that is, "a]" |
| 2026-03-01 11:35:53 +0100 | <Milan_Vanca> | Yeah..probably I am going to test ^$ |
| 2026-03-01 11:36:44 +0100 | <Milan_Vanca> | You are right using ^$ produces False. Now it all makes sense |
| 2026-03-01 11:36:58 +0100 | <opqdonut> | regex-tdfa says it implements posix extended regexes, which need []a] |
| 2026-03-01 11:37:42 +0100 | <opqdonut> | regex(7) says: To include a literal ']' in the list, make it the first character |
| 2026-03-01 11:38:59 +0100 | <Milan_Vanca> | Lets say I need to also include literals - ^ \ then it should look like "[]a-z^\\-]" |
| 2026-03-01 11:39:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 11:39:11 +0100 | <mauke> | this is why every regex library written after ~2000 ignores posix and just does what perl does |
| 2026-03-01 11:39:32 +0100 | <Milan_Vanca> | ] must be first - must be last, \ must be escaped and ^ must not be first |
| 2026-03-01 11:39:40 +0100 | <opqdonut> | yep, pretty trippy |
| 2026-03-01 11:40:02 +0100 | <mauke> | \ must be escaped in Haskell strings, but does not need to be escaped in [ ] |
| 2026-03-01 11:40:27 +0100 | <mauke> | that is, posix is fine with []\-], but in Haskell you need to write it as "[]\\-]" |
| 2026-03-01 11:40:27 +0100 | <Milan_Vanca> | mauke: True, I was in implicit haskell context |
| 2026-03-01 11:41:41 +0100 | <Milan_Vanca> | mauke: so I should not use TDFA? which lib then? |
| 2026-03-01 11:42:02 +0100 | <mauke> | I'm not saying you shouldn't use it, I'm just saying that posix regex syntax is bizarre :-) |
| 2026-03-01 11:42:26 +0100 | <Milan_Vanca> | opqdonut: Thank you very much, your insight helped me to see my wrong assumption |
| 2026-03-01 11:45:07 +0100 | <Milan_Vanca> | Yes this unescaped ] as first char is crazy. It screams syntax error in my view :D |
| 2026-03-01 11:45:38 +0100 | xff0x | (~xff0x@2405:6580:b080:900:fca7:d415:4834:b9e8) (Ping timeout: 248 seconds) |
| 2026-03-01 11:46:01 +0100 | <probie> | If you want PCRE behaviour, use one of the PCRE libraries |
| 2026-03-01 11:46:22 +0100 | <mauke> | I don't necessarily need PCRE behavior, just perl-style syntax |
| 2026-03-01 11:46:41 +0100 | xff0x | (~xff0x@2405:6580:b080:900:bb96:cd5b:8d43:86f6) |
| 2026-03-01 11:46:50 +0100 | <mauke> | it's so much cleaner |
| 2026-03-01 12:05:48 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e5262c0766f14cd13639.dip0.t-ipconnect.de) |
| 2026-03-01 12:06:34 +0100 | Goodbye_Vincent1 | (cyvahl@freakshells.net) Goodbye_Vincent |
| 2026-03-01 12:08:57 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e58028e5f6012138f519.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-03-01 12:17:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 12:22:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-01 12:23:30 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2026-03-01 12:33:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 12:37:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 12:40:34 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) (Ping timeout: 248 seconds) |
| 2026-03-01 12:48:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 12:51:41 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2026-03-01 12:53:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-03-01 12:57:31 +0100 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2026-03-01 13:00:18 +0100 | Enrico63 | (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-03-01 13:03:49 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-01 13:03:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 13:08:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 13:09:42 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-03-01 13:11:48 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Read error: Connection reset by peer) |
| 2026-03-01 13:18:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 13:25:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-01 13:31:03 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |