Human Folly about “Ada”

The Stacks (docs.adacore.com):
Primary and secondary stacks in #Ada. The secondary stack allows the return of variable-sized data structures without heap allocation. Arguably #noalloc.
on 02025-08-27
Grimoire (verdagon.dev):
Evan Obadia’s “Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches: The Memory Safety Grimoire, Part 1” for example in #Rust, but also #Cyclone, #Ada SPARK, Microsoft Verona, Pony, Odin, Zig, Koka, etc. Obadia is the author of #Vale. #toread
on 02024-12-19
(ada-lang.io):
#Ada record layouts permit you to specify bit length and endianness
on 02023-11-02
Make with Ada formal proof on my wrist (blog.adacore.com):
a formally proven #Tetris #video-games #software written in #Ada SPARK, ported to the #Pebble #smartwatch.
on 02015-11-11