News for hackers. Stuff that matters.

sbabusingh

sbabusingh on Hacker News

Re:Runtime verification in Erlang by using contracts on Wednesday February 06, 2019 @04:31PM (#19100212)
Every time is correct but machine work vreification is no more like human finger work