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
- AdaCore Announces GNAT Pro for Rust https://www.adacore.com/press/adacore-announces-gnat-pro-for-rust 4 comments ada
- AdaCore Announces GNAT Pro for Rust https://www.adacore.com/press/adacore-announces-gnat-pro-for-rust 13 comments rust
- 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
- [French] WebEx Ada France le 26 mai à 10h https://adacore.com 3 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 Announces Winners for Third Annual “Make with Ada” Competition https://www.adacore.com/press/adacore-announces-winners-for-third-make-with-ada-competition 3 comments programming
- 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
- Safe Dynamic Memory Management in Ada and SPARK https://www.adacore.com/papers/safe-dynamic-memory-management-in-ada-and-spark 1 comment Implementation , Type Theory
- Designing High-Security Systems: A Comparison of Programming Languages http://www.adacore.com/2007/07/02/designing-high-security-systems/ 0 comments Software Engineering
- 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
Linking pages
- Airbus Chooses GNAT Pro Ada for Development of Unmanned Aerial System | Manufacturing.net https://www.manufacturing.net/aerospace/news/21175187/airbus-chooses-gnat-pro-ada-for-development-of-unmanned-aerial-system 197 comments
- Signed Integers are Asymmetrical https://borretti.me/article/signed-integers-asymmetrical 148 comments
- Ada 2012 http://www.ada2012.org 71 comments
- AdaCore Announces GNAT Pro for Rust | AdaCore https://www.adacore.com/press/adacore-announces-gnat-pro-for-rust 69 comments
- GitHub - AdaCore/gnat-llvm: LLVM based GNAT compiler https://github.com/adacore/gnat-llvm 42 comments
- AdaCore Joins the RISC-V Foundation to Provide C and Ada… | AdaCore https://www.adacore.com/press/adacore-joins-the-risc-v-foundation 16 comments
- Hacking the Linux Kernel in Ada - Part 1 - Linux.com https://www.linux.com/audience/developers/hacking-the-linux-kernel-in-ada-part-1/ 15 comments
- AdaCore Announces Winners of Fourth Annual “Make with Ada” Competition | Business Wire https://www.businesswire.com/news/home/20200303005076/en/ 13 comments
- SPARKNaCl/README.md at master · rod-chapman/SPARKNaCl · GitHub https://github.com/rod-chapman/sparknacl/blob/master/readme.md 12 comments
- The most secure programming language you’ve probably never even heard of… | by Jannis Kirschner | Medium https://medium.com/@jannis.kirschner/the-most-secure-programming-language-youve-probably-never-even-heard-of-4ed9f7d73ade 12 comments
- AdaCore enhances security-critical firmware with NVIDIA | AdaCore https://www.adacore.com/press/adacore-enhances-security-critical-firmware-with-nvidia 11 comments
- Tunny, Colossus and Ada: Keeping an Open Mind | Dr Dobb's http://www.ddj.com/hpc-high-performance-computing/207800151 7 comments
- GitHub - AdaCore/ada_language_server: Server implementing the Microsoft Language Protocol for Ada and SPARK https://github.com/AdaCore/ada_language_server 7 comments
- Simplicity and Survival https://borretti.me/article/simplicity-and-survival 6 comments
- GitHub - jklmnn/gnat-llvm-xtensa: LLVM based GNAT compiler for Xtensa https://github.com/jklmnn/gnat-llvm-xtensa 6 comments
- Consafe Logistics Selects AdaCore’s GNAT Pro for Critical Warehouse Control System Firmware | Business Wire https://www.businesswire.com/news/home/20201208005125/en/Consafe-Logistics-Selects-AdaCore%E2%80%99s-GNAT-Pro-for-Critical-Warehouse-Control-System-Firmware 6 comments
- GitHub - riscvarchive/riscv-software-list: The RISC-V software tools list, as seen on riscv.org https://github.com/riscv/riscv-software-list 5 comments
- AdaCore Announces Winners for Third Annual “Make with Ada”… | AdaCore https://www.adacore.com/press/adacore-announces-winners-for-third-make-with-ada-competition 3 comments
- Ada on Board: GNAT Pro Helps ExoMars Get to the Red Planet | AdaCore http://www.adacore.com/press/ada-on-board-gnat-pro-helps-exomars-get-to-the-red-planet 3 comments
- Why aren't developers interested in Ada? - Embedded.com https://www.embedded.com/electronics-blogs/break-points/4008214/Why-aren-t-developers-interested-in-Ada- 2 comments