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.
 
-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