oct. 19

wonks · Oct 18, 2023 · c406136 · c406136
1 parent 62e13cb
commit c406136
Show file tree

Hide file tree

Showing 2 changed files with 50 additions and 19 deletions.
diff --git a/index.html b/index.html
diff --git a/index.org b/index.org
@@ -60,3 +60,9 @@ details about voting for papers and scheduling your presentation.
 | <2023-10-12 Thu> | *Paper Reading:*                                      | Group Discussion |
 |                  | /The next 700 programming languages/                  |                  |
 |                  | *Link:* [[https://dl.acm.org/doi/10.1145/365230.365257][ACM]]                                           |                  |
+|------------------+-------------------------------------------------------+------------------|
+| <2023-10-19 Thu> | *Paper Reading:*                                      | Group Discussion |
+|                  | /Run your research: on the effectiveness of/          |                  |
+|                  | /lightweight mechanization/                           |                  |
+|                  | *Link:* [[https://doi.org/10.1145/2103621.2103691][DOI]]                                           |                  |
+