summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
066f756)
i will be serving these from p.bndl.org for the time being
+++ /dev/null
-.git/
-
-bandali-cv.pdf
-images
-papers
-talks
-
-se212-f19/*.pdf
-se212-f19/*.png
-RSYNC_PARAMS = --exclude-from='.rsync-exclude' -avzLP
-
LATEST=2
SRC := $(filter-out $(wildcard feed_*),$(wildcard *.m4))
OUTPUTS := $(patsubst %.m4,out/%.html,$(SRC))
LATEST=2
SRC := $(filter-out $(wildcard feed_*),$(wildcard *.m4))
OUTPUTS := $(patsubst %.m4,out/%.html,$(SRC))
$(STATIC): ; ln -s $(PWD)/static/$(notdir $@) $@
deploy:
$(STATIC): ; ln -s $(PWD)/static/$(notdir $@) $@
deploy:
- rsync $(RSYNC_PARAMS) out/ abandali@bandali.eu.org:www/
+ rsync -avzLP out/ abandali@bandali.eu.org:www/
define(__slug, `cv')dnl
include(header.html)
<main>
define(__slug, `cv')dnl
include(header.html)
<main>
-<h1>Curriculum vitae (<a href="bandali-cv.pdf">PDF</a>)</h1>
+<h1>Curriculum vitae (<a href="//p.bndl.org/bandali-cv.pdf">PDF</a>)</h1>
<dt>A Comparison of the Declarative Modelling Languages B, DASH, and
TLA<sup>+</sup>
<small>
<dt>A Comparison of the Declarative Modelling Languages B, DASH, and
TLA<sup>+</sup>
<small>
-[ <a href="papers/modre2018-declarative.pdf">pdf</a>
-| <a href="papers/modre2018-declarative.bib">bib</a>
+[ <a href="//p.bndl.org/modre2018-declarative.pdf">pdf</a>
+| <a href="//p.bndl.org/modre2018-declarative.bib">bib</a>
<dl>
<dt>The Magic of Specifications and Type Systems
<small>
<dl>
<dt>The Magic of Specifications and Type Systems
<small>
-[ <a href="talks/cucsc-2017-slides.pdf"
+[ <a href="//p.bndl.org/cucsc-2017-slides.pdf"
title="presented at the Canadian Undergraduate Computer Science Conference 2017,
University of Toronto, Canada, June 15–17, 2017">slides</a>
title="presented at the Canadian Undergraduate Computer Science Conference 2017,
University of Toronto, Canada, June 15–17, 2017">slides</a>
-| <a href="talks/eecs4080-poster.pdf"
+| <a href="//p.bndl.org/eecs4080-poster.pdf"
title="presented at the Lassonde Undergraduate Summer Student Research Conference,
York University, Toronto, Canada, August 15, 2017">poster</a>
]
title="presented at the Lassonde Undergraduate Summer Student Research Conference,
York University, Toronto, Canada, August 15, 2017">poster</a>
]
<ul>
<li>Tutorial 1:
<ul>
<ul>
<li>Tutorial 1:
<ul>
-<li><a href="se212-t01-101.pdf">TUT 101 slides</a></li>
-<li><a href="se212-t01-102.pdf">TUT 102 slides</a></li>
+<li><a href="//p.bndl.org/se212-t01-101.pdf">TUT 101 slides</a></li>
+<li><a href="//p.bndl.org/se212-t01-102.pdf">TUT 102 slides</a></li>
<li><a href="se212-t01.org">Org beamer sources</a></li>
</ul>
</li>
<li><a href="se212-t01.org">Org beamer sources</a></li>
</ul>
</li>
<li>Tutorial 4: —</li>
<li>Tutorial 5:
<ul>
<li>Tutorial 4: —</li>
<li>Tutorial 5:
<ul>
-<li><a href="se212-t05.pdf">Slides</a></li>
+<li><a href="//p.bndl.org/se212-t05.pdf">Slides</a></li>
<li><a href="se212-t05.org">Org beamer sources</a></li>
</ul>
</li>
<li><a href="se212-t05.org">Org beamer sources</a></li>
</ul>
</li>