Newest at the top
| 2026-04-30 16:07:18 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-30 16:07:18 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-04-30 16:07:18 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-04-30 16:06:57 +0000 | AlexNoo_ | AlexNoo |
| 2026-04-30 16:05:26 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-04-30 16:04:43 +0000 | nnm | (nnm@chainless.shells.chat) |
| 2026-04-30 16:03:39 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2026-04-30 16:02:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-30 15:59:14 +0000 | <tomsmeding> | janus: dunno about cringe; shapr gave me op in #haskell-offtopic a long time ago and I did the same. :P |
| 2026-04-30 15:59:03 +0000 | Arsen | (16abab341f@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2026-04-30 15:57:55 +0000 | Enrico63 | (~Enrico63@85.255.235.90) (Quit: Client closed) |
| 2026-04-30 15:57:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 15:56:04 +0000 | Arsen | (16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2026-04-30 15:53:06 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-30 15:52:31 +0000 | AlexZenon | (~alzenon@178.34.163.122) |
| 2026-04-30 15:48:43 +0000 | Arsen | (16abab341f@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2026-04-30 15:47:46 +0000 | AlexNoo | (~AlexNoo@178.34.162.165) (Ping timeout: 265 seconds) |
| 2026-04-30 15:47:10 +0000 | AlexZenon | (~alzenon@178.34.162.165) (Ping timeout: 244 seconds) |
| 2026-04-30 15:46:31 +0000 | Alex_delenda_est | (~al_test@178.34.162.165) (Ping timeout: 264 seconds) |
| 2026-04-30 15:45:13 +0000 | <janus> | but it's a good lesson in that kindedness is exported, which i hadn't considered |
| 2026-04-30 15:45:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-30 15:44:44 +0000 | <janus> | Leary: i should probably abandon this effort, it seems too risky for such an old codebase |
| 2026-04-30 15:43:53 +0000 | AlexNoo_ | (~AlexNoo@178.34.163.122) |
| 2026-04-30 15:43:28 +0000 | janus | -o janus |
| 2026-04-30 15:41:16 +0000 | Arsen | (16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2026-04-30 15:41:14 +0000 | <geekosaur> | it's kinda disrecommended by libera |
| 2026-04-30 15:40:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-30 15:37:56 +0000 | Arsen | (16abab341f@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2026-04-30 15:37:17 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 2026-04-30 15:36:46 +0000 | <janus> | it is cringe to wear op all the time? |
| 2026-04-30 15:36:01 +0000 | <janus> | i got op from shapr and now i proudly wear it. i don't think ChanServ knows about it so i wouldn't be able to get it back |
| 2026-04-30 15:35:24 +0000 | <tomsmeding> | hello I've been away for a couple weeks, what's with all the @? Are there spammers? |
| 2026-04-30 15:34:18 +0000 | <Leary> | I would determine that on a case-by-case basis; ultimately it's a matter of whether they types in question have any good reason to be (or not be) polykinded. |
| 2026-04-30 15:33:04 +0000 | califax | (~califax@user/califx) califx |
| 2026-04-30 15:32:43 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-30 15:31:49 +0000 | tomsmeding_ | tomsmeding |
| 2026-04-30 15:31:39 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-30 15:31:35 +0000 | <janus> | but would it not be better to make the servant export not-polykinded , and keep compatibility with revdeps? |
| 2026-04-30 15:31:31 +0000 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-04-30 15:31:17 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-04-30 15:31:14 +0000 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2026-04-30 15:30:59 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-30 15:30:54 +0000 | <Leary> | Which is fine, but the revdep now needs `Typeable` on the kind. |
| 2026-04-30 15:30:54 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-04-30 15:30:17 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-30 15:30:10 +0000 | <Leary> | Yeah; at a guess, something that wasn't polykinded now is. |
| 2026-04-30 15:29:51 +0000 | <c_wraith> | Not with that specifically, but stuff like PolyKinds can do that |
| 2026-04-30 15:29:37 +0000 | <janus> | s/dependencies/revdeps/ |
| 2026-04-30 15:29:24 +0000 | <janus> | is that something people have encountered? |
| 2026-04-30 15:28:55 +0000 | <janus> | i just didn't expect the code to compile, and then the dependencies to break! |