Top New Best Ask Show Jobs

im_down_w_otp

5,519 karma · joined October 7, 2015

submissions comments

A Series of Recent Rejection Letters

pointsincase.com·5 pts·im_down_w_otp·

Show HN: Cargo-fel4, Rust tools for working with the seL4 high-assurance kernel

github.com·10 pts·im_down_w_otp·

BYO Standard: An Explorer's Guide to Compiler Plugins (rust)

polysync.io·10 pts·im_down_w_otp·

The Challenge of Using C in Safety-Critical Applications [pdf]

polysync.io·13 pts·im_down_w_otp·

Who’s Making Sure That Self-Driving Cars Are Safe?

fastcompany.com·2 pts·im_down_w_otp·

How I Learned to Love Property Based Testing (Rust, C)

polysync.io·12 pts·im_down_w_otp·

Session Types for Hearty Codecs (Rust)

polysync.io·12 pts·im_down_w_otp·