News for hackers. Stuff that matters.
Re:The C Bounded Model Checker: Criminally Underused by sigsev_251 on Thursday February 01, 2024 @04:30AM (#39214151)
Very nice comment. This was a blocking point I fell onto too. There is another option, to not allow spans on the return channel, but I don't know how people who handle resources with lifetimes that exceed the function scope will take this. Just like you, I'm curious to see what how this will be solved.

There are no comments on this comment yet.