2025/08/20

2025-08-20 00:03:03 +0200Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973)
2025-08-20 00:09:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 00:13:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-20 00:13:55 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-20 00:15:10 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-20 00:24:06 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-20 00:24:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 00:29:48 +0200jreicher(~user@user/jreicher) jreicher
2025-08-20 00:31:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 00:33:56 +0200thaumavorio(~thaumavor@thaumavor.io) (Server closed connection)
2025-08-20 00:35:46 +0200thaumavorio(~thaumavor@thaumavor.io) thaumavorio
2025-08-20 00:37:37 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-20 00:38:52 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-08-20 00:42:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 00:47:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 00:48:55 +0200mreh(~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Quit: Lost terminal)
2025-08-20 00:55:38 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Server closed connection)
2025-08-20 00:55:49 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2025-08-20 00:56:07 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-20 00:57:00 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
2025-08-20 00:57:47 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-08-20 00:58:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 01:02:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-20 01:03:07 +0200danso(~danso@user/danso) (Server closed connection)
2025-08-20 01:03:21 +0200danso(~danso@user/danso) danso
2025-08-20 01:04:16 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-08-20 01:07:36 +0200weary-traveler(~user@user/user363627) user363627
2025-08-20 01:08:27 +0200jackdk(uid373013@cssa/life/jackdk) jackdk
2025-08-20 01:10:17 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-08-20 01:13:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 01:18:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-20 01:19:25 +0200m1dnight_(~m1dnight@109.236.62.22) (Server closed connection)
2025-08-20 01:19:50 +0200m1dnight_(~m1dnight@109.236.62.22) m1dnight
2025-08-20 01:22:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-20 01:22:33 +0200sprotte24(~sprotte24@p200300d16f445500910c90280ba239a5.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-20 01:22:50 +0200rekahsoft(~rekahsoft@174.95.4.83) rekahsoft
2025-08-20 01:28:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 01:31:22 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-08-20 01:31:22 +0200ChanServ+v haskellbridge
2025-08-20 01:33:12 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-08-20 01:33:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-08-20 01:33:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-20 01:36:37 +0200sp1ff(~user@c-24-21-190-184.hsd1.wa.comcast.net) (Ping timeout: 244 seconds)
2025-08-20 01:36:59 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-08-20 01:36:59 +0200ChanServ+v haskellbridge
2025-08-20 01:37:03 +0200acidjnk(~acidjnk@p200300d6e7171905d82a82feba3d589b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-08-20 01:38:00 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-20 01:44:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 01:48:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 01:49:45 +0200rekahsoft(~rekahsoft@174.95.4.83) (Remote host closed the connection)
2025-08-20 01:51:22 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-08-20 01:59:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 02:01:08 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-08-20 02:01:33 +0200Square2(~Square@user/square) Square
2025-08-20 02:06:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-20 02:08:17 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection)
2025-08-20 02:13:06 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-20 02:17:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 02:20:32 +0200aku(aku@2a01:4f9:c010:836c::1) (Server closed connection)
2025-08-20 02:22:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 02:25:42 +0200aku(aku@2a01:4f9:c010:836c::1) eagleflo
2025-08-20 02:27:12 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-08-20 02:29:36 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-08-20 02:30:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-20 02:33:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 02:35:20 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-20 02:37:40 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-20 02:38:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 02:41:50 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-20 02:48:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 02:53:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 02:55:05 +0200xff0x(~xff0x@ai101228.d.east.v6connect.net) (Ping timeout: 256 seconds)
2025-08-20 02:55:38 +0200ludat(~ludat@2800:810:443:51c:d627:8ffb:afe7:22fb) ludat
2025-08-20 03:03:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 03:04:33 +0200ski(~ski@remote11.chalmers.se) (Ping timeout: 245 seconds)
2025-08-20 03:07:33 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 256 seconds)
2025-08-20 03:08:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-20 03:08:54 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-08-20 03:12:33 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-20 03:12:46 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-20 03:14:00 +0200ludat15(~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) ludat
2025-08-20 03:17:45 +0200ludat(~ludat@2800:810:443:51c:d627:8ffb:afe7:22fb) (Ping timeout: 250 seconds)
2025-08-20 03:19:08 +0200ski(~ski@remote11.chalmers.se)
2025-08-20 03:19:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 03:21:15 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-08-20 03:24:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 03:30:14 +0200trickard_trickard
2025-08-20 03:31:07 +0200 <ludat15> hello everyone, I was researching and I couldn't find anything about it, is there any support for the wasm backend in stack?
2025-08-20 03:33:41 +0200petrichor(~jez@user/petrichor) (Read error: Connection reset by peer)
2025-08-20 03:34:10 +0200 <glguy> ludat15, I haven't tried, but just looking at https://ghc.gitlab.haskell.org/ghc/doc/users_guide/wasm.html "There isn’t a GHC option which allows you to use a stock GHC installed via ghcup or stack to generate wasm."
2025-08-20 03:34:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 03:36:51 +0200petrichor(~jez@user/petrichor) petrichor
2025-08-20 03:38:58 +0200 <haskellbridge> <maerwald> Not yet
2025-08-20 03:39:38 +0200 <haskellbridge> <maerwald> IOG is working on retargetable cross
2025-08-20 03:39:53 +0200 <haskellbridge> <maerwald> But not sure when it's in a state to be upstreamable
2025-08-20 03:42:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 03:42:50 +0200 <ludat15> oh ok, thanks!
2025-08-20 03:42:57 +0200 <geekosaur> there's some very preliminary support in cabal, but don't be surprised if it has limitations or bugs because it hasn't gotten much in the way of testing as yet (and in particular we don't have any wasm building or testing in our CI yet; contributors welcome though)
2025-08-20 03:45:55 +0200tremon(~tremon@83.80.159.219) (Remote host closed the connection)
2025-08-20 03:46:08 +0200remmie(ianremsen@tilde.team) (Server closed connection)
2025-08-20 03:48:54 +0200remmie(ianremsen@tilde.team) remsense
2025-08-20 03:49:29 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-08-20 03:52:25 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-20 03:52:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 03:59:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 03:59:58 +0200 <ludat15> cool thanks again for the details, I had the idea that this was much further along than what it actually is, thanks for the clarification
2025-08-20 04:00:38 +0200 <ludat15> is there a link where I could contribute to that? I have some experience with gitlabci
2025-08-20 04:10:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 04:12:33 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-20 04:13:48 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-08-20 04:15:00 +0200ft(~ft@p200300cf3f165900e109d4f322676623.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-08-20 04:15:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 04:21:51 +0200ft(~ft@p508db5fa.dip0.t-ipconnect.de) ft
2025-08-20 04:23:12 +0200 <geekosaur> cabal is on github, not gitlab
2025-08-20 04:23:28 +0200 <geekosaur> and wasm is still fairly early even in ghc, much less tooling support
2025-08-20 04:26:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 04:28:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-20 04:28:51 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-08-20 04:29:05 +0200 <geekosaur> (tbh I think most of us have been waiting for ghc wasm to settle down a bit before trying to support it properly. but see for example https://github.com/haskell/cabal/issues/10923
2025-08-20 04:31:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-20 04:38:34 +0200tv(~tv@user/tv) (Server closed connection)
2025-08-20 04:38:57 +0200tv(~tv@user/tv) tv
2025-08-20 04:41:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 04:46:33 +0200Guest6229(~Guest6229@8.211.128.144)
2025-08-20 04:46:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 04:46:57 +0200 <Guest6229> what is a combinator?
2025-08-20 04:50:50 +0200 <geekosaur> a function designed to be combined with other functions in some fashion
2025-08-20 04:51:10 +0200 <geekosaur> as a parameter applied to something, in a chain of function applications, etc.
2025-08-20 04:51:19 +0200 <geekosaur> it's pretty loose
2025-08-20 04:51:45 +0200 <haskellbridge> <iqubic (she/her)> Like (.) or on
2025-08-20 04:53:32 +0200 <Leary> There is a strict definition, but it's more often used loosely. "A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments."
2025-08-20 04:56:02 +0200 <geekosaur> you can define combinators in other languages, but FP languages generally make them a lot more convenient, so they get used widely
2025-08-20 04:57:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 04:57:26 +0200ackthet(~ackthet@user/ackthet) (Server closed connection)
2025-08-20 04:57:44 +0200ackthet(~ackthet@user/ackthet) ackthet
2025-08-20 04:58:15 +0200 <Guest6229> Control.Monad.fix is Y combinator?
2025-08-20 04:58:34 +0200 <geekosaur> a special purpose combinator, but yes
2025-08-20 04:59:17 +0200 <geekosaur> well, it's as close as we can get to it; strictly speaking, the Y combinator can't be typed and only exists in itsd purest form within the untyped lambda calculus
2025-08-20 04:59:20 +0200 <geekosaur> *its
2025-08-20 04:59:30 +0200 <Leary> Not really. `Data.Function.fix` is Haskell's equivalent of the Y combinator, but it's not actually implemented as such.
2025-08-20 04:59:46 +0200 <Leary> And you can type Y with newtypes.
2025-08-20 05:00:41 +0200 <Leary> The real issue with it is runaway "simplification" (and non-sharing).
2025-08-20 05:02:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 05:02:57 +0200 <jreicher> Guest6229: In the formalisms it is a function that has its own reduction rule
2025-08-20 05:03:21 +0200 <jreicher> But in the translation to lambda calculus it's usually used to mean a lambda abstraction of a certain form
2025-08-20 05:03:33 +0200 <Guest6229> Y = λf. (λx.f (x x)) (λx.f (x x))  turn this to haskell is Y = \f -> (\x -> f (x x)) (\x -> f (x x))?
2025-08-20 05:04:17 +0200 <jreicher> That's a lambda "equivalent" of the Y combinator. In combinator calculus it is no more and no less than Y f -> f (Y f). It has that reduction rule.
2025-08-20 05:04:19 +0200 <Guest6229> but in haskell fix f = let x = f x in x
2025-08-20 05:12:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 05:13:58 +0200 <geekosaur> let is recursive, so it incorporates the recursion in the combinator calculus version automatically. (That is, the `x` on both sides of the `=` are the same, so Haskell keeps solving for that `x`)
2025-08-20 05:17:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 05:18:21 +0200 <jreicher> I haven't looked, but I'm pretty sure Haskell would be building a circular data structure for it too.
2025-08-20 05:18:53 +0200tinjamin47(~tinjamin@banshee.h4x0r.space)
2025-08-20 05:19:43 +0200 <haskellbridge> <iqubic (she/her)> fix is useful
2025-08-20 05:19:58 +0200 <Guest6229> examples?
2025-08-20 05:20:21 +0200tinjamin4(~tinjamin@banshee.h4x0r.space) (Ping timeout: 248 seconds)
2025-08-20 05:20:21 +0200tinjamin47tinjamin4
2025-08-20 05:20:45 +0200 <haskellbridge> <iqubic (she/her)> factorial n = fix (\f -> if n == 0 then 1 else f (n - 1) * n)
2025-08-20 05:21:54 +0200 <haskellbridge> <iqubic (she/her)> I'm sure there are other examples out there. But much like Haskell itself, I'm a lazy lady
2025-08-20 05:22:50 +0200 <haskellbridge> <iqubic (she/her)> I also like doing dumb things like:
2025-08-20 05:23:26 +0200 <haskellbridge> <iqubic (she/her)> ones = fix (\x -> cycle (1 : x))
2025-08-20 05:23:58 +0200 <haskellbridge> <iqubic (she/her)> > fix (\x -> cycle (1 : x))
2025-08-20 05:24:12 +0200 <haskellbridge> <iqubic (she/her)> Looks like lambdabot doesn't like bridged messages.
2025-08-20 05:24:33 +0200 <Leary> > fix (1:)
2025-08-20 05:24:35 +0200 <lambdabot> [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1...
2025-08-20 05:26:12 +0200 <haskellbridge> <iqubic (she/her)> fibs = fix (scanl (+) 0 . (1:))
2025-08-20 05:26:28 +0200 <haskellbridge> <iqubic (she/her)> Don't ask me why that works. I don't know.
2025-08-20 05:27:06 +0200connrs(~connrs@user/connrs) (Server closed connection)
2025-08-20 05:27:13 +0200connrs(~connrs@user/connrs) connrs
2025-08-20 05:27:41 +0200Guest43(~Guest6229@8.211.128.144)
2025-08-20 05:28:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 05:30:21 +0200Guest6229(~Guest6229@8.211.128.144) (Ping timeout: 250 seconds)
2025-08-20 05:32:05 +0200Guest43(~Guest6229@8.211.128.144) (Ping timeout: 250 seconds)
2025-08-20 05:32:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 05:37:35 +0200aforemny(~aforemny@2001:9e8:6ce5:a500:3aae:62bd:8c6e:65de) aforemny
2025-08-20 05:38:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 05:38:51 +0200aforemny_(~aforemny@i577B1287.versanet.de) (Ping timeout: 256 seconds)
2025-08-20 05:38:54 +0200Guest6229(~Guest6229@8.211.128.144)
2025-08-20 05:43:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 05:48:59 +0200Guest6229(~Guest6229@8.211.128.144) (Ping timeout: 250 seconds)
2025-08-20 05:53:55 +0200 <jcarpenter2> I'm going to try out ghcprofview-hs
2025-08-20 05:54:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 05:56:03 +0200 <jcarpenter2> well heck, it didn't build lol
2025-08-20 05:56:20 +0200 <jcarpenter2> hmmmmmmmm
2025-08-20 05:56:38 +0200 <jcarpenter2> I wonder how long it would take me to write a GUI utility.
2025-08-20 06:00:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 06:12:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 06:16:30 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-08-20 06:16:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-20 06:22:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-20 06:25:00 +0200chymera(~chymera@ns1000526.ip-51-81-46.us) (Server closed connection)
2025-08-20 06:25:18 +0200chymera(~chymera@ns1000526.ip-51-81-46.us) chymera
2025-08-20 06:27:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 06:27:55 +0200fgarcia(~lei@user/fgarcia) (Quit: Remote host closed the connection)
2025-08-20 06:29:57 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-20 06:32:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)