update site

index.html

@@ -83,16 +83,16 @@
   - *Optional reading*:
     - [Rustnomicon chapter 11: FFI](https://doc.rust-lang.org/nomicon/ffi.html)
 
-Mon Nov 4 2024: The foreign function interface (continued)
+Mon Nov 4 2024: Formal methods in Rust (Nico)
+  - *Reading*:
+    - [Flux: Liquid Types for Rust](./papers/flux.pdf)
+
+Wed Nov 6 2024: The foreign function interface (continued)
   - *Reading*:
     - [Detecting Cross-Language Memory Management Issues in Rust](./papers/ffi_checker.pdf) by Zhuohua Li et al.
   - *Optional reading*:
     - [Encapsulated Functions: Fortifying Rust’s FFI in Embedded Systems](./papers/encapsulated_functions.pdf) by Leon Schuermann et al.
 
-Wed Nov 6 2024: Formal methods in Rust (Nico)
-  - *Reading*:
-    - [Flux: Liquid Types for Rust](./papers/flux.pdf)
-
 Mon Nov 11 2024: Veteran's Day
 
 Wed Nov 13 2024: Static analysis on Rust