diff --git a/content/blog/08_spa_agda_forward/index.md b/content/blog/08_spa_agda_forward/index.md
index 72ad90f..91e0739 100644
--- a/content/blog/08_spa_agda_forward/index.md
+++ b/content/blog/08_spa_agda_forward/index.md
@@ -4,7 +4,6 @@ series: "Static Program Analysis in Agda"
 description: "In this post, I use the monotone lattice framework and verified CFGs to define a sign analysis"
 date: 2024-12-01T15:09:07-08:00
 tags: ["Agda", "Programming Languages"]
-draft: true
 ---
 
 In the previous post, I showed that the Control Flow graphs we built of our
diff --git a/content/blog/09_spa_agda_verified_forward/index.md b/content/blog/09_spa_agda_verified_forward/index.md
index 74c1db0..9b09fff 100644
--- a/content/blog/09_spa_agda_verified_forward/index.md
+++ b/content/blog/09_spa_agda_verified_forward/index.md
@@ -2,9 +2,8 @@
 title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 9: Verifying the Forward Analysis"
 series: "Static Program Analysis in Agda"
 description: "In this post, I prove that the sign analysis from the previous is correct"
-date: 2024-12-17T19:51:00-08:00
+date: 2024-12-25T19:00:00-08:00
 tags: ["Agda", "Programming Languages"]
-draft: true
 left_align_code: true
 ---