HN Explorer

im_down_w_otp

↗ HN profile [ 66.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. A Series of Recent Rejection Letters (pointsincase.com)
    5 points 1
  2. Show HN: Cargo-fel4, Rust tools for working with the seL4 high-assurance kernel (github.com)
    10 points 1
  3. BYO Standard: An Explorer's Guide to Compiler Plugins (rust) (polysync.io)
    10 points 0
  4. The Challenge of Using C in Safety-Critical Applications [pdf] (polysync.io)
    13 points 0
  5. Who’s Making Sure That Self-Driving Cars Are Safe? (fastcompany.com)
    2 points 0
  6. How I Learned to Love Property Based Testing (Rust, C) (polysync.io)
    12 points 0
  7. Session Types for Hearty Codecs (Rust) (polysync.io)
    12 points 0