DEV Community

# ada

Posts

ūüĎč Sign in for the ability to sort posts by relevant, latest, or top.
How to use the Azure OpenAI Embedding model to find the most relevant documents

How to use the Azure OpenAI Embedding model to find the most relevant documents

5
Comments 1
20 min read
100 Languages Speedrun: Episode 09: Ada

100 Languages Speedrun: Episode 09: Ada

3
Comments
4 min read
What Do Exotic Programming Languages and Single-origin Coffee Beans Have in Common?

What Do Exotic Programming Languages and Single-origin Coffee Beans Have in Common?

8
Comments
8 min read
Generics systems

Generics systems

4
Comments
6 min read
Reasons for loving Ada: Type invariants (because bugs shouldn't sleep...)

Reasons for loving Ada: Type invariants (because bugs shouldn't sleep...)

7
Comments 1
7 min read
Come work on what matters, so you matter too.

Come work on what matters, so you matter too.

5
Comments 1
1 min read
My first experience with SPARK-Ada

My first experience with SPARK-Ada

8
Comments 4
6 min read
Reasons for loving Ada. #1: strong typing

Reasons for loving Ada. #1: strong typing

30
Comments 21
8 min read
Proving the correctness of a binary search procedure with SPARK/Ada

Proving the correctness of a binary search procedure with SPARK/Ada

6
Comments
9 min read
Safer set-uid programs in Ada with the suid-helper library

Safer set-uid programs in Ada with the suid-helper library

9
Comments 3
5 min read
Watchdoging in Ada

Watchdoging in Ada

5
Comments
9 min read
Accessible components: Alerts

Accessible components: Alerts

8
Comments
1 min read
loading...