listing: all - local
1
2
Improving SPARK Counter Examples with Fuzzing and Code Analysis (blog.adacore.com)
submitted 1 week ago by [email protected] to c/[email protected]
0 comments fedilink
2
2
Ada Developer Workshop [13 June 2025] (registration.ada-europe.org)
submitted 3 weeks ago by [email protected] to c/[email protected]
0 comments fedilink

Register for free online access to the Ada Developer Workshop, taking place on 13 June 2025!

3
7
Simon J Wright - RIP (programming.dev)
submitted 1 month ago by [email protected] to c/[email protected]
0 comments fedilink

We miss you, Simon

4
2
Ada-Europe Conference program (www.ada-europe.org)
submitted 1 month ago by [email protected] to c/[email protected]
0 comments fedilink
5
4
Ada-Europe Conference program (www.ada-europe.org)
submitted 1 month ago by [email protected] to c/[email protected]
0 comments fedilink
6
2
[YouTube] VulkAda: Extensions and Layers (youtu.be)
submitted 1 month ago by [email protected] to c/[email protected]
0 comments fedilink
7
4
GNAT FSF 15 available in Alire [pre-release] (forum.ada-lang.io)
submitted 1 month ago by [email protected] to c/[email protected]
0 comments fedilink
8
5
YouTube: Function Pointers and State Machines (youtu.be)
submitted 2 months ago by [email protected] to c/[email protected]
0 comments fedilink
9
2
GNAT change log in the next GCC 15 Release (gcc.gnu.org)
submitted 2 months ago* (last edited 2 months ago) by [email protected] to c/[email protected]
0 comments fedilink
10
7
Welcome to Ada 83 Memory site (ada83.org)
submitted 3 months ago by [email protected] to c/[email protected]
2 comments fedilink
11
4
Ada Monthly Meetup, 5th of April 2025 (forum.ada-lang.io)
submitted 3 months ago by [email protected] to c/[email protected]
0 comments fedilink
12
5
Let’s Write a Safety Monitor for a Mars Rover! (blog.adacore.com)
submitted 3 months ago by [email protected] to c/[email protected]
0 comments fedilink
13
5
New syntax for OOP in Ada (programming.dev)
submitted 3 months ago by [email protected] to c/[email protected]
0 comments fedilink

From What’s New in GNAT Pro: Key Features and Roadmap YouTube video by AdaCore.

14
3
Ada in Practice, a New Learn Course (blog.adacore.com)
submitted 3 months ago by [email protected] to c/[email protected]
0 comments fedilink
15
4
Alire 2.1.0 release (github.com)
submitted 3 months ago by [email protected] to c/[email protected]
0 comments fedilink
16
3
A new math library for Ada: Neo.SIMD (blog.adacore.com)
submitted 4 months ago by [email protected] to c/[email protected]
0 comments fedilink
17
1
Ada PDF Writer version 7 (forum.ada-lang.io)
submitted 4 months ago by [email protected] to c/[email protected]
0 comments fedilink
18
4
GNAT Pro Webinar - What’s New: Key Features and Roadmap (www.adacore.com)
submitted 4 months ago by [email protected] to c/[email protected]
0 comments fedilink
19
3
Verifying FACEⓇ Conformance for Ada Software (blog.adacore.com)
submitted 4 months ago by [email protected] to c/[email protected]
0 comments fedilink
20
8
NVIDIA Security Team: “What if we just stopped using C?” (blog.adacore.com)
submitted 4 months ago by [email protected] to c/[email protected]
1 comments fedilink
21
3
Open-Source Ada: From Gateware to Application (blog.adacore.com)
submitted 4 months ago by [email protected] to c/[email protected]
0 comments fedilink
22
3
Ada Developer Room at FOSDEM 2025 - Sun 2 Feb (forum.ada-lang.io)
submitted 5 months ago by [email protected] to c/[email protected]
0 comments fedilink

For those of you that were unaware... This Sunday will take place the Ada Devroom @ FOSDEM. Even if you cannot join in person, there will be (we hope everything works) a livestream with chats. Feel free to join and take part of the event online! The info can be found in this forum thread.

23
3
[YouTube] Why Aerospace and Railways Rely on Ada Programming? (youtu.be)
submitted 5 months ago by [email protected] to c/[email protected]
1 comments fedilink

#aerospace #railways #programming

24
1
Advent of Ada/SPARK 2024 Results (blog.adacore.com)
submitted 5 months ago by [email protected] to c/[email protected]
0 comments fedilink
25
2
GNAT Pro 25: New Features, Platforms, and Tools (blog.adacore.com)
submitted 5 months ago by [email protected] to c/[email protected]
1 comments fedilink
view more: next ›

Ada

122 readers
2 users here now

A community about the programming language, Ada.

About Ada Language

Ada is a modern, high-level programming language designed for developing reliable, efficient, and maintainable software systems. It was developed by the U.S. Department of Defense and is widely used in safety-critical and mission-critical applications. This community is dedicated to all things related to Ada, including discussions, tutorials, news, and projects.

Rules:

  1. Be respectful: Treat fellow community members with kindness and respect. Personal attacks, harassment, or any form of discrimination will not be tolerated.
  2. Stay on topic: Keep discussions focused on Ada language-related topics. Off-topic posts may be removed.
  3. No spam or self-promotion: Avoid excessive self-promotion or spamming of external links. Share relevant content and engage in meaningful discussions.
  4. Provide helpful and constructive feedback: When offering feedback on code or projects, be constructive and supportive. Help others learn and grow.
  5. Follow the instance wide rules.

founded 2 years ago
MODERATORS
[email protected]