projects / ~bandali / bndl.org / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: a974e13)
git-annex in bandali@jirud:~/src/site
authorAmin Bandali <bandali@gnu.org>
Fri, 5 Nov 2021 02:31:40 +0000 (22:31 -0400)
committerAmin Bandali <bandali@gnu.org>
Fri, 5 Nov 2021 02:31:40 +0000 (22:31 -0400)
bandali-cv.txt patch | blob | blame | history
cv.html patch | blob | blame | history
se212-f19.html [deleted file] patch | blob | blame | history

diff --git a/bandali-cv.txt b/bandali-cv.txt
index 2195709..f4351b3 100644 (file)
--- a/bandali-cv.txt
+++ b/bandali-cv.txt
@@ -2,15 +2,16 @@
 
                              Amin Bandali
 
 
                              Amin Bandali
 
-              ------------------------------------------
-              site:  https://bndl.org
-              email: bandali@gnu.org
-                     bandali@uwaterloo.ca
-              phone: available upon request via email
+         ----------------------------------------------------
+         site:  https://kelar.org/~bandali
+         email: bandali@kelar.org
+                bandali@gnu.org
+                bandali@uwaterloo.ca
+         phone: available upon request via email
 
 
-              this file: https://bndl.org/bandali-cv.txt
-              last update: 2021-10-30
-              ------------------------------------------
+         this file: https://kelar.org/~bandali/bandali-cv.txt
+         last update: 2021-10-30
+         ----------------------------------------------------
 
 
 SUMMARY OF QUALIFICATIONS
 
 
 SUMMARY OF QUALIFICATIONS
@@ -71,8 +72,9 @@ RESEARCH INTERESTS
 
 PUBLICATIONS & PRESENTATIONS
 
 
 PUBLICATIONS & PRESENTATIONS
 
-  The complete bibliography of my publications is available as
-  a BibTeX bibliography file from https://bndl.org/bandali.bib.
+  The complete bibliography of my publications is available
+  as a BibTeX bibliography file from
+  https://kelar.org/~bandali/bandali.bib.
 
   PAPERS
 
 
   PAPERS
 
@@ -95,9 +97,9 @@ PUBLICATIONS & PRESENTATIONS
       MMath Thesis, University of Waterloo, David R. Cheriton
       School of Computer Science, July 2020.
 
       MMath Thesis, University of Waterloo, David R. Cheriton
       School of Computer Science, July 2020.
 
-      pdf: https://p.bndl.org/bandali-mmath-thesis.pdf
+      pdf: https://kelar.org/~bandali/mmath/bandali-mmath-thesis.pdf
       hdl: https://hdl.handle.net/10012/16059
       hdl: https://hdl.handle.net/10012/16059
-      http: https://bndl.org/mmath
+      http: https://kelar.org/~bandali/mmath/
 
   TALKS
 
 
   TALKS
 
@@ -109,7 +111,7 @@ PUBLICATIONS & PRESENTATIONS
       slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf
       slides with notes:
        https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf
       slides: https://p.bndl.org/bandali-jami-libreplanet-2021.pdf
       slides with notes:
        https://p.bndl.org/bandali-jami-libreplanet-2021-with-notes.pdf
-      http: https://bndl.org/libreplanet-2021
+      http: https://kelar.org/~bandali/2021/03/20/libreplanet-2021
 
     The Magic of Specifications and Type Systems
 
 
     The Magic of Specifications and Type Systems
 
diff --git a/cv.html b/cv.html
index 6c57ce9..cb1c3ba 100644 (file)
--- a/cv.html
+++ b/cv.html
@@ -31,9 +31,9 @@ as <a href="bandali-cv.txt">bandali-cv.txt</a></p>
 
 <dl id="link-grid">
 <dt>Site</dt>
 
 <dl id="link-grid">
 <dt>Site</dt>
-<dd><a href="https://bndl.org">bndl.org</a></dd>
+<dd><a href="https://kelar.org/~bandali/">kelar.org/~bandali</a></dd>
 <dt>Email</dt>
 <dt>Email</dt>
-<dd>bandali@gnu.org<br />bandali@uwaterloo.ca</dd>
+<dd>bandali@kelar.org<br />bandali@gnu.org<br />bandali@uwaterloo.ca</dd>
 <dt>Phone</dt>
 <dd>available upon request via email</dd>
 <dt>Last update</dt>
 <dt>Phone</dt>
 <dd>available upon request via email</dd>
 <dt>Last update</dt>
diff --git a/se212-f19.html b/se212-f19.html
deleted file mode 100644 (file)
index e257deb..0000000
--- a/se212-f19.html
+++ /dev/null
@@ -1,62 +0,0 @@
-<!doctype html>
-<html lang="en">
-<head>
-<meta charset="utf-8" />
-<meta name="author" content="bandali" />
-<meta name="viewport" content="width=device-width, initial-scale=1" />
-<title>SE 212 Material &mdash; bandali</title>
-<style>
-body {
-  line-height: 1.6;
-  max-width: 37.5em;
-  padding: 0 2em;
-}
-@media (prefers-color-scheme: dark) {
-  body { background: #1c1c1c; color: white; }
-  a:link { color: #acdeff; }
-  a:visited { color: #f8f; }
-  a:active { color: #e00; }
-}
-</style>
-</head>
-<body>
-<h1>Material from SE 212 tutorials</h1>
-
-<p>This page contains slides and other material from
-<a href="https://www.student.cs.uwaterloo.ca/~se212/times.html">SE 212
-tutorials</a> held by <a href="https://bndl.org">me</a> in Fall 2019.
-<del>If you have any questions, concerns, or suggestions about the
-presented material, please email me at bandali@uwaterloo.ca or come
-see me during
-my <a href="https://www.student.cs.uwaterloo.ca/~se212/personnel.html">Friday
-office hours</a>.</del></p>
-
-<ul>
-<li>Tutorial 1:
-<ul>
-<li><a href="https://p.bndl.org/se212-t01-101.pdf">TUT 101 slides</a></li>
-<li><a href="https://p.bndl.org/se212-t01-102.pdf">TUT 102 slides</a></li>
-<li><a href="https://p.bndl.org/se212-t01.org">Org beamer sources</a></li>
-</ul>
-</li>
-<li>Tutorial 2:
-<ul>
-<li><a href="https://p.bndl.org/se212-h02q04d-soln.grg">Homework 2
-q04d solution</a></li>
-</ul>
-</li>
-<li>Tutorial 3: —</li>
-<li>Tutorial 4: —</li>
-<li>Tutorial 5:
-<ul>
-<li><a href="https://p.bndl.org/se212-t05.pdf">Slides</a></li>
-<li><a href="https://p.bndl.org/se212-t05.org">Org beamer sources</a></li>
-</ul>
-</li>
-<li>Tutorial 6: —</li>
-<li>Tutorial 7: worked through questions 1–5 of Homework 7</li>
-<li>Tutorial 8: —</li><li>Tutorial 9: —</li>
-<li>Tutorial 10: worked through questions 1–10 of Homework 10</li>
-</ul>
-</body>
-</html>
Sources for my personal site