From 79812a9bd8baa206044f8ab6da05f66ef208bf50 Mon Sep 17 00:00:00 2001 From: Yiyun Liu Date: Tue, 15 Jul 2025 15:02:44 -0400 Subject: [PATCH] Add link to the draft --- index.org | 4 ++++ papers/conf.pdf | 3 +++ site.hs | 2 +- 3 files changed, 8 insertions(+), 1 deletion(-) create mode 100644 papers/conf.pdf diff --git a/index.org b/index.org index 5a91b0b..4309ca8 100644 --- a/index.org +++ b/index.org @@ -22,6 +22,10 @@ replicated data types, random testing, and modeling of CheckedC in Redex. * Research +- Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped Approach + (*Under Submission*, [[file:papers/conf.pdf][draft]]) :: + *Yiyun Liu*, Stephanie Weirich + - Consistency of a Dependent Calculus of Indistinguishability (*POPL25*, [[file:papers/dcoiomega.pdf][paper]], [[https://doi.org/10.1145/3704843][doi]]) :: *Yiyun Liu*, Jonathan Chan, Stephanie Weirich diff --git a/papers/conf.pdf b/papers/conf.pdf new file mode 100644 index 0000000..c7ecc86 --- /dev/null +++ b/papers/conf.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:42dfd7b1a31e2d17f33d45f77016b39bbf18fc50362b0807b5ec28df2982f553 +size 606277 diff --git a/site.hs b/site.hs index 3726650..313cb3a 100644 --- a/site.hs +++ b/site.hs @@ -9,7 +9,7 @@ hakyllConfig :: Configuration hakyllConfig = defaultConfiguration { deployCommand = - "rsync -ave ssh --rsync-path=/usr/bin/openrsync _site/ ohqo@192.168.77.4:/var/www/htdocs/electriclam.com --delete" + "rsync -ave 'ssh -p 10087' _site/ alcymd@electriclam.com:/var/www/infopage --delete" } pandocOptions :: WriterOptions