Newest at the top
| 2025-09-30 13:36:14 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-09-30 13:35:56 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-09-30 13:34:19 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 13:33:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-09-30 13:33:01 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-09-30 13:32:56 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 13:27:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d380:2cba:bb6a:6ed1) |
| 2025-09-30 13:27:09 +0200 | kuribas | (~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-09-30 13:19:25 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 13:19:22 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 13:19:08 +0200 | trickard | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 13:14:34 +0200 | _d0t_ | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 2025-09-30 13:14:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-30 13:10:21 +0200 | _d0t_ | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-09-30 13:10:06 +0200 | _d0t_ | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2025-09-30 13:07:22 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-09-30 13:05:19 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-09-30 13:02:08 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-09-30 13:02:08 +0200 | caconym74787 | (~caconym@user/caconym) caconym |
| 2025-09-30 13:00:05 +0200 | caconym74787 | (~caconym@user/caconym) (Quit: bye) |
| 2025-09-30 12:55:24 +0200 | SheRejoined | She |
| 2025-09-30 12:55:24 +0200 | She | (haveident@libera/staff/she/her) (Ping timeout: 615 seconds) |
| 2025-09-30 12:49:08 +0200 | trickard_ | trickard |
| 2025-09-30 12:48:32 +0200 | SheRejoined | (haveident@libera/staff/she/her) She |
| 2025-09-30 12:48:13 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 12:40:20 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) dcpagan |
| 2025-09-30 12:38:28 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) (Ping timeout: 272 seconds) |
| 2025-09-30 12:33:10 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-30 12:32:16 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-09-30 12:31:18 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-09-30 12:23:43 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 12:22:25 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-09-30 12:16:42 +0200 | kuribas | (~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) kuribas |
| 2025-09-30 12:14:49 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-09-30 12:13:09 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 12:10:56 +0200 | <tomsmeding> | (or post it yourself) |
| 2025-09-30 12:10:35 +0200 | <tomsmeding> | ski: this looks like a typechecker issue, and type signatures compartmentalise type checking, so if you can find a type signature that preserves the panic, then do let me know and I'll add it |
| 2025-09-30 12:08:07 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-30 12:06:15 +0200 | <tomsmeding> | if the reader wants to try other combinations they're welcome to |
| 2025-09-30 12:06:07 +0200 | <tomsmeding> | ¯\_(ツ)_/¯ |
| 2025-09-30 12:04:06 +0200 | <ski> | (having (1b) generalized, while (1a) is not, also looks a bit strange ..) |
| 2025-09-30 12:02:55 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 11:58:41 +0200 | <tomsmeding> | it's trivial to reproduce and it's just 3 lines of code |
| 2025-09-30 11:58:05 +0200 | <tomsmeding> | I think it's clear enough like this |
| 2025-09-30 11:57:58 +0200 | <tomsmeding> | yeah I'd like to not change the code snippet and playground link if not really necessary |
| 2025-09-30 11:57:24 +0200 | <ski> | you could replace "usage of Secured implies" with "type signature of Secured implies", i guess. only applies when (1c) is present, though |
| 2025-09-30 11:57:23 +0200 | <tomsmeding> | also I like the vibe of "NoFlexi" |
| 2025-09-30 11:57:13 +0200 | <tomsmeding> | it really is a very fragile piece of code |
| 2025-09-30 11:56:56 +0200 | <tomsmeding> | seems like the usage is unnecessary, though |
| 2025-09-30 11:56:49 +0200 | <ski> | right |