Hackernews posts about AdaCore

1. 01
   

   newDemonstrating Deterministic Trust and Formal Proof for AI-Generated Codewww.adacore.com

   ▲ 2nonmaskable23ddiscusssavesaved
2. 02
   

   newFoundational Cryptography in Sparkwww.adacore.com

   ▲ 1eatonphil9ddiscusssavesaved
3. 03
   

   newAdaCore Supply Chain Security Evolutionwww.adacore.com

   ▲ 2nikokrock246ddiscusssavesaved
4. 04
   

   newAdaCore and CodeSecure Mergewww.adacore.com

   ▲ 1ajdude506ddiscusssavesaved
5. 05
   

   newAdaCore and Lynx Software Technologies Reaffirm Partnershipblog.adacore.com

   ▲ 1Tomte542ddiscusssavesaved
6. 06
   

   newNvidia Security Team: “What if we just stopped using C?” (2022)blog.adacore.com

   ▲ 306transpute634d💬 179savesaved
7. 07
   

   newIntroduction to Ada: a project-based exploration with rosettasblog.adacore.com

   ▲ 194jaypatelani430d💬 51savesaved
8. 08
   

   newAda and SPARK enter the automotive ISO-26262 market with Nvidiawww.adacore.com

   ▲ 116gneuromante519d💬 111savesaved
9. 09
   

   newShould I choose Ada, SPARK, or Rust over C/C++? (2024)blog.adacore.com

   ▲ 1111vuio0pswjnm7396d💬 166savesaved
10. 10
    

    newAda crate of the year 2024 announcedblog.adacore.com

    ▲ 106LionelDraghi634d💬 65savesaved
11. 11
    

    newOpen-Source Ada: From Gateware to Applicationblog.adacore.com

    ▲ 63Bogdanp370d💬 11savesaved
12. 12
    

    newAda Gems (2014)www.adacore.com

    ▲ 59Tomte635d💬 9savesaved
13. 13
    

    newCuBit: A Gen­er­al-Pur­pose Oper­at­ing Sys­tem in SPARK/ Ada (2020)blog.adacore.com

    ▲ 11kennysoona636d💬 3savesaved
14. 14
    

    newAda for the C++ or Java Developer – Concurrencylearn.adacore.com

    ▲ 10LiamPowell656d💬 4savesaved
15. 15
    

    newA new math library for Ada: Neo.SIMDblog.adacore.com

    ▲ 9exitcode0000623d💬 1savesaved
16. 16
    

    newGoing Beyond Ada 2022blog.adacore.com

    ▲ 8fanf2650d💬 1savesaved
17. 17
    

    newGnat: The GNU Ada Compiler (2004) [pdf]www.adacore.com

    ▲ 8csb6127ddiscusssavesaved
18. 18
    

    newShould I choose Ada, SPARK, or Rust over C/C++?blog.adacore.com

    ▲ 8amai548ddiscusssavesaved
19. 19
    

    newAda Crate of the Year, 2024blog.adacore.com

    ▲ 7LionelDraghi638ddiscusssavesaved
20. 20
    

    newOpen-Source Ada: From Gateware to Applicationblog.adacore.com

    ▲ 5olivier_henley633d💬 1savesaved
21. 21
    

    newUsing pragma Shared_Passive for data persistence in Adawww.adacore.com

    ▲ 5ajdude489ddiscusssavesaved
22. 22
    

    newAda in Practice, a New Learn Courseblog.adacore.com

    ▲ 5Tomte604ddiscusssavesaved
23. 23
    

    newAda is back in the Tiobe Index topblog.adacore.com

    ▲ 4Tomte583d💬 2savesaved
24. 24
    

    newProving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategyblog.adacore.com

    ▲ 4ajdude360ddiscusssavesaved
25. 25
    

    newCuBit: A Gen­er­al-Pur­pose Oper­at­ing Sys­tem in SPARK/ Adablog.adacore.com

    ▲ 4andsoitis504ddiscusssavesaved
26. 26
    

    newSurprising Places Where Ada Is Usedwww.adacore.com

    ▲ 3GhosT078301d💬 2savesaved
27. 27
    

    newLanguage Design Impacts Securitywww.adacore.com

    ▲ 3ajdude129ddiscusssavesaved
28. 28
    

    newGNAT: The GNU Ada Compiler (2004) [pdf]www.adacore.com

    ▲ 3csb6193ddiscusssavesaved
29. 29
    

    newHow to Prove the Correctness of AI-Generated Code Using Formal Methodswww.adacore.com

    ▲ 3andsoitis269ddiscusssavesaved
30. 30
    

    newNvdia using SPARK for safety-critical firmwarewww.adacore.com

    ▲ 3c2the3rd505ddiscusssavesaved
31. 31
    

    newFormal Methods Practice and Theorywww.adacore.com

    ▲ 2andsoitis269ddiscusssavesaved
32. 32
    

    newBuilding a Virtual Mars Rover with Spark and Rustblog.adacore.com

    ▲ 2gsky529ddiscusssavesaved

· edit