News for hackers. Stuff that matters.

A comment on Spectre and the end of langsec. Parent comment

Re:Spectre and the end of langsec by qznc on Thursday January 11, 2018 @07:07PM (#16129289)
You might be thinking of Total Functional Programming [0] "a programming paradigm that restricts the range of programs to those that are provably terminating."

[0] https://en.wikipedia.org/wiki/Total_functional_programming

[ Parent | on HN ]

There are no comments on this comment yet.