HN Explorer

thindil

↗ HN profile [ 35.0 ms ] full profile
Karma
119
Created
January 1, 2019 (7y ago)
Submissions
0
Open Source developer, interested in safe and secure programming.

Homepage: https://www.laeran.pl/

  1. Summary After Four Months with Ada (pyjarrett.github.io)
    286 points 175
  2. Learning to Love a Rigid and Inflexible Language (devblog.blackberry.com)
    2 points 0
  3. Doubling the Performance of SPARKNaCl (Again) (blog.adacore.com)
    1 points 0
  4. Coding in Ada: Strings (IV) Unbounded to String (craftofcoding.wordpress.com)
    34 points 17
  5. The Place for Misra C in Safe and Secure Programming – A Comparison with Spark (embeddedcomputing.com)
    1 points 0