Explore >> Select a destination
|
You are here 
|
plv.mpi-sws.org | ||
| | | | |
www.cs.yale.edu
|
|
| | | | | [AI summary] Jay P. Lim is a computer science lecturer at Yale University with expertise in programming languages, systems, and numerical correctness, focusing on developing accurate and efficient software systems and contributing to open-source projects like LLVM's libc. | |
| | | | |
aturon.github.io
|
|
| | | | | ||
| | | | |
www.ralfj.de
|
|
| | | | | Just yesterday, we submitted our paper RustBelt: Securing the Foundations of the Rust Programming Language. Quoting from the abstract: Rust is a new systems programming language that pr... | |
| | | | |
ryhl.io
|
|
| | | The purpose of this blog post is to celebrate the anniversary of two really neat methods on the Cell type: from_mut and as_slice_of_cells. Both methods were released in version 1.37.0 of Rust, exactly one year ago from the date this post was published. | ||
