diff --git a/2024/01/30/18.721 b/2024/01/30/18.721
new file mode 160000
index 00000000..942abfe2
--- /dev/null
+++ b/2024/01/30/18.721
@@ -0,0 +1 @@
+Subproject commit 942abfe213aae39abfb14fc9a57adcc6cd01b2a9
diff --git a/2024/01/30/ClosestPoints b/2024/01/30/ClosestPoints
new file mode 160000
index 00000000..e8b3c06e
--- /dev/null
+++ b/2024/01/30/ClosestPoints
@@ -0,0 +1 @@
+Subproject commit e8b3c06efa442523ff9e7da198da94f9f05b3593
diff --git a/2024/01/30/adt-synthesis b/2024/01/30/adt-synthesis
new file mode 160000
index 00000000..30a5cd36
--- /dev/null
+++ b/2024/01/30/adt-synthesis
@@ -0,0 +1 @@
+Subproject commit 30a5cd361af029f42864e103a5a604ffa9ee07a7
diff --git a/2024/01/30/bedrock b/2024/01/30/bedrock
new file mode 160000
index 00000000..e3ff3c2c
--- /dev/null
+++ b/2024/01/30/bedrock
@@ -0,0 +1 @@
+Subproject commit e3ff3c2cba9976ac4351caaabb4bf7278bb0dcbd
diff --git a/2024/01/30/coq-scripts b/2024/01/30/coq-scripts
new file mode 160000
index 00000000..7b54b756
--- /dev/null
+++ b/2024/01/30/coq-scripts
@@ -0,0 +1 @@
+Subproject commit 7b54b756050f1c1237a8b89bb62ae06f6567e712
diff --git a/2024/01/30/coq-tactics b/2024/01/30/coq-tactics
new file mode 160000
index 00000000..efbe3f2f
--- /dev/null
+++ b/2024/01/30/coq-tactics
@@ -0,0 +1 @@
+Subproject commit efbe3f2fb6f7a6d7371f32ca3d8d115f592cda76
diff --git a/2024/01/30/coq-tools b/2024/01/30/coq-tools
new file mode 160000
index 00000000..4fa8dda7
--- /dev/null
+++ b/2024/01/30/coq-tools
@@ -0,0 +1 @@
+Subproject commit 4fa8dda707357819528dcc7230dd686453ee0ef6
diff --git a/2024/01/30/ct4s b/2024/01/30/ct4s
new file mode 160000
index 00000000..fa17718b
--- /dev/null
+++ b/2024/01/30/ct4s
@@ -0,0 +1 @@
+Subproject commit fa17718be5c6f4fe25c447490f929f943a23f2fc
diff --git a/2024/01/30/lob b/2024/01/30/lob
new file mode 160000
index 00000000..fe3113a8
--- /dev/null
+++ b/2024/01/30/lob
@@ -0,0 +1 @@
+Subproject commit fe3113a89c155254a0525ea741aad7469361d161
diff --git a/2024/01/30/lob-paper b/2024/01/30/lob-paper
new file mode 160000
index 00000000..b06e709a
--- /dev/null
+++ b/2024/01/30/lob-paper
@@ -0,0 +1 @@
+Subproject commit b06e709ab0cd108e46d01584e7aba527e0dab58f
diff --git a/2024/01/30/neural-net-coq-interp b/2024/01/30/neural-net-coq-interp
new file mode 160000
index 00000000..8fd643c2
--- /dev/null
+++ b/2024/01/30/neural-net-coq-interp
@@ -0,0 +1 @@
+Subproject commit 8fd643c232f9d3e8f02f502af33f55b4577e0541
diff --git a/2024/01/30/parsing-parses b/2024/01/30/parsing-parses
new file mode 160000
index 00000000..8629e8e7
--- /dev/null
+++ b/2024/01/30/parsing-parses
@@ -0,0 +1 @@
+Subproject commit 8629e8e7b1e3e65ad6d152d08ce860d1385ecbf9
diff --git a/2024/01/30/proviola-source b/2024/01/30/proviola-source
new file mode 160000
index 00000000..8a3f05ab
--- /dev/null
+++ b/2024/01/30/proviola-source
@@ -0,0 +1 @@
+Subproject commit 8a3f05ab13090419ee95fbdd7367e21c873b9395
diff --git a/2024/01/30/slow-coq-examples b/2024/01/30/slow-coq-examples
new file mode 160000
index 00000000..45c90a04
--- /dev/null
+++ b/2024/01/30/slow-coq-examples
@@ -0,0 +1 @@
+Subproject commit 45c90a0447be39dfebbb787029528ad0dd32b090
diff --git a/2024/01/30/variegated-reading-lists b/2024/01/30/variegated-reading-lists
new file mode 160000
index 00000000..4d138500
--- /dev/null
+++ b/2024/01/30/variegated-reading-lists
@@ -0,0 +1 @@
+Subproject commit 4d13850096bf99d04fc33bf76a1f30013c17bacc