<p>📚 <strong>Посилання на матеріали, що обговорювались у випуску:</strong></p><p>* <a target="_blank" href="https://josephg.com/blog/rewriting-rust/">Rewriting Rust, Joseph Gentle</a></p><p>* <a target="_blank" href="https://gavinhoward.com/2024/05/what-rust-got-wrong-on-formal-verification/">What Rust Got Wrong on Formal Verification, Gavin Howard</a></p><p>* <a target="_blank" href="https://marabos.nl/atomics/">Rust Atomics and Locks, Mara Bos</a></p><p>* <a target="_blank" href="https://github.com/rust-lang/rust/issues/93740">Tracking issue for improving std::sync::{Mutex, RwLock, Condvar}</a></p><p>🌟 <strong>Слідкуйте за нами:</strong></p><p>* <a target="_blank" href="https://www.youtube.com/@shopokodu">YouTube</a></p><p>* <a target="_blank" href="https://t.me/shopokodu">Telegram</a></p><p>* <a target="_blank" href="https://www.buymeacoffee.com/shopokodu?l=uk">Buy Me a Coffee</a></p><p>* <a target="_blank" href="https://open.spotify.com/show/1DMfOvlT5KHvHgZXaFSgXN">Spotify</a></p><p>* <a target="_blank" href="https://podcasts.apple.com/ua/podcast/шо-по-коду/id1641071826">Apple Podcasts</a></p> <br/><br/>This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit <a href="https://shopokodu.substack.com?utm_medium=podcast&utm_campaign=CTA_1">shopokodu.substack.com</a>
