2025/07/11

2025-07-11 00:02:29 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-11 00:03:36 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-07-11 00:04:18 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-11 00:04:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 00:08:00 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-07-11 00:09:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-07-11 00:11:04 +0200caubert(~caubert@user/caubert) (Ping timeout: 276 seconds)
2025-07-11 00:19:38 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-11 00:20:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 00:20:36 +0200Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-07-11 00:23:08 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-07-11 00:23:22 +0200caubert(~caubert@user/caubert) caubert
2025-07-11 00:26:35 +0200balthxzar(~balthxzar@user/Balthxzar) Balthxzar
2025-07-11 00:27:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-11 00:27:18 +0200YoungFrog(~youngfrog@2a02:a03f:ca07:f900:fcdc:c4ca:c2a1:790b) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2025-07-11 00:27:38 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog
2025-07-11 00:28:04 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-11 00:32:50 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 248 seconds)
2025-07-11 00:37:14 +0200prdak(~Thunderbi@user/prdak) (Ping timeout: 268 seconds)
2025-07-11 00:38:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 00:39:30 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-11 00:42:09 +0200caubert(~caubert@user/caubert) caubert
2025-07-11 00:43:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-11 00:53:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 00:58:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-11 00:59:30 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-11 01:01:24 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-11 01:05:18 +0200caubert(~caubert@user/caubert) (Ping timeout: 252 seconds)
2025-07-11 01:05:27 +0200Guest59(~Guest59@2600:8801:be0c:b200:f0d4:8326:933b:b3cb)
2025-07-11 01:07:54 +0200 <Guest59> Hi, I'm looking for a book suggestion once I finish https://haskell.mooc.fi, I'm coming from a background of imperative programming.
2025-07-11 01:08:29 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-11 01:09:28 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-11 01:09:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 01:14:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-11 01:17:17 +0200xff0x(~xff0x@2405:6580:b080:900:941f:7155:1fdd:56c0) (Ping timeout: 252 seconds)
2025-07-11 01:17:48 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-07-11 01:18:32 +0200caubert(~caubert@user/caubert) caubert
2025-07-11 01:19:21 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-11 01:19:43 +0200Guest59(~Guest59@2600:8801:be0c:b200:f0d4:8326:933b:b3cb) (Quit: Client closed)
2025-07-11 01:21:15 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-07-11 01:21:15 +0200ljdarj1ljdarj
2025-07-11 01:23:29 +0200caubert(~caubert@user/caubert) (Ping timeout: 260 seconds)
2025-07-11 01:24:33 +0200xff0x(~xff0x@2405:6580:b080:900:941f:7155:1fdd:56c0)
2025-07-11 01:25:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 01:27:34 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds)
2025-07-11 01:30:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-11 01:35:51 +0200caubert(~caubert@user/caubert) caubert
2025-07-11 01:36:00 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-11 01:36:14 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-11 01:38:12 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-11 01:41:22 +0200 <haskellbridge> <Profpatsch> instance GenericStructSimple Maybe where
2025-07-11 01:41:22 +0200 <haskellbridge> <Profpatsch> Just a -> encodeSimpleValue $ G.from a
2025-07-11 01:41:22 +0200 <haskellbridge> <Profpatsch> encodeSimpleValue = \case
2025-07-11 01:41:22 +0200 <haskellbridge> <Profpatsch> Nothing -> Enc.null
2025-07-11 01:41:22 +0200 <haskellbridge> <Profpatsch> encodeSimpleValue :: Maybe a -> Enc
2025-07-11 01:41:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 01:41:45 +0200 <haskellbridge> <Profpatsch> This does not work because I cannot reference the "forall a" in the instance can I?
2025-07-11 01:42:09 +0200 <haskellbridge> <Profpatsch> i.e. I want to say give me the rep of the "a", so I can pass it through specifically Maybe
2025-07-11 01:43:20 +0200Profpatsch(~Profpatsc@user/Profpatsch) Profpatsch
2025-07-11 01:43:25 +0200 <Profpatsch> bla
2025-07-11 01:43:27 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-11 01:43:41 +0200 <Profpatsch> Okay, maybe let’s do this from IRC. Matrix is so bad
2025-07-11 01:43:46 +0200 <Profpatsch> https://code.tvl.fyi/tree/users/Profpatsch/whatcd-resolver/src/AppT.hs#n377
2025-07-11 01:44:20 +0200 <Profpatsch> This is the impl as it stands so far, for converting generic structs to a json encoding that can be passed to opentelemetry
2025-07-11 01:44:45 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2025-07-11 01:45:22 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-11 01:45:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-11 01:46:13 +0200 <Profpatsch> So far I only accept things that implement ToOtelJsonAttr as values of the struct, but I kinda want to be able to recursively have generic structs as well, and also have recursive structs inside Maybe specifically
2025-07-11 01:46:39 +0200yin(~zero@user/zero) (Remote host closed the connection)
2025-07-11 01:47:07 +0200dmjio(~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13)
2025-07-11 01:48:12 +0200 <Profpatsch> maybe for the Maybe case I’d actually have to go through (MetaData "Maybe" "GHC.Maybe" "base" False) ?
2025-07-11 01:49:21 +0200yin(~zero@user/zero) zero
2025-07-11 01:50:28 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-11 01:51:12 +0200 <Profpatsch> But then again I cannot say
2025-07-11 01:51:14 +0200 <Profpatsch> instance (GenericStruct f) => GenericStructSimple (G.K1 i val) where
2025-07-11 01:51:19 +0200 <Profpatsch> where I already said instance (ToOtelJsonAttr val) => GenericStructSimple (G.K1 i val) where
2025-07-11 01:51:21 +0200 <geekosaur> actually if you'd used a code block it would have been pastebinned on this side
2025-07-11 01:51:34 +0200 <Profpatsch> weechat-matrix does not have codeblocks
2025-07-11 01:51:57 +0200 <geekosaur> that sounds like a weechat problem, not a matrix problem
2025-07-11 01:52:24 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-07-11 01:53:25 +0200 <Profpatsch> I refuse to use a chat client that takes 10+ seconds to show a simple screen of text (element)
2025-07-11 01:53:57 +0200acidjnk(~acidjnk@p200300d6e70b66237c900a45f667e7c0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2025-07-11 01:54:37 +0200 <Profpatsch> And every hacker that said “oh this is so much better” should be punished for what they brought over us
2025-07-11 01:56:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 02:02:28 +0200jespada(~jespada@r190-133-9-81.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds)
2025-07-11 02:03:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-11 02:04:15 +0200 <Profpatsch> okay uh I need to sleep over this, Generics are so hard
2025-07-11 02:05:14 +0200 <geekosaur> I use nheko, it's a little less well designed UI and not quite as complete (mostly missing admin-type stuff) but it's significantly faster
2025-07-11 02:05:40 +0200 <geekosaur> and while some people here consider its IRC-ish design a minus, I consider it a plus 🙂
2025-07-11 02:06:38 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds)
2025-07-11 02:06:59 +0200 <geekosaur> element is one of those ridiculous electron apps
2025-07-11 02:07:28 +0200 <geekosaur> gotta wade through a few hundred thousand lines of JS just to sneeze
2025-07-11 02:07:57 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2025-07-11 02:08:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-07-11 02:08:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 02:09:27 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-11 02:13:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-07-11 02:23:57 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-07-11 02:24:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 02:29:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-11 02:36:36 +0200Digitteknohippie(~user@user/digit) Digit
2025-07-11 02:37:36 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-07-11 02:38:09 +0200xff0x(~xff0x@2405:6580:b080:900:941f:7155:1fdd:56c0) (Ping timeout: 260 seconds)
2025-07-11 02:40:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 02:42:35 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-07-11 02:44:20 +0200falafel(~falafel@79.117.174.28) falafel
2025-07-11 02:45:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-07-11 02:49:33 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-07-11 02:49:59 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-11 02:53:17 +0200td_(~td@i53870910.versanet.de) (Quit: waking up from the american dream ...)
2025-07-11 02:56:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 02:56:13 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-07-11 02:57:15 +0200balthxzar(~balthxzar@user/Balthxzar) (Quit: Konversation terminated!)
2025-07-11 02:58:13 +0200falafel(~falafel@79.117.174.28) (Remote host closed the connection)
2025-07-11 03:01:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-11 03:05:07 +0200aaronv__(~aaronv@user/aaronv) aaronv
2025-07-11 03:07:29 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-07-11 03:07:54 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-11 03:08:23 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-11 03:09:25 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-11 03:11:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 03:14:38 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-11 03:16:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-11 03:17:50 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-11 03:18:14 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-07-11 03:18:41 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-11 03:24:49 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-07-11 03:27:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 03:29:17 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-11 03:32:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-11 03:41:36 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-07-11 03:43:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 03:44:17 +0200dmjio(~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13) (Remote host closed the connection)
2025-07-11 03:47:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-07-11 03:49:30 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34
2025-07-11 03:56:16 +0200Zer000(~02@64.137.132.10) Zer000
2025-07-11 03:58:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 04:03:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-07-11 04:11:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 04:13:28 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-07-11 04:13:42 +0200trickard_(~trickard@cpe-85-98-47-163.wireline.com.au)
2025-07-11 04:17:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-07-11 04:21:30 +0200 <probie> What's the current state of the art in cross-platform UI? Is it still either wx or "spin up a webserver and make them use their browser"?
2025-07-11 04:21:32 +0200dtman34(~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-07-11 04:22:00 +0200 <monochrom> Yes.
2025-07-11 04:24:17 +0200 <geekosaur> and probably always will be
2025-07-11 04:27:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-07-11 04:32:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-07-11 04:33:14 +0200weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)