Ooh, cooll to hear you got some uptake on the call for formal methods help! Or did you end up figuring it out on your own? Either way, looking forward to the followup!
replyMostly chatted with some people and figured it out with their help.
replyYou should be careful that the Rust cultists don't sacrifice you in a ritual in the dark of night in some cave, while chanting "CRustlhu" over and over.
replyJ/K, but seriously, some members of the Rust community might not be happy about your writings.
I'm a huge fan of Rust! I like to think my writing makes the Rust community better more than it annoys people :)
replyStill, be careful, it didn't exactly engender a lot of responses, only got 1 comment here:
replyhttps://old.reddit.com/r/rust/comments/1tuvxej/iddqd_or_the_...
Marketing of Rust is held very, very dear to some of the people in the community.