Verberon

@verberon.bsky.social

26 Followers 160 Following

On the intersection of software engineering, security (as in "security-by-design"), type systems and programming languages.

"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)