I have a MacBook Pro running Manjaro Linux, Audiophile Linux and the latest OS-X. There's no issue: there's a command that can toggle the security status. I think the instructions are even in the Apple documentation.…
You understand Murphy's law, and other laws of the universe well!
Whoops, forgot. The borrow checking memory management is available on GNAT Community Edition 2020, for SPARK and (I believe) also Ada itself. The GNAT Ada compiler is used to compile and build SPARK apps. Since SPARK is…
There's a telegram group https://t.me/ada_lang you could open that question on. Also, there's work (I think on GitLab) on a package manager called Alire. And the very old standby comp.lang.ada which tends to have some…
A little exaggerated. From the 90's there were a couple (Janus, Meridian) at about $600 a seat.
Certainly matches my experience. Panopticon at work.
Here's a 1/2 hour webcast on the interaction of programming language and software lifecycle costs. Not too old. https://www.vdcresearch.com/_documents/briefs/IoT/18-Control... Here's extensive research results based on…
I have a MacBook Pro running Manjaro Linux, Audiophile Linux and the latest OS-X. There's no issue: there's a command that can toggle the security status. I think the instructions are even in the Apple documentation.…
You understand Murphy's law, and other laws of the universe well!
Whoops, forgot. The borrow checking memory management is available on GNAT Community Edition 2020, for SPARK and (I believe) also Ada itself. The GNAT Ada compiler is used to compile and build SPARK apps. Since SPARK is…
There's a telegram group https://t.me/ada_lang you could open that question on. Also, there's work (I think on GitLab) on a package manager called Alire. And the very old standby comp.lang.ada which tends to have some…
A little exaggerated. From the 90's there were a couple (Janus, Meridian) at about $600 a seat.
Certainly matches my experience. Panopticon at work.
Here's a 1/2 hour webcast on the interaction of programming language and software lifecycle costs. Not too old. https://www.vdcresearch.com/_documents/briefs/IoT/18-Control... Here's extensive research results based on…