On January 17th 2023, X41 and Gitlab published a report of the source code audit they performed on Git (founded by the OSTIF foundation). (more…)
Read more »
🔔 FOLLOW RUSTLAB CHANNEL 🔔ABSTRACT:Frustrated that `const generics` can't do math yet? Want to make some structure change layout based on the size of its ... (more…)
Read more »
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…)
Read more »
Which is better, Rust or Go? Which language should you choose for your next project, and why? How do the two compare in areas like performance, simplicity, safety, features, scale, and concurrency? Let's find out, in this friendly and even-handed comparis... (more…)
Read more »
GATs allow type parameters to associated types in traits. This feature enables total type-level functions to be associated to structs. I show how to use this pattern to implement higher-order type-level functions, and how to use specialization to make par... (more…)
Read more »