diff --git a/images/favicon.ico b/images/favicon.ico
new file mode 100644
index 0000000..f82a1a2
Binary files /dev/null and b/images/favicon.ico differ
diff --git a/index.org b/index.org
index 9a93910..672a096 100644
--- a/index.org
+++ b/index.org
@@ -1,6 +1,6 @@
* Yiyun Liu
- E-mail :: [[mailto:liuyiyun@seas.upenn.edu][liuyiyun@seas.upenn.edu]]
-- Social :: [[https://bsky.app/profile/ohqo.bsky.social][ohqo.bsky.social@BluesKy]]
+- Social :: [[https://bsky.app/profile/ohqo.bsky.social][ohqo.bsky.social@Bluesky]]
- Blog :: [[https://blog.electriclam.com][blog.electriclam.com]]
- Github :: [[https://github.com/yiyunliu][yiyunliu]]
@@ -30,11 +30,13 @@ Redex.
- Internalizing Indistinguishability with Dependent Types (*POPL24*, [[file:papers/dcoi.pdf][paper]]) ::
*Yiyun Liu*, Jonathan Chan, Jessica Shi, Stephanie Weirich
-- Dependently-Typed Programming with Logical Equality Reflection (*ICFP23*, [[file:papers/systemde.pdf][paper]],[[https://doi.org/10.1145/3607852][doi]]) ::
+- Dependently-Typed Programming with Logical Equality Reflection
+ (*ICFP23*, [[file:papers/systemde.pdf][paper]], [[https://doi.org/10.1145/3607852][doi]]) ::
*Yiyun Liu*, Stephanie Weirich
-- A Formal Model of Checked C (*CSF22*, [[file:papers/checkedc.pdf][paper]],[[https://doi.ieeecomputersociety.org/10.1109/CSF54842.2022.9919657][doi]]) ::
+- A Formal Model of Checked C (*CSF22*, [[file:papers/checkedc.pdf][paper]], [[https://doi.ieeecomputersociety.org/10.1109/CSF54842.2022.9919657][doi]]) ::
Liyi Li, *Yiyun Liu*, Deena Postol, Leonidas Lampropoulos, David Van Horn, Michael Hicks
-- Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell (*OOPSLA20*, [[file:papers/vrdt.pdf][paper]],[[https://doi.org/10.1145/3428284][doi]]) ::
+- Verifying Replicated Data Types with Typeclass Refinements in Liquid
+ Haskell (*OOPSLA20*, [[file:papers/vrdt.pdf][paper]], [[https://doi.org/10.1145/3428284][doi]]) ::
*Yiyun Liu*, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou
diff --git a/site.hs b/site.hs
index 8f0dd48..d6d3d5d 100644
--- a/site.hs
+++ b/site.hs
@@ -9,7 +9,7 @@ hakyllConfig :: Configuration
hakyllConfig =
defaultConfiguration
{ deployCommand =
- "rsync -ave \"ssh\" _site/ ohqo@192.168.50.1:/var/www/htdocs/electriclam.com --delete"
+ "rsync -ave ssh --rsync-path=/usr/bin/openrsync _site/ ohqo@192.168.50.1:/var/www/htdocs/electriclam.com --delete"
}
pandocOptions :: WriterOptions
@@ -24,6 +24,9 @@ main =
match "papers/*" $ do
route idRoute
compile copyFileCompiler
+ match "images/favicon.ico" $ do
+ route (constRoute "favicon.ico")
+ compile copyFileCompiler
match "index.org" $ do
route $ setExtension "html"
compile $ do
diff --git a/templates/default.html b/templates/default.html
index 6839c2b..b6da03b 100644
--- a/templates/default.html
+++ b/templates/default.html
@@ -3,7 +3,7 @@
-
+
$title$