loading...

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

Reactions 5
7 min read

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

Reactions 6
9 min read

Watchdoging in Ada

Reactions 5
9 min read

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

Reactions 9 Comments 3
5 min read

Ada for Webassembly

Reactions 5
1 min read

My first experience with SPARK-Ada

Reactions 8 Comments 4
6 min read

Reasons for loving Ada. #1: strong typing

Reactions 31 Comments 14
8 min read

Which programming language should you learn?

Reactions 12
5 min read
loading...