Re: Safety in Kernel Development

On 08/18/2015 08:30 PM, Kenneth Adam Miller wrote:

| "this is not a rational approach"

I'm very strongly confident the approach of achieving stronger guarantees

Off topic