| 2025-07-11 00:02:29 +0200 | dtman34 | (~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 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-11 00:04:18 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 00:04:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 00:08:00 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-11 00:09:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-11 00:11:04 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-11 00:19:38 +0200 | dtman34 | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 00:20:36 +0200 | Enrico63 | (~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 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 00:26:35 +0200 | balthxzar | (~balthxzar@user/Balthxzar) Balthxzar |
| 2025-07-11 00:27:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 00:27:18 +0200 | YoungFrog | (~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 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2025-07-11 00:28:04 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-11 00:32:50 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 248 seconds) |
| 2025-07-11 00:37:14 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 268 seconds) |
| 2025-07-11 00:38:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 00:39:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 00:42:09 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 00:43:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 00:53:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 00:58:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 00:59:30 +0200 | dtman34 | (~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 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 01:05:18 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-11 01:05:27 +0200 | Guest59 | (~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 +0200 | dtman34 | (~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 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 01:09:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 01:14:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-11 01:17:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:941f:7155:1fdd:56c0) (Ping timeout: 252 seconds) |
| 2025-07-11 01:17:48 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-11 01:18:32 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 01:19:21 +0200 | dtman34 | (~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 +0200 | Guest59 | (~Guest59@2600:8801:be0c:b200:f0d4:8326:933b:b3cb) (Quit: Client closed) |
| 2025-07-11 01:21:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-07-11 01:21:15 +0200 | ljdarj1 | ljdarj |
| 2025-07-11 01:23:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-11 01:24:33 +0200 | xff0x | (~xff0x@2405:6580:b080:900:941f:7155:1fdd:56c0) |
| 2025-07-11 01:25:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 01:27:34 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-07-11 01:30:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 01:35:51 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 01:36:00 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 01:36:14 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 01:38:12 +0200 | dtman34 | (~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 +0200 | merijn | (~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 +0200 | Profpatsch | (~Profpatsc@user/Profpatsch) Profpatsch |
| 2025-07-11 01:43:25 +0200 | <Profpatsch> | bla |
| 2025-07-11 01:43:27 +0200 | dtman34 | (~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 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-07-11 01:45:22 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 01:45:48 +0200 | merijn | (~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 +0200 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-07-11 01:47:07 +0200 | dmjio | (~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 +0200 | yin | (~zero@user/zero) zero |
| 2025-07-11 01:50:28 +0200 | dtman34 | (~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 +0200 | machinedgod | (~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 +0200 | acidjnk | (~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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 02:02:28 +0200 | jespada | (~jespada@r190-133-9-81.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-07-11 02:03:30 +0200 | merijn | (~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 +0200 | ChaiTRex | (~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 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-07-11 02:08:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-11 02:08:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 02:09:27 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 02:13:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-11 02:23:57 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-07-11 02:24:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 02:29:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-11 02:36:36 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-11 02:37:36 +0200 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-07-11 02:38:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:941f:7155:1fdd:56c0) (Ping timeout: 260 seconds) |
| 2025-07-11 02:40:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 02:42:35 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-11 02:44:20 +0200 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-11 02:45:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-11 02:49:33 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-11 02:49:59 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 02:53:17 +0200 | td_ | (~td@i53870910.versanet.de) (Quit: waking up from the american dream ...) |