2025/09/30

Newest at the top

2025-09-30 13:42:08 +0200trickard_trickard
2025-09-30 13:36:14 +0200__monty__(~toonn@user/toonn) toonn
2025-09-30 13:35:56 +0200Lord_of_Life_Lord_of_Life
2025-09-30 13:34:19 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-30 13:33:37 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2025-09-30 13:33:01 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-30 13:32:56 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-09-30 13:27:45 +0200xff0x(~xff0x@2405:6580:b080:900:d380:2cba:bb6a:6ed1)
2025-09-30 13:27:09 +0200kuribas(~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) (Ping timeout: 244 seconds)
2025-09-30 13:19:25 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-30 13:19:22 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-30 13:19:08 +0200trickard(~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 +0200merijn(~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 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-30 13:05:19 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2025-09-30 13:02:08 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-30 13:02:08 +0200caconym74787(~caconym@user/caconym) caconym
2025-09-30 13:00:05 +0200caconym74787(~caconym@user/caconym) (Quit: bye)
2025-09-30 12:55:24 +0200SheRejoinedShe
2025-09-30 12:55:24 +0200She(haveident@libera/staff/she/her) (Ping timeout: 615 seconds)
2025-09-30 12:49:08 +0200trickard_trickard
2025-09-30 12:48:32 +0200SheRejoined(haveident@libera/staff/she/her) She
2025-09-30 12:48:13 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-30 12:40:20 +0200dcpagan(~dcpagan@gateway/tor-sasl/dcpagan) dcpagan
2025-09-30 12:38:28 +0200dcpagan(~dcpagan@gateway/tor-sasl/dcpagan) (Ping timeout: 272 seconds)
2025-09-30 12:33:10 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-30 12:32:16 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds)
2025-09-30 12:31:18 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds)
2025-09-30 12:23:43 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-09-30 12:22:25 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds)
2025-09-30 12:16:42 +0200kuribas(~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) kuribas
2025-09-30 12:14:49 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-09-30 12:13:09 +0200comerijn(~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 +0200merijn(~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 +0200merijn(~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