change wording of NLnet update
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 3 Jun 2019 00:59:04 +0000 (01:59 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 3 Jun 2019 00:59:04 +0000 (01:59 +0100)
updates/018_2019may27_nlnet_grant_approved.mdwn

index 2acf847971cf8cbd7bf12a760a916d189e56130f..bb4c11cb6e5f328ccdd7712461d503d9dc0c63f8 100644 (file)
@@ -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.
 
 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
 
 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