writing

3 files changed, 26 insertions, 6 deletions

diff --git a/format.tex b/format.tex
index 33244e9..bcff360 100644
--- a/format.tex
+++ b/format.tex
@@ -1,11 +1,23 @@
+%% Links
+\def\link#1{%
+  \pdfstartlink
+    user{/Subtype /Link
+    /Border [ 0 0 0 ]
+    /A <<
+      /Type /Action
+      /S /URI
+      /URI (#1)
+    >>}%
+    {\it #1}%
+  \pdfendlink
+}
+
 %% Fonts
 \font\fourteenbf=cmbx12 at 14pt
 \font\fourteenrm=cmr12 at 14pt
 \font\twelverm=cmr12
 
 %% Header
-\newskip\megskipamount \megskipamount=18pt plus 6pt minus 6pt
-\def\megskip{\vskip\megskipamount}
 {\obeylines\parindent=0in
 Holden Rohrer, Holden Watson, and Nithya Jayakumar
 2019 Oct 21
@@ -13,9 +25,9 @@ Applied Combinatorics--Math 3012
 Livshyts
 \medskip
 }
-\def\titlesub#1#2{\centerline{\fourteenbf #1}\centerline{#2}\megskip}
+\def\titlesub#1#2{\centerline{\fourteenbf #1}\centerline{#2}\bigskip}
 \newcount\sections \newcount\subsections
 \outer\def\section#1\par{\advance\sections by 1\thesection{#1}}
-\def\thesection#1{\vskip .3\hsize\goodbreak\vskip -.3\hsize\noindent{\fourteenrm\the\sections\ #1\bigskip}}
+\def\thesection#1{\vskip .3\hsize\goodbreak\vskip -.3\hsize\bigskip\noindent{\fourteenrm\the\sections\ #1\bigskip}}
 \outer\def\subsection#1\par{\advance\subsections by 1\thesubsection{#1}}
-\def\thesubsection#1{\vskip .15\hsize\goodbreak\vskip -.15\hsize\noindent{\twelverm\the\sections.\the\subsections\ #1\medskip}}
+\def\thesubsection#1{\vskip .15\hsize\goodbreak\vskip -.15\hsize\medskip\noindent{\twelverm\the\sections.\the\subsections\ #1\medskip}}
diff --git a/progress.pdf b/progress.pdf
index 6659e16..a39be21 100644
--- a/progress.pdf
+++ b/progress.pdf
diff --git a/progress.tex b/progress.tex
index 2af8133..47be42d 100644
--- a/progress.tex
+++ b/progress.tex
@@ -3,6 +3,14 @@
 
 \section Overview
 
-The topic we've chosen to cover includes one of the newest fields in computer science: global consensus in distributed systems. This is because it is intimately intertwined with all kinds of networking across the web (although it's becoming more centralized as time goes on), torrent software, the TOR network, server redundancy in commercial applications, and the almighty cryptocurrency. % Are all of them necessary? If so, long sentence.
+There's a famous problem in computer science called the Two Generals' Problem. It follows two Roman camps on opposite sides of a valley, claimed by enemies. Each can send a scout to the other to decide when to attack---which is necessary because if either attacks alone he is guaranteed to lose---but there is no guarantee the scout will arrive. Clearly, one message cannot guarantee consensus between the two. But neither can thirty---or a billion. 
+
+This is global consensus in a distributed system, and is still an unsolved problem so far as such a problem can be ``solved.'' This is because it is intimately intertwined with novel technologies, starting with the internet and routing paths (even though it's about 50 years old), torrent software, the TOR network, server redundancy in commercial applications, and the almighty cryptocurrency. % Are all of them necessary? If so, long sentence.
+
+We want to review existing literature on the topic as well as practical applications of those principles (e.g. Bitcoin's consensus algorithm and its failures),\footnote{$^1$}{\link{https://bitcointalk.org/index.php?topic=702755.0}} so 
+
+\section Products
+
+In line with the project requirements, we are going to draw up 
 
 \bye