Advanced type systems that enforce various correctness and safety guarantees--such as linear and ownership types--have a long history in the Programming Languages research community. Despite this history, a human-centered evaluation of these type systems ... (more…)

Learn to write Rust procedural macros  [Rust Latam conference, Montevideo Uruguay, March 2019] - dtolnay/proc-macro-workshop... (more…)

Contribute to angular-rust/clutter-rs development by creating an account on GitHub. (more…)

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

Michael Larabel is the principal author of Phoronix.com and founded the site in 2004 with a focus on enriching the Linux hardware experience. Michael has written more than 20,000 articles covering the state of Linux hardware support, Linux performance, gr... (more…)