21 results

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

1. ARCHITECTURE.md

   matklad.github.io

   • programming
   • rust

2. Blogging in Djot instead of Markdown

   www.jonashietala.se

   • writing
   • programming
   • rust

3. Caches In Rust

   matklad.github.io

   • programming
   • rust

4. Choosing a Rust web framework, 2020 edition

   www.lpalmieri.com

   • programming
   • rust

5. Converting Integers to Floats Using Hyperfocus

   blog.m-ou.se

   • performance
   • programming
   • rust

6. Exploring PGO for the Rust compiler

   blog.rust-lang.org

   • performance
   • programming
   • rust

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

   cfsamson.gitbook.io

   • programming
   • rust

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

   gankra.github.io

   • programming
   • rust
   • type-systems

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

   tech.channable.com

   • haskell
   • performance
   • programming
   • rust

10. Large Rust Workspaces

    matklad.github.io

    • programming
    • rust

11. Lets Be Real About Dependencies

    wiki.alopex.li

    • c
    • programming
    • rust

12. Moving from Ruby to Rust

    deliveroo.engineering

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

13. Properly Testing Concurrent Data Structures

    matklad.github.io

    • programming
    • rust
    • testing

14. Property-Based Testing in Rust with Arbitrary

    www.greyblake.com

    • programming
    • rust
    • testing

15. Putting the stack back into Stacked Borrows

    www.ralfj.de

    • programming
    • rust
    • type-systems

16. Rust Inline Assembly Miscompilation

    gist.github.com

    • programming
    • rust

17. Rust: A unique perspective

    limpet.net

    • programming
    • rust
    • type-systems

18. Stacked Borrows Implemented

    www.ralfj.de

    • programming
    • rust
    • type-systems

19. Synthesizing Loop-Free Programs with Rust and Z3

    fitzgeraldnick.com

    • formal-methods
    • programming
    • rust

20. Unsafe as a Human-Assisted Type System

    matklad.github.io

    • programming
    • rust
    • type-systems

21. Why Rust mutexes look like they do

    cliffle.com

    • programming
    • rust