ralfj.de: 17 stories from 13 submitters

  1. 14
    cargo careful: run your Rust code with extra careful debug checking debugging rust ralfj.de
    5d22b avatar via 5d22b 7 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 35
    Announcing: MiniRust rust ralfj.de
    sanxiyn avatar via sanxiyn 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 13
    The last two years in Miri rust ralfj.de
    sanxiyn avatar via sanxiyn 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 17
    Pointers Are Complicated III, or: Pointer-integer casts exposed c compsci rust ralfj.de
    algesten avatar via algesten 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 33
    Do we really need Undefined Behavior? c plt ralfj.de
    raymii avatar via raymii 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  6. 25
    Pointers Are Complicated II, or: We need better language specs compsci ralfj.de
    inactive-user avatar via inactive-user 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  7. 16
    Why even unused data needs to be valid plt rust ralfj.de
    skade avatar via skade 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 19
    Stacked Borrows: An Aliasing Model for Rust (the paper) pdf formalmethods rust ralfj.de
    inactive-user avatar via inactive-user 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  9. 20
    "What The Hardware Does" is not What Your Program Does: Uninitialized Memory c plt rust ralfj.de
    kornel avatar via kornel 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 22 comments
  10. 15
    Stacked Borrows Implemented formalmethods rust ralfj.de
    skade avatar via skade 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  11. 7
    The Tale of a Bug in Arc: Synchronization and Data Races rust ralfj.de
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 3
    Stacked Borrows: An Aliasing Model For Rust rust ralfj.de
    sanxiyn avatar via sanxiyn 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 16
    Pointers Are Complicated, or: What's in a Byte? compilers ralfj.de
    GeoffWozniak avatar via GeoffWozniak 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  14. 12
    How MutexGuard was Sync When It Should Not Have Been rust ralfj.de
    klingtnet avatar via klingtnet 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 4
    Exploring MIR Semantics through miri compilers rust ralfj.de
    fitzgen avatar via fitzgen 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 12
    The Scope of Unsafe rust ralfj.de
    antifuchs avatar via antifuchs 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 18
    Formalizing Rust release rust ralfj.de
    steveklabnik avatar via steveklabnik 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments