On 30-Apr-21 10:43, heby wrote:
> Mamy całkiem sensowne procesory współczesne do cieżkich zadań, których
> programowanie jest "normalne" i nie ma problemu ze znalezieniem
> programistów.

Ale rozumiesz, że może też chodzić o formalne dowodzenie poprawności
algorytmów.

I przeniesienie kilku milionów linii kodu z 2 czy tam 9 słabszych ale
zestandaryzowanych komputerów na jeden super-duper ale bliżej nikomu nie
znany może oznaczać grube miesiące jeśli nie lata i dziesiątki albo
setki milionów w brzęczącej monecie, które trzeba poświęcić na retesty,
certyfikacje, etc.

I z całym szacunkiem, ale programiści Ci tego nie zrobią bo się po
prostu na tym nie znają.

A już czuć gorący oddech konkurencji na karku ;-)

Piotrek