From e0c7654f6ee1418f7fe08ddf42c4a7a9ab49d1fd Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sun, 17 Sep 2017 19:57:20 +0100 Subject: [PATCH] no c++, c is enough --- Home | 2 +- Technology | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Home b/Home index 7b85724..7fbbf4a 100644 --- a/Home +++ b/Home @@ -8,7 +8,7 @@ With our approach to systems development we provide the following advantages for * secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforseen state * ready for the cloud, services run on all major hypervisors * instant boot -* competitive performance comparable to C / C++ +* competitive performance comparable to C * can target embedded devices because of small size and the ability to compile to native code * minimized state allows to reason about entire systems and their adherence to the specification * extensive library ecosystem, yet minimal trusted code base at runtime diff --git a/Technology b/Technology index 5cb120c..8c2a8e4 100644 --- a/Technology +++ b/Technology @@ -127,7 +127,7 @@ This style allows us to reason about the possible states of a system. ### Performance OCaml code compiles to native code, which is -as performant as compiled C++ code. As +competitive, and comparable to compiled C code. As an example, our [TLS library](https://usenix15.nqsb.io) has up to 85% of the bulk throughput of OpenSSL (using AES128-CBC). The TLS handshake performance is comparable with OpenSSL.