Skip to content

Commit 95bc2ba

Browse files
Merge pull request #7212 from mariannegoldin/prep-623-publishing
Prep 623 publishing
2 parents 6b9a20a + 50180c7 commit 95bc2ba

File tree

2 files changed

+385
-11
lines changed

2 files changed

+385
-11
lines changed

draft/2025-10-29-this-week-in-rust.md renamed to content/2025-10-29-this-week-in-rust.md

Lines changed: 4 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -37,10 +37,6 @@ and just ask the editors to select the category.
3737
3838
-->
3939

40-
### Official
41-
42-
### Foundation
43-
4440
### Newsletters
4541
* [The Embedded Rustacean Issue #57](https://www.theembeddedrustacean.com/p/the-embedded-rustacean-issue-57)
4642

@@ -77,15 +73,13 @@ and just ask the editors to select the category.
7773
* [Teddy Bear Trash Compactor](https://internet.place/content/teddy-bear-trash-compactor/)
7874
* [Rust for JavaScript Engineers - Connect-4 Interactivity](https://www.afloat.boats/posts/rust-for-javascript-engineers-interactivity)
7975
* [Cleanup your lifetime annotations in Rust with Rc and Arc](https://kerkour.com/rust-lifetimes-rc-arc)
76+
* [Vibe Validation with Lean, ChatGPT-5, & Claude 4.5: Nine Rules for Proving (Rust) Algorithms Correct Without Knowing Formal Methods (Part 2)](https://medium.com/@carlmkadie/081e0f06886d)
8077
* [video] [Rust Axum 0.8 Backend Engineering | Hello World](https://www.youtube.com/watch?v=Imb6vJkD0Vc)
8178
* [video] [Building Coding Agent in Rust | Project Setup](https://www.youtube.com/watch?v=tQJTuYkZ4u8&t=1s)
82-
* [Vibe Validation with Lean, ChatGPT-5, & Claude 4.5: Nine Rules for Proving (Rust) Algorithms Correct Without Knowing Formal Methods (Part 2)](https://medium.com/@carlmkadie/081e0f06886d)
8379

8480
### Research
8581
* [Supporting `VIEW`s in Diesel](https://blog.weiznich.de/blog/diesel-infer-sql-nullablity/)
8682

87-
### Miscellaneous
88-
8983
## Crate of the Week
9084

9185
This week's crate is [tower-resilience](https://github.com/joshrotenberg/tower-resilience), a library offering resilience features for tower.
@@ -135,7 +129,7 @@ Some of these tasks may also have mentors available, visit the task page for mor
135129
<!-- * [ - ]() -->
136130
<!-- or if none - *No Calls for participation were submitted this week.* -->
137131

138-
- [Diesel - https://github.com/diesel-rs/diesel/issues/4840](https://github.com/diesel-rs/diesel/issues/4840)
132+
* [Diesel - https://github.com/diesel-rs/diesel/issues/4840](https://github.com/diesel-rs/diesel/issues/4840)
139133

140134
If you are a Rust project owner and are looking for contributors, please submit tasks [here][guidelines] or through a [PR to TWiR](https://github.com/rust-lang/this-week-in-rust) or by reaching out on [Bluesky](https://bsky.app/profile/thisweekinrust.bsky.social) or [Mastodon](https://mastodon.social/@thisweekinrust)!
141135

@@ -145,8 +139,7 @@ If you are a Rust project owner and are looking for contributors, please submit
145139

146140
Are you a new or experienced speaker looking for a place to share something cool? This section highlights events that are being planned and are accepting submissions to join their event as a speaker.
147141

148-
<!-- CFPs go here, use this format: * [**event name**](URL to CFP)| Date CFP closes in YYYY-MM-DD | city,state,country | Date of event in YYYY-MM-DD -->
149-
<!-- or if none - *No Calls for papers or presentations were submitted this week.* -->
142+
*No Calls for papers or presentations were submitted this week.*
150143

151144
If you are an event organizer hoping to expand the reach of your event, please submit a link to the website through a [PR to TWiR](https://github.com/rust-lang/this-week-in-rust) or by reaching out on [Bluesky](https://bsky.app/profile/thisweekinrust.bsky.social) or [Mastodon](https://mastodon.social/@thisweekinrust)!
152145

@@ -464,7 +457,7 @@ Email the [Rust Community Team][community] for access.
464457

465458
## Jobs
466459

467-
Please see the latest [Who's Hiring thread on r/rust](INSERT_LINK_HERE)
460+
Please see the latest [Who's Hiring thread on r/rust](https://www.reddit.com/r/rust/comments/1nknaii/official_rrust_whos_hiring_thread_for_jobseekers/)
468461

469462
# Quote of the Week
470463

0 commit comments

Comments
 (0)