Hacker News new | ask | show | jobs
by spartanatreyu 46 days ago
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...