Hacker News Reader

gneuromanteon ANN: I built a new Ada build tool for personal use

I think your README lacks some selling points. Why or when should I use Tada instead of Alire or vanilla GPRbuild?

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

Book "Basics on Programming a Canvas for a CAD-System - Coordinate Systems, Canvas, Zoom, Scrollbars, Drawing to Scale" by Mario Blunk

gneuromanteon Ask HN: What Are You Working On? (December 2025)

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

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

It was the US military who moved backwards.

gneuromanteon So Many New Systems Programming Languages

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.

gneuromanteon Web browser as GUI, with your preferred language in the backend

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/ but Blady-Com is the current most active developer in both.