Re: [SharpOS Developers] SharpOS vs Singularity

[Chad Z. H. a. K. <Chad@Hower.org>]

> However, Singularity's singular goal (sorry the pun) is to be
> research-oriented towards mathematically verifiable formal security.
> This includes creating a subset of C# with formal-verification language
> constructs.

Im very interested in this as well. Many of the same ideas as Singularity,
although I have some others too I haven't seen them mention.

> Anyway, that was my overarching idea.

Thanks for the detailed post.