Resources
- awesome-weird-machines-and-langsec: A place to collect links and papers discussing “weird machines” and techniques to mitigate them such as language-theoretic security and formal verification of software.
- rocket-surgery: A discussion of next generation technologies, especially with regard to software and formal methods.