Building everything better with more secure tech instead of just doing what we were doing before. So, bsd pledge-likes, capabilities, design-by-contract, linea

Building everything better with more secure tech instead of just doing what we were doing before. So, bsd pledge-likes, capabilities, design-by-contract, linear types, effect systems, ZKPs, provably correct systems, etc...