X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/blobdiff_plain/8c2dfb465c044b15b38ce0f4cc48ee9431fa2a4f..22cb271b429d98b1238b316cc2f317685c03c2c5:/haunt.scm?ds=inline diff --git a/haunt.scm b/haunt.scm index c51ecf8..dbb34c1 100644 --- a/haunt.scm +++ b/haunt.scm @@ -66,14 +66,16 @@ (string-append (or prefix "") "/" (site-post-slug site post) ".html")) - `((h3 ,title) - (ul - ,@(map (lambda (post) - `(li - ,(aa (post-ref post 'title) (post-uri post)) - " — " - ,(date->string (post-date post) my-date-format))) - posts)))) + `((h2 ,title) + (table + (@ (class "post-list")) + (tbody + ,@(map (lambda (post) + `(tr + (td ,(aa (post-ref post 'title) (post-uri post))) + (td (@ (style "font-size: 0.875em;")) + ,(date->string (post-date post) my-date-format)))) + posts))))) (define bandali-theme (theme #:name "bandali" @@ -193,6 +195,9 @@ (dd "Library and CLI for converting TeX and LaTeX to PNG " "images")) (h2 (@ (id "notes")) "Notes") + (p "Here are notes about a variety of topics and issues I care " + "about. They’re also available via " ,(aa "Atom" "feed.atom") + " and " ,(aa "RSS" "feed.rss") " feeds.") (table (@ (class "post-list")) (tbody @@ -203,8 +208,8 @@ (site-post-slug site post) ".html")) `(tr (td ,(aa (post-ref post 'title) (post-uri post))) - (td (@ (style "font-size: 0.875em;")) - ,(date->string (post-date post) my-date-format)))) + (td (small + ,(date->string (post-date post) my-date-format))))) (take-up-to 10 (posts/reverse-chronological posts))))))) (define (index-page site posts) @@ -291,7 +296,7 @@ (li ,(aa "bandali" "https://hackage.haskell.org/user/bandali") " on Hackage") (li ,(aa "bandali" "https://gitlab.com/bandali") - " on GitLab.com") + " on GitLab") (li ,(aa "bandali" "https://news.ycombinator.com/user?id=bandali") " on HN") @@ -302,6 +307,108 @@ (li (del ,(aa "bandali0" "https://twitter.com/bandali0") " on Twitter")))))) +(define cv-page + (static-page + "Curriculum vitae" + "bandali-cv.html" + `((h1 "Curriculum vitae (" ,(aa "PDF" "bandali-cv.pdf") ")") + (table + (tbody + (tr + (td "Site") + (td ,(aa my-domain my-url))) + (tr + (td "Email") + (td "bandali@uwaterloo.ca")) + (tr + (td "Phone") + (td "available upon request via email")))) + (h2 "Education") + (h3 "Master of Mathematics (Computer Science) | 2018–present") + (p "University of Waterloo, Canada") + (p "Supervised by Dr. Nancy Day | GPA: 3.7/4.0 | " + "Expected completion: April 2020") + (p "Research focusing on formal logic, model checking, and " + "verification.") + (h3 "B.Sc. Honours Computer Science | 2013–2017") + (p "York University, Toronto, Canada") + (p "GPA: 7.84/9.0") + (p "Relevant courses: System Specification & Refinement, " + "Software Requirements Eng., Software Design, " + "Operating Systems, Computational Complexity, " + "Design & Analysis of Algorithms.") + (p "Finished first year (2013-14) at " (em "Carleton University") + " with a GPA of 11.0/12.0, then transferred to " + (em "York University") " in Fall 2014.") + (h2 "Publications") + (p "Listed on my " ,(aa "homepage" "/#papers")) + (h2 "Work & Research Experience") + (h3 "Cheriton School of Computer Science, University of Waterloo" + " | 2018–present") + (p "Instructional Apprentice, Teaching Assistant, " + "Research Assistant") + (ul + (li (abbr (@ (title "Logic and Computation")) "SE 212") ": " + (abbr (@ (title "Instructional Apprentice")) "IA") " in " + "Fall 2019, " + (abbr (@ (title "Teaching Assistant")) "TA") " in " + "Fall 2018") + (li (abbr (@ (title ,(string-append + "Software Requirements Specification and " + "Analysis"))) "SE 463") + ": TA in Summer 2019 and 2018") + (li (abbr (@ (title ,(string-append + "Elementary Algorithm Design and " + "Data Abstraction"))) "CS 136") + ": TA in Winter 2018")) + (h3 (abbr (@ (title + ,(string-append + "Electrical Engineering & Computer Science"))) + "EECS") + " Department, York University | Fall 2017") + (p "Teaching Assistant") + (p (abbr (@ (title "Net-Centric Introduction to Computing")) + "EECS 1012") + ": TA in Fall 2017")))) + +(define se212-f19-page + (static-page + "SE 212 Material" + "se212-f19/index.html" + `((h1 "Material from SE 212 tutorials") + (p "This page contains slides and other material from " + ,(aa "SE 212 tutorials" + "https://www.student.cs.uwaterloo.ca/~se212/times.html") + " held by me 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 " + ,(aa "Friday office hours" + "https://www.student.cs.uwaterloo.ca/~se212/personnel.html") + ".")) + (ul + (li "Tutorial 1:" + (ul + (li ,(aa "TUT 101 slides" "se212-t01-101.pdf")) + (li ,(aa "TUT 102 slides" "se212-t01-102.pdf")) + (li ,(aa "Org beamer sources" "se212-t01.org")))) + (li "Tutorial 2:" + (ul + (li ,(aa "Homework 2 q04d solution" + "se212-h02q04d-soln.grg")))) + (li "Tutorial 3: —") + (li "Tutorial 4: —") + (li "Tutorial 5:" + (ul + (li ,(aa "Slides" "se212-t05.pdf")) + (li ,(aa "Org beamer sources" "se212-t05.org")))) + (li "Tutorial 6: —") + (li "Tutorial 7: worked through questions 1–5 of Homework 7") + (li "Tutorial 8: —") + (li "Tutorial 9: —") + (li "Tutorial 10: worked through questions 1–10 of " + "Homework 10"))))) + (site #:title "Amin Bandali" ;; TODO: uncomment after new haunt release ;; #:scheme my-scheme @@ -323,5 +430,7 @@ (rss-feed #:file-name "feed.rss") contact-page + cv-page license-page + se212-f19-page (static-directory "static" "")))