| 21 Mar 2026 |
piegames | (Sorry, I'll never not be bitter about what Go could –and should– have been) | 14:00:57 |
zoë (she/her) | i already really didn't like the little bit of go i had to do, but mcyoung's posts (e.g. about nosplit and arenas) really fueled my hatred for it :D | 14:04:17 |
piegames | Oh wow, abusing comments for compiler directives sure is on-brand for this language | 14:06:17 |
ShalokShalom | Apropros Fil-C | 15:25:19 |
ShalokShalom | https://railsatscale.com/2026-03-18-how-zjit-removes-redundant-object-loads-and-stores/ | 15:25:22 |
ShalokShalom | They apparently done that effect system, that they are speaking about in this article. | 15:25:46 |
ShalokShalom | Ah, it's the dev, that told me about it. Apparently a known figure in the VM world, cool. | 15:27:21 |
ShalokShalom | * They did the effect system themselves, that they are speaking about in this article. Same people | 21:33:02 |
ShalokShalom | * Ah, the dev that told me about it, is apparently a known figure in the VM dev world, cool. | 21:33:28 |
ShalokShalom | * The same people did develop ZJIT, and the effect system that they are speaking about in this article. | 21:34:48 |
| electria set a profile picture. | 22:18:04 |
| electria changed their profile picture. | 22:42:33 |
| 22 Mar 2026 |
Lisanna | and the reason why c++ can never be made completely memory safe | 03:54:23 |
Lisanna | everything in the std library uses cursed iterators | 03:54:34 |
| @n0toose:ccc.ac left the room. | 12:39:36 |
| KFears& 🏳️⚧️ (they/them) changed their display name from KFears 🏳️⚧️ (they/them) to KFears& 🏳️⚧️ (they/them). | 13:20:48 |
| kungpaochicken joined the room. | 17:06:48 |
| Enrico Cinti joined the room. | 22:39:19 |
| 23 Mar 2026 |
| ShalokShalom changed their profile picture. | 02:05:20 |
| nightuser changed their profile picture. | 11:30:46 |
zoë (she/her) | is there any more feedback to give for Derivation with empty outputs gets an uncharacteristic error message (#1142)? and can anyone tell me if my comment on there is correct? it seems like a pretty trivial fix (maybe even candidate for E/easy, though i'm not sure how the team chooses which issues are suited for that) | 14:01:12 |
zoë (she/her) | * is there any more feedback to give for Derivation with empty outputs gets an uncharacteristic error message (#1142) (eg with regards to whether it should be catchable or not, and if we should also change derivationStrict)? and can anyone tell me if my comment on there is correct? it seems like a pretty trivial fix (maybe even candidate for E/easy, though i'm not sure how the team chooses which issues are suited for that) | 14:02:02 |
zoë (she/her) | * is there any more feedback to give for Derivation with empty outputs gets an uncharacteristic error message (#1142)? eg with regards to whether it should be catchable or not, and if we should also change derivationStrict also can anyone tell me if my comment on there is correct? it seems like a pretty trivial fix (maybe even candidate for E/easy, though i'm not sure how the team chooses which issues are suited for that) | 14:02:23 |
Qyriad | I think that should be pretty easy, yeah | 14:03:03 |
Qyriad | Nothing in your comment strikes me as wrong, but we haven't looked at that part recently | 14:03:50 |
zoë (she/her) | * is there any more feedback to give for Derivation with empty outputs gets an uncharacteristic error message (#1142)? eg with regards to whether it should be catchable or not, and if we should also change derivationStrict also can anyone tell me if my comment on there is correct? it seems like a pretty trivial fix (maybe even candidate for E/easy to leave to some first-time contributors, though i'm not sure how the team chooses which issues are suited for that) | 14:04:28 |
raitobezarius | In general, I'd recommend doing the smallest amount of changes from increasing complexity | 21:34:09 |
raitobezarius | In this case, I'd recommend adding an error that has the same catch ability property as the one in drvStrict and from there we can pile up semantic changes with careful justification | 21:34:52 |
raitobezarius | If we restrict the changes to these atomic pieces, it's E/easy, I don't know if changing catch ability is not kind of Context/Maintainers because of some risky semantic changes we do not like in general | 21:35:48 |
raitobezarius | For the record, I am not sure I understand why we would make this error catchable, having an empty output list is always a fatal error, if your output list is conditional and dies when a platform is not supported or some data is unavailable, you should throw before the derivation thunk in its fully resolved form is resolved | 21:38:17 |