fix

Author: deian

index.html

@@ -108,11 +108,11 @@
     - [Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation](https://people.csail.mit.edu/nickolai/papers/athalye-parfait.pdf) by Anish Athalye et al.
 
 
-Mon Nov 20 2024: Fearless Concurrency?
+Mon Nov 25 2024: Fearless Concurrency?
  - *Reading*:
     - [When is parallelism fearless and zero-cost with Rust?](./papers/parallelism.pdf) by Javad Abdi et al.
 
-Wed Nov 25 2024: Fearless Concurrency? (continued)
+Wed Nov 27 2024: Fearless Concurrency? (continued)
  - *Reading*:
     - [Deadlock free async message reordering in rust with multiparty session types](./papers/session_types.pdf) by Zak Cutner et al.