From 3c95a139950b5ccafdc3531eb8ffd35a27d4d474 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Thu, 28 Nov 2024 19:50:21 -0800 Subject: [PATCH] add TODO european dimension --- src/grants/nlnet-first.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/grants/nlnet-first.md b/src/grants/nlnet-first.md index 4c7fd51..f4003c1 100644 --- a/src/grants/nlnet-first.md +++ b/src/grants/nlnet-first.md @@ -60,3 +60,5 @@ It is expected that automated formal proof software (stuff like SMT solvers such ## Ecosystem TODO + +TODO European dimension? benefits people everywhere by having CPUs with better security, including Europeans.