| 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) |
| 2026-03-01 13:36:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 13:41:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-03-01 13:41:46 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2026-03-01 13:46:20 +0100 | <__monty__> | It's such a kludge "An empty character class doesn't make any sense so the closing character can occur in the first position without ambiguity." |
| 2026-03-01 13:46:49 +0100 | <__monty__> | Kinda love it from a semantics point of view but hate the readability. |
| 2026-03-01 13:48:39 +0100 | kuribas | (~user@2a02-1810-2825-6000-1a76-6371-2ebf-5f1e.ip6.access.telenet.be) (Remote host closed the connection) |
| 2026-03-01 13:52:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 13:57:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-01 14:00:07 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-01 14:03:30 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-03-01 14:04:08 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-01 14:07:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 14:08:32 +0100 | tromp | (~textual@2001:1c00:3487:1b00:303f:bf6:f20e:2c5e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-01 14:11:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-01 14:12:11 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Quit: Quit) |
| 2026-03-01 14:12:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 14:12:36 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-01 14:13:48 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-03-01 14:15:33 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-03-01 14:17:22 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-01 14:19:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 14:19:59 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:52ae:b1ef:ddf3:4611) |
| 2026-03-01 14:21:54 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2026-03-01 14:24:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 14:24:31 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-03-01 14:35:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 14:39:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 14:45:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-03-01 14:46:44 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-01 14:48:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-01 14:50:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 14:54:55 +0100 | mulk | (~mulk@pd95146df.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-03-01 14:55:09 +0100 | st_aldini1 | (~Betterbir@136.48.46.187) st_aldini |
| 2026-03-01 14:55:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-01 14:55:31 +0100 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 264 seconds) |
| 2026-03-01 14:55:31 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 264 seconds) |
| 2026-03-01 14:55:31 +0100 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 264 seconds) |
| 2026-03-01 14:55:31 +0100 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 264 seconds) |
| 2026-03-01 14:55:31 +0100 | sshine | (~simon@dao.mechanicus.xyz) (Ping timeout: 264 seconds) |
| 2026-03-01 14:55:31 +0100 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 264 seconds) |
| 2026-03-01 14:55:41 +0100 | jrm2 | (~jrm@user/jrm) jrm |
| 2026-03-01 14:56:07 +0100 | jrm | (~jrm@user/jrm) (Ping timeout: 264 seconds) |
| 2026-03-01 14:56:07 +0100 | redshuffle | (~quassel@45.43.70.75) (Ping timeout: 264 seconds) |
| 2026-03-01 14:56:07 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds) |
| 2026-03-01 14:56:07 +0100 | st_aldini | (~Betterbir@136.48.46.187) (Ping timeout: 264 seconds) |
| 2026-03-01 14:56:07 +0100 | CalimeroTeknik | (~calimero@user/calimeroteknik) (Ping timeout: 264 seconds) |
| 2026-03-01 14:56:07 +0100 | cross | (~cross@spitfire.i.gajendra.net) (Ping timeout: 264 seconds) |
| 2026-03-01 14:56:07 +0100 | dolio | (~dolio@130.44.140.168) (Ping timeout: 264 seconds) |
| 2026-03-01 14:56:07 +0100 | shachaf | (~shachaf@user/shachaf) (Ping timeout: 264 seconds) |
| 2026-03-01 14:56:07 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2026-03-01 14:56:07 +0100 | dminuoso | (~weechat@user/dminuoso) (Ping timeout: 264 seconds) |
| 2026-03-01 14:56:08 +0100 | st_aldini1 | st_aldini |
| 2026-03-01 14:56:22 +0100 | mulk | (~mulk@pd95146df.dip0.t-ipconnect.de) mulk |
| 2026-03-01 14:56:43 +0100 | int-e | (~noone@int-e.eu) (Ping timeout: 264 seconds) |
| 2026-03-01 14:57:09 +0100 | sshine | (~simon@dao.mechanicus.xyz) sshine |
| 2026-03-01 14:57:14 +0100 | TMA | (tma@twin.jikos.cz) TMA |
| 2026-03-01 14:57:16 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2026-03-01 14:57:18 +0100 | Jonno_FTW | (~come@api.carswap.me) |
| 2026-03-01 14:57:18 +0100 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2026-03-01 14:57:18 +0100 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) Jonno_FTW |
| 2026-03-01 14:57:20 +0100 | tolt | (~weechat-h@li219-154.members.linode.com) tolt |
| 2026-03-01 14:57:23 +0100 | jjhoo | (~jahakala@user/jjhoo) jjhoo |
| 2026-03-01 14:57:32 +0100 | jrm2 | jrm |
| 2026-03-01 14:57:33 +0100 | shachaf | (~shachaf@user/shachaf) shachaf |
| 2026-03-01 14:57:37 +0100 | dminuoso | (~weechat@user/dminuoso) dminuoso |
| 2026-03-01 14:57:38 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-03-01 14:57:46 +0100 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2026-03-01 14:57:55 +0100 | int-e | (~noone@int-e.eu) int-e |
| 2026-03-01 14:59:36 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-03-01 15:00:35 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2026-03-01 15:05:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 15:07:39 +0100 | ctk | (~calimero@ctkarch.org) |
| 2026-03-01 15:10:19 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2026-03-01 15:11:20 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-01 15:12:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 15:14:39 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-03-01 15:20:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 15:25:19 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-01 15:25:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 15:25:46 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-03-01 15:32:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-01 15:36:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 15:41:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 15:51:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 15:51:57 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2026-03-01 15:54:39 +0100 | malte | (~malte@mal.tc) malte |
| 2026-03-01 15:55:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-03-01 15:56:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-01 16:06:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 16:09:42 +0100 | humasect_ | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-01 16:10:55 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-03-01 16:11:20 +0100 | rainbyte | (~rainbyte@186.22.19.220) (Read error: Connection reset by peer) |
| 2026-03-01 16:11:25 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 2026-03-01 16:11:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 16:13:22 +0100 | rainbyte | (~rainbyte@186.22.19.220) rainbyte |
| 2026-03-01 16:13:46 +0100 | humasect_ | humasect |
| 2026-03-01 16:17:52 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2026-03-01 16:21:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 16:23:18 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2026-03-01 16:23:32 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2026-03-01 16:26:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-01 16:29:04 +0100 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2026-03-01 16:29:07 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 264 seconds) |
| 2026-03-01 16:29:28 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:c428:e76c:32e2:b555) |
| 2026-03-01 16:29:28 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:c428:e76c:32e2:b555) (Changing host) |
| 2026-03-01 16:29:28 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-01 16:37:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 16:39:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-03-01 16:43:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-01 16:43:58 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-03-01 16:44:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 16:46:17 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-01 16:47:21 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: leaving) |
| 2026-03-01 16:47:56 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-03-01 16:54:33 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-01 16:56:24 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-03-01 17:00:41 +0100 | morj_away | (~morj@user/morj) morj |
| 2026-03-01 17:03:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 17:08:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 17:18:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-03-01 17:18:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 17:25:02 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-01 17:25:37 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-03-01 17:27:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 17:33:50 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-01 17:36:55 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2026-03-01 17:37:49 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 2026-03-01 17:37:57 +0100 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft |
| 2026-03-01 17:37:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 17:40:15 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2026-03-01 17:41:24 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-01 17:42:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-03-01 17:43:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-01 17:49:09 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2026-03-01 17:53:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 17:54:34 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-01 17:55:22 +0100 | <geekosaur> | sadly, it's grandfathered behavior. so is the same behavior for `-` |
| 2026-03-01 17:55:45 +0100 | <geekosaur> | people hate regex for a reason ☺ |
| 2026-03-01 17:58:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-01 18:03:32 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-01 18:06:06 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-03-01 18:08:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 18:08:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) |
| 2026-03-01 18:13:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 18:22:18 +0100 | emperori | (~emperori@2401:4900:6294:67cc:fd7c:fe2c:be83:1f41) |
| 2026-03-01 18:23:06 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:52ae:b1ef:ddf3:4611) (Remote host closed the connection) |
| 2026-03-01 18:23:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 18:25:03 +0100 | emperori | (~emperori@2401:4900:6294:67cc:fd7c:fe2c:be83:1f41) (Remote host closed the connection) |
| 2026-03-01 18:25:21 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 255 seconds) |
| 2026-03-01 18:30:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 18:36:08 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2026-03-01 18:38:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 2026-03-01 18:39:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-03-01 18:41:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 18:46:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-03-01 18:52:24 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-03-01 18:55:01 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Read error: Connection reset by peer) |
| 2026-03-01 18:57:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 19:00:49 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-03-01 19:02:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 19:02:13 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-03-01 19:12:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 19:14:10 +0100 | ctk | (~calimero@ctkarch.org) (Changing host) |
| 2026-03-01 19:14:10 +0100 | ctk | (~calimero@user/calimeroteknik) CalimeroTeknik |
| 2026-03-01 19:14:51 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-03-01 19:17:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-03-01 19:26:40 +0100 | <Milan_Vanca> | I don't know they should be more simple than "programming languges". Maybe we are just not used to them. And maybe writing whole "program" in one line without indentation is the problem. |
| 2026-03-01 19:27:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 19:30:06 +0100 | <haskellbridge> | <sm> standard regular expressions are meant to be compact and powerful. (And their syntax predates most of us, so I cut them some slack.) You can always use a DSL or regex flavour that lets you write more verbosely. |
| 2026-03-01 19:31:04 +0100 | <haskellbridge> | <sm> I don't know how a unix user could really hate regex |
| 2026-03-01 19:31:45 +0100 | <Milan_Vanca> | Anyway here https://hackage.haskell.org/package/base-4.12.0.0/docs/src/Text.ParserCombinators.ReadP.html#ReadP is ReadP defined with "newtype" but in documentation it shows "data" https://hackage.haskell.org/package/base-4.12.0.0/docs/Text-ParserCombinators-ReadP.html#t:ReadP |
| 2026-03-01 19:32:20 +0100 | ski | . o O ( "IrRegular Expressions" by foof at <https://synthcode.com/scheme/irregex/> ) |
| 2026-03-01 19:32:24 +0100 | ski | . o O ( "Regular Expression Matching Can Be Simple And Fast (but is slow in Java, Perl, PHP, Python, Ruby, ...)" by Russ Cox in 2007-01 at <https://swtch.com/~rsc/regexp/regexp1.html> ) |
| 2026-03-01 19:32:38 +0100 | <Milan_Vanca> | sm: I don't think people hate regexes |
| 2026-03-01 19:32:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 19:32:48 +0100 | <haskellbridge> | <sm> https://www.regular-expressions.info is also excellent |
| 2026-03-01 19:34:57 +0100 | <EvanR> | after seeing a lot of other nice looking languages, regex makes my head hurt |
| 2026-03-01 19:35:05 +0100 | <haskellbridge> | <sm> s/also// |
| 2026-03-01 19:35:26 +0100 | <EvanR> | they are (potentially) small so I can fit 2000 of them on my screen? no thanks! |
| 2026-03-01 19:36:00 +0100 | <haskellbridge> | <sm> compactness can be a virtue |
| 2026-03-01 19:36:02 +0100 | <EvanR> | they also have come up less since I learned about parser combinators |
| 2026-03-01 19:36:22 +0100 | <EvanR> | something might be parsable using an extension to regex... but why |
| 2026-03-01 19:36:26 +0100 | <Milan_Vanca> | EvanR: Hehe :D vim can also soft linewrap |
| 2026-03-01 19:37:13 +0100 | <EvanR> | APL code has the same compaction, it's so small it occupies the top left 2% of my screen |
| 2026-03-01 19:37:23 +0100 | <EvanR> | virtuous! |
| 2026-03-01 19:37:52 +0100 | <Milan_Vanca> | Imagine binary encoded as RGB bitmap... |
| 2026-03-01 19:37:55 +0100 | <haskellbridge> | <sm> C can too! https://needleful.net/blog/2024/01/arthur_whitney.html :) |
| 2026-03-01 19:38:31 +0100 | <EvanR> | Milan_Vanca, a fun exercise in SDL or raylib etc |
| 2026-03-01 19:38:47 +0100 | <haskellbridge> | <sm> and of course so can Haskell https://github.com/haskell-game/tiny-games-hs |
| 2026-03-01 19:40:22 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-01 19:42:23 +0100 | <EvanR> | the tiny game jam was kind of amazing |
| 2026-03-01 19:42:51 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-01 19:43:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 19:45:11 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-03-01 19:47:23 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2026-03-01 19:47:31 +0100 | <monochrom> | https://hackage.haskell.org/package/regex-applicative has nicer syntax. (You just use Alternative operators!) |
| 2026-03-01 19:48:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-01 19:49:31 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-03-01 19:50:39 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2026-03-01 19:50:40 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) |
| 2026-03-01 19:52:41 +0100 | <EvanR> | hold on... were the names of empty, many, some, and <|> based on regex |
| 2026-03-01 19:52:53 +0100 | <c_wraith> | they were based on parsing, more broadly |
| 2026-03-01 19:54:58 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-03-01 19:55:52 +0100 | <monochrom> | They came from all over the places. many, some, <|> are clearly from parsing and regex. You would then like to say "fail" for the identity of <|>, but "fail" is already taken, so the analogy went sideways and if you think of <|> as set union then its identity is the empty set. (Clearly, it is not the empty string.) |
| 2026-03-01 19:56:05 +0100 | <c_wraith> | but yes, it was realized pretty early on that applicative+alternative gives you context-free grammars |
| 2026-03-01 19:56:14 +0100 | <EvanR> | E = empty | just Char | E <> E | E <|> E | many E, "these are the only ways to construct a regular expression --conway" xD |
| 2026-03-01 19:58:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-01 20:02:22 +0100 | <monochrom> | It has been already mzero for MonadPlus, so maybe we could have called it azero. |
| 2026-03-01 20:03:05 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) (Read error: Connection reset by peer) |
| 2026-03-01 20:05:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-01 20:08:45 +0100 | KindFoxo | (~KindFoxo@user/KindoFoxo) KindoFoxo |
| 2026-03-01 20:15:21 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-03-01 20:16:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |