Commit | Line | Data |
---|---|---|
85314da0 AB |
1 | (use-modules (haunt asset) |
2 | (haunt builder blog) | |
3 | (haunt builder atom) | |
4 | (haunt builder assets) | |
99ac860d | 5 | (haunt builder rss) |
85314da0 AB |
6 | (haunt html) |
7 | (haunt page) | |
8 | (haunt post) | |
9 | (haunt reader commonmark) | |
10 | (haunt site) | |
11 | (haunt utils) | |
12 | (ice-9 match) | |
13 | (srfi srfi-19)) | |
14 | ||
8c2dfb46 AB |
15 | (define my-scheme 'https) |
16 | (define my-domain "bandali.eu.org") | |
17 | (define my-url | |
18 | (string-append (symbol->string my-scheme) "://" my-domain)) | |
19 | ||
85314da0 AB |
20 | (define (stylesheet name) |
21 | `(link (@ (rel "stylesheet") | |
22 | (href ,(string-append "/" name ".css"))))) | |
23 | ||
455bb137 AB |
24 | (define* (aa content #:optional (uri content) . title) |
25 | `(a (@ (href ,uri) (title ,(apply string-append title))) ,content)) | |
26 | ||
85314da0 AB |
27 | (define* (base-layout site body #:key title) |
28 | `((doctype "html") | |
29 | (html | |
30 | (head | |
31 | (meta (@ (charset "utf-8"))) | |
32 | (title ,(if title (string-append title " — " (site-title site)) | |
33 | "Amin Bandali’s Personal Site")) | |
34 | ,(stylesheet "reset") | |
35 | ,(stylesheet "style")) | |
36 | (body | |
37 | (main ,body) | |
38 | (footer | |
39 | (p | |
455bb137 | 40 | "Copyright 2016–2019 Amin Bandali. See " ,(aa "license.html") |
85314da0 AB |
41 | " for license conditions. Please copy and share.")))))) |
42 | ||
cd5ad35b AB |
43 | (define my-date-format "~B ~d, ~Y") |
44 | ||
45 | (define (my-post-template post) | |
85314da0 AB |
46 | `((header |
47 | (h1 ,(post-ref post 'title)) | |
455bb137 | 48 | (address "By " ,(aa (post-ref post 'author) "/") |
85314da0 AB |
49 | " <" ,(post-ref post 'email) ">") |
50 | (p (@ (class "date")) | |
cd5ad35b | 51 | ,(date->string (post-date post) my-date-format))) |
90169139 AB |
52 | ,(post-sxml post) |
53 | (p (@ (class "muted inbox")) | |
54 | "Have a question or comment? Start a discussion in my " | |
455bb137 | 55 | ,(aa "public inbox" "https://lists.sr.ht/~bandali/public-inbox") |
90169139 | 56 | " by sending an email to " |
455bb137 AB |
57 | ,(aa "~bandali/public-inbox@lists.sr.ht" |
58 | "mailto:~bandali/public-inbox@lists.sr.ht") | |
90169139 | 59 | (small |
455bb137 AB |
60 | " [" ,(aa "mailing list etiquette" |
61 | "https://man.sr.ht/lists.sr.ht/etiquette.md") "]") | |
90169139 | 62 | "."))) |
85314da0 | 63 | |
cd5ad35b | 64 | (define (my-collection-template site title posts prefix) |
85314da0 AB |
65 | (define (post-uri post) |
66 | (string-append (or prefix "") "/" | |
67 | (site-post-slug site post) ".html")) | |
68 | ||
69 | `((h3 ,title) | |
70 | (ul | |
71 | ,@(map (lambda (post) | |
72 | `(li | |
455bb137 AB |
73 | ,(aa (post-ref post 'title) (post-uri post)) |
74 | " — " | |
75 | ,(date->string (post-date post) my-date-format))) | |
85314da0 AB |
76 | posts)))) |
77 | ||
78 | (define bandali-theme | |
79 | (theme #:name "bandali" | |
80 | #:layout | |
81 | (lambda (site title body) | |
82 | (base-layout site body | |
83 | #:title title)) | |
cd5ad35b AB |
84 | #:post-template my-post-template |
85 | #:collection-template my-collection-template)) | |
86 | ||
87 | (define (static-page title file-name body) | |
88 | (lambda (site posts) | |
89 | (make-page file-name | |
90 | (with-layout bandali-theme site title body) | |
91 | sxml->html))) | |
85314da0 AB |
92 | |
93 | (define (index-material site posts) | |
94 | `(div | |
95 | (h1 (@ (style "font-size: 0;")) | |
96 | "Amin Bandali") | |
97 | (p (@ (style "margin-top: 0;")) | |
98 | "Hi, I’m " | |
455bb137 AB |
99 | ,(aa "Amin Bandali" "images/bandali-with-rms.jpg" |
100 | "photo of bandali with rms wearing a " | |
101 | "“pay cash don’t be tracked” pin") | |
85314da0 | 102 | ". I’m a graduate student at " |
455bb137 | 103 | ,(aa "WatForm" "https://watform.uwaterloo.ca") |
85314da0 | 104 | " at University of Waterloo, supervised by " |
455bb137 | 105 | ,(aa "Dr. Nancy Day" "https://cs.uwaterloo.ca/~nday/") |
85314da0 AB |
106 | ". The main goal of my research is improving " |
107 | (strong "software and systems reliability") | |
108 | " through application of " (em "formal methods") ".") | |
109 | (p "My research at WatForm focuses on formal logic, model " | |
110 | "checking, and verification. I’m also interested in " | |
111 | "programming languages, theorem provers, and their " | |
112 | "type systems. You may wish to view my academic " | |
455bb137 | 113 | ,(aa "curriculum vitae" "bandali-cv.html") ".") |
85314da0 AB |
114 | (p (@ (class "notice")) |
115 | (strong "SE 212 students: ") | |
455bb137 AB |
116 | "see " ,(aa "here" "se212-f19/") " for slides and other " |
117 | "material from the tutorials.") | |
85314da0 | 118 | (p "On the side, I dabble in " |
455bb137 AB |
119 | ,(aa "Lean" "https://leanprover.github.io") " and enjoy " |
120 | ,(aa "hacking" "https://stallman.org/articles/on-hacking.html") | |
85314da0 | 121 | " on " |
455bb137 AB |
122 | ,(aa "Elisp" |
123 | "https://www.gnu.org/software/emacs/manual/elisp.html") | |
124 | ". I’m a " ,(aa "Free Software" | |
125 | "https://www.gnu.org/philosophy/free-sw.html") | |
99ac860d | 126 | " activist, a GNU " |
455bb137 | 127 | ,(aa "maintainer" "https://www.gnu.org/people/#bandali") |
85314da0 | 128 | " and " |
455bb137 AB |
129 | ,(aa "webmaster" |
130 | "https://www.gnu.org/people/webmeisters.html#bandali") | |
131 | ", and an " ,(aa "associate member" | |
132 | "https://www.fsf.org/associate/") | |
133 | " of the " ,(aa "FSF" "https:///www.fsf.org" | |
134 | "Free Software Foundation") | |
135 | ". I co-host the " ,(aa "Emacs.el" "https://emacsel.com") | |
136 | " podcast with " ,(aa "Daniel Gopar" "https://www.pygopar.com") | |
137 | ", and organize " ,(aa "EmacsConf" "https://emacsconf.org") | |
138 | " with help from many wonderful people. I am also a member of" | |
139 | " the Systems Committee for the " | |
140 | ,(aa "CSC" "https://csclub.uwaterloo.ca" | |
141 | "Computer Science Club of the University of Waterloo") | |
85314da0 | 142 | ".") |
455bb137 AB |
143 | (p "See my " ,(aa "contact" "contact.html") " page for how to " |
144 | "best reach me.") | |
85314da0 AB |
145 | (h2 (@ (id "papers")) "Papers") |
146 | (dl | |
147 | (dt "A Comparison of the Declarative Modelling Languages B, DASH, | |
148 | and TLA" (sup "+") | |
90169139 | 149 | (small |
455bb137 AB |
150 | " [ " ,(aa "pdf" "papers/modre2018-declarative.pdf") " | " |
151 | ,(aa "bib" "papers/modre2018-declarative.bib") " ]")) | |
85314da0 | 152 | (dd "Ali Abbassi, " |
8c2dfb46 | 153 | ,(aa "Amin Bandali" my-url) ", " |
455bb137 AB |
154 | ,(aa "Nancy A. Day" "https://cs.uwaterloo.ca/~nday/") ", " |
155 | "Jose Serna" | |
85314da0 AB |
156 | (br) |
157 | (em "2018 IEEE 8th International Model-Driven Requirements" | |
158 | " Engineering Workshop (MoDRE)") | |
159 | (br) | |
160 | "Copyright © 2018 IEEE. All Rights Reserved. Sadly.")) | |
161 | (h2 (@ (id "talks")) "Talks") | |
162 | (dl | |
163 | (dt | |
164 | "The Magic of Specifications and Type Systems" | |
455bb137 AB |
165 | (small |
166 | " [ " | |
167 | ,(aa "slides" "talks/cucsc-2017-slides.pdf" | |
168 | "presented at the Canadian Undergraduate Computer Science" | |
169 | " Conference 2017,\n" | |
170 | "University of Toronto, Canada, June 15–17, 2017") | |
171 | " | " | |
172 | ,(aa "poster" "talks/eecs4080-poster.pdf" | |
173 | "presented at the Lassonde Undergraduate Summer Student" | |
174 | " Research Conference,\n" | |
175 | "York University, Toronto, Canada, August 15, 2017") | |
176 | " ]")) | |
8c2dfb46 | 177 | (dd ,(aa "Amin Bandali" my-url) ", " |
455bb137 AB |
178 | ,(aa "Simon Hudon" "https://github.com/cipher1024") ", " |
179 | ,(aa "Jonathan S. Ostroff" | |
180 | "http://www.cse.yorku.ca/~jonathan/"))) | |
85314da0 AB |
181 | (h2 (@ (id "projects")) "Projects") |
182 | (p "Below are a number of free software projects I have worked " | |
183 | "on:") | |
184 | (dl | |
455bb137 | 185 | (dt ,(aa "george-mode" "https://git.sr.ht/~bandali/george-mode")) |
85314da0 | 186 | (dd "Emacs major mode for editing George files") |
455bb137 AB |
187 | (dt ,(aa "alloy-catalyst" |
188 | "https://git.uwaterloo.ca/bandali/alloy-catalyst")) | |
85314da0 | 189 | (dd "Framework for performance analysis of Alloy models") |
455bb137 | 190 | (dt ,(aa "unitb-web" "https://github.com/unitb/unitb-web")) |
85314da0 | 191 | (dd "Web interface for Unit-B") |
455bb137 | 192 | (dt ,(aa "tex2png-hs" "https://github.com/unitb/tex2png-hs")) |
85314da0 AB |
193 | (dd "Library and CLI for converting TeX and LaTeX to PNG " |
194 | "images")) | |
195 | (h2 (@ (id "notes")) "Notes") | |
60d388df AB |
196 | (table |
197 | (@ (class "post-list")) | |
198 | (tbody | |
85314da0 AB |
199 | ,@(map |
200 | (lambda (post) | |
201 | (define (post-uri post) | |
202 | (string-append "/" | |
203 | (site-post-slug site post) ".html")) | |
60d388df | 204 | `(tr |
455bb137 | 205 | (td ,(aa (post-ref post 'title) (post-uri post))) |
60d388df | 206 | (td (@ (style "font-size: 0.875em;")) |
cd5ad35b | 207 | ,(date->string (post-date post) my-date-format)))) |
60d388df | 208 | (take-up-to 10 (posts/reverse-chronological posts))))))) |
85314da0 AB |
209 | |
210 | (define (index-page site posts) | |
211 | (make-page | |
212 | "index.html" | |
213 | (base-layout site (index-material site posts)) | |
214 | sxml->html)) | |
215 | ||
cd5ad35b AB |
216 | (define license-page |
217 | (static-page | |
218 | "Licensing Information" | |
219 | "license.html" | |
8c2dfb46 | 220 | `((h1 "License information for " ,my-domain) |
cd5ad35b | 221 | (p "I strongly believe in " |
455bb137 AB |
222 | ,(aa "free culture" |
223 | "https://questioncopyright.org/what_is_free_culture") | |
cd5ad35b | 224 | " and that all creative works everywhere should be " |
455bb137 | 225 | ,(aa "free" "https://freedomdefined.org/Definition") ".") |
cd5ad35b AB |
226 | (p "Unless otherwise noted material on this site is licensed " |
227 | "under the GNU General Public License as published by the " | |
228 | "Free Software Foundation, either version 3 of the License, " | |
229 | "or (at your option) any later version. A copy of the " | |
455bb137 | 230 | "license is included at " ,(aa "gpl-3.0.html") ".") |
cd5ad35b AB |
231 | (p "Some resources on free software and licenses:") |
232 | (ul | |
455bb137 AB |
233 | (li ,(aa "What is free software?" |
234 | "https://www.gnu.org/philosophy/free-sw.html")) | |
235 | (li ,(aa "Various Licenses and Comments about Them" | |
236 | "https://www.gnu.org/licenses/license-list.html")) | |
237 | (li ,(aa "Proprietary Software Is Often Malware" | |
238 | "https://www.gnu.org/proprietary/proprietary.html")))))) | |
cd5ad35b | 239 | |
7c12f0da AB |
240 | (define contact-page |
241 | (static-page | |
242 | "Contact Information" | |
243 | "contact.html" | |
244 | `((h1 "Contact information") | |
245 | (p "Email is by far my preferred method of communication. I may" | |
246 | " be contacted at any of the following addresses (choose the" | |
247 | " most closely related):") | |
248 | (ul | |
249 | (li "bandali@gnu.org") | |
250 | (li "bandali@uwaterloo.ca") | |
251 | (li "bandali@csclub.uwaterloo.ca")) | |
252 | (p "If you want to send me GPG-encrypted mail, you can use my " | |
253 | ,(aa "public key" "bandali-pubkey.txt") " with the" | |
254 | " fingerprint " | |
255 | (code "BE62 7373 8E61 6D6D 1B3A 08E8 A21A 0202 4881 6103") | |
256 | ".") | |
257 | (table | |
258 | (tbody | |
259 | (tr | |
260 | (td "IRC") | |
261 | (td "bandali on " ,(aa "freenode" "https://freenode.net") ", " | |
262 | ,(aa "moznet" "https://wiki.mozilla.org/IRC") ", and " | |
263 | ,(aa "oftc" "https://www.oftc.net"))) | |
264 | (tr | |
265 | (td "XMPP") | |
266 | (td ,(aa "bandali@member.fsf.org" | |
267 | "xmpp:bandali@member.fsf.org"))) | |
268 | (tr | |
269 | (td "Matrix") | |
270 | (td ,(aa "@bandali:matrix.org" | |
271 | "https://matrix.to/#/@bandali:matrix.org"))) | |
272 | (tr | |
273 | (td "Fediverse") | |
274 | (td ,(aa "@bandali@pleroma.site" | |
275 | "https://pleroma.site/bandali"))))) | |
276 | (h2 "Elsewhere") | |
277 | (p "You may also find me at a few other places online. Stricken" | |
278 | " through accounts are those I don’t use anymore, unless" | |
279 | " absolutely necessary.") | |
280 | (ul | |
281 | (li ,(aa "bandali" "https://libreplanet.org/wiki/User:Bandali") | |
282 | " on LibrePlanet") | |
283 | (li ,(aa "bandali" "https://emacsconf.org/bandali") | |
284 | " on EmacsConf") | |
285 | (li ,(aa "bandali" "https://savannah.gnu.org/users/bandali") | |
286 | " on Savannah") | |
287 | (li ,(aa "bandali" "https://git.sr.ht/~bandali") | |
288 | " on Sourcehut") | |
289 | (li ,(aa "bandali" "https://lobste.rs/u/bandali") | |
290 | " on Lobsters") | |
291 | (li ,(aa "bandali" "https://hackage.haskell.org/user/bandali") | |
292 | " on Hackage") | |
293 | (li ,(aa "bandali" "https://gitlab.com/bandali") | |
e810d7d1 | 294 | " on GitLab") |
7c12f0da AB |
295 | (li ,(aa "bandali" |
296 | "https://news.ycombinator.com/user?id=bandali") | |
297 | " on HN") | |
298 | (li ,(aa "bandali" "https://www.reddit.com/u/bandali") | |
299 | " on reddit") | |
300 | (li (del ,(aa "bandali0" "https://github.com/bandali0") | |
301 | " on GitHub")) | |
302 | (li (del ,(aa "bandali0" "https://twitter.com/bandali0") | |
303 | " on Twitter")))))) | |
304 | ||
cd68557a AB |
305 | (define cv-page |
306 | (static-page | |
307 | "Curriculum vitae" | |
308 | "bandali-cv.html" | |
309 | `((h1 "Curriculum vitae (" ,(aa "PDF" "bandali-cv.pdf") ")") | |
310 | (table | |
311 | (tbody | |
312 | (tr | |
313 | (td "Site") | |
314 | (td ,(aa my-domain my-url))) | |
315 | (tr | |
316 | (td "Email") | |
317 | (td "bandali@uwaterloo.ca")) | |
318 | (tr | |
319 | (td "Phone") | |
320 | (td "available upon request via email")))) | |
321 | (h2 "Education") | |
322 | (h3 "Master of Mathematics (Computer Science) | 2018–present") | |
323 | (p "University of Waterloo, Canada") | |
324 | (p "Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | " | |
325 | "Expected completion: April 2020") | |
326 | (p "Research focusing on formal logic, model checking, and " | |
327 | "verification.") | |
328 | (h3 "B.Sc. Honours Computer Science | 2013–2017") | |
329 | (p "York University, Toronto, Canada") | |
330 | (p "GPA: 7.84/9.0") | |
331 | (p "Relevant courses: System Specification & Refinement, " | |
332 | "Software Requirements Eng., Software Design, " | |
333 | "Operating Systems, Computational Complexity, " | |
334 | "Design & Analysis of Algorithms.") | |
335 | (p "Finished first year (2013-14) at " (em "Carleton University") | |
336 | " with a GPA of 11.0/12.0, then transferred to " | |
337 | (em "York University") " in Fall 2014.") | |
338 | (h2 "Publications") | |
339 | (p "Listed on my " ,(aa "homepage" "/#papers")) | |
340 | (h2 "Work & Research Experience") | |
341 | (h3 "Cheriton School of Computer Science, University of Waterloo" | |
342 | " | 2018–present") | |
343 | (p "Instructional Apprentice, Teaching Assistant, " | |
344 | "Research Assistant") | |
345 | (ul | |
346 | (li (abbr (@ (title "Logic and Computation")) "SE 212") ": " | |
347 | (abbr (@ (title "Instructional Apprentice")) "IA") " in " | |
348 | "Fall 2019, " | |
349 | (abbr (@ (title "Teaching Assistant")) "TA") " in " | |
350 | "Fall 2018") | |
351 | (li (abbr (@ (title ,(string-append | |
352 | "Software Requirements Specification and " | |
353 | "Analysis"))) "SE 463") | |
354 | ": TA in Summer 2019 and 2018") | |
355 | (li (abbr (@ (title ,(string-append | |
356 | "Elementary Algorithm Design and " | |
357 | "Data Abstraction"))) "CS 136") | |
358 | ": TA in Winter 2018")) | |
359 | (h3 (abbr (@ (title | |
360 | ,(string-append | |
361 | "Electrical Engineering & Computer Science"))) | |
362 | "EECS") | |
363 | " Department, York University | Fall 2017") | |
364 | (p "Teaching Assistant") | |
365 | (p (abbr (@ (title "Net-Centric Introduction to Computing")) | |
366 | "EECS 1012") | |
367 | ": TA in Fall 2017")))) | |
368 | ||
85314da0 | 369 | (site #:title "Amin Bandali" |
8c2dfb46 AB |
370 | ;; TODO: uncomment after new haunt release |
371 | ;; #:scheme my-scheme | |
85314da0 AB |
372 | #:domain my-domain |
373 | #:default-metadata | |
374 | '((author . "Amin Bandali") | |
375 | (email . "bandali@gnu.org") | |
376 | (domain . my-domain)) | |
377 | #:readers (list commonmark-reader) | |
378 | #:builders (list (blog #:theme bandali-theme | |
379 | #:collections | |
380 | `(("Notes" "notes.html" | |
381 | ,posts/reverse-chronological))) | |
382 | index-page | |
99ac860d AB |
383 | (atom-feed |
384 | #:file-name "feed.atom") | |
385 | (atom-feeds-by-tag | |
386 | #:prefix "tags") | |
387 | (rss-feed | |
388 | #:file-name "feed.rss") | |
7c12f0da | 389 | contact-page |
cd68557a | 390 | cv-page |
cd5ad35b | 391 | license-page |
85314da0 | 392 | (static-directory "static" ""))) |