ada

joined 2 years ago

MODERATOR OF

4

Ada Monthly Meetup, 5th of April 2025 (forum.ada-lang.io)

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

0 comments fedilink

5

Let’s Write a Safety Monitor for a Mars Rover! (blog.adacore.com)

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

0 comments fedilink

5

New syntax for OOP in Ada (infosec.pub)

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

0 comments fedilink

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

3

Ada in Practice, a New Learn Course (blog.adacore.com)

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

0 comments fedilink

3

Alire 2.1.0 release (github.com)

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

0 comments fedilink

3

A new math library for Ada: Neo.SIMD (blog.adacore.com)

submitted 5 months ago by ada@programming.dev to c/ada@programming.dev

0 comments fedilink

1

Ada PDF Writer version 7 (forum.ada-lang.io)

submitted 5 months ago by ada@programming.dev to c/ada@programming.dev

0 comments fedilink

4

GNAT Pro Webinar - What’s New: Key Features and Roadmap (www.adacore.com)

submitted 5 months ago by ada@programming.dev to c/ada@programming.dev

0 comments fedilink

3

Verifying FACEⓇ Conformance for Ada Software (blog.adacore.com)

submitted 5 months ago by ada@programming.dev to c/ada@programming.dev

0 comments fedilink

8

NVIDIA Security Team: “What if we just stopped using C?” (blog.adacore.com)

submitted 5 months ago by ada@programming.dev to c/ada@programming.dev

1 comments fedilink

3

Open-Source Ada: From Gateware to Application (blog.adacore.com)

submitted 5 months ago by ada@programming.dev to c/ada@programming.dev

0 comments fedilink

3

Ada Developer Room at FOSDEM 2025 - Sun 2 Feb (forum.ada-lang.io)

submitted 6 months ago by ada@programming.dev to c/ada@programming.dev

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.