simon4ada

Re:Nvidia Security Team: "What if we just stopped using C?" (2022) on Friday February 14, 2025 @06:00AM (#43047148)

AdaCore's pro support includes more recent releases and, in case of problems, wavefronts. That said, the free version is fairly recent, and you can get community (and sometimes vendor) support.

Re:Porting the GNAT Ada compiler to macOS/aarch64 on Monday January 20, 2025 @09:47AM (#42769262)

Once you’ve retired it becomes easier to do the work you enjoy!