m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcin Chrzanowski <m@m-chrzan.xyz>2022-12-20 23:34:27 +0100
committerMarcin Chrzanowski <m@m-chrzan.xyz>2022-12-20 23:34:27 +0100
commitb0b2f58f0531641d8cf37fe3b201c7ae9804a283 (patch)
treee75d34b37b223acc14ffea95f9e0ccc0f1b97d98
parent52ea1ce09ee689705464645f4cf5c3efd462cd7f (diff)
Add thesis
-rwxr-xr-xscripts/build.rb6
-rw-r--r--src/projects.html.erb4
-rw-r--r--src/thesis-slides.pdfbin0 -> 256122 bytes
-rw-r--r--src/thesis.pdfbin0 -> 350574 bytes
4 files changed, 9 insertions, 1 deletions
diff --git a/scripts/build.rb b/scripts/build.rb
index ab3a254..5873ac5 100755
--- a/scripts/build.rb
+++ b/scripts/build.rb
@@ -26,12 +26,16 @@ statics = [
'.well-known/keybase.txt',
'key.asc',
'favicon.ico',
- 'button.gif'
+ 'button.gif',
+ 'thesis.pdf',
+ 'thesis-slides.pdf'
]
P.add 'key', 'key.asc'
P.add 'style', 'style.css'
P.add 'button', 'button.gif'
+P.add 'thesis', 'thesis.pdf'
+P.add 'thesis-slides', 'thesis-slides.pdf'
P.add 'index', 'index.html'
P.add 'contact', 'contact.html'
diff --git a/src/projects.html.erb b/src/projects.html.erb
index f7166bf..ba31ad5 100644
--- a/src/projects.html.erb
+++ b/src/projects.html.erb
@@ -19,6 +19,10 @@ additional code can be found on my <a href='https://github.com/m-chrzan'>GitHub
used Jekyll, but I wanted to play around and build something minimal for
personal use. I'm not a webdev.
</li>
+ <li><a href='<%= path_to 'thesis' %>'>MSO Query Answering on Trees</a>: my
+ master's thesis.
+ <a href='<%= git 'mgr' %>'>[source]</a>
+ <a href='<%= path_to 'thesis-slides' %>'>[slides]</a>
<li><a href='<%= git 'dicebag' %>'>Dicebag</a>: a dice
expression parser and roller.
</li>
diff --git a/src/thesis-slides.pdf b/src/thesis-slides.pdf
new file mode 100644
index 0000000..798c21a
--- /dev/null
+++ b/src/thesis-slides.pdf
Binary files differ
diff --git a/src/thesis.pdf b/src/thesis.pdf
new file mode 100644
index 0000000..f707b9e
--- /dev/null
+++ b/src/thesis.pdf
Binary files differ