Simple instructions for freezing a Skylake Processor

Re:Simple instructions for freezing a Skylake Processor by wyager on Sunday January 10, 2016 @06:00PM (#10877656)

>most modern processors have a bunch because it's impossible to test every possible edge case a priori.

Only with the sort of engineering most current CPU manufacturers use.

It's possible to have formally verified hardware; it's just expensive with current tech. Tools are improving, though. I suspect the next cutting edge will be the unification of functional-language-to-hardware compilers like Clash or Lambda-CCC with fully dependent languages like Agda or Idris, where you can statically verify arbitrary properties though the type system.

[ Parent | on HN ]

Re:Simple instructions for freezing a Skylake Processor by throwupper247 on Sunday January 10, 2016 @06:15PM (#10877715)

I've just written an Idris programm that determined "your mothers phone number", hows that for arbitrary facts? (tip of the hat to xkcd.)

[ Parent | on HN ]