Komentarze do: Cybersyny, cybernetyczne żółwie, cyberberysy i inne Algole (3)

Autor: cmos

cmos — Tue, 23 Jun 2015 06:03:30 +0000

@dowodzenie
Oczywiście że się nie da. Całe to dowodzenie to było teoretyzowanie dla niektórych, bardzo specyficznych przypadków o minimalnym znaczeniu praktycznym. Ale było to w modzie i granty (czy jaki był wtedy system finansowania) dało się na to wyciągnąć.

Autor: divak2

divak2 — Mon, 22 Jun 2015 20:15:42 +0000

Akurat nie chodziło mi konkretnie o sql-iniection, tylko o to, że pod wpływem danych wejściowych pracujący dotąd całkiem dobrze program może zacząć robić coś całkiem innego (zwykle mocno niepożądanego) niż spodziewał się jego twórca. I że nie wiem, czy założenia że program nie zrobi czegoś takiego da się w jakiś ogólny sposób dowodzić. I jak długo taki dowód będzie ważny.

Autor: janekr

janekr — Mon, 22 Jun 2015 16:53:49 +0000

A jednak. Oczywiście na stole leżał nie Pascal, ale Algol X opracowany m.in. przez Wirtha.
Na podstawie doświadczeń przy tworzeniu Algolu X powstał Pascal.

Autor: cmos

cmos — Mon, 22 Jun 2015 16:50:28 +0000

@sql-injection
Szybki gugiel pokazuje, że pierwsza publiczna dyskusja o SQL-injection była w roku 1998. Więc 30 lat wcześniej problem był raczej nieznany lub bardzo niszowy.
Miałem kiedyś jakąś starą książkę, w której omawiali różne techniki wyciągania z bazy danych rzeczy, których nie powinno dać się wyciągnąć (i jak się przed tym zabezpieczyć). Chciałem teraz poszukać czy było tam coś w stylu SQL-injection tylko bez tej nazwy, ale wygląda że już dawno mi zaginęła. Albo może i nie, ale nie kojarzę która to była z tych co stoją na półce.

Autor: cmos

cmos — Mon, 22 Jun 2015 16:16:40 +0000

@pascal
Anegdota ładna, ale zdecydowanie nieprawdziwa. Dokładnie wiadomo kiedy i jak powstał Pascal, a było to dopiero w 1971. I wtedy nie było jeszcze żadnego kompilatora, bo była to tylko taka prosta, Algolo(60)podobna notacja do użytku na wykładach.

Autor: divak2

divak2 — Mon, 22 Jun 2015 13:53:12 +0000

Bardzo ciekawy cykl

@kontakt z rzeczywistością

Przypomniał mi się dowcip jaki opowiadali fizycy teoretycy (kiedyś pracowałem z) o filozofach: Jakie są trzy podstawowe narzędzia fizyka teoretyka? Kartka, długopis i kosz na śmieci. A narzędzia filozofa? To samo, tylko nie potrzeba kosza.

@dane wejściowe
wszystkim przyszłym programistom wkłada się do głowy (a przynajmniej powinno) pojęcie walidacji danych wejściowych. Ze względu na wszystkie przepełnienia bufora czy sql-injection. Ciekawe czy spece od Algola mieli taki problem.

Autor: janekr

janekr — Mon, 22 Jun 2015 13:04:11 +0000

Podobno w czasie, gdy rozważano zastąpieniu Algolu-60 czymś nowszym na stole leżały dwie propozycje: Algol-68 i to, co dzisiaj znamy jako Pascal.
Komisja wybrała wspanialszy projekt…

BTW czytałem kiedyś artykuł (nieguglalny) o Pięknej Lady Algol, której urodę mimo wieku, widać do dziś.
Miała mnóstwo dzieci, jedno nawet z Fortranem (PL/I oczywiście…)