DEV Community

# ada

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Exploring the Benefits of Working with ADA Compliance Experts
upma profile

Exploring the Benefits of Working with ADA Compliance Experts

#ada #adacompliance #technology
1
Comments
3 min read
How to use the Azure OpenAI Embedding model to find the most relevant documents
yoshioterada profile

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

#java #openai #embedding #ada
5
Comments 1
20 min read
Getting started with Gtk and Ada in 2023
smerrony profile

Getting started with Gtk and Ada in 2023

#ada #opensource #gtk
1
Comments
1 min read
Digital Accessibility 101: The importance of Digital Accessibility
aguscha333 profile

Digital Accessibility 101: The importance of Digital Accessibility

#a11y #ada #wcag
4
Comments
5 min read
Embedded Systems Weekly #104
embedsys profile

Embedded Systems Weekly #104

#embedded #ada #bootloader
4
Comments
2 min read
Hello World with Ada
youssouf profile

Hello World with Ada

#ada
Comments 1
2 min read
100 Languages Speedrun: Episode 09: Ada
taw profile

100 Languages Speedrun: Episode 09: Ada

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

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

#programming #coffee #ada #pony
8
Comments
8 min read
Generics systems
entomy profile

Generics systems

#computerscience #csharp #ada #fsharp
4
Comments
6 min read
Reasons for loving Ada: Type invariants (because bugs shouldn't sleep...)
pinotattari profile

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

#typeinvariant #strongtyping #tutorial #ada
7
Comments 1
7 min read
Proving the correctness of a binary search procedure with SPARK/Ada
pinotattari profile

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

#spark #ada #formalchecking #tutorial
6
Comments
9 min read
Watchdoging in Ada
pinotattari profile

Watchdoging in Ada

#ada #watchdog #multitask #threads
5
Comments
9 min read
Safer set-uid programs in Ada with the suid-helper library
pinotattari profile

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

#setuidprogram #safety #ada
9
Comments 3
5 min read
Accessible components: Alerts
c4rlosviteri profile

Accessible components: Alerts

#a11y #html #ada
8
Comments
1 min read
Come work on what matters, so you matter too.
dianacoman profile

Come work on what matters, so you matter too.

#bitcoin #tmsr #eulora #ada
5
Comments 1
1 min read
My first experience with SPARK-Ada
pinotattari profile

My first experience with SPARK-Ada

#ada #spark #formalchecking #bufferoverflow
8
Comments 4
6 min read
Reasons for loving Ada. #1: strong typing
pinotattari profile

Reasons for loving Ada. #1: strong typing

#ada #strongtyping #correctness #debug
30
Comments 21
8 min read
loading...