The Algebra of Loans in Rust, https://nadrieril.github.io/blog/2025/12/21/the-algebra-of-loans-in-rust.html.

An excellent article by Nadri about discussions happening around teaching the Rust borrow-checker to understand more things than just “shared borrow”/“mutable borrow”. Let's discover `&own T`, `&pin T`, `&pin mut T`, `&pin own T` and `&uninit`.

#RustLang #BorrowChecker

https://www.youtube.com/shorts/kQeF8P_Jeus

once again, a gift to humanity

#music #chords #borrow #borrowchecker

Reads like an LLM-generated post 🧐, but contains a good summary of the issues & their solutions:

“How To Avoid Fighting Rust Borrow Checker”, ‘quoteall’ (https://qouteall.fun/qouteall-blog/2025/How%20to%20Avoid%20Fighting%20Rust%20Borrow%20Checker).

Via Lobsters: https://lobste.rs/s/cnhjj2/how_avoid_fighting_rust_borrow_checker

#Rust #Programming #BorrowChecker #MemorySafety

“The Borrowchecker Is What I Like The Least About Rust”, Jakob Nybo Nissen (https://viralinstruction.com/posts/borrowchecker/).

Via HN: https://news.ycombinator.com/item?id=44618535

On Lobsters: https://lobste.rs/s/z2ehwo/borrowchecker_is_what_i_like_least_about

#Rust #Programming #BorrowChecker #DevEx #Ergonomics

The borrowchecker is what I like the least about Rust

https://viralinstruction.com/posts/borrowchecker/

#HackerNews #Rust #Programming #Borrowchecker #Developer #Feedback #CodeQuality

I did, during my previously mentioned workshop, do one thing to offend #Rust’s #borrowchecker. I was implementing an Account struct that had a current balance and a Vec containing a history of balances. This was using #PyO3 so there are some special types. Because of inheritance, I have self_ instead of self. Here’s the bad thing I said:

self_.history.push(self_.as_super().balance);

@algo_luca had to explain it to me. He didn’t even need to think about it. He instantly knew what was wrong. Now I am enlightened. I won’t make this particular kind of mistake again.

Of course the mistake is that I was trying to use a mutable reference (so I could push to history) and anything else at the same time.

oh my, oh my. so this week i have a little more time to hack on the #rust #tui #daw but... it's a mess 😬

trying to genericize the Render trait over render inputs/outputs (`ratatui::Buffer` + `ratatui::Rect` -> `Result<Rect, Box<dyn Error>>`) so that i can try passing parent focus state into the render inputs, and be done with the whole "how to focus widgets" thing

it works when passing them as two separate args, but wrapping them in a struct trips up the #borrowchecker ... ouch