Hacker News
- AdaCore Announces Gnat Pro for Rust https://www.adacore.com/press/adacore-announces-gnat-pro-for-rust 48 comments
- AdaCore Announces Gnat Pro for Rust https://www.adacore.com/press/adacore-announces-gnat-pro-for-rust 4 comments
- Safe Dynamic Memory Management in Ada and SPARK https://www.adacore.com/papers/safe-dynamic-memory-management-in-ada-and-spark 5 comments
Lobsters
- Case Study: Raising the Reliability of Scientific Space Exploration (pdf) https://www.adacore.com/uploads/techPapers/AdaCore-LASP-OASIS-CC-case-Study-FINAL-3.pdf 4 comments ada
- One of the coolest industrial use of Ada IMHO (ITEC/AdaCore press release) (PDF) https://www.adacore.com/uploads/techPapers/222362-adacore-itec-nexperia-case-study-v4.pdf 2 comments ada
- Workshop for GNAT Academic Program (GAP) Members https://www.adacore.com/academia/gap-workshop-registration 2 comments ada
- Endianness and streaming variant records https://www.adacore.com/gems/gem-39 7 comments ada
- [PDF] How to Succeed in the Software Business While Giving Away the Source Code https://www.adacore.com/uploads/techPapers/HowToSucceedInTheSoftwareBusiness-Brosgol-IEEE-Software-2019-11.pdf 2 comments opensource
- CASE STUDY: How Masten Space Systems is Using Ada and SPARK to Land on the Moon’s South Pole https://www.adacore.com/uploads/techPapers/Masten-case-study.pdf 12 comments ada
- GNAT 2021 Community Edition download link disappeared https://www.adacore.com/download 20 comments ada
- How scalable is SPARK assurance level Silver? https://www.adacore.com/sparkpro 5 comments ada
- GNAT 2021 Community Edition now available for download https://www.adacore.com/download 11 comments ada
- AdaCore - Recursive Data Structures in SPARK https://www.adacore.com/papers/recursive-data-structures-in-spark 4 comments ada
- AdaCore’s 5th Annual "Make with Ada" Programming Competition Launching July 31st https://www.adacore.com/press/5th-annual-make-with-ada-competition 8 comments programming
- GNAT Community Edition 2020 is available to download https://www.adacore.com/download 13 comments ada
- GNAT Compiler: Support for big numbers in Ada 202X (AI12-0208) https://www.adacore.com/devlog 6 comments ada
- European Space Agency Selects AdaCore’s Qualified Multitasking Solution for Spacecraft Software Development https://www.adacore.com/press/european-space-agency-selects-adacores-qualified-multitasking-solution-for-spacecraft-software-development 2 comments ada
- Ada on the Raspberry Pi! https://www.adacore.com/ 6 comments raspberry_pi
- GNAT Community 2019 is here! https://www.adacore.com/download/more 6 comments ada
- A language that already satisfies the U.S. Defense Innovation Board's "Do's and Dont's For Software" Guidelines -- Ada https://www.adacore.com/uploads/techpapers/ada-meeting-tomorrows-software-challenges-today.pdf 44 comments programming
- Welch Allyn Adopting Ada and SPARK for ECG Algorithm Development https://www.adacore.com/uploads/techPapers/Welch-Allyn-Whitepaper.pdf 2 comments ada
- AdaCore enhances security-critical firmware with NVIDIA https://www.adacore.com/press/adacore-enhances-security-critical-firmware-with-nvidia 11 comments ada
- AdaCore Joins the RISC-V Foundation to Provide C and Ada Compilation Support https://www.adacore.com/press/adacore-joins-the-risc-v-foundation 2 comments ada
- New book: AdaCore Technologies for Cyber Security https://www.adacore.com/uploads/books/pdf/AdaCore-Tech-Cyber-Security-web.pdf 2 comments ada
- Do Developer/Enterprise/Assurance versions of GNAT Pro support 64-bit Windows? https://www.adacore.com/press/gnat-pro-6-3 9 comments ada
- Exception traceback in GNAT/GCC 6? http://www.adacore.com/adaanswers/gems/gem-142-exceptions/ 2 comments ada
- Ada on Board: GNAT Pro Helps ExoMars Get to the Red Planet http://www.adacore.com/press/ada-on-board-gnat-pro-helps-exomars-get-to-the-red-planet 3 comments ada
- Ada 2012 Rationale Published http://www.adacore.com/knowledge/technical-papers/ada-2012-rationale/ 10 comments programming
- Ada for the C++ or Java Developer http://www.adacore.com/knowledge/technical-papers/ada-for-the-c-or-java-developer/#sthash.y0abilst.sfju 10 comments programming
- Managing GNAT project files via the GNAT Programming Studio http://www.adacore.com/knowledge/videos/playlists/gnat-project-manager-introduction/ 4 comments ada
- UTF Anyone? Characters and Encoding Schemes http://www.adacore.com/adaanswers/gems/gem-144-a-bit-of-bytes-characters-and-encoding-schemes/ 3 comments ada
- Ada 2012 Language Standard Approved by ISO http://www.adacore.com/press/ada-2012-language-approved 7 comments programming
- US National Security Agency (NSA) releases "Tokeneer" (highly secure biometric software system) as Open Source http://www.adacore.com/home/gnatpro/tokeneer/ 17 comments programming
Lambda the Ultimate
- Project Coverage http://www.adacore.com/2008/06/04/coverage-project/ 1 comment Implementation
- Safe and Secure Software in Ada http://www.adacore.com/2008/04/08/gem-30/ 49 comments General
- Designing High-Security Systems: A Comparison of Programming Languages http://www.adacore.com/2007/07/02/designing-high-security-systems/ 0 comments Software Engineering
- Abstract Interface Types in GNAT: Conversions, Discriminants, and C++ http://www.adacore.com/2007/03/21/abstract-interface-types-in-gnat-conversions-discriminants-and-c-2/ 0 comments Cross language runtimes , Implementation , OOP
- A Comparison of Ada and Real-Time Java for Safety-Critical Applications http://www.adacore.com/wp-content/files/attachments/PaperPresentationAE2006-Brosgol.pdf 3 comments Software Engineering
- Ada UK Conference 2006 (slides & videos) http://www.adacore.com/home/ada_answers/lectures/ada_uk06#video_10 4 comments General