I guess that forms the core of the issue, it's inherently exponential (or factor... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Jap2-0 on March 11, 2020 \| parent \| context \| favorite \| on: TRRespass: Rowhammer against DDR4 I guess that forms the core of the issue, it's inherently exponential (or factorial?).

AnthonyMouse on March 11, 2020 | [–]

It's not just that. Before you can prove anything "correct" you need to define what "correct" means. Now you have the meta problem of proving that your definition of "correct" is correct.

saagarjha on March 11, 2020 | [–]

Turing complete.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact