/dev/zine

https://zine.dev/

is a new systems programming language. You can think of it as Rust: The Good Parts or a modernized, stripped-down Ada. It features a strong static type system, linear types, capab
Sharing and discussing the latest innovations in software development and programming.

Ross Anderson's Home Page

https://www.cl.cam.ac.uk/archive/rja14/

integrity as well. Programming Satan's Computer is a phrase Roger Needham and I coined to express the difficulty of designing cryptographic protocols; it has recently been popular

That's everything I could find.
Help make me smarter by submitting a page.