verdagon.dev: 18 stories from 11 submitters

  1. 31
    Vale's First Prototype for Immutable Region Borrowing performance plt verdagon.dev
    Verdagon avatar authored by Verdagon 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 21 comments
  2. 13
    Making C++ Memory-Safe Without Borrow Checking, Reference Counting, or Tracing Garbage Collection c++ verdagon.dev
    raymii avatar via raymii 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 40
    Single Ownership and Memory Safety without Borrow Checking, Reference Counting, or Garbage Collection rust verdagon.dev
    mpweiher avatar via mpweiher 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 17 comments
  4. 19
    What Vale Taught Me About Linear Types, Borrowing, and Memory Safety plt verdagon.dev
    Verdagon avatar authored by Verdagon 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  5. 9
    Implementing Vale's Region Borrowing, and its Unexpected Quest plt verdagon.dev
    Miaourt avatar via Miaourt 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  6. 12
    How To Survive Your Project's First 100,000 Lines programming verdagon.dev
    stanbright avatar via stanbright 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  7. 20
    How Memory Safety Approaches Speed Up and Slow Down Development Velocity java plt rust zig verdagon.dev
    Verdagon avatar authored by Verdagon 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  8. 5
    Implementing a New Memory Safety Approach, Part 1 plt verdagon.dev
    jmiven avatar via jmiven 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 4
    Zero-Cost Memory Safety with Vale Regions (Preview) plt verdagon.dev
    jado avatar via jado 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 11
    Hash Codes, Non-Determinism, and Other Eldritch Horrors plt verdagon.dev
    jado avatar via jado 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  11. 15
    When to Use Memory Safe Languages plt verdagon.dev
    sanxiyn avatar via sanxiyn 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 25 comments
  12. 3
    Vale's Hybrid-Generational Memory plt verdagon.dev
    lorddimwit avatar via lorddimwit 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 7
    Vale's "Fearless FFI", for Memory Safety, Safer Dependencies, and Supply-Chain Attack Mitigation plt verdagon.dev
    calvin avatar via calvin 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 34
    A Tale of Yak Shaving: Accidentally Making a Language, for an Engine, for a Game compilers games plt scala verdagon.dev
    Verdagon avatar authored by Verdagon 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  15. 20
    Surprising Weak-Ref Implementations: Swift, Obj-C, C++, Rust, and Vale c++ objectivec plt rust swift verdagon.dev
    Verdagon avatar authored by Verdagon 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  16. 29
    Vale's Higher RAII, the pattern that saved me a vital 5 hours in the 7DRL Challenge c++ compsci programming verdagon.dev
    technetium avatar via technetium 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  17. 14
    Data Races in Python, Despite the Global Interpreter Lock performance plt python verdagon.dev
    Verdagon avatar authored by Verdagon 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  18. 10
    Seamless, Fearless, and Structured Concurrency c performance plt rust verdagon.dev
    Verdagon avatar authored by Verdagon 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 24 comments