Oli Scherer

> No, AdaCore will not be doing all the work, as we were hoping that this effort would be community-led. While I do like the motivation, I don't think it...

I wonder if there are libc compliance test suites that are licensed well enough for us to extract tests from

> 2\. How can miri differentiate `read` and `write` of `socketpair` file descriptors and other kind of file descriptors? Why does it need to? Shouldn't the abstraction provided by the...

Left some comments,on the doc

do you want to just enable reuse, so a long running program will slowly start (deterministically) shuffling its allocations? Or do you really want randomization? I mean your code snippet...

I guess we could use https://github.com/rust-osdev/linked-list-allocator on the `[u8]` that is our virtual memory so we'd at least get reuse without having to do much work. We can then figure...

Yea, I'd rather keep the support as long as it's not a maintenance burden (which afaict it is not). Having a minimal thing to start from seems great. Maybe all...

Infra needs to do that

Not in the near future. The only PR I'm giving attention to right now is the serde_core one

The blog post (in the skill-tree meeting it was discussed that basically all that is missing is a blog post referencing the current status of the skill tree that the...