[spartanatreyu]

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...