From 68085d8be697f83be03acbfea5202ee26cedb1e0 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Fri, 22 Dec 2017 19:26:35 +0100 Subject: [PATCH] less words --- Home | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Home b/Home index d75c2a4..8c3f7b7 100644 --- a/Home +++ b/Home @@ -12,8 +12,8 @@ With our approach to systems development we provide the following advantages for * secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforeseen state * ready for the cloud, services run on all major hypervisors * instant boot (milliseconds) -* competitive performance (TLS 85% the speed of OpenSSL) comparable to C -* can target embedded devices, small size (~4% size of UNIX based system), compilation to native code +* competitive performance to C implementations +* can target embedded devices, small size (~4% of UNIX based system), compilation to native code * minimal codebase without mutable state allows to reason about entire systems and adherence to specification * extensive library ecosystem, yet minimal trusted code base at runtime * rapid prototyping with a seamless path from prototype to production