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