Skip to content
Search

DEV Community

# ada

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
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
7
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
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
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
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
Watchdoging in Ada
pinotattari profile

Watchdoging in Ada

#ada #watchdog #multitask #threads
5
Comments
9 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 min read
loading...