add purism draft update

[crowdsupply.git] / updates / 018_2019may27_nlnet_grant_approved.mdwn

diff --git a/updates/018_2019may27_nlnet_grant_approved.mdwn b/updates/018_2019may27_nlnet_grant_approved.mdwn
index b15ae18c1d8165a8fc4062783e6a127af27924e0..f70780b7a7bfb728825f27e64c2f73c5d349247d 100644 (file)
--- 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,
-has been approved.  It means that we have EUR $50,000 to pay for full-time
+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
@@ -108,7 +109,7 @@ family that AMD had to publish "Intel equivalent" speed numbers for,
 because it was so much more efficient and effective than Intel's designs)
 each instruction "accumulated" the dependencies of all prior instructions
 being issued in the same batch.  This works because read and write
-dependencies are *transitive* (Google it...)
+dependencies are *transitive* (whenever a -> b and b -> c then a -> c).
 
 What that means, in practical terms, is that we have a way to create a
 design that could, if ramped up, take on the big boys.  To make that