In reply to: spectre and the end of langsec -- wingolog
The basis of language security is starting from a programming language with a well-defined, easy-to-understand semantics. From there you can prove (formally or informally) interesting security properties about particular programs.
npm run start all day long
It is raining today, meaning today is a ‘CSS’ and ‘JS’, kinda day. 🌧👾🔧