On 5/25/23 08:58, Guy Sotomayor via cctalk wrote:
>
> ADA and SPARK (a stripped down version of ADA) are used heavily in
> embedded that has to be "safety certified". SPARK also allows the code
> to be "proven" (as in you can write formal proofs to ensure that the
> code does what you say it does
On 5/25/23 07:55, Chuck Guzis via cctalk wrote:
On 5/25/23 04:52, Tony Duell via cctalk wrote:
For the programming language, I stick with C, not C++, not Python and
plain old makefiles--that's what the support libraries are written in.
I don't use an IDE, lest I become reliant on one--a text e
