diff --git a/index.org b/index.org
index 019e5ab..da9a6ea 100644
--- a/index.org
+++ b/index.org
@@ -2,7 +2,7 @@
 - E-mail :: [[mailto:liuyiyun@seas.upenn.edu][liuyiyun@seas.upenn.edu]]
 - 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]]
+- Git :: [[https://github.com/yiyunliu][yiyunliu@github]], [[https://git.electriclam.com/yiyunliu][Self-hosted Forgejo]]
 
 I am currently a fourth-year CS PhD student at University of
 Pennsylvania, advised by [[https://www.seas.upenn.edu/~sweirich/][Prof. Stephanie Weirich]]. I got my MS degree from University of Maryland, advised
@@ -21,7 +21,7 @@ replicated data types, random testing, and modeling of CheckedC in
 Redex.
 
 * Research
-- Consistency of a Dependent Calculus of Indistinguishability (*POPL25*, [[file:papers/dcoiomega.pdf][paper]]) ::
+- 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
 
 - Theoretical Pearl: Short and Mechanized Logical Relation for Dependent Type Theories (Unpublished, [[file:papers/mltt.pdf][draft]]) ::