Stories by gneuromante

Basics on Programming a Canvas for a CAD-System [pdf]

2025: The Year of the Return of the Ada Programming Language?

Ada and SPARK enter the automotive ISO-26262 market with Nvidia

Ironclad (formally verified kernel) 0.6.0 released

Ada Developer Workshop AEiC 2024, a New "FOSDEM DevRoom" for the Community

So Many New Systems Programming Languages