| 2025-07-11 00:02:28 +0000 | jespada | (~jespada@r190-133-9-81.dialup.adsl.anteldata.net.uy) (Ping timeout: 245 seconds) |
| 2025-07-11 00:03:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 00:04:15 +0000 | <Profpatsch> | okay uh I need to sleep over this, Generics are so hard |
| 2025-07-11 00:05:14 +0000 | <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 00:05:40 +0000 | <geekosaur> | and while some people here consider its IRC-ish design a minus, I consider it a plus 🙂 |
| 2025-07-11 00:06:38 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds) |
| 2025-07-11 00:06:59 +0000 | <geekosaur> | element is one of those ridiculous electron apps |
| 2025-07-11 00:07:28 +0000 | <geekosaur> | gotta wade through a few hundred thousand lines of JS just to sneeze |
| 2025-07-11 00:07:57 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-07-11 00:08:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-11 00:08:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 00:09:27 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 00:13:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-11 00:23:57 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-07-11 00:24:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 00:29:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-11 00:36:36 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-11 00:37:36 +0000 | Digit | (~user@user/digit) (Ping timeout: 252 seconds) |
| 2025-07-11 00:38:09 +0000 | xff0x | (~xff0x@2405:6580:b080:900:941f:7155:1fdd:56c0) (Ping timeout: 260 seconds) |
| 2025-07-11 00:40:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 00:42:35 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-11 00:44:20 +0000 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-11 00:45:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-11 00:49:33 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-11 00:49:59 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 00:53:17 +0000 | td_ | (~td@i53870910.versanet.de) (Quit: waking up from the american dream ...) |
| 2025-07-11 00:56:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 00:56:13 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-07-11 00:57:15 +0000 | balthxzar | (~balthxzar@user/Balthxzar) (Quit: Konversation terminated!) |
| 2025-07-11 00:58:13 +0000 | falafel | (~falafel@79.117.174.28) (Remote host closed the connection) |
| 2025-07-11 01:01:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 01:05:07 +0000 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-11 01:07:29 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-07-11 01:07:54 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 01:08:23 +0000 | 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:09:25 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 01:11:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 01:14:38 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 01:16:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 01:17:50 +0000 | 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:18:14 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 01:18:41 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 01:24:49 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-07-11 01:27:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 01:29:17 +0000 | 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:32:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 01:41:36 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-07-11 01:43:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 01:44:17 +0000 | dmjio | (~user@2600:1700:80:4ec0:44f9:abc6:b7df:1d13) (Remote host closed the connection) |
| 2025-07-11 01:47:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-11 01:49:30 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 01:56:16 +0000 | Zer000 | (~02@64.137.132.10) Zer000 |
| 2025-07-11 01:58:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 02:03:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 02:11:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 02:13:28 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 02:13:42 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 02:17:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-11 02:21:30 +0000 | <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 02:21:32 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-11 02:22:00 +0000 | <monochrom> | Yes. |
| 2025-07-11 02:24:17 +0000 | <geekosaur> | and probably always will be |
| 2025-07-11 02:27:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 02:32:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 02:33:14 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-07-11 02:34:28 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-07-11 02:36:02 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 02:36:16 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 02:40:30 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 02:43:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 02:45:39 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-11 02:45:48 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 245 seconds) |
| 2025-07-11 02:45:54 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-07-11 02:48:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 02:59:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 03:02:06 +0000 | <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 03:03:05 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 03:05:21 +0000 | <c_wraith> | It changes it to something that's easier than using native toolkits for each platform. |
| 2025-07-11 03:05:27 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-11 03:06:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 03:08:29 +0000 | 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:10:45 +0000 | <jreicher> | No arguments there. But there are downsides to changing the problem rather than solving it. |
| 2025-07-11 03:10:52 +0000 | <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 03:12:13 +0000 | <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 03:13:49 +0000 | <geekosaur> | true, but they're still far more successful at "write once, run everywhere" than Java ever was |
| 2025-07-11 03:14:20 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 03:17:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 03:17:57 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-11 03:19:09 +0000 | 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:21:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 03:23:35 +0000 | <haskellbridge> | <maerwald> geekosaur: it can ;) |
| 2025-07-11 03:24:11 +0000 | <haskellbridge> | <maerwald> https://github.com/stable-haskell/ghc/pull/34 |
| 2025-07-11 03:27:24 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 03:27:38 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 03:32:16 +0000 | wbooze | (~inline@ip-005-146-197-046.um05.pools.vodafone-ip.de) Inline |
| 2025-07-11 03:32:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 03:37:30 +0000 | wbooze | (~inline@ip-005-146-197-046.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-07-11 03:37:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-11 03:46:29 +0000 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-07-11 03:47:30 +0000 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-07-11 03:48:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 03:50:39 +0000 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
| 2025-07-11 03:52:09 +0000 | wbooze | (~inline@ip-005-146-197-046.um05.pools.vodafone-ip.de) Inline |
| 2025-07-11 03:52:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-11 03:52:18 +0000 | remedan | (~remedan@193-179-60-151.customers.tmcz.cz) (Ping timeout: 248 seconds) |
| 2025-07-11 03:52:30 +0000 | remedan_ | (~remedan@78-80-80-237.customers.tmcz.cz) remedan |
| 2025-07-11 03:53:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-11 03:57:59 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 03:59:37 +0000 | trickard_ | trickard |
| 2025-07-11 04:02:56 +0000 | khumba | (~khumba@user/khumba) khumba |
| 2025-07-11 04:04:24 +0000 | 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:04:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 04:09:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-11 04:13:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 04:14:46 +0000 | Zer000 | (~02@64.137.132.10) (Quit: Leaving) |
| 2025-07-11 04:18:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-11 04:26:05 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-07-11 04:26:38 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2025-07-11 04:27:26 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2025-07-11 04:28:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 04:32:05 +0000 | Digitteknohippie | Digit |
| 2025-07-11 04:33:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-11 04:39:50 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-07-11 04:42:57 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 04:44:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 04:49:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-07-11 04:50:55 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-11 05:00:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 05:02:25 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-11 05:04:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 05:05:08 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-11 05:09:34 +0000 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-07-11 05:09:53 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-11 05:11:22 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-07-11 05:13:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 05:18:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 05:19:12 +0000 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
| 2025-07-11 05:20:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-07-11 05:22:46 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-11 05:25:43 +0000 | 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:27:20 +0000 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 2025-07-11 05:29:06 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 05:29:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 05:34:28 +0000 | 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:34:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-11 05:35:00 +0000 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-11 05:35:30 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 05:36:27 +0000 | <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 05:39:02 +0000 | <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 05:39:06 +0000 | <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 05:40:07 +0000 | <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 05:40:13 +0000 | <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 05:40:15 +0000 | <haskellbridge> | Cant be that bad to wrangle this into opengl |
| 2025-07-11 05:41:10 +0000 | <haskellbridge> | <Bowuigi> It's reasonably simple, a lot of C libraries take this approach (again, Nuklear, Dear ImGUI, MicroUI, etc) |
| 2025-07-11 05:41:15 +0000 | <haskellbridge> | <magic_rb> https://github.com/nicbarker/clay/blob/main/renderers/SDL2/clay_renderer_SDL2.c they have a sdl2 renderer |
| 2025-07-11 05:41:49 +0000 | <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 05:42:55 +0000 | <haskellbridge> | <Bowuigi> The renderers are separate from the actual library, that's why none of them are included in clay.h |
| 2025-07-11 05:43:31 +0000 | <haskellbridge> | <magic_rb> Do you pass them in as a function table? |
| 2025-07-11 05:45:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 05:45:54 +0000 | <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 05:47:27 +0000 | arahael | (~arahael@user/arahael) (Ping timeout: 276 seconds) |
| 2025-07-11 05:49:15 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-11 05:51:15 +0000 | <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 05:52:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-11 05:57:07 +0000 | <haskellbridge> | <magic_rb> interesting it can do retained mode too, good find, will try to use for my shitty game |
| 2025-07-11 05:57:11 +0000 | <haskellbridge> | <magic_rb> right after i finish the current task |
| 2025-07-11 06:00:26 +0000 | 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 06:01:05 +0000 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-07-11 06:01:33 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 06:03:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 06:08:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-11 06:11:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-11 06:12:22 +0000 | 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 06:14:30 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 06:14:33 +0000 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 245 seconds) |
| 2025-07-11 06:14:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 06:19:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-11 06:21:32 +0000 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-07-11 06:22:07 +0000 | 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 06:22:28 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-07-11 06:22:29 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 06:22:43 +0000 | <Enrico63> | tomsmeding and geekosaur, thanks, I'll try that! |
| 2025-07-11 06:22:54 +0000 | michalz | (~michalz@185.246.207.215) |
| 2025-07-11 06:28:18 +0000 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-11 06:30:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 06:31:12 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 06:31:39 +0000 | Square | (~Square@user/square) Square |
| 2025-07-11 06:31:39 +0000 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-07-11 06:31:45 +0000 | olivial_ | (~benjaminl@c-76-144-39-121.hsd1.or.comcast.net) |
| 2025-07-11 06:34:06 +0000 | trickard_ | trickard |
| 2025-07-11 06:35:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 06:39:06 +0000 | <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 06:43:39 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-07-11 06:46:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 06:47:26 +0000 | <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 06:48:57 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-11 06:49:04 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:248c:1ced:3c02:3361) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-07-11 06:49:21 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:cf3a:622b:30a0:a383) nschoe |
| 2025-07-11 06:51:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 06:52:06 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-07-11 06:53:29 +0000 | 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:54:28 +0000 | Razn0r | (~quassel@94.142.208.170) |
| 2025-07-11 06:54:49 +0000 | aforemny | (~aforemny@2001:9e8:6cd0:8f00:4ee4:1bde:be57:6e02) aforemny |
| 2025-07-11 06:55:14 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 07:00:00 +0000 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-11 07:00:15 +0000 | 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:00:17 +0000 | arahael | (~arahael@user/arahael) arahael |
| 2025-07-11 07:00:40 +0000 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-11 07:01:55 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-07-11 07:02:20 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 07:05:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 07:09:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-11 07:16:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 07:16:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-07-11 07:20:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-11 07:23:29 +0000 | digitteknohippie | (~user@user/digit) Digit |
| 2025-07-11 07:26:56 +0000 | acidjnk | (~acidjnk@p200300d6e70b66237c900a45f667e7c0.dip0.t-ipconnect.de) acidjnk |
| 2025-07-11 07:31:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 07:36:20 +0000 | kuribas | (~user@ptr-17d51en9puii5q3jfnj.18120a2.ip6.access.telenet.be) kuribas |
| 2025-07-11 07:37:15 +0000 | 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:38:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-11 07:38:19 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 07:40:48 +0000 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-11 07:41:29 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
| 2025-07-11 07:42:22 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 07:43:48 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-11 07:49:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 07:55:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-11 07:55:46 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 07:56:23 +0000 | staffordsbeard | (~daniel@38.172.81.174) |
| 2025-07-11 07:57:16 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-07-11 07:58:04 +0000 | staffordsbeard | (~daniel@38.172.81.174) (Client Quit) |
| 2025-07-11 08:01:05 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-11 08:04:37 +0000 | patri_ | (~patri@user/patri) (Ping timeout: 248 seconds) |
| 2025-07-11 08:05:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 08:06:06 +0000 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-07-11 08:07:46 +0000 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 276 seconds) |
| 2025-07-11 08:07:47 +0000 | JamesMowery177 | JamesMowery17 |
| 2025-07-11 08:10:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 08:15:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 08:17:27 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-07-11 08:29:21 +0000 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-07-11 08:40:19 +0000 | Guest30 | (~Guest30@93-41-2-219.ip79.fastwebnet.it) |
| 2025-07-11 08:45:23 +0000 | Guest30 | (~Guest30@93-41-2-219.ip79.fastwebnet.it) (Quit: Client closed) |
| 2025-07-11 08:48:09 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-11 09:02:56 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-07-11 09:03:14 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-11 09:04:51 +0000 | patri_ | (~patri@user/patri) patri |
| 2025-07-11 09:08:58 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-07-11 09:16:11 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-11 09:16:45 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-07-11 09:17:53 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-07-11 09:17:53 +0000 | prdak1 | prdak |
| 2025-07-11 09:22:52 +0000 | 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:23:14 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 09:35:50 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-11 09:45:18 +0000 | fp | (~Thunderbi@87-94-146-72.rev.dnainternet.fi) fp |
| 2025-07-11 09:50:34 +0000 | patri_ | (~patri@user/patri) (Ping timeout: 260 seconds) |
| 2025-07-11 09:53:09 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-07-11 10:02:49 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-11 10:06:11 +0000 | ridcully | (~ridcully@p508accb3.dip0.t-ipconnect.de) (Quit: WeeChat 4.6.3) |
| 2025-07-11 10:14:31 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 10:20:28 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-11 10:20:51 +0000 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-07-11 10:36:52 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 10:37:06 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 10:40:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-11 10:45:46 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-07-11 10:48:28 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-07-11 10:48:28 +0000 | prdak1 | prdak |
| 2025-07-11 10:52:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 10:55:34 +0000 | ridcully | (~ridcully@pd951f729.dip0.t-ipconnect.de) ridcully |
| 2025-07-11 10:56:49 +0000 | patri_ | (~patri@user/patri) patri |
| 2025-07-11 10:57:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 11:00:01 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-07-11 11:00:01 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-07-11 11:00:01 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2025-07-11 11:01:29 +0000 | jespada | (~jespada@r190-133-15-43.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-11 11:07:35 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 11:07:50 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 11:08:43 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-11 11:09:05 +0000 | mxs9 | (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 2025-07-11 11:09:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 11:10:22 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 11:15:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 11:21:01 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-11 11:21:27 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-07-11 11:22:14 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 11:22:28 +0000 | digitteknohippie | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2025-07-11 11:22:44 +0000 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-07-11 11:22:50 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-11 11:27:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 11:28:46 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-07-11 11:29:13 +0000 | kuribas | (~user@ptr-17d51en9puii5q3jfnj.18120a2.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-07-11 11:30:01 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-07-11 11:30:42 +0000 | 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:30:51 +0000 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-07-11 11:31:14 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 11:35:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-11 11:35:26 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-11 11:36:32 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-07-11 11:37:42 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-07-11 11:39:39 +0000 | 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:43:27 +0000 | ais | (~ais@139.red-83-36-42.dynamicip.rima-tde.net) |
| 2025-07-11 11:44:17 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 2025-07-11 11:47:53 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-11 11:48:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 11:50:10 +0000 | ais | (~ais@139.red-83-36-42.dynamicip.rima-tde.net) (Ping timeout: 248 seconds) |
| 2025-07-11 11:51:30 +0000 | fp | (~Thunderbi@87-94-146-72.rev.dnainternet.fi) (Quit: fp) |
| 2025-07-11 11:59:29 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 12:00:25 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 12:00:44 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 12:03:19 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-07-11 12:03:55 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-11 12:05:06 +0000 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 276 seconds) |
| 2025-07-11 12:08:31 +0000 | Digit | (~user@user/digit) Digit |
| 2025-07-11 12:13:05 +0000 | Digit | digitteknohippie |
| 2025-07-11 12:13:08 +0000 | digitteknohippie | Digit |
| 2025-07-11 12:14:30 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1462:3683:2508:a7f7) |
| 2025-07-11 12:18:05 +0000 | trickard_ | trickard |
| 2025-07-11 12:25:15 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-11 12:26:42 +0000 | jespada | (~jespada@r190-133-15-43.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-11 12:26:54 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-11 12:36:25 +0000 | jespada | (~jespada@r190-133-15-43.dialup.adsl.anteldata.net.uy) jespada |
| 2025-07-11 12:37:15 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 12:40:16 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3) |
| 2025-07-11 12:42:03 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-11 12:42:35 +0000 | muaddibb | (~user@user/muaddibb) muaddibb |
| 2025-07-11 12:46:19 +0000 | muaddibb | (~user@user/muaddibb) () |
| 2025-07-11 12:51:00 +0000 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 12:51:13 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 12:54:02 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 12:55:22 +0000 | internatetional | (~nate@2001:448a:20a3:c2e5:6877:7bef:2915:d680) internatetional |
| 2025-07-11 12:56:25 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-11 12:59:03 +0000 | Digit | (~user@user/digit) (Ping timeout: 276 seconds) |
| 2025-07-11 12:59:11 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-07-11 13:10:34 +0000 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-07-11 13:14:31 +0000 | Razn0r | (~quassel@94.142.208.170) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-07-11 13:19:00 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 13:19:13 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 13:26:00 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 13:30:07 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 13:33:43 +0000 | aaronv__ | (~aaronv@user/aaronv) aaronv |
| 2025-07-11 13:36:02 +0000 | 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:36:53 +0000 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-07-11 13:38:51 +0000 | ft | (~ft@p3e9bc89f.dip0.t-ipconnect.de) ft |
| 2025-07-11 13:53:34 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 13:54:11 +0000 | <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 13:54:23 +0000 | <haskellbridge> | <magic_rb> I know i can do this with Generics, but im wondering if there is another way |
| 2025-07-11 13:56:22 +0000 | <EvanR> | is that what prisms are for |
| 2025-07-11 13:56:29 +0000 | <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 13:56:35 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Client Quit) |
| 2025-07-11 13:56:53 +0000 | <haskellbridge> | <magic_rb> EvanR: oh yeah it kinda do be a prism good point |
| 2025-07-11 13:57:06 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 13:57:29 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-11 13:57:58 +0000 | <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 13:58:35 +0000 | <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 13:58:46 +0000 | <haskellbridge> | <magic_rb> (Literally a prism damn) |
| 2025-07-11 13:59:27 +0000 | <haskellbridge> | <magic_rb> Hopefully im making sense, im struggling a bit with explaining this |
| 2025-07-11 14:01:19 +0000 | <EvanR> | template haskell is another way, worse than generics |
| 2025-07-11 14:01:49 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
| 2025-07-11 14:02:50 +0000 | <haskellbridge> | <magic_rb> Right, im aiming for better, not worse :P |
| 2025-07-11 14:03:34 +0000 | <EvanR> | an awk script? xD |
| 2025-07-11 14:05:05 +0000 | aaronv__ | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2025-07-11 14:06:03 +0000 | <haskellbridge> | <magic_rb> Nah, ill just use TH to shell out to a rust program |
| 2025-07-11 14:06:05 +0000 | <haskellbridge> | <magic_rb> Its fine |
| 2025-07-11 14:07:05 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 14:09:28 +0000 | 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 14:10:20 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 14:10:53 +0000 | <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 14:11:19 +0000 | <haskellbridge> | <magic_rb> Very fair, but i cant do that on the bus :P |
| 2025-07-11 14:11:23 +0000 | <haskellbridge> | <magic_rb> So ill do it once im home |
| 2025-07-11 14:11:32 +0000 | <tomsmeding> | https://play.haskell.org works on mobile! |
| 2025-07-11 14:11:34 +0000 | <tomsmeding> | ... kinda? |
| 2025-07-11 14:11:47 +0000 | <tomsmeding> | I'll be the last to claim that it's ergonomic on mobile |
| 2025-07-11 14:11:56 +0000 | <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 14:12:57 +0000 | <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 14:13:07 +0000 | <tomsmeding> | if you mean on the type level, then I still have no clue what you mean :) |
| 2025-07-11 14:13:33 +0000 | <tomsmeding> | well, and an external source preprocessor |
| 2025-07-11 14:14:21 +0000 | <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 14:15:48 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 14:16:02 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 14:21:19 +0000 | <haskellbridge> | <magic_rb> https://play.haskell.org/saved/I0JIu6ZS |
| 2025-07-11 14:21:23 +0000 | <haskellbridge> | <magic_rb> So say i have that |
| 2025-07-11 14:21:27 +0000 | <haskellbridge> | <magic_rb> Idk if it compiles, didnt test |
| 2025-07-11 14:21:53 +0000 | <haskellbridge> | <magic_rb> But i want to generate the last 4 instance declarations from the definition of Foo, A and B |
| 2025-07-11 14:22:57 +0000 | <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 14:23:45 +0000 | acidjnk | (~acidjnk@p200300d6e70b66237c900a45f667e7c0.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-07-11 14:25:06 +0000 | <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 14:25:16 +0000 | <haskellbridge> | <magic_rb> Because Foo contains A |
| 2025-07-11 14:25:19 +0000 | <haskellbridge> | <magic_rb> Maybe |
| 2025-07-11 14:28:34 +0000 | <EvanR> | tomsmeding, what about Data.Data |
| 2025-07-11 14:28:52 +0000 | Digitteknohippie | Digit |
| 2025-07-11 14:34:18 +0000 | trickard_ | trickard |
| 2025-07-11 14:34:44 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-11 14:39:26 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-11 14:40:17 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 14:40:53 +0000 | <tomsmeding> | EvanR: fair! |
| 2025-07-11 14:42:05 +0000 | <tomsmeding> | magic_rb: is there a good reason this is not one class with explGet :: Int -> m (Maybe c) |
| 2025-07-11 14:45:25 +0000 | 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 14:47:27 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 14:48:02 +0000 | <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 14:48:10 +0000 | <haskellbridge> | <magic_rb> tomsmeding how is data.data different from generics |
| 2025-07-11 14:48:13 +0000 | <haskellbridge> | <magic_rb> Looks about the same |
| 2025-07-11 14:48:22 +0000 | <tomsmeding> | generics goes via the type system, data.data is more untyped |
| 2025-07-11 14:48:39 +0000 | <tomsmeding> | with generics you have metadata on the type level, with data.data you have it on the value level |
| 2025-07-11 14:48:41 +0000 | <tomsmeding> | ~ish |
| 2025-07-11 14:49:22 +0000 | <haskellbridge> | <magic_rb> Is it still slow as hell for compilation? |
| 2025-07-11 14:49:29 +0000 | <tomsmeding> | I have never used data.data |
| 2025-07-11 14:49:47 +0000 | <haskellbridge> | <magic_rb> Ive never seen it used |
| 2025-07-11 14:51:01 +0000 | <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 14:51:11 +0000 | AlexZenon | (~alzenon@178.34.150.30) (Ping timeout: 252 seconds) |
| 2025-07-11 14:51:14 +0000 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-07-11 14:51:29 +0000 | <tomsmeding> | yep, I'm not saying generics is great or anything, just trying to describe the difference in API |
| 2025-07-11 14:51:34 +0000 | AlexNoo | (~AlexNoo@178.34.150.30) (Ping timeout: 260 seconds) |
| 2025-07-11 14:52:41 +0000 | <glguy> | I was mentioning that because I used to think that one was inherently more efficient |
| 2025-07-11 14:53:29 +0000 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-07-11 14:55:35 +0000 | AlexNoo | (~AlexNoo@178.34.150.30) |
| 2025-07-11 14:56:11 +0000 | Digitteknohippie | Digit |
| 2025-07-11 14:56:19 +0000 | AlexZenon | (~alzenon@178.34.150.30) |
| 2025-07-11 14:56:37 +0000 | acidjnk | (~acidjnk@p200300d6e70b66530c896c425a538116.dip0.t-ipconnect.de) acidjnk |
| 2025-07-11 14:58:50 +0000 | <haskellbridge> | <magic_rb> Generics and data afaik are both efficient, my concern comes from the compile time overhead more than runtime |
| 2025-07-11 15:00:34 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-11 15:00:50 +0000 | <tomsmeding> | magic_rb: https://play.haskell.org/saved/gB4gqUMK |
| 2025-07-11 15:02:50 +0000 | <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 15:03:17 +0000 | internatetional | (~nate@2001:448a:20a3:c2e5:6877:7bef:2915:d680) (Ping timeout: 248 seconds) |
| 2025-07-11 15:03:26 +0000 | 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:03:45 +0000 | <haskellbridge> | <magic_rb> Okay cool, will use that then |
| 2025-07-11 15:03:53 +0000 | <haskellbridge> | <magic_rb> TH is fine, im using it already, or plan to |
| 2025-07-11 15:04:07 +0000 | <tomsmeding> | TH is not super slow to compile |
| 2025-07-11 15:04:08 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 15:12:21 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-11 15:16:28 +0000 | 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:18:10 +0000 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-07-11 15:21:51 +0000 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2025-07-11 15:22:06 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 15:24:15 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 15:27:13 +0000 | khumba | (~khumba@user/khumba) () |
| 2025-07-11 15:29:07 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 265 seconds) |
| 2025-07-11 15:29:42 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-11 15:33:37 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 2025-07-11 15:38:33 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 15:38:47 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 15:39:41 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-07-11 15:42:31 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 15:43:13 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-07-11 15:44:38 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-07-11 15:44:50 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-07-11 15:58:25 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-11 16:04:13 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 276 seconds) |
| 2025-07-11 16:08:51 +0000 | <merijn> | tomsmeding: It kinda is, though |
| 2025-07-11 16:09:10 +0000 | <merijn> | It depends a lot on how much you have |
| 2025-07-11 16:09:30 +0000 | <merijn> | But it's certainly slower than the same code statically written out |
| 2025-07-11 16:11:15 +0000 | acidjnk | (~acidjnk@p200300d6e70b66530c896c425a538116.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-07-11 16:11:36 +0000 | acidjnk | (~acidjnk@p200300d6e70b66530c896c425a538116.dip0.t-ipconnect.de) acidjnk |
| 2025-07-11 16:13:28 +0000 | <haskellbridge> | <magic_rb> Id rather incur some compilation cost in leaf modules than have to write it out |
| 2025-07-11 16:13:35 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 16:13:45 +0000 | <haskellbridge> | <magic_rb> I wouldnt put a lot of TH in non leaf modules ofc |
| 2025-07-11 16:30:44 +0000 | dhil | (~dhil@5.151.29.137) (Ping timeout: 260 seconds) |
| 2025-07-11 16:34:21 +0000 | 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:34:58 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 245 seconds) |
| 2025-07-11 16:35:26 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 16:40:06 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-07-11 16:43:02 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-11 16:45:36 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-11 16:48:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-07-11 16:50:29 +0000 | 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:51:36 +0000 | <tomsmeding> | magic_rb: the higher you put it in the tree, the less it needs to be recompiled ;) |
| 2025-07-11 16:53:23 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 16:58:53 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 16:59:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 17:14:44 +0000 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-07-11 17:15:11 +0000 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-07-11 17:15:32 +0000 | qqe | (~qqq@185.54.22.132) |
| 2025-07-11 17:31:06 +0000 | Square | (~Square@user/square) Square |
| 2025-07-11 17:33:05 +0000 | <haskellbridge> | <magic_rb> tomsmeding lower no |
| 2025-07-11 17:33:05 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-07-11 17:33:11 +0000 | <haskellbridge> | <magic_rb> Well |
| 2025-07-11 17:33:17 +0000 | <haskellbridge> | <magic_rb> Depends which way is yoir trre |
| 2025-07-11 17:33:39 +0000 | <haskellbridge> | <magic_rb> Mine is upsidedown |
| 2025-07-11 17:36:44 +0000 | 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:37:25 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 17:37:36 +0000 | arahael | (~arahael@user/arahael) (Ping timeout: 272 seconds) |
| 2025-07-11 17:39:13 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-11 17:42:54 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-07-11 17:42:59 +0000 | ljdarj1 | ljdarj |
| 2025-07-11 17:43:12 +0000 | JamesMowery17 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye) |
| 2025-07-11 17:43:45 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-07-11 17:43:55 +0000 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-07-11 17:44:22 +0000 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Client Quit) |
| 2025-07-11 17:45:21 +0000 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-07-11 17:46:36 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-11 17:47:06 +0000 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Client Quit) |
| 2025-07-11 17:48:31 +0000 | JamesMowery177 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-07-11 17:56:00 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2025-07-11 17:56:37 +0000 | td_ | (~td@i53870923.versanet.de) td_ |
| 2025-07-11 18:02:53 +0000 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-07-11 18:02:53 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-07-11 18:03:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-11 18:16:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 18:20:53 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-07-11 18:21:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-11 18:24:53 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 18:25:06 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 18:28:00 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 18:31:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 18:33:48 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-11 18:34:39 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-11 18:36:19 +0000 | acidjnk | (~acidjnk@p200300d6e70b66530c896c425a538116.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-07-11 18:36:19 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-07-11 18:37:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-07-11 18:38:24 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-07-11 18:45:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 18:45:39 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 18:47:48 +0000 | acidjnk | (~acidjnk@p200300d6e70b66530c896c425a538116.dip0.t-ipconnect.de) acidjnk |
| 2025-07-11 18:49:45 +0000 | sprotte24 | (~sprotte24@134.245.44.86) |
| 2025-07-11 18:50:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-11 18:51:16 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-11 18:53:15 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 18:58:38 +0000 | <Frostillicus> | I've got some data I'm reading from files that needs to have statistics calculated on it. I could load the data into a sql table but I'd rather avoid it if possible. Would there be any potential issues going the straightforward route of `Vector (Vector Either ParseFail ParseResult) -> Vector Stats` with `Stats` containing a `Map` of counts? |
| 2025-07-11 19:00:05 +0000 | caconym74 | (~caconym@user/caconym) (Quit: bye) |
| 2025-07-11 19:00:45 +0000 | caconym74 | (~caconym@user/caconym) caconym |
| 2025-07-11 19:01:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 19:07:26 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-11 19:08:27 +0000 | <EvanR> | this type signature seems to imply you discard all the parse failures |
| 2025-07-11 19:08:56 +0000 | <EvanR> | other than that it should work |
| 2025-07-11 19:13:23 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) |
| 2025-07-11 19:14:57 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 2025-07-11 19:15:35 +0000 | <Frostillicus> | Thanks, I'd simply want to count the parse failures and that would go into the `Map` as well |
| 2025-07-11 19:20:47 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-07-11 19:22:02 +0000 | <tomsmeding> | magic_rb: assuming changes to uniformly random modules, modules closer to the root of the tree are recompiled less |
| 2025-07-11 19:22:14 +0000 | <tomsmeding> | in computer science my trees have the root at the top |
| 2025-07-11 19:41:12 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-11 19:43:27 +0000 | <EvanR> | strive to uniformly randomly edit your code |
| 2025-07-11 19:43:38 +0000 | <EvanR> | like uniformly random is the best rock paper scissors strat |
| 2025-07-11 19:43:47 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-07-11 19:49:04 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-07-11 19:52:11 +0000 | acidjnk_new | (~acidjnk@p200300d6e70b6653b06cea957f6f9c4f.dip0.t-ipconnect.de) acidjnk |
| 2025-07-11 19:53:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-07-11 19:56:00 +0000 | acidjnk | (~acidjnk@p200300d6e70b66530c896c425a538116.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-07-11 20:00:00 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-07-11 20:01:43 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-11 20:04:45 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-11 20:04:52 +0000 | kimjetwav | (~user@2607:fea8:25a3:a100:9b43:1335:ecf2:6c36) (Remote host closed the connection) |
| 2025-07-11 20:05:26 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 20:05:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 20:08:59 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-07-11 20:10:56 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-07-11 20:17:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 20:18:57 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-07-11 20:19:19 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 20:19:25 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-11 20:21:19 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 20:21:44 +0000 | Nosrep | (~jimothy@user/nosrep) (Remote host closed the connection) |
| 2025-07-11 20:22:27 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-07-11 20:24:26 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-07-11 20:25:10 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-11 20:26:21 +0000 | 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 20:31:52 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-11 20:36:38 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-11 20:37:27 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-11 20:39:54 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2025-07-11 20:42:03 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-07-11 20:44:55 +0000 | trickard_ | trickard |
| 2025-07-11 20:46:06 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 20:49:48 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.6.3) |
| 2025-07-11 20:57:29 +0000 | jespada | (~jespada@r190-133-15-43.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-07-11 20:59:41 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-11 21:07:08 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-11 21:07:23 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-07-11 21:12:33 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-11 21:13:13 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 21:13:34 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 21:19:28 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-11 21:27:26 +0000 | 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 21:27:44 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 21:28:16 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 21:29:46 +0000 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-07-11 21:31:54 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-07-11 21:47:37 +0000 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 21:47:50 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 21:50:13 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-11 21:55:16 +0000 | 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 21:56:26 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 21:59:02 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 244 seconds) |
| 2025-07-11 22:04:46 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-11 22:05:44 +0000 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-07-11 22:06:09 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-07-11 22:09:04 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-11 22:13:41 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-11 22:16:07 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-07-11 22:18:29 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 22:24:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 22:28:00 +0000 | pavonia_ | (~user@user/siracusa) siracusa |
| 2025-07-11 22:29:00 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 244 seconds) |
| 2025-07-11 22:29:32 +0000 | pavonia_ | pavonia |
| 2025-07-11 22:30:00 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.0 - https://znc.in) |
| 2025-07-11 22:36:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 22:37:33 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-07-11 22:37:34 +0000 | FANTOM | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-07-11 22:39:14 +0000 | 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 22:39:35 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 22:41:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-11 22:44:41 +0000 | 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 22:45:24 +0000 | trickard_ | trickard |
| 2025-07-11 22:45:25 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 22:46:18 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-11 22:50:25 +0000 | 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 22:52:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 22:52:18 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-07-11 22:52:50 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-07-11 22:57:03 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-11 22:57:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-11 23:03:50 +0000 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 23:04:04 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 23:07:29 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-07-11 23:09:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 23:12:53 +0000 | sprotte24 | (~sprotte24@134.245.44.86) (Quit: Leaving) |
| 2025-07-11 23:14:12 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 23:14:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-07-11 23:18:03 +0000 | tromp | (~textual@2001:1c00:3487:1b00:8e9:ff00:769:7a9e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-11 23:21:27 +0000 | lol_ | (~lol@2603:3016:1e01:b960:2508:4591:90ad:e4) |
| 2025-07-11 23:21:53 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 2025-07-11 23:24:21 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-07-11 23:25:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 23:25:29 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b960:89ac:6f07:474e:608a) (Ping timeout: 260 seconds) |
| 2025-07-11 23:27:53 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-07-11 23:28:17 +0000 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-07-11 23:29:01 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 23:29:33 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-07-11 23:30:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-11 23:31:35 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-07-11 23:33:42 +0000 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-07-11 23:38:54 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
| 2025-07-11 23:41:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-11 23:46:26 +0000 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-11 23:47:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-11 23:48:34 +0000 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-07-11 23:49:26 +0000 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-07-11 23:51:48 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-07-11 23:54:38 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-11 23:57:05 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-07-11 23:57:25 +0000 | 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 23:59:12 +0000 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-07-11 23:59:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |