Rust Verification Workshop 2021

Recorded talks from the 1st Rust Verification Workshop, held online on Apr 7, 9 and 12, 2021 See: https://sites.google.com/view/rustverify2021/home… Read more

Read full article

Similar

Ablet: An EASY way to create TUIs in Rust

An EASY way to create TUIs in Rust. Contribute to KnorrFG/Ablet development by creating an account on GitHub. (more…)

First Audio Plugin in Rust (VST / Clap) video]

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube. (more…)

Two ways of interpreting visibility in Rust

Last year, while I was browsing through Rust compiler pull requests, I noticed #126013, which added the unreachable_pub lint to several crates of the compiler. This piqued my interest, because I did not know that lint at the time. But when I examined its ... (more…)

Rust 2030 Christmas list: Better cfg

GitHub Gist: instantly share code, notes, and snippets. (more…)

Learn Rust with Too Many Linked Lists

Got any issues or want to check out all the final code at once? Everything's on Github! (more…)

Latest News

China fell for a lobster: What an AI assistant tells us about Beijing’s ambition

US-Iran war explained by Chinese AI animation: Legend of the Valley of Gold [video]

YouTube’s AI Plagiarism Problem [video]