-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!goblin1!goblin.
stu.neva.ru!news.mixmin.net!eternal-september.org!reader02.eternal-september.or
g!.POSTED!not-for-mail
From: heby <h...@p...onet.pl>
Newsgroups: pl.misc.elektronika
Subject: Re: Procesor za -10 złotych. :)
Date: Fri, 30 Apr 2021 11:17:02 +0200
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <s6ghuh$mj4$1@dont-email.me>
References: <s64oud$r03$1@dont-email.me> <s64qb2$2nmuq$1@portraits.wsisiz.edu.pl>
<s65okt$7bu$1@dont-email.me> <s65u5t$39lp8$1@portraits.wsisiz.edu.pl>
<s66ap1$vei$1@dont-email.me> <s66ug0$3b1c3$1@portraits.wsisiz.edu.pl>
<s66vel$oll$1@dont-email.me>
<a...@n...neostrada.pl>
<s67gvs$fon$1@dont-email.me> <12ym0nliq00p.exty48pobju9$.dlg@40tude.net>
<s68jvc$6vi$1@dont-email.me>
<a...@n...neostrada.pl>
<s691a4$bnp$1@dont-email.me>
<18m9907b15sr8$.1qrrwyssrbblk$.dlg@40tude.net>
<s698ph$570$1@dont-email.me>
<1i5l6bsnqvqwp.1uszly5dxekjp$.dlg@40tude.net>
<s69nh1$okg$1@dont-email.me> <1zkgpt026jfn$.17e8mxfdqug72.dlg@40tude.net>
<s6c2gv$vgv$1@dont-email.me> <l...@4...net>
<s6f13d$ll8$1@dont-email.me> <1lgrkbwq5muas$.x57o4xo1jifo.dlg@40tude.net>
<s6gg0g$8p0$1@dont-email.me> <608bc75c$0$560$65785112@news.neostrada.pl>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-2; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 30 Apr 2021 09:17:05 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
posting-host="83ce60998d716db2e10b77eefc765181";
logging-data="23140";
mail-complaints-to="a...@e...org";
posting-account="U2FsdGVkX1/xX0pUcF+pElyo4Ypd7ui+"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.10.0
Cancel-Lock: sha1:MOf/UaapUHFI1Ojd8nlNOprZ6IU=
In-Reply-To: <608bc75c$0$560$65785112@news.neostrada.pl>
Content-Language: en-US
Xref: news-archive.icm.edu.pl pl.misc.elektronika:764681
[ ukryj nagłówki ]On 30/04/2021 11:01, Piotrek 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 dlaczego LEON czy RISC-V miały być do tego gorszy niż Heńkowy 8051?
> 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.
Nie przesadzajmy. Tych milionów lini kodu *NIKT* nie zweryfikował
formalnie. Tam jest weryfikacja przez zasiedzenie. Jesteśmy w czarnej
d... jeśli chodzi o weryfikację dużych systemów, niby rozwijamy się,
tworzymy nowe metodyki, ale powiedz to Heńkowi, co gita na oczy nie widział.
> I z całym szacunkiem, ale programiści Ci tego nie zrobią bo się po
> prostu na tym nie znają.
Zależy jacy programiści. Po tych w lotnictwie, spodziewam się że
potrafią formalnie dowodzić przynajmniej kilkuset linijkowców dbających
o bezpieczeństwo. Których pewnie nie ma, za to są wciśnięte właśnie
kilkumilionowe potworki do sterowania autopilotem i sterowaniem klimą w
jednym.
Następne wpisy z tego wątku
- 30.04.21 11:24 heby
- 30.04.21 11:50 J.F
- 30.04.21 12:21 Piotr Wyderski
- 30.04.21 12:45 heby
- 30.04.21 12:50 J.F
- 30.04.21 13:22 J.F
- 30.04.21 13:48 heby
- 30.04.21 14:00 Piotrek
- 30.04.21 14:09 J.F
- 30.04.21 14:27 Marek
- 30.04.21 14:30 Marek
- 30.04.21 15:42 J.F
- 30.04.21 16:20 heby
- 30.04.21 16:21 heby
- 30.04.21 17:26 J.F
Najnowsze wątki z tej grupy
- Lustra w maszynie ASML
- DC blocker i buczące toroidy
- Problemy TSMC cd
- Detektor
- Może tutaj się uda: [NTG] Elewacja / dziurawa Churka
- Falownik jednofazowy a żarówka
- Agregat i "legalność" instalacji
- Uziom
- (Ponownie) odkryto, że ładowanie pulsacyjne robi dobrze
- driver led ?
- Długość wtyku zasilającego ?5.5mm
- Szukam przetwornicy 55-40V>8-8.2V 3-4A
- Kindle - pierwsze wrażenia
- Transformator TS90/16, uzwojenia połączone szeregowo na stałe, z asymetrycznym odczepem, napięcia 16V i 39V a prostowanie pełnookresowe
- regulacja prądu ?
Najnowsze wątki
- 2024-04-30 Warszawa => Konsultant funkcjonalny systemu Oracle E-Business Suite R1
- 2024-04-30 Obajtek bez majtek
- 2024-04-29 Warszawa => Staż w dziale Sprzedaży B2B (2 miejsca) <=
- 2024-04-29 Gdańsk => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-04-29 Ulm => IT Network Engineer <=
- 2024-04-29 Gdańsk => UX/UI Designer <=
- 2024-04-29 Gdańsk => AI Specialist <=
- 2024-04-29 frankowicze odcinek NNN
- 2024-04-29 Warszawa => Specjalista ds. Cyberbezpieczeństwa <=
- 2024-04-29 Kraków => MS Dynamics 365BC/NAV Developer <=
- 2024-04-29 Zielona Góra => Inżynier R&D Energoelektronik <=
- 2024-04-29 Warszawa => Google Ads Freelancer <=
- 2024-04-28 wymiana przewodu od licznika do mieszkania
- 2024-04-28 Lustra w maszynie ASML
- 2024-04-28 Elektryk przytarł podłogę