Hacker News
- I can’t believe that I can prove that it can sort https://blog.adacore.com/i-cant-believe-that-i-can-prove-that-it-can-sort 113 comments
- From Rust to Spark: Formally Proven Bip-Buffers https://blog.adacore.com/from-rust-to-spark-formally-proven-bip-buffers 7 comments
Lobsters
- Going beyond Ada 2022 https://blog.adacore.com/going-beyond-ada-2022 9 comments plt
- Taking on a Challenge in SPARK https://blog.adacore.com/taking-on-a-challenge-in-spark 2 comments formalmethods
- New Ada Course: Introduction To Embedded Systems Programming https://blog.adacore.com/new-learn-course-introduction-to-embedded-systems-programming 22 comments programming
- NVIDIA Security Team: “What if we just stopped… https://blog.adacore.com/nvidia-security-team-what-if-we-just-stopped-using-c 30 comments embedded
- NVIDIA Security Team: "What if we just stopped using C?" (This is not about Rust) https://blog.adacore.com/nvidia-security-team-what-if-we-just-stopped-using-c 297 comments programming
- I can’t believe that I can prove that it can sort https://blog.adacore.com/i-cant-believe-that-i-can-prove-that-it-can-sort 19 comments programming
- Ada GameDev Part 2: Making 2D maps with Tiled https://blog.adacore.com/ada-gamedev-part-2-making-2d-maps-with-tiled 3 comments ada
- Ada GameDev Part 1: GEneric Sprite and Tile Engine (GESTE) https://blog.adacore.com/ada-gamedev-part-1-generic-sprite-and-tile-engine-geste 9 comments ada
- Proving the Correctness of the GNAT Light Runtime Library https://blog.adacore.com/proving-the-correctness-of-gnat-light-runtime-library 4 comments ada
- AdaCore and Ferrous Systems Joining Forces to Support Rust https://blog.adacore.com/adacore-and-ferrous-systems-joining-forces-to-support-rust 6 comments ada
- AdaCore at FOSDEM 2022 (6 Feb 2022) https://blog.adacore.com/adacore-at-fosdem-2022 2 comments ada
- An Embedded USB Device stack in Ada https://blog.adacore.com/an-embedded-usb-device-stack-in-ada 5 comments ada
- Starting micro-controller Ada drivers in the Alire Ecosystem https://blog.adacore.com/starting-micro-controller-ada-drivers-in-the-alire-ecosystem 10 comments ada
- [Alire] Has anyone made any Crate of the Year submissions yet? https://blog.adacore.com/announcing-the-first-ada-spark-crate-of-the-year-award 6 comments ada
- Going beyond Ada 2022 https://blog.adacore.com/going-beyond-ada-2022 7 comments ada
- From Rust to SPARK: Formally Proven Bip-Buffers https://blog.adacore.com/from-rust-to-spark-formally-proven-bip-buffers 4 comments rust
- SPARKNaCl performance versus TweetNaCl https://blog.adacore.com/performance-analysis-and-tuning-of-sparknacl 16 comments crypto
- From Ada to Platinum SPARK: A Case Study for Reusable Bounded Stacks https://blog.adacore.com/from-ada-to-platinum-spark-a-case-study-for-reusable-bounded-stacks 4 comments programming
- Compile Ada to WebAssembly with GNAT-LLVM https://blog.adacore.com/use-of-gnat-llvm-to-translate-ada-applications-to-webassembly 3 comments programming
- Witnessing the Emergence of a New Ada Era https://blog.adacore.com/the-emergence-of-a-new-ada-era 5 comments ada
- RecordFlux: From Message Specifications to SPARK Code https://blog.adacore.com/recordflux-from-message-specifications-to-spark-code 2 comments ada
- RecordFlux: From Message Specifications to Formally Verified Parser in SPARK https://blog.adacore.com/recordflux-from-message-specifications-to-spark-code 7 comments programming
- Learning SPARK via Conway's Game of Life - The AdaCore Blog https://blog.adacore.com/learning-spark 3 comments programming
- Secure Use of Crypto with SPARK Binding for Libsodium https://blog.adacore.com/secure-use-of-cryptographic-libraries-spark-binding-for-libsodium 6 comments programming
- RFCs for Ada and SPARK evolution now on GitHub https://blog.adacore.com/rfcs-for-ada-and-spark-evolution-now-on-github 6 comments programming
- Pointers in SPARK/Ada inspired by rust ownership model https://blog.adacore.com/using-pointers-in-spark 20 comments programming
- Using SPARK to prove 255-bit Integer Arithmetic from Curve25519 https://blog.adacore.com/using-spark-to-prove-255-bit-integer-arithmetic-from-curve25519 3 comments programming
- Proving Memory Operations - A SPARK Journey https://blog.adacore.com/proving-memory-operations-a-spark-journey 11 comments programming
- Train control using Ada on a Raspberry Pi https://blog.adacore.com/train-control-using-ada-on-a-raspberry-pi 13 comments programming
- A modern syntax for Ada https://blog.adacore.com/a-modern-syntax-for-ada 35 comments programming
- The Road to a Thick OpenGL Binding for Ada: Part 1 https://blog.adacore.com/the-road-to-a-thick-opengl-binding-for-ada 18 comments programming
- GPS for bare-metal developers http://blog.adacore.com/gps-for-bare-metal-development 6 comments ada
- GPS (IDE for Ada) for bare-metal developers http://blog.adacore.com/gps-for-bare-metal-development 4 comments programming
- Formally proven tetris on the Arduboy miniature game platform http://blog.adacore.com/spark-tetris-on-the-arduboy 9 comments programming
- GNAT Programming Studio (GPS) on GitHub http://blog.adacore.com/gnat-programming-studio-gps-on-github 13 comments programming
- C library bindings: GCC plugins to the rescue http://blog.adacore.com/bindings-gcc-plugins 7 comments programming
- Make with Ada: ARM Cortex-M CNC controller http://blog.adacore.com/make-with-ada-arm-cortex-m-cnc-controller 3 comments ada
- Make with Ada: ARM Cortex-M CNC controller and e-waste 3-axes machine http://blog.adacore.com/make-with-ada-arm-cortex-m-cnc-controller 5 comments programming