On Sat, Oct 19, 2024 at 6:10 AM <karl@???> wrote:
>
> olbigtenor:
> ...
> > I have been looking at Ada - - - I really like the idea of provably correct
> > constructs.
> ...
>
> Hehe, first you have to solve the right problem, then you might prove
> it, tough testing is fine too.
>
> If you want to get into computer science, you could start with theese:
> https://en.wikipedia.org/wiki/Programming_paradigm
> https://en.wikipedia.org/wiki/Software_development_methodology
> https://en.wikipedia.org/wiki/Computer_science
>
> > when I go looking for those that have used Ada
> > to solve 'small' things like weather station sensors and making things
> > like pressure controls
> ...
>
> What do you want, programming for microcontrollers or for a pc getting
> data from microcontrollers ?
>
(Utilizing one of the vagaries of the Hinglish (english) language - - )

yes

(LOL - - - thank you for your generous assistance!)

Regards