2025/05/02

2025-05-02 00:01:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-02 00:04:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-02 00:05:34 +0200sprotte24(~sprotte24@p200300d16f04420079bd62a2defad9dd.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-05-02 00:14:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 00:15:04 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-02 00:15:30 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 244 seconds)
2025-05-02 00:19:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-05-02 00:19:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-02 00:19:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-02 00:22:43 +0200euleritian(~euleritia@77.23.248.47) (Read error: Connection reset by peer)
2025-05-02 00:23:33 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 00:26:24 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2025-05-02 00:26:37 +0200manwithluck(~manwithlu@2a09:bac5:5081:2dc::49:f6) (Remote host closed the connection)
2025-05-02 00:30:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 00:30:50 +0200manwithluck(~manwithlu@2a09:bac5:5081:2dc::49:f6) manwithluck
2025-05-02 00:37:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-02 00:47:24 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-02 00:47:48 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 00:47:48 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-05-02 00:48:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 00:49:50 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-02 00:50:41 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 00:53:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 01:01:34 +0200tromp(~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-02 01:04:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 01:08:52 +0200acidjnk_new(~acidjnk@p200300d6e71c4f767dcf0a605c28f3a7.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-05-02 01:09:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 01:12:33 +0200xff0x(~xff0x@2409:251:9040:2c00:1c47:7f78:37e8:e2a1)
2025-05-02 01:14:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-05-02 01:16:27 +0200weary-traveler(~user@user/user363627) user363627
2025-05-02 01:20:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 01:25:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 01:29:08 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-02 01:35:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 01:38:36 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 252 seconds)
2025-05-02 01:41:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-02 01:41:35 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-05-02 01:42:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 01:45:53 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-02 01:47:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-05-02 01:47:26 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-05-02 01:49:37 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-05-02 01:50:13 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-05-02 01:50:13 +0200ljdarj1ljdarj
2025-05-02 01:56:51 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2025-05-02 01:57:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 01:58:43 +0200sajenim(~sajenim@user/sajenim) (Quit: WeeChat 4.4.3)
2025-05-02 01:59:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-02 02:00:56 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-02 02:02:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-02 02:03:10 +0200nitrix(~nitrix@user/meow/nitrix) (Ping timeout: 252 seconds)
2025-05-02 02:05:12 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-05-02 02:07:11 +0200nitrix(~nitrix@user/meow/nitrix) nitrix
2025-05-02 02:13:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 02:17:37 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-02 02:18:09 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-02 02:18:54 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-02 02:19:18 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2025-05-02 02:20:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 02:22:57 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-02 02:31:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 02:36:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-02 02:38:12 +0200otto_s(~user@p4ff271c5.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-05-02 02:39:29 +0200otto_s(~user@p4ff270d6.dip0.t-ipconnect.de)
2025-05-02 02:47:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 02:51:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-02 02:52:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-02 02:53:36 +0200 <sim590> How much time after you pushed a new package version to hackage does it take usually for cabal update to pick the new version?
2025-05-02 02:55:38 +0200__jmcantrell__(~weechat@user/jmcantrell) jmcantrell
2025-05-02 02:56:33 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-02 02:57:29 +0200 <sim590> nvm. it was pretty quick. I guess it might have been my version rule that wasn't right.
2025-05-02 02:59:11 +0200 <geekosaur> all I can say is that it takes several minutes
2025-05-02 02:59:25 +0200 <geekosaur> I thought I had a discussion in my backscroll but I'm not finding it now
2025-05-02 02:59:43 +0200 <sim590> So, I just made a package release with `cabal sdist`, but it didn't include the `cabal.project` file. Which ignores my previous fix. What cabal field should I use to include that file?
2025-05-02 03:00:23 +0200 <sim590> extra-source-files?
2025-05-02 03:02:03 +0200 <geekosaur> /home/allbery/.config/hexchat/logs/irccloud bnc/#hackage.log-Apr 09 03:12:12 <sclv> probably a brief delay, no more than five minutes
2025-05-02 03:02:43 +0200 <geekosaur> cabal.project isn't normally uploaded at all, since hackage doesn't understand projects, only packages
2025-05-02 03:03:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 03:03:08 +0200 <geekosaur> projects are a development thing, not a deployment thing
2025-05-02 03:03:10 +0200 <sim590> But, my package needs to build on other people's computer. And for that it needs the fix for GCC 15.
2025-05-02 03:04:06 +0200 <sim590> I need to have `c2hs-options: -C -std=gnu18` shipped with my package.
2025-05-02 03:04:37 +0200 <geekosaur> then you need to find a way to get that into the cabal file, because a project file, even if you manage to include one, won't be used when building as a transitive dependency
2025-05-02 03:05:58 +0200a_fantom(~fantom@33be818f.skybroadband.com)
2025-05-02 03:06:18 +0200fantom(~fantom@2.219.56.221) (Ping timeout: 244 seconds)
2025-05-02 03:08:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-02 03:09:32 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 252 seconds)
2025-05-02 03:11:55 +0200 <sim590> hmmmm. I tried many things with the cabal file but it didn't work. :/ Are you 100% sure cabal.project won't be used when compiling as transitive dependency? If the file is there, why would it work differently when it's build as a transitive dependency?
2025-05-02 03:12:02 +0200xff0x(~xff0x@2409:251:9040:2c00:1c47:7f78:37e8:e2a1) (Ping timeout: 265 seconds)
2025-05-02 03:13:12 +0200 <geekosaur> 100% sure
2025-05-02 03:13:33 +0200 <geekosaur> what's supposed to happen if it's already using `cabal.project`?
2025-05-02 03:13:53 +0200 <sim590> I don't understand the question.
2025-05-02 03:14:27 +0200 <geekosaur> someone's using your package as a dependency in a development tree with a `cabal.project`. what happens?
2025-05-02 03:15:09 +0200 <geekosaur> fwiw I just asked about `c2hs-options` not working in the cabal dev channel; it seems very wrong that it works in a project file but not the cabal file
2025-05-02 03:15:39 +0200 <sim590> OK, thanks for the initiative.
2025-05-02 03:15:47 +0200 <geekosaur> (unfortunately most of the dev team is asleep at this time of their night)
2025-05-02 03:16:12 +0200 <sim590> So for your question, I guess it both files could be nested. The user's file and the dependency's file?
2025-05-02 03:17:30 +0200 <geekosaur> but you need to include a `packages:` entry, which would override the main one and result it the package being installed in its own project's `dist-newstyle` where it won't be found by the main project
2025-05-02 03:18:26 +0200Typedfern(~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net)
2025-05-02 03:18:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 03:21:28 +0200typedfern_(~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 276 seconds)
2025-05-02 03:23:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-05-02 03:24:09 +0200Typedfern(~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Remote host closed the connection)
2025-05-02 03:25:20 +0200 <sim590> Hmmmm. OK. I don't really know why, but I guess I need prerequisites to undestand it. I don't really know how the build system does its thing, so I don't see the logic here, but OK. So I guess, my only chance now, is to have a fix from the cabal team so that c2hs-options be added to a cabal release.
2025-05-02 03:25:47 +0200 <geekosaur> I told you, it's a development thing. You're trying to use it for something else
2025-05-02 03:26:28 +0200Typedfern(~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) typedfern
2025-05-02 03:34:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 03:35:17 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-05-02 03:37:47 +0200cyphase(~cyphase@user/cyphase) cyphase
2025-05-02 03:40:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-02 03:40:33 +0200 <sim590> I don't know if I'm at the right spot, but I see hsc2hs-options seems to be be part of the list of recognized fields here: https://github.com/haskell/cabal/blob/7e0f040d1147770b57e76b2e51123f01e83ce263/Cabal-syntax/src/Di…
2025-05-02 03:40:40 +0200 <sim590> But c2hs is not there.
2025-05-02 03:43:34 +0200 <sim590> It might be an easy PR for me to make. I could basically mimic pretty much everything that's done for hsc2hs-options, but do it for c2hs-options.
2025-05-02 03:46:12 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-02 03:46:45 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-02 03:47:47 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-05-02 03:49:04 +0200 <geekosaur> 👍
2025-05-02 03:50:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 03:50:38 +0200volsand(~volsand@2804:1b1:1080:da6:192e:6849:5950:90dd) (Quit: volsand)
2025-05-02 03:51:49 +0200 <sim590> Thanks again for the support
2025-05-02 03:52:17 +0200 <geekosaur> what's puzzling me is, if it's not supported there, it shouldn't work in `cabal.project` either
2025-05-02 03:57:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 03:57:52 +0200 <sim590> hmmmm. So, there are references in the code about `c2hs-options`, but they're not in the FieldGrammar module under the PackageDescription dir. I think that explains the difference.
2025-05-02 03:58:42 +0200stef204(~stef204@user/stef204) stef204
2025-05-02 03:58:52 +0200 <sim590> So, actually, the only references I saw seems to be in test files. And they are related to the $HOME/.cabal/config file interpreter I think.
2025-05-02 03:58:57 +0200 <geekosaur> it explains the parsing, but not why it works at all
2025-05-02 03:59:41 +0200 <sim590> Yeah I agree.
2025-05-02 03:59:43 +0200 <geekosaur> did someone put it in the LBI but not then add a field for parsing?
2025-05-02 04:00:28 +0200 <geekosaur> makes me wonder how many other fields might be missing
2025-05-02 04:01:47 +0200 <geekosaur> (sorry, that might not be clear: LocalBuildInfo. the central data structures are abbreviated all over the codebase)
2025-05-02 04:02:18 +0200 <geekosaur> er, LocalBuildInformation
2025-05-02 04:06:13 +0200 <sim590> So, in the whole codebase, the string c2hs-optins only appears in test files.
2025-05-02 04:06:55 +0200 <sim590> Or could it be that c2hs actually reads the `cabal.project` file and parses the options himself? That would not have been cool, but it's just a thought.
2025-05-02 04:07:21 +0200typedfern_(~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) typedfern
2025-05-02 04:07:37 +0200Typedfern(~Typedfern@135.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 276 seconds)
2025-05-02 04:08:16 +0200 <geekosaur> highly unlikely. most probable to me is that it's simply ignored when parsing a cabal file, but it's in LocalBuildInformation so when the cabal.project parser sees it it can add it there
2025-05-02 04:08:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 04:10:57 +0200 <geekosaur> and I will not be surprised to find that various others (probably in the same class: build-tool-depends) are also missing
2025-05-02 04:10:59 +0200 <int-e> AFAICS for config-like files (that includes cabal.project.local?) the field names are computed here: https://github.com/haskell/cabal/blob/master/cabal-install/src/Distribution/Client/ProjectConfig/L…
2025-05-02 04:12:09 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-05-02 04:13:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-02 04:14:00 +0200 <int-e> which should eventually trace back to https://github.com/haskell/cabal/blob/master/Cabal/src/Distribution/Simple/Program/Builtin.hs#L67 and since the most obvious thing works when you add a new program there... it's easy to miss that the .cabal file syntax is completely separate
2025-05-02 04:14:07 +0200 <sim590> So may be the `cabal.project` file is agnostic about the program name and it just passes arguments to whatever you tell it to? But inside, `*.cabal`, it's not.
2025-05-02 04:15:24 +0200 <geekosaur> it has to be in the programDb. but cabal files are more specific, yes
2025-05-02 04:15:25 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds)
2025-05-02 04:15:49 +0200 <sim590> Yeah, that's what I just realized. I couldn't properly phrase it. Thanks. :P
2025-05-02 04:15:50 +0200 <geekosaur> I mentioned earlier that the project file parser is a bit half-assed; here, that's working in your favor 🙂
2025-05-02 04:17:04 +0200td_(~td@i53870904.versanet.de) (Ping timeout: 245 seconds)
2025-05-02 04:17:38 +0200 <geekosaur> (it does still have to be in the progDb or it wouldn't have anywhere to store the option)
2025-05-02 04:19:12 +0200td_(~td@i53870923.versanet.de) td_
2025-05-02 04:19:16 +0200 <int-e> (and progDb is populated from the builtinPrograms list)
2025-05-02 04:24:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 04:25:19 +0200stef204(~stef204@user/stef204) (Quit: WeeChat 4.2.1)
2025-05-02 04:29:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 04:31:06 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-05-02 04:35:45 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2025-05-02 04:35:52 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-05-02 04:35:52 +0200ChanServ+v lambdabot
2025-05-02 04:39:40 +0200todi1(~todi@183.96.168.66)
2025-05-02 04:40:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 04:40:28 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-02 04:44:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 04:49:09 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-02 04:52:34 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-02 04:52:52 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 04:55:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 04:56:14 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-05-02 05:00:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-02 05:01:03 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-02 05:01:14 +0200stef204(~stef204@user/stef204) stef204
2025-05-02 05:02:04 +0200stef204(~stef204@user/stef204) (Client Quit)
2025-05-02 05:02:19 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 05:06:39 +0200Googulator65(~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed)
2025-05-02 05:06:56 +0200Googulator65(~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu)
2025-05-02 05:20:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 05:26:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-02 05:36:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 05:43:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-02 05:48:48 +0200nacation(~m-3l4s76@user/nacation) (Remote host closed the connection)
2025-05-02 05:49:29 +0200nacation(~m-3l4s76@user/nacation) nacation
2025-05-02 05:54:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 05:58:07 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-05-02 05:59:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 06:07:48 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-02 06:10:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 06:10:44 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-02 06:11:13 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-05-02 06:14:00 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-05-02 06:15:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 06:22:05 +0200michalz(~michalz@185.246.207.203)
2025-05-02 06:26:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 06:31:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 06:39:59 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-05-02 06:41:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 06:47:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-02 06:52:33 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
2025-05-02 06:56:22 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 06:57:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 06:58:46 +0200dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-05-02 07:00:28 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-05-02 07:02:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 07:03:10 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2025-05-02 07:05:44 +0200euleritian(~euleritia@dynamic-176-006-131-036.176.6.pool.telefonica.de)
2025-05-02 07:06:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 07:08:22 +0200euleritian(~euleritia@dynamic-176-006-131-036.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-02 07:08:42 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 07:10:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 07:11:27 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-02 07:12:10 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 07:12:16 +0200__jmcantrell__(~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2)
2025-05-02 07:15:38 +0200Square3(~Square@user/square) (Ping timeout: 265 seconds)
2025-05-02 07:16:05 +0200dontdieych2(~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-05-02 07:21:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 07:25:42 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds)
2025-05-02 07:26:18 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-05-02 07:28:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 07:30:08 +0200euleritian(~euleritia@dynamic-176-006-131-036.176.6.pool.telefonica.de)
2025-05-02 07:34:48 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-05-02 07:39:01 +0200noctux(~noctux@user/noctux) (Ping timeout: 248 seconds)
2025-05-02 07:39:15 +0200noctux(~noctux@user/noctux) noctux
2025-05-02 07:39:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 07:40:07 +0200Natch(~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 252 seconds)
2025-05-02 07:41:13 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 252 seconds)
2025-05-02 07:42:19 +0200disconnect3d(~disconnec@user/disconnect3d) (Ping timeout: 252 seconds)
2025-05-02 07:42:27 +0200disconnect3d(~disconnec@user/disconnect3d) disconnect3d
2025-05-02 07:43:09 +0200mrmr(~mrmr@user/mrmr) (Ping timeout: 272 seconds)
2025-05-02 07:43:11 +0200Natch(~natch@c-92-34-7-158.bbcust.telenor.se)
2025-05-02 07:43:32 +0200mrmr(~mrmr@user/mrmr) mrmr
2025-05-02 07:44:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-02 07:47:52 +0200haritz(~hrtz@user/haritz) (Remote host closed the connection)
2025-05-02 07:55:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 08:00:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-02 08:07:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 08:08:49 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-05-02 08:11:39 +0200todi1(~todi@183.96.168.66) (Ping timeout: 272 seconds)
2025-05-02 08:12:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-02 08:12:14 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-05-02 08:22:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 08:22:54 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds)
2025-05-02 08:24:21 +0200iteratee_(~kyle@199.119.84.78) (Ping timeout: 268 seconds)
2025-05-02 08:26:24 +0200iteratee(~kyle@199.119.84.78)
2025-05-02 08:28:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-02 08:29:33 +0200biberu(~biberu@user/biberu) biberu
2025-05-02 08:30:46 +0200iteratee(~kyle@199.119.84.78) (Ping timeout: 244 seconds)
2025-05-02 08:34:55 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-05-02 08:38:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 08:38:48 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-05-02 08:43:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-05-02 08:44:05 +0200LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-05-02 08:46:27 +0200iteratee(~kyle@199.119.84.78) iteratee
2025-05-02 08:49:49 +0200michalz_(~michalz@185.246.207.197)
2025-05-02 08:50:50 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-02 08:51:16 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2025-05-02 08:51:18 +0200acidjnk_new(~acidjnk@p200300d6e71c4f9799b2fc54a11dfedb.dip0.t-ipconnect.de)
2025-05-02 08:51:38 +0200michalz(~michalz@185.246.207.203) (Ping timeout: 252 seconds)
2025-05-02 08:53:08 +0200Katarushisu2(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu
2025-05-02 08:54:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 08:54:56 +0200adamCS(~adamCS@70.19.85.77) (Ping timeout: 252 seconds)
2025-05-02 08:54:56 +0200Katarushisu(~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds)
2025-05-02 08:54:56 +0200Katarushisu2Katarushisu
2025-05-02 08:55:44 +0200euleritian(~euleritia@dynamic-176-006-131-036.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-02 08:56:03 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 08:58:03 +0200adamCS(~adamCS@70.19.85.77) adamCS
2025-05-02 08:58:12 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-02 08:59:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-02 09:00:02 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-05-02 09:00:34 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-05-02 09:00:44 +0200caconym7(~caconym@user/caconym) caconym
2025-05-02 09:05:03 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-05-02 09:05:09 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-02 09:06:06 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-02 09:06:29 +0200nacation(~m-3l4s76@user/nacation) (Read error: Connection reset by peer)
2025-05-02 09:08:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 09:08:14 +0200nacation(~m-3l4s76@user/nacation) nacation
2025-05-02 09:14:00 +0200Googulator65(~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed)
2025-05-02 09:14:14 +0200Googulator65(~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu)
2025-05-02 09:14:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 09:18:51 +0200tromp(~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e)
2025-05-02 09:20:27 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 268 seconds)
2025-05-02 09:20:50 +0200nadja(~dequbed@banana-new.kilobyte22.de) (Ping timeout: 260 seconds)
2025-05-02 09:20:50 +0200hsw(~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Ping timeout: 260 seconds)
2025-05-02 09:20:56 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-02 09:21:55 +0200hsw(~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw
2025-05-02 09:23:45 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2025-05-02 09:24:57 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-05-02 09:26:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 09:26:42 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 248 seconds)
2025-05-02 09:27:50 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-05-02 09:30:23 +0200nadja(~dequbed@banana-new.kilobyte22.de) dequbed
2025-05-02 09:30:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-02 09:34:53 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-05-02 09:41:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 09:46:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-02 09:52:35 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-02 09:53:36 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 272 seconds)
2025-05-02 09:54:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 09:58:37 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 276 seconds)
2025-05-02 09:59:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-02 10:09:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 10:13:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-02 10:14:30 +0200xff0x(~xff0x@2405:6580:b080:900:70da:5e:441c:b741)
2025-05-02 10:15:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-02 10:16:10 +0200nacation(~m-3l4s76@user/nacation) (Ping timeout: 276 seconds)
2025-05-02 10:17:42 +0200pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-05-02 10:18:36 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-05-02 10:18:48 +0200nacation(~m-3l4s76@user/nacation) nacation
2025-05-02 10:19:52 +0200nacation(~m-3l4s76@user/nacation) (Remote host closed the connection)
2025-05-02 10:22:54 +0200nacation(~m-3l4s76@user/nacation) nacation
2025-05-02 10:27:20 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-05-02 10:29:58 +0200tromp(~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-02 10:35:21 +0200chele(~chele@user/chele) chele
2025-05-02 10:36:51 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-05-02 10:41:59 +0200xff0x(~xff0x@2405:6580:b080:900:70da:5e:441c:b741) (Ping timeout: 252 seconds)
2025-05-02 10:43:44 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp
2025-05-02 10:44:31 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) m1dnight
2025-05-02 10:45:33 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-05-02 10:48:42 +0200poscat(~poscat@user/poscat) poscat
2025-05-02 10:49:37 +0200xff0x(~xff0x@2405:6580:b080:900:70da:5e:441c:b741)
2025-05-02 10:53:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-02 10:56:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-02 10:57:55 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-05-02 10:58:36 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-02 11:00:19 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-05-02 11:02:35 +0200m1dnight_(~m1dnight@d8D861908.access.telenet.be) m1dnight
2025-05-02 11:03:19 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 260 seconds)
2025-05-02 11:03:46 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-05-02 11:08:54 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-05-02 11:09:14 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de)
2025-05-02 11:09:35 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-02 11:10:11 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 11:16:05 +0200nacation(~m-3l4s76@user/nacation) (Remote host closed the connection)
2025-05-02 11:19:02 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-05-02 11:20:08 +0200nacation(~m-3l4s76@user/nacation) nacation
2025-05-02 11:21:46 +0200dhil(~dhil@openvpn-125-1069.inf.ed.ac.uk) dhil
2025-05-02 11:21:48 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de)
2025-05-02 11:25:20 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-02 11:25:37 +0200nadja(~dequbed@banana-new.kilobyte22.de) (Ping timeout: 244 seconds)
2025-05-02 11:25:53 +0200JuanDaughertyColinRobinson
2025-05-02 11:27:33 +0200nadja(~dequbed@banana-new.kilobyte22.de) dequbed
2025-05-02 11:28:58 +0200xff0x(~xff0x@2405:6580:b080:900:70da:5e:441c:b741) (Ping timeout: 276 seconds)
2025-05-02 11:29:24 +0200xff0x(~xff0x@2405:6580:b080:900:eadd:b346:77f9:cfbc)
2025-05-02 11:33:15 +0200nadja(~dequbed@banana-new.kilobyte22.de) (Ping timeout: 265 seconds)
2025-05-02 11:36:19 +0200tromp(~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e)
2025-05-02 11:37:02 +0200nadja(~dequbed@banana-new.kilobyte22.de) dequbed
2025-05-02 11:46:45 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-05-02 11:46:57 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-02 11:47:25 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de)
2025-05-02 11:48:01 +0200xff0x(~xff0x@2405:6580:b080:900:eadd:b346:77f9:cfbc) (Quit: xff0x)
2025-05-02 11:50:32 +0200tromp(~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-02 11:51:15 +0200xff0x(~xff0x@2405:6580:b080:900:7099:7f52:1441:1e43)
2025-05-02 11:51:36 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-02 11:51:54 +0200euleritian(~euleritia@77.23.248.47)
2025-05-02 11:51:58 +0200hellwolfjust realized that I need Cont, after getting cute and trying to come up some clever jigsaw mechanism.
2025-05-02 11:52:43 +0200 <hellwolf> Cont is both easy and hard to understand at the same time. I remember geek o saur said something about that too
2025-05-02 11:55:02 +0200 <merijn> @quote didn't.you.write
2025-05-02 11:55:02 +0200 <lambdabot> dobblego says: <dobblego> Cale, didn't you write one? :) <Cale> dobblego: two actually, and a half.
2025-05-02 11:55:05 +0200 <merijn> aww
2025-05-02 11:55:07 +0200 <merijn> wrong quote
2025-05-02 11:55:13 +0200 <merijn> @quote stares.at
2025-05-02 11:55:14 +0200 <lambdabot> autrijus says: * autrijus stares at type Eval x = forall r. ContT r (ReaderT x IO) (ReaderT x IO x) and feels very lost <shapr> Didn't you write that code? <autrijus> yeah. and it works <autrijus> I
2025-05-02 11:55:14 +0200 <lambdabot> just don't know what it means.
2025-05-02 11:55:18 +0200 <merijn> That one :)
2025-05-02 11:55:55 +0200hellwolffeeling every day I am just discovering new programs; I have not created much new things.
2025-05-02 11:58:32 +0200 <hellwolf> @quote cute
2025-05-02 11:58:32 +0200 <lambdabot> Jafet says: In Soviet Russia, State executes you
2025-05-02 11:59:27 +0200 <hellwolf> @quote SovietT
2025-05-02 11:59:27 +0200 <lambdabot> No quotes match. And you call yourself a Rocket Scientist!
2025-05-02 11:59:51 +0200euleritian(~euleritia@77.23.248.47) (Read error: Connection reset by peer)
2025-05-02 11:59:59 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de)
2025-05-02 12:00:08 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-05-02 12:00:21 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-02 12:00:36 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-05-02 12:00:38 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 12:00:56 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-02 12:03:15 +0200tromp(~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e)
2025-05-02 12:09:08 +0200 <haskellbridge> <hellwolf> Thanks haskellbridge, leaking my location.
2025-05-02 12:09:08 +0200 <haskellbridge> <hellwolf> again
2025-05-02 12:09:19 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 244 seconds)
2025-05-02 12:14:44 +0200zmt00(~zmt00@user/zmt00) zmt00
2025-05-02 12:14:59 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-02 12:15:03 +0200zmt00(~zmt00@user/zmt00) (Remote host closed the connection)
2025-05-02 12:15:28 +0200zmt00(~zmt00@user/zmt00) zmt00
2025-05-02 12:15:52 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-02 12:16:33 +0200malte(~malte@mal.tc) (Ping timeout: 244 seconds)