Fix listing in Pavex interview (#252)

_episodes/interviews/2024-04-09-luca-palmieri-pavex.md

@@ -7,7 +7,7 @@ length: "113613338"
 #reddit: (leave blank on initial publish, amend with link and uncomment this line after Reddit thread has been posted)
 ---
 
-Allen Wyma talks with [Luca Palmieri](https://www.lpalmieri.com/) about [pavex](https://pavex.dev/), a new API-focused web framework for Rust.
+Allen Wyma talks with [Luca Palmieri](https://www.lpalmieri.com/) about [Pavex](https://pavex.dev/), a new API-focused web framework for Rust.
 
 ## Contributing to Rustacean Station
 
@@ -20,15 +20,22 @@ Rustacean Station is a community project; get in touch with us if you'd like to
 
 ## Timestamps
 
-⁃ [@00:00] - Meet Luca Palmieri, software engineer, author of [Zero To Production In Rust](https://www.zero2prod.com/), open source maintainer & contributor
-⁃ [@02:04] - Luca's working experience, discussing time at AWS and moving to Mainmatter
-⁃ [@09:01] - Pavex: a Rust framework for professionals
-⁃ [@22:57] - Rustdoc JSON & the `f` macro
-⁃ [@37:19] - Lessons from maintaining open-source projects like rocket.rs
-⁃ [@52:17] - Pavex's closed beta stage
-⁃ [@56:43] - Plans for production readiness
-⁃ [@01:10:43] - Potential pricing models
-⁃ [@01:12:39] - Closing discussion
+- [@00:00] - Meet Luca Palmieri, software engineer, author of [Zero To Production In Rust](https://www.zero2prod.com/), open source maintainer & contributor
+- [@02:04] - Luca's working experience, discussing time at AWS and moving to Mainmatter
+  - [Smithy](https://smithy.io/2.0/index.html)
+  - [`smithy-rs`](https://github.com/smithy-lang/smithy-rs)
+- [@09:01] - Pavex: a Rust framework for professionals
+  - [Pavex: re-imaging API development in Rust (RustNationUK 2024)](https://youtu.be/cMea6IMRk2s)
+- [@22:57] - Rustdoc JSON & the `f` macro
+  - [Reasoning about Rust: an introduction to Rustdoc's JSON format (EuroRust 2023)](https://youtu.be/OxQYyg_v3rw)
+  - [`cargo-semver-checks`](https://github.com/obi1kenobi/cargo-semver-checks)
+- [@37:19] - Lessons from maintaining open-source projects like rocket.rs
+  - [Building a Better Foundation for Rocket's Future](https://rocket.rs/news/2023-11-17-rwf2-prelaunch/)
+  - [The Economics of Programming Languages (Strange Loop 2023)](https://www.youtube.com/watch?v=XZ3w_jec1v8)
+- [@52:17] - Pavex's closed beta stage
+- [@56:43] - Plans for production readiness
+- [@01:10:43] - Potential pricing models
+- [@01:12:39] - Closing discussion
 
 ## Credits