ada

joined 2 years ago

MODERATOR OF

3

[YouTube] Why Aerospace and Railways Rely on Ada Programming? (youtu.be)

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

1 comments fedilink

#aerospace #railways #programming

1

Advent of Ada/SPARK 2024 Results (blog.adacore.com)

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

0 comments fedilink

2

GNAT Pro 25: New Features, Platforms, and Tools (blog.adacore.com)

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

1 comments fedilink

3

[Youtube]: Ada for Game Developers: A taste of Vulkan (youtu.be)

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

0 comments fedilink

4

Learning Ada with raytraced teapots (blog.adacore.com)

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

0 comments fedilink

7

Programming Ada: Atomics And Other Low-Level Details (hackaday.com)

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

0 comments fedilink

3

[YouTube]: Ada for Game Developers: Linked Lists (youtu.be)

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

0 comments fedilink

2

FOSDEM 2025 - Program for Ada Developer Room (fosdem.org)

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

0 comments fedilink

3

FOSDEM 2025 - Program for Ada Developer Room (fosdem.org)

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

0 comments fedilink

4

AdaCore: Security by Default - CHERI ISA coupled with Ada (www.adacore.com)

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

0 comments fedilink

2

[YouTube] Programming Languages used in Aircraft (youtu.be)

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

0 comments fedilink

4

Announcing Advent of Ada 2024: Coding for a Cause! (blog.adacore.com)

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

1 comments fedilink