19 results

• 19rust
• 19programming
• 5type-systems
• 4performance
• 1testing
• 1ruby
• 1haskell
• 1formal-methods
• 1experience-reports
• 1c

1. ARCHITECTURE.md

   matklad.github.io

   • programming
   • rust

2. Caches In Rust

   matklad.github.io

   • programming
   • rust

3. Choosing a Rust web framework, 2020 edition

   www.lpalmieri.com

   • programming
   • rust

4. Converting Integers to Floats Using Hyperfocus

   blog.m-ou.se

   • performance
   • programming
   • rust

5. Exploring PGO for the Rust compiler

   blog.rust-lang.org

   • performance
   • programming
   • rust

6. Green Threads Explained in 200 Lines of Rust...

   cfsamson.gitbook.io

   • programming
   • rust

7. Here's My Type, So Initialize Me Maybe (mem::uninitialized is deprecated)

   gankra.github.io

   • programming
   • rust
   • type-systems

8. How we made Haskell search strings as fast as Rust

   tech.channable.com

   • haskell
   • performance
   • programming
   • rust

9. Large Rust Workspaces

   matklad.github.io

   • programming
   • rust

10. Lets Be Real About Dependencies

    wiki.alopex.li

    • c
    • programming
    • rust

11. Moving from Ruby to Rust

    deliveroo.engineering

    • experience-reports
    • performance
    • programming
    • ruby
    • rust

12. Property-Based Testing in Rust with Arbitrary

    www.greyblake.com

    • programming
    • rust
    • testing

13. Putting the stack back into Stacked Borrows

    www.ralfj.de

    • programming
    • rust
    • type-systems

14. Rust Inline Assembly Miscompilation

    gist.github.com

    • programming
    • rust

15. Rust: A unique perspective

    limpet.net

    • programming
    • rust
    • type-systems

16. Stacked Borrows Implemented

    www.ralfj.de

    • programming
    • rust
    • type-systems

17. Synthesizing Loop-Free Programs with Rust and Z3

    fitzgeraldnick.com

    • formal-methods
    • programming
    • rust

18. Unsafe as a Human-Assisted Type System

    matklad.github.io

    • programming
    • rust
    • type-systems

19. Why Rust mutexes look like they do

    cliffle.com

    • programming
    • rust