Skip to content

Comment on There’s more to mathematics than rigour and proofs (2007)parent

Comments

This is what a imagine late stage security after OS mature there stacks and such. The advent/widespread use of robost memory protections like PAC and Cheri are going to be so depressing for those on the offensive.

I wish I just had more time to do math like the OP but the saturation of the field especially with people who can deeply understand the abstraction is very very intimidating.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.