| 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 ...) |
| 2025-07-11 02:56:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 02:56:13 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-07-11 02:57:15 +0200 | balthxzar | (~balthxzar@user/Balthxzar) (Quit: Konversation terminated!) |
| 2025-07-11 02:58:13 +0200 | falafel | (~falafel@79.117.174.28) (Remote host closed the connection) |
| 2025-07-11 03:01:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 03:05:07 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-11 03:07:29 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-07-11 03:07:54 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 03:08:23 +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 03:09:25 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 03:11:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 03:14:38 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 03:16:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 03:17:50 +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 03:18:14 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 03:18:41 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 03:24:49 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-11 03:27:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 03:29:17 +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 03:32:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 03:41:36 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-11 03:43:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 03:44:17 +0200 | dmjio | (~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13) (Remote host closed the connection) |
| 2025-07-11 03:47:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-11 03:49:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 03:56:16 +0200 | Zer000 | (~02@64.137.132.10) Zer000 |
| 2025-07-11 03:58:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 04:03:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 04:11:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 04:13:28 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 04:13:42 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 04:17:22 +0200 | merijn | (~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 +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 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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 04:32:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 04:33:14 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-07-11 04:34:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-07-11 04:36:02 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 04:36:16 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 04:40:30 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 04:43:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 04:45:39 +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 04:45:48 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 245 seconds) |
| 2025-07-11 04:45:54 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-07-11 04:48:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 04:59:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 05:02:06 +0200 | <jreicher> | A web-UI is not cross-platform. The web browser becomes the platform. It's a way of changing the problem rather than solvingit. |
| 2025-07-11 05:03:05 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 05:05:21 +0200 | <c_wraith> | It changes it to something that's easier than using native toolkits for each platform. |
| 2025-07-11 05:05:27 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-11 05:06:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 05:08:29 +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 05:10:45 +0200 | <jreicher> | No arguments there. But there are downsides to changing the problem rather than solving it. |
| 2025-07-11 05:10:52 +0200 | <geekosaur> | web browser developers (a) have a lot more incentive to make sure things work the same way everywhere (b) aren't hobbled by pre-existing platform-specific behavior |
| 2025-07-11 05:12:13 +0200 | <jreicher> | I agree, but browsers still carry some history from when they weren't being used for this purpose. I think we'd have something a bit different if it was designed as an abstraction layer. |
| 2025-07-11 05:13:49 +0200 | <geekosaur> | true, but they're still far more successful at "write once, run everywhere" than Java ever was |
| 2025-07-11 05:14:20 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 05:17:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 05:17:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-11 05:19:09 +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 05:21:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 05:23:35 +0200 | <haskellbridge> | <maerwald> geekosaur: it can ;) |
| 2025-07-11 05:24:11 +0200 | <haskellbridge> | <maerwald> https://github.com/stable-haskell/ghc/pull/34 |
| 2025-07-11 05:27:24 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 05:27:38 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 05:32:16 +0200 | wbooze | (~inline@ip-005-146-197-046.um05.pools.vodafone-ip.de) Inline |
| 2025-07-11 05:32:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 05:37:30 +0200 | wbooze | (~inline@ip-005-146-197-046.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-07-11 05:37:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-11 05:46:29 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-07-11 05:47:30 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-07-11 05:48:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 05:50:39 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-11 05:52:09 +0200 | wbooze | (~inline@ip-005-146-197-046.um05.pools.vodafone-ip.de) Inline |
| 2025-07-11 05:52:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-11 05:52:18 +0200 | remedan | (~remedan@193-179-60-151.customers.tmcz.cz) (Ping timeout: 248 seconds) |
| 2025-07-11 05:52:30 +0200 | remedan_ | (~remedan@78-80-80-237.customers.tmcz.cz) remedan |
| 2025-07-11 05:53:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-11 05:57:59 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 05:59:37 +0200 | trickard_ | trickard |
| 2025-07-11 06:02:56 +0200 | khumba | (~khumba@user/khumba) khumba |
| 2025-07-11 06:04:24 +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 06:04:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 06:09:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-11 06:13:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 06:14:46 +0200 | Zer000 | (~02@64.137.132.10) (Quit: Leaving) |
| 2025-07-11 06:18:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-11 06:26:05 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-11 06:26:38 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-07-11 06:27:26 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-11 06:28:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 06:32:05 +0200 | Digitteknohippie | Digit |
| 2025-07-11 06:33:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-11 06:39:50 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-07-11 06:42:57 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 06:44:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 06:49:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-07-11 06:50:55 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-11 07:00:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 07:02:25 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-11 07:04:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 07:05:08 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-11 07:09:34 +0200 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-07-11 07:09:53 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-11 07:11:22 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-11 07:13:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 07:18:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 07:19:12 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
| 2025-07-11 07:20:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-07-11 07:22:46 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-11 07:25:43 +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 07:27:20 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 2025-07-11 07:29:06 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 07:29:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 07:34: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 07:34:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-11 07:35:00 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-11 07:35:30 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 07:36:27 +0200 | <Axman6> | I wish there was a Haskell library that wrapped Clay (https://www.nicbarker.com/clay) or reimplemented it and offered a lightweight, cross platform window system |
| 2025-07-11 07:39:02 +0200 | <haskellbridge> | <magic_rb> That looks interesting to support, can be that hard to throw together some bindings. I wonder if i can use it for my little game as an overlay |
| 2025-07-11 07:39:06 +0200 | <haskellbridge> | <Bowuigi> Wrapping the parts that Clay covers would be nice yeah, but remember that it asks you to provide your own renderer, like Nuklear or Dear ImGUI (IIRC?) |
| 2025-07-11 07:40:07 +0200 | <haskellbridge> | <Bowuigi> Something on top of gloss would be enough for GUI-only apps tho, for games you would use an OpenGL/Vulkan renderer instead |
| 2025-07-11 07:40:13 +0200 | <haskellbridge> | <magic_rb> > Renderer agnostic: outputs a sorted list of rendering primitives that can be easily composited in any 3D engine, and even compiled to HTML (examples provided) |
| 2025-07-11 07:40:15 +0200 | <haskellbridge> | Cant be that bad to wrangle this into opengl |
| 2025-07-11 07:41:10 +0200 | <haskellbridge> | <Bowuigi> It's reasonably simple, a lot of C libraries take this approach (again, Nuklear, Dear ImGUI, MicroUI, etc) |
| 2025-07-11 07:41:15 +0200 | <haskellbridge> | <magic_rb> https://github.com/nicbarker/clay/blob/main/renderers/SDL2/clay_renderer_SDL2.c they have a sdl2 renderer |
| 2025-07-11 07:41:49 +0200 | <haskellbridge> | <magic_rb> Im already using dear imgui, so i wonder how far can take dear imgui, as in make it not look like ass and use it for game UI |
| 2025-07-11 07:42:55 +0200 | <haskellbridge> | <Bowuigi> The renderers are separate from the actual library, that's why none of them are included in clay.h |
| 2025-07-11 07:43:31 +0200 | <haskellbridge> | <magic_rb> Do you pass them in as a function table? |
| 2025-07-11 07:45:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 07:45:54 +0200 | <haskellbridge> | <Bowuigi> No, you call Clay first to get the command list and then you call the renderer with that command list, kinda like a free monad interpreter, see https://github.com/nicbarker/clay/blob/main/examples/SDL2-video-demo/main.c#L41-L48 |
| 2025-07-11 07:47:27 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 276 seconds) |
| 2025-07-11 07:49:15 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-11 07:51:15 +0200 | <haskellbridge> | <Bowuigi> Another option is rewriting Clay. It's reasonably small, well documented and basically a DSL with multiple layout resolution passes. Could be a fun project idk |
| 2025-07-11 07:52:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-11 07:57:07 +0200 | <haskellbridge> | <magic_rb> interesting it can do retained mode too, good find, will try to use for my shitty game |
| 2025-07-11 07:57:11 +0200 | <haskellbridge> | <magic_rb> right after i finish the current task |
| 2025-07-11 08:00:26 +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 08:01:05 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-07-11 08:01:33 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 08:03:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 08:08:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-11 08:11:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-11 08:12:22 +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 08:14:30 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 08:14:33 +0200 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 245 seconds) |
| 2025-07-11 08:14:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 08:19:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-11 08:21:32 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-07-11 08:22:07 +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 08:22:28 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-07-11 08:22:29 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 08:22:43 +0200 | <Enrico63> | tomsmeding and geekosaur, thanks, I'll try that! |
| 2025-07-11 08:22:54 +0200 | michalz | (~michalz@185.246.207.215) |
| 2025-07-11 08:28:18 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-11 08:30:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 08:31:12 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 08:31:39 +0200 | Square | (~Square@user/square) Square |
| 2025-07-11 08:31:39 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-07-11 08:31:45 +0200 | olivial_ | (~benjaminl@c-76-144-39-121.hsd1.or.comcast.net) |
| 2025-07-11 08:34:06 +0200 | trickard_ | trickard |
| 2025-07-11 08:35:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 08:39:06 +0200 | <haskellbridge> | <Kyle Butt> Crossposting with matrix: I am attempting to upload a new candidate for "persist" on Hackage, but I need upload endorsement. User name: "KyleButt" |
| 2025-07-11 08:43:39 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-07-11 08:46:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 08:47:26 +0200 | <jackdk> | Kyle Butt: I see you've been added as a maintainer for that package. Please email hackage-trustees@haskell.org and someone should be able to give you those right. |
| 2025-07-11 08:48:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-11 08:49:04 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:248c:1ced:3c02:3361) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-07-11 08:49:21 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:cf3a:622b:30a0:a383) nschoe |
| 2025-07-11 08:51:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 08:52:06 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-11 08:53:29 +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 08:54:28 +0200 | Razn0r | (~quassel@94.142.208.170) |
| 2025-07-11 08:54:49 +0200 | aforemny | (~aforemny@2001:9e8:6cd0:8f00:4ee4:1bde:be57:6e02) aforemny |
| 2025-07-11 08:55:14 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 09:00:00 +0200 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-11 09:00:15 +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 09:00:17 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-11 09:00:40 +0200 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-11 09:01:55 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-11 09:02:20 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 09:05:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 09:09:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-11 09:16:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 09:16:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-11 09:20:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-11 09:23:29 +0200 | digitteknohippie | (~user@user/digit) Digit |
| 2025-07-11 09:26:56 +0200 | acidjnk | (~acidjnk@p200300d6e70b66237c900a45f667e7c0.dip0.t-ipconnect.de) acidjnk |
| 2025-07-11 09:31:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 09:36:20 +0200 | kuribas | (~user@ptr-17d51en9puii5q3jfnj.18120a2.ip6.access.telenet.be) kuribas |
| 2025-07-11 09:37:15 +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 09:38:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-11 09:38:19 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 09:40:48 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-11 09:41:29 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-07-11 09:42:22 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 09:43:48 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-11 09:49:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |