From 3ddc942511f39c94f52d4ed6c49dcee9b3b168cf Mon Sep 17 00:00:00 2001
From: Bob Coecke <coecke@cs.ox.ac.uk>
Date: Wed, 13 Feb 2019 11:00:04 +0000
Subject: [PATCH] Some TODOs on Summary and 1.1.
---
NEWPROPOSAL/FULLPROP.tex | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 4fbb480..8ea37dc 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -43,7 +43,7 @@
-\section*{Summary of the project}
+\section*{Summary of the project}\TODOb{Needs to be more punchy, cf 1.1. a) Deep QC should be much more to forefront. b) Evidential recent results on ZX as outperforming should be prominent and clear. }
\label{sec:abstract}
%currently 2510 characters
@@ -170,14 +170,14 @@ IT MAY BE BEST THAT WE AVOID ANYTHING THAT SUGGESTS A GIANT OCTOPUS SPRAWLING OV
\vspace{-1mm}
\cgraph[0.65]{arch-diagram.pdf}\vspace{-5mm}
-\paragraph{Context:}
-\label{sec:context}
+\paragraph{Context:}\TODOb{Evidential recent results on ZX as outperforming are part of context should be prominent and clear. }
+\label{sec:context}
\newt{%
Effective programming practise allows the programmer to design software without paying very close attention to the nature of the hardware.
In the context of quantum technologies, this is made difficult by the fact that hardware platforms are varied~\cite{PhysRevX.4.041041,Raussendorf-2001,KendonAncilla} \texttt{\bfseries \color{red!70!black}[double-check this list of references for suitability]}, have limited resources, and are evolving quickly.
Due to the overhead involved in making quantum computations fault-tolerant, different platforms will continue to be developed for different tasks (with and without error correction), even as quantum hardware technologies mature and demonstrate scalability.
- The complications presented by limited resources and divergent architectures will likely persist for the forseeable future.
+ The complications presented by limited resources and divergent architectures will likely persist for the foreseeable future.
For classical programs, modern compiler toolchains such as LLVM\footnote{%
The LLVM Compiler Infrastructure, \url{http://llvm.org}}
decouple high-level programming from different hardware platforms, allowing for easy and customisable cross-compilation.
@@ -2143,7 +2143,7 @@ As the group where \zxcalculus\ originated \cite{Coecke:2009aa}, Oxford will co
quantum programming and high performance simulation of quantum
algorithms
- \vspace{1mm}\hrulefill\vspace{1mm}
+ \vspace{1mm}\hrulefill\vspace{1mm}
\textbf{Role in Project:}
--
GitLab