I feel for the author of this post. It sounds like a sad and frustrating position to be in. At the same time, my respect for Galois and DARPA (and other contri

I feel for the author of this post. It sounds like a sad and frustrating position to be in. At the same time, my respect for Galois and DARPA (and other contributors to C2Rust) mostly only went up from reading it. It's unfortunate that corrode wasn't acknowledged, but I feel fairly confident that was either for a real reason (like some government contract thing) or forgetfulness. It seems they acted reasonably and well, and did quality work. Their offer to fund a few tech talks seemed generous (and mutually beneficial); I wouldn't be surprise if they'd have paid for even a less organized talk, out of gratitude/respect if nothing else. In any case, I hope Jamey is able to feel better about this and find some great work soon; seems like a great person to work with all around.