23 results

• 23rust
• 23programming
• 5type-systems
• 5performance
• 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. Fun with finite state transducers

   blog.yossarian.net

   • programming
   • rust

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

   cfsamson.gitbook.io

   • programming
   • rust

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

   gankra.github.io

   • programming
   • rust
   • type-systems

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

    tech.channable.com

    • haskell
    • performance
    • programming
    • rust

11. Index 1,600,000,000 Keys with Automata and Rust

    burntsushi.net

    • programming
    • rust
    • performance

12. Large Rust Workspaces

    matklad.github.io

    • programming
    • rust

13. Lets Be Real About Dependencies

    wiki.alopex.li

    • c
    • programming
    • rust

14. Moving from Ruby to Rust

    deliveroo.engineering

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

15. Properly Testing Concurrent Data Structures

    matklad.github.io

    • programming
    • rust
    • testing

16. Property-Based Testing in Rust with Arbitrary

    www.greyblake.com

    • programming
    • rust
    • testing

17. Putting the stack back into Stacked Borrows

    www.ralfj.de

    • programming
    • rust
    • type-systems

18. Rust Inline Assembly Miscompilation

    gist.github.com

    • programming
    • rust

19. Rust: A unique perspective

    limpet.net

    • programming
    • rust
    • type-systems

20. Stacked Borrows Implemented

    www.ralfj.de

    • programming
    • rust
    • type-systems

21. Synthesizing Loop-Free Programs with Rust and Z3

    fitzgeraldnick.com

    • formal-methods
    • programming
    • rust

22. Unsafe as a Human-Assisted Type System

    matklad.github.io

    • programming
    • rust
    • type-systems

23. Why Rust mutexes look like they do

    cliffle.com

    • programming
    • rust