gneuromante

4 ms·

1.
by gneuromante 8mo ago
I think your README lacks some selling points. Why or when should I use Tada instead of Alire or vanilla GPRbuild?
2.
Basics on Programming a Canvas for a CAD-System [pdf](blunk-electronic.de)
1 points by gneuromante 8mo ago|2 comments
3.
by gneuromante 8mo ago
Book "Basics on Programming a Canvas for a CAD-System - Coordinate Systems, Canvas, Zoom, Scrollbars, Drawing to Scale" by Mario Blunk
4.
2025: The Year of the Return of the Ada Programming Language?(thenewstack.io)
7 points by gneuromante 9mo ago|1 comments
5.
by gneuromante 10mo ago
I've released a new version of CoAP_SPARK, my formally verified implementation of this IoT protocol. The implementation language is SPARK, the verifiable subset of Ada. https://github.com/mgrojo/coap_spark
6.
by gneuromante 1y ago
It was the US military who moved backwards.
7.
Ada and SPARK enter the automotive ISO-26262 market with Nvidia(adacore.com)
116 points by gneuromante 1y ago|111 comments
8.
Ironclad (formally verified kernel) 0.6.0 released(savannah.nongnu.org)
2 points by gneuromante 2y ago|0 comments
9.
Ada Developer Workshop AEiC 2024, a New "FOSDEM DevRoom" for the Community(forum.ada-lang.io)
2 points by gneuromante 2y ago|0 comments
10.
So Many New Systems Programming Languages(colinsblog.net)
4 points by gneuromante 3y ago|2 comments
11.
by gneuromante 3y ago
Twelve new systems languages, and one that dates to the Carter administration Posted on March 22, 2023 Here’s a non-exhaustive rundown of newish systems languages: notable things about them related to safety and syntax.
12.
by gneuromante 3y ago
The active development of GNOGA occurs in https://github.com/Blady-Com/gnoga Don't know the relation to the official repository, which might still be: https://sourceforge.net/projects/gnoga&#x