| 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 |
| 2025-07-11 09:55:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-11 09:55:46 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 09:56:23 +0200 | staffordsbeard | (~daniel@38.172.81.174) |
| 2025-07-11 09:57:16 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-11 09:58:04 +0200 | staffordsbeard | (~daniel@38.172.81.174) (Client Quit) |
| 2025-07-11 10:01:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-11 10:04:37 +0200 | patri_ | (~patri@user/patri) (Ping timeout: 248 seconds) |
| 2025-07-11 10:05:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 10:06:06 +0200 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-07-11 10:07:46 +0200 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 276 seconds) |
| 2025-07-11 10:07:47 +0200 | JamesMowery177 | JamesMowery17 |
| 2025-07-11 10:10:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 10:15:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 10:17:27 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-11 10:29:21 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-07-11 10:40:19 +0200 | Guest30 | (~Guest30@93-41-2-219.ip79.fastwebnet.it) |
| 2025-07-11 10:45:23 +0200 | Guest30 | (~Guest30@93-41-2-219.ip79.fastwebnet.it) (Quit: Client closed) |
| 2025-07-11 10:48:09 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-11 11:02:56 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-07-11 11:03:14 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-11 11:04:51 +0200 | patri_ | (~patri@user/patri) patri |
| 2025-07-11 11:08:58 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-11 11:16:11 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-11 11:16:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-11 11:17:53 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-07-11 11:17:53 +0200 | prdak1 | prdak |
| 2025-07-11 11:22:52 +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 11:23:14 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 11:35:50 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-11 11:45:18 +0200 | fp | (~Thunderbi@87-94-146-72.rev.dnainternet.fi) fp |
| 2025-07-11 11:50:34 +0200 | patri_ | (~patri@user/patri) (Ping timeout: 260 seconds) |
| 2025-07-11 11:53:09 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-07-11 12:02:49 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-11 12:06:11 +0200 | ridcully | (~ridcully@p508accb3.dip0.t-ipconnect.de) (Quit: WeeChat 4.6.3) |
| 2025-07-11 12:14:31 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 12:20:28 +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 12:20:51 +0200 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-07-11 12:36:52 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 12:37:06 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 12:40:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-11 12:45:46 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-11 12:48:28 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-07-11 12:48:28 +0200 | prdak1 | prdak |
| 2025-07-11 12:52:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 12:55:34 +0200 | ridcully | (~ridcully@pd951f729.dip0.t-ipconnect.de) ridcully |
| 2025-07-11 12:56:49 +0200 | patri_ | (~patri@user/patri) patri |
| 2025-07-11 12:57:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 13:00:01 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-07-11 13:00:01 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-07-11 13:00:01 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-07-11 13:01:29 +0200 | jespada | (~jespada@r190-133-15-43.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-11 13:07:35 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 13:07:50 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 13:08:43 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-11 13:09:05 +0200 | mxs9 | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2025-07-11 13:09:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 13:10:22 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 13:15:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 13:21:01 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-11 13:21:27 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-07-11 13:22:14 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 13:22:28 +0200 | digitteknohippie | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2025-07-11 13:22:44 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-07-11 13:22:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-11 13:27:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 13:28:46 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-07-11 13:29:13 +0200 | kuribas | (~user@ptr-17d51en9puii5q3jfnj.18120a2.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-07-11 13:30:01 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-07-11 13:30:42 +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 13:30:51 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-07-11 13:31:14 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 13:35:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-11 13:35:26 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-11 13:36:32 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-07-11 13:37:42 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-11 13:39: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 13:43:27 +0200 | ais | (~ais@139.red-83-36-42.dynamicip.rima-tde.net) |
| 2025-07-11 13:44:17 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-07-11 13:47:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-11 13:48:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 13:50:10 +0200 | ais | (~ais@139.red-83-36-42.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2025-07-11 13:51:30 +0200 | fp | (~Thunderbi@87-94-146-72.rev.dnainternet.fi) (Quit: fp) |
| 2025-07-11 13:59:29 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 14:00:25 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 14:00:44 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 14:03:19 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-11 14:03:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-11 14:05:06 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 276 seconds) |
| 2025-07-11 14:08:31 +0200 | Digit | (~user@user/digit) Digit |
| 2025-07-11 14:13:05 +0200 | Digit | digitteknohippie |
| 2025-07-11 14:13:08 +0200 | digitteknohippie | Digit |
| 2025-07-11 14:14:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1462:3683:2508:a7f7) |
| 2025-07-11 14:18:05 +0200 | trickard_ | trickard |
| 2025-07-11 14:25:15 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-11 14:26:42 +0200 | jespada | (~jespada@r190-133-15-43.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-11 14:26:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-11 14:36:25 +0200 | jespada | (~jespada@r190-133-15-43.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-11 14:37:15 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 14:40:16 +0200 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3) |
| 2025-07-11 14:42:03 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-11 14:42:35 +0200 | muaddibb | (~user@user/muaddibb) muaddibb |
| 2025-07-11 14:46:19 +0200 | muaddibb | (~user@user/muaddibb) () |
| 2025-07-11 14:51:00 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 14:51:13 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 14:54:02 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 14:55:22 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:6877:7bef:2915:d680) internatetional |
| 2025-07-11 14:56:25 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-11 14:59:03 +0200 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-07-11 14:59:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-07-11 15:10:34 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-11 15:14:31 +0200 | Razn0r | (~quassel@94.142.208.170) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-07-11 15:19:00 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 15:19:13 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 15:26:00 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 15:30:07 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 15:33:43 +0200 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-11 15:36:02 +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 15:36:53 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-07-11 15:38:51 +0200 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) ft |
| 2025-07-11 15:53:34 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 15:54:11 +0200 | <haskellbridge> | <magic_rb> Say i have a sum type "Foo = FooA A | FooB B" can i somehow derive the type classes "Exists w B" where exists checks whether "Exists w Foo" and Foo is of the variant FooA? This is specifically relating to the ExplExists type class from apecs |
| 2025-07-11 15:54:23 +0200 | <haskellbridge> | <magic_rb> I know i can do this with Generics, but im wondering if there is another way |
| 2025-07-11 15:56:22 +0200 | <EvanR> | is that what prisms are for |
| 2025-07-11 15:56:29 +0200 | <haskellbridge> | <magic_rb> With type families, say I have some type family "Magic" which if used such as "Magic '[ FooA := A, FooB := B ]" the problem I see there is that FooA and FooB are constructors and im not sure if i can pass those around like that |
| 2025-07-11 15:56:35 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit) |
| 2025-07-11 15:56:53 +0200 | <haskellbridge> | <magic_rb> EvanR: oh yeah it kinda do be a prism good point |
| 2025-07-11 15:57:06 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 15:57:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-11 15:57:58 +0200 | <haskellbridge> | <magic_rb> Okay then lets rephrase, can a prism be derived using type families instead of generics? Because again "FooA" isnt first class kinda |
| 2025-07-11 15:58:35 +0200 | <haskellbridge> | <magic_rb> "FooA" has the kind "Type" and the type "A -> Foo" but i cant reverse it into "Foo -> Maybe A" |
| 2025-07-11 15:58:46 +0200 | <haskellbridge> | <magic_rb> (Literally a prism damn) |
| 2025-07-11 15:59:27 +0200 | <haskellbridge> | <magic_rb> Hopefully im making sense, im struggling a bit with explaining this |
| 2025-07-11 16:01:19 +0200 | <EvanR> | template haskell is another way, worse than generics |
| 2025-07-11 16:01:49 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-11 16:02:50 +0200 | <haskellbridge> | <magic_rb> Right, im aiming for better, not worse :P |
| 2025-07-11 16:03:34 +0200 | <EvanR> | an awk script? xD |
| 2025-07-11 16:05:05 +0200 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2025-07-11 16:06:03 +0200 | <haskellbridge> | <magic_rb> Nah, ill just use TH to shell out to a rust program |
| 2025-07-11 16:06:05 +0200 | <haskellbridge> | <magic_rb> Its fine |
| 2025-07-11 16:07:05 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 16:09: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 16:10:20 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 16:10:53 +0200 | <tomsmeding> | magic_rb: suggestion for explaining this: write out a minimal example including the manually-written definition that you want to generate automatically ;) |
| 2025-07-11 16:11:19 +0200 | <haskellbridge> | <magic_rb> Very fair, but i cant do that on the bus :P |
| 2025-07-11 16:11:23 +0200 | <haskellbridge> | <magic_rb> So ill do it once im home |
| 2025-07-11 16:11:32 +0200 | <tomsmeding> | https://play.haskell.org works on mobile! |
| 2025-07-11 16:11:34 +0200 | <tomsmeding> | ... kinda? |
| 2025-07-11 16:11:47 +0200 | <tomsmeding> | I'll be the last to claim that it's ergonomic on mobile |
| 2025-07-11 16:11:56 +0200 | <haskellbridge> | <magic_rb> But i think it boils down to "can i generate a prism for a simple ish sum type without generics or TH" |
| 2025-07-11 16:12:57 +0200 | <tomsmeding> | the only ways in ghc haskell to generate value-level functions based on some reflective property (e.g. the definition of a data type) are generics and TH |
| 2025-07-11 16:13:07 +0200 | <tomsmeding> | if you mean on the type level, then I still have no clue what you mean :) |
| 2025-07-11 16:13:33 +0200 | <tomsmeding> | well, and an external source preprocessor |
| 2025-07-11 16:14:21 +0200 | <tomsmeding> | for which GHC actually has some integration, as e.g. explained in the readme of https://hackage.haskell.org/package/record-dot-preprocessor |
| 2025-07-11 16:15:48 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 16:16:02 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 16:21:19 +0200 | <haskellbridge> | <magic_rb> https://play.haskell.org/saved/I0JIu6ZS |
| 2025-07-11 16:21:23 +0200 | <haskellbridge> | <magic_rb> So say i have that |
| 2025-07-11 16:21:27 +0200 | <haskellbridge> | <magic_rb> Idk if it compiles, didnt test |
| 2025-07-11 16:21:53 +0200 | <haskellbridge> | <magic_rb> But i want to generate the last 4 instance declarations from the definition of Foo, A and B |
| 2025-07-11 16:22:57 +0200 | <haskellbridge> | <magic_rb> It boils down to being able to asking the question "do we have A? Well we have A if we have FooA" and answering it automatically without me havimg to write all of it |
| 2025-07-11 16:23:45 +0200 | acidjnk | (~acidjnk@p200300d6e70b66237c900a45f667e7c0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-11 16:25:06 +0200 | <haskellbridge> | <magic_rb> Why is this useful? In an ECS architecture, i can query the existence of A based on the existence and value of Foo |
| 2025-07-11 16:25:16 +0200 | <haskellbridge> | <magic_rb> Because Foo contains A |
| 2025-07-11 16:25:19 +0200 | <haskellbridge> | <magic_rb> Maybe |
| 2025-07-11 16:28:34 +0200 | <EvanR> | tomsmeding, what about Data.Data |
| 2025-07-11 16:28:52 +0200 | Digitteknohippie | Digit |
| 2025-07-11 16:34:18 +0200 | trickard_ | trickard |
| 2025-07-11 16:34:44 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-11 16:39:26 +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 16:40:17 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 16:40:53 +0200 | <tomsmeding> | EvanR: fair! |
| 2025-07-11 16:42:05 +0200 | <tomsmeding> | magic_rb: is there a good reason this is not one class with explGet :: Int -> m (Maybe c) |
| 2025-07-11 16:45:25 +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 16:47:27 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 16:48:02 +0200 | <haskellbridge> | <magic_rb> Yes because "ExplGet m c => ExplGet m (Maybe c)" and not having to unwrap a maybe is ever so slightly faster |
| 2025-07-11 16:48:10 +0200 | <haskellbridge> | <magic_rb> tomsmeding how is data.data different from generics |
| 2025-07-11 16:48:13 +0200 | <haskellbridge> | <magic_rb> Looks about the same |
| 2025-07-11 16:48:22 +0200 | <tomsmeding> | generics goes via the type system, data.data is more untyped |
| 2025-07-11 16:48:39 +0200 | <tomsmeding> | with generics you have metadata on the type level, with data.data you have it on the value level |
| 2025-07-11 16:48:41 +0200 | <tomsmeding> | ~ish |
| 2025-07-11 16:49:22 +0200 | <haskellbridge> | <magic_rb> Is it still slow as hell for compilation? |
| 2025-07-11 16:49:29 +0200 | <tomsmeding> | I have never used data.data |
| 2025-07-11 16:49:47 +0200 | <haskellbridge> | <magic_rb> Ive never seen it used |
| 2025-07-11 16:51:01 +0200 | <glguy> | I think that Data.Data can still optimize well. While it's not typed Generics it works similarly to GHC.Generics where there's a run-time generics representation that can get optimized away |
| 2025-07-11 16:51:11 +0200 | AlexZenon | (~alzenon@178.34.150.30) (Ping timeout: 252 seconds) |
| 2025-07-11 16:51:14 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-11 16:51:29 +0200 | <tomsmeding> | yep, I'm not saying generics is great or anything, just trying to describe the difference in API |
| 2025-07-11 16:51:34 +0200 | AlexNoo | (~AlexNoo@178.34.150.30) (Ping timeout: 260 seconds) |
| 2025-07-11 16:52:41 +0200 | <glguy> | I was mentioning that because I used to think that one was inherently more efficient |
| 2025-07-11 16:53:29 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-07-11 16:55:35 +0200 | AlexNoo | (~AlexNoo@178.34.150.30) |
| 2025-07-11 16:56:11 +0200 | Digitteknohippie | Digit |
| 2025-07-11 16:56:19 +0200 | AlexZenon | (~alzenon@178.34.150.30) |
| 2025-07-11 16:56:37 +0200 | acidjnk | (~acidjnk@p200300d6e70b66530c896c425a538116.dip0.t-ipconnect.de) acidjnk |
| 2025-07-11 16:58:50 +0200 | <haskellbridge> | <magic_rb> Generics and data afaik are both efficient, my concern comes from the compile time overhead more than runtime |
| 2025-07-11 17:00:34 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-11 17:00:50 +0200 | <tomsmeding> | magic_rb: https://play.haskell.org/saved/gB4gqUMK |
| 2025-07-11 17:02:50 +0200 | <tomsmeding> | can't write the case expressions using quotes because the patterns are generated, and you can't put splices in patterns |
| 2025-07-11 17:03:17 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:6877:7bef:2915:d680) (Ping timeout: 248 seconds) |
| 2025-07-11 17:03:26 +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 17:03:45 +0200 | <haskellbridge> | <magic_rb> Okay cool, will use that then |
| 2025-07-11 17:03:53 +0200 | <haskellbridge> | <magic_rb> TH is fine, im using it already, or plan to |
| 2025-07-11 17:04:07 +0200 | <tomsmeding> | TH is not super slow to compile |
| 2025-07-11 17:04:08 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 17:12:21 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-11 17:16:28 +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 17:18:10 +0200 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-07-11 17:21:51 +0200 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2025-07-11 17:22:06 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 17:24:15 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 17:27:13 +0200 | khumba | (~khumba@user/khumba) () |
| 2025-07-11 17:29:07 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 265 seconds) |
| 2025-07-11 17:29:42 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-11 17:33:37 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 2025-07-11 17:38:33 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 17:38:47 +0200 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 17:39:41 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-07-11 17:42:31 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 17:43:13 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-07-11 17:44:38 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-11 17:44:50 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-11 17:58:25 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-11 18:04:13 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2025-07-11 18:08:51 +0200 | <merijn> | tomsmeding: It kinda is, though |
| 2025-07-11 18:09:10 +0200 | <merijn> | It depends a lot on how much you have |
| 2025-07-11 18:09:30 +0200 | <merijn> | But it's certainly slower than the same code statically written out |
| 2025-07-11 18:11:15 +0200 | acidjnk | (~acidjnk@p200300d6e70b66530c896c425a538116.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-07-11 18:11:36 +0200 | acidjnk | (~acidjnk@p200300d6e70b66530c896c425a538116.dip0.t-ipconnect.de) acidjnk |
| 2025-07-11 18:13:28 +0200 | <haskellbridge> | <magic_rb> Id rather incur some compilation cost in leaf modules than have to write it out |
| 2025-07-11 18:13:35 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 18:13:45 +0200 | <haskellbridge> | <magic_rb> I wouldnt put a lot of TH in non leaf modules ofc |