Soni L.
Soni L.
This fills in some TODOs, may or may not be relevant for EHv4 but will definitely be relevant for GC later on. We tried our best to make this efficient,...
wouldn't it be better to just remove RunResult altogether? no RunResult, no bugs! (more seriously: there are 2 different ways to convey traps currently. would it be feasible to unify...
This is a funny idea we have, but it'd help a lot with maintenance if we could tag certain tests with an UPSTREAM: [commit ID] tag and then automatically check...
### Is your feature request related to a problem ? Moderation is hard. Having `git blame` for federation would help a lot. ### Describe the solution you'd like. We've previously...
This is a link to tom7's amazing PhD: http://tom7.org/papers/modal-types-for-mobile-code.pdf As the PhD says, it's about "modal types for mobile code". We see it as an alternative to the threading model...
The ability to use an XML parser would be great to make our websites fail to compile when we get the XML wrong.
EHv4: - [ ] `exnref` interaction with globals - [ ] `try_table` accepts `param`? - [ ] updating locals in a `try_table` block, then throwing: - [ ] within the...
sadly UBSAN doesn't appear to detect this (yet).
Those DID things look kinda interesting. Would it be possible to shove them into the torrent system somehow? What could they do for torrents?
hello! we have managed to come up with a way for working safely with realtime signals, but it requires a full std replacement. we call it `stdworld`, tho the crate...