Verberon
LightNews LightNews
verberon.bsky.social
Verberon
@verberon.bsky.social
25 followers 160 following 2 posts
On the intersection of software engineering, security (as in "security-by-design"), type systems and programming languages.
Posts Replies Media Videos
verberon.bsky.social
Dijkstra didn't like Ada.

"By way of introduction", EWD1041 (1989)
"Just when the computing science community has agreed that simplicity is an essential ingredient of reliability, the DoD adopts Ada! What more can I say? When the late Andrei Ershov from Novosibirsk asked my opinion about Ada, I told him that I shuddered at the thought that Western security would depend on it and that I would feel much better if I knew that the Red Army had adopted Ada as well. Andrei smiled and said “Don’t worry.”" Edsger Dijkstra, “By way of introduction“, EWD1041 (1989)
November 8, 2024 at 2:33 PM