HN Explorer

DragonSpiritWTP

↗ HN profile [ 17.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Rust Is Memory Safe, but Logic Bugs Still Occur - SPARK Ada Can Help

    Many people assume that Rust’s memory safety automatically makes software secure and correct. Yet recent examples like sudo-rs and TARmageddon, both written in Rust, show this assumption is misleading: even memory-safe…

    8 points 2
  2. Ada Continues to Climb in June Tiobe Index and PYPL (forum.ada-lang.io)
    68 points 48
  3. Free online participation in the Ada Developers Workshop, June 13th (forum.ada-lang.io)
    8 points 0
  4. Nvidia drives Ada and SPARK into driverless cars (eenewseurope.com)
    5 points 2