Skip to content

DEV Community

# ada

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Yoshio Terada for Microsoft Azure

Jun 9 '23

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

#java #openai #embedding #ada

20 min read

Tomasz Wegrzanowski

Nov 29 '21

100 Languages Speedrun: Episode 09: Ada

#ada #programming

4 min read

Jorge Díaz for Fidel API

Jun 24 '21

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

#programming #coffee #ada #pony

8 min read

Sep 9 '20

Generics systems

#computerscience #csharp #ada #fsharp

6 min read

Riccardo Bernardini

Jul 19 '20

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

#typeinvariant #strongtyping #tutorial #ada

7 min read

Jul 11 '19

Come work on what matters, so you matter too.

#bitcoin #tmsr #eulora #ada

1 min read

Riccardo Bernardini

May 25 '19

My first experience with SPARK-Ada

#ada #spark #formalchecking #bufferoverflow

6 min read

Riccardo Bernardini

Dec 10 '17

Reasons for loving Ada. #1: strong typing

#ada #strongtyping #correctness #debug

8 min read

Riccardo Bernardini

Jul 9 '20

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

#spark #ada #formalchecking #tutorial

9 min read

Riccardo Bernardini

Feb 22 '20

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

#setuidprogram #safety #ada

5 min read

Riccardo Bernardini

Feb 28 '20

Watchdoging in Ada

#ada #watchdog #multitask #threads

9 min read

Jan 27 '20

Accessible components: Alerts

#a11y #html #ada

1 min read

loading...