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.…
Your experience matches mine. And UEFI is more capable if you're interested in a multiboot setup, preserving a recovery partition, and such-like. I've yet to see a UEFI machine where you couldn't shut off secure boot in…
As someone who worked a couple of decades for a company selling GPL-ed development tools, I was always mystified by a similar case. It was the developers who wanted to develop proprietary software and were upset that…
You understand Murphy's law, and other laws of the universe well!
The thing I saw with Pascal in the late 70's / early 80's was that in order to handle industrial use cases, each computer company invented its own dialect (I worked on one at Burroughs). That was one of the problems Ada…
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.
This question almost always needs further qualification, to determine what the goal is. Learning to program is different from preparing for a new career. You get the drift. That said, for "pure" learning to program, I…
That difference may be due to ";" being considered a statement separator in Pascal, and a statement terminator in Ada. https://wiki.haskell.org/Terminator_vs._separator
More specifically, "readability" was the sub-goal that fell under. People were thinking about use as pseudo-code in those days as well.
PTC, Green Hills, R&R, DDC-I. That's all I can think of at the moment.
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.…
Your experience matches mine. And UEFI is more capable if you're interested in a multiboot setup, preserving a recovery partition, and such-like. I've yet to see a UEFI machine where you couldn't shut off secure boot in…
As someone who worked a couple of decades for a company selling GPL-ed development tools, I was always mystified by a similar case. It was the developers who wanted to develop proprietary software and were upset that…
You understand Murphy's law, and other laws of the universe well!
The thing I saw with Pascal in the late 70's / early 80's was that in order to handle industrial use cases, each computer company invented its own dialect (I worked on one at Burroughs). That was one of the problems Ada…
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.
This question almost always needs further qualification, to determine what the goal is. Learning to program is different from preparing for a new career. You get the drift. That said, for "pure" learning to program, I…
That difference may be due to ";" being considered a statement separator in Pascal, and a statement terminator in Ada. https://wiki.haskell.org/Terminator_vs._separator
More specifically, "readability" was the sub-goal that fell under. People were thinking about use as pseudo-code in those days as well.
PTC, Green Hills, R&R, DDC-I. That's all I can think of at the moment.
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…