HN Explorer

gneuromante

↗ HN profile [ 27.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Basics on Programming a Canvas for a CAD-System [pdf] (blunk-electronic.de)
    1 points 2
  2. 2025: The Year of the Return of the Ada Programming Language? (thenewstack.io)
    7 points 1
  3. Ada and SPARK enter the automotive ISO-26262 market with Nvidia (adacore.com)
    116 points 112
  4. Ironclad (formally verified kernel) 0.6.0 released (savannah.nongnu.org)
    2 points 0
  5. 1 points 1
  6. Ada Developer Workshop AEiC 2024, a New "FOSDEM DevRoom" for the Community (forum.ada-lang.io)
    2 points 1
  7. So Many New Systems Programming Languages (colinsblog.net)
    4 points 2