Newest at the top
2024-07-07 00:46:19 +0200 | Square | (~Square@user/square) |
2024-07-07 00:39:59 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:bee8:7ef6:2b1b:f311) (Ping timeout: 256 seconds) |
2024-07-07 00:37:27 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
2024-07-07 00:35:51 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:e656:c92a:8e45:f003) |
2024-07-07 00:35:48 +0200 | <hololeap> | I'm stuck at getting the BarT DataType from the Bar Constr |
2024-07-07 00:34:57 +0200 | TactfulCitrus | (~al@2a02:8012:87a6:0:bee8:7ef6:2b1b:f311) |
2024-07-07 00:34:48 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
2024-07-07 00:34:44 +0200 | <hololeap> | so in that example, I might want to check if Bar is an ancestor of Thing1 |
2024-07-07 00:33:58 +0200 | <hololeap> | I'm trying to find a way to use Data to check if one constructor is an ancestor of another in a big tree-like ADT, for instance: data FooT = Bar BarT | Baz BazT; data BarT = Thing1 | Thing2; data BazT = ... |
2024-07-07 00:31:55 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
2024-07-07 00:23:50 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-07-07 00:08:26 +0200 | raym | (~ray@user/raym) |
2024-07-07 00:06:39 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-07-07 00:06:09 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-07 00:01:08 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-07-06 23:58:45 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
2024-07-06 23:56:15 +0200 | nhar | (~noah@user/nhar) (Ping timeout: 255 seconds) |
2024-07-06 23:51:48 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-07-06 23:51:34 +0200 | raym | (~ray@user/raym) (Ping timeout: 264 seconds) |
2024-07-06 23:38:22 +0200 | <mauke> | which is why different options and panes behave inconsistently |
2024-07-06 23:38:03 +0200 | <mauke> | it feels less like a comprehensive UI vision and more like "our UI is whatever the components we use render as" |
2024-07-06 23:37:45 +0200 | <geekosaur> | yeh, I reported that |
2024-07-06 23:36:42 +0200 | <mauke> | oh, it doesn't? do some string mangling on the HTML first, then |
2024-07-06 23:36:31 +0200 | <mauke> | got something HTML-like from the network? throw it in this QHTML component and hope it renders right |
2024-07-06 23:36:24 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2024-07-06 23:36:09 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
2024-07-06 23:35:52 +0200 | <mauke> | the impression I got was that it was basically just a few Qt standard components smashed together |
2024-07-06 23:32:04 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2024-07-06 23:31:58 +0200 | <geekosaur> | I'm hoping I don't have to delve into this stuff myself as I'm not particularly conversant with either C++ or KDE |
2024-07-06 23:30:57 +0200 | <geekosaur> | it doesn't fully support matrix verification but correctly falls back to the mechanisms it does support |
2024-07-06 23:30:36 +0200 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in) |
2024-07-06 23:30:20 +0200 | <geekosaur> | I do note it's using openssl instead of trying to roll its own crypto |
2024-07-06 23:30:03 +0200 | <geekosaur> | and I'm running nightlies and reporting bugs like that |
2024-07-06 23:29:48 +0200 | <geekosaur> | yes |
2024-07-06 23:29:34 +0200 | <mauke> | because that one manages to have HTML injection bugs somehow despite being written in C++ |
2024-07-06 23:29:08 +0200 | <mauke> | is it nheko? |
2024-07-06 23:27:43 +0200 | emm | (~emm@user/edmeme) (Ping timeout: 246 seconds) |
2024-07-06 23:24:06 +0200 | <hc> | Hehehe, well, it doesn't even try to I guess |
2024-07-06 23:23:32 +0200 | <geekosaur> | are you claiming IRC does? 😈 |
2024-07-06 23:22:21 +0200 | <hc> | Does this get the crypto right and complete? ;-) |
2024-07-06 23:21:34 +0200 | <geekosaur> | ("native" meaning it's not just an Electron webapp running in KHTML) |
2024-07-06 23:21:15 +0200 | <geekosaur> | I'm using a KDE native app for Matrix |
2024-07-06 23:19:28 +0200 | nhar | (~noah@user/nhar) |
2024-07-06 23:19:28 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Changing host) |
2024-07-06 23:18:01 +0200 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
2024-07-06 23:16:28 +0200 | <hc> | Electron? Isn't that this huge codebase thing where any XSS gets potential access to the local filesystem? ;-) |
2024-07-06 23:15:29 +0200 | <haskellbridge> | <iqubic (she/her)> I'm using the Matrix, so I can't really comment on the IRC experience all that much. I'm using an Electron based Matrix client. |
2024-07-06 23:05:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-07-06 23:00:39 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
2024-07-06 22:59:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |