| 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 |