1
3
2
1
submitted 1 month ago by ada@programming.dev to c/ada@programming.dev
3
2
submitted 1 month ago by ada@programming.dev to c/ada@programming.dev
4
2
submitted 1 month ago by ada@programming.dev to c/ada@programming.dev
5
3
submitted 1 month ago by ada@programming.dev to c/ada@programming.dev
6
2
submitted 1 month ago by ada@programming.dev to c/ada@programming.dev
7
0
submitted 1 month ago by ada@programming.dev to c/ada@programming.dev
8
2
submitted 1 month ago by ada@programming.dev to c/ada@programming.dev
9
2
submitted 1 month ago by ada@programming.dev to c/ada@programming.dev
10
9
submitted 2 months ago by ada@programming.dev to c/ada@programming.dev
11
7
submitted 3 months ago by cm0002@toast.ooo to c/ada@programming.dev
12
3
submitted 3 months ago by tanakian@lemmy.sdf.org to c/ada@programming.dev

gopher://gopher.quux.org:70/0/Archives/usenet-a-news/FA.unix-cpm/81.06.24_ucbvax.1901_fa.unix-cpm.txt

13
2
submitted 4 months ago by ada@programming.dev to c/ada@programming.dev

Tucker Taft:

We are getting close. We have been trying to stabilize a chunk of functionality, and fix up the commit messages and the test suite so we could submit a patch. I would anticipate a couple of more weeks. Even before then we will make something available for folks who feel competent to clone a repository on GitHub and give them a try. Here is a branch you could try now: GitHub branch

14
5
submitted 4 months ago by ada@programming.dev to c/ada@programming.dev
15
1
submitted 7 months ago by ada@programming.dev to c/ada@programming.dev

How to prove safety and security for embedded and systems software using SPARK Pro.

In this session, you'll learn about what SPARK is, how SPARK works, and see how SPARK can be applied to a M.A.R.S. Rover to prove safety.

#AdaLanguage #AdaProgramming #ada #adalang

16
3
submitted 7 months ago by ada@programming.dev to c/ada@programming.dev
17
2
submitted 8 months ago by ada@programming.dev to c/ada@programming.dev
18
2
Ada Developer Workshop [13 June 2025] (registration.ada-europe.org)
submitted 8 months ago by ada@programming.dev to c/ada@programming.dev

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

19
7
Simon J Wright - RIP (thelemmy.club)
submitted 8 months ago by ada@programming.dev to c/ada@programming.dev

We miss you, Simon

20
2
Ada-Europe Conference program (www.ada-europe.org)
submitted 9 months ago by ada@programming.dev to c/ada@programming.dev
21
4
Ada-Europe Conference program (www.ada-europe.org)
submitted 9 months ago by ada@programming.dev to c/ada@programming.dev
22
2
submitted 9 months ago by ada@programming.dev to c/ada@programming.dev
23
4
submitted 9 months ago by ada@programming.dev to c/ada@programming.dev
24
5
submitted 9 months ago by ada@programming.dev to c/ada@programming.dev
25
2
submitted 10 months ago* (last edited 10 months ago) by ada@programming.dev to c/ada@programming.dev
view more: next ›

Ada

133 readers
1 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