From 81261548a21899d35fb856e20415ee6f662333bc Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Mon, 3 Jun 2019 01:59:04 +0100 Subject: [PATCH] change wording of NLnet update --- updates/018_2019may27_nlnet_grant_approved.mdwn | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/updates/018_2019may27_nlnet_grant_approved.mdwn b/updates/018_2019may27_nlnet_grant_approved.mdwn index 2acf847..bb4c11c 100644 --- a/updates/018_2019may27_nlnet_grant_approved.mdwn +++ b/updates/018_2019may27_nlnet_grant_approved.mdwn @@ -1,14 +1,15 @@ -The application for funding from NLnet, from back in November of last year, +The application for funding from NLnet and the +[Next Generation Internet](https://NGI.eu/vision) +initiative from the European Commission, from back in November of last year, has been approved. It means that we have EUR $50,000 to pay for full-time engineering work to be carried out over the next year, and to pay for bounty-style tasks. For the right people, with the right skills, there is money now available. -However, this is not all: by splitting the tasks up into separate groups, -and using a second European-based individual as the applicant, we can -apply for a second grant (also of up to EUR $50,000). In the next couple -of days, we will put in an application for "Formal Mathematical Proofs" -of the processor design. +More plans from our community are in the pipeline. We can apply for +additional grants (also up to EUR $50,000). In the next couple of days, +we will put in an application for “Formal Mathematical Proofs” of the +processor design. There are several reasons for doing so. The primary one is down to the fact that we anticipate this (commercial, libre) product to be closely -- 2.30.2