On Monday, July 14, 2014, Raoul Duke <[email protected]> wrote: > $0.02 it might be worth (because you have so much copious free time!) > having an updated blurb somewhere official online, that says something > succinct about: > > * the current goals of BitC v2+ (i.e. needed for writing a less unsecure > os) > * what the constraints are (i.e. we need it yesterday, so you have to > decide what is the absolute minimum that should be reached for). > * and maybe a few lines about whey the usual suspects aren't > sufficient (rust, ada, ats, acl2, etc.) [which 1-or-more of those was > a joke i put in, do you think?] >
The joke, obviously, was Rust! :-) Good idea. It's one of the reasons I'm trying to get a blog going. Unfortunately I'm travelling at the moment, so it needs to wait another day or two. Shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
