News for hackers. Stuff that matters.

A comment on Cross-platform Rust rewrite of the GNU coreutils. Parent comment

Re:Cross-platform Rust rewrite of the GNU coreutils by reynoldsbd on Tuesday March 22, 2016 @06:42PM (#11340521)
It will be interesting to see if the formal proof/verification work that is being done by NICTA for the seL4 project will mature into something that can be used practically elsewhere in industry.

https://sel4.systems/

[ Parent | on HN ]
Re:Cross-platform Rust rewrite of the GNU coreutils by steveklabnik on Tuesday March 22, 2016 @06:50PM (#11340568)
You might be interested in https://robigalia.org/
[ Parent | on HN ]
Re:Cross-platform Rust rewrite of the GNU coreutils by cyphar on Wednesday March 23, 2016 @03:20AM (#11342670)
From my understanding, NICTA's proofs are basically algorithms to show that Haskell models and C code is equivalent. They can then go on to do proofs with their Haskell models.
[ Parent | on HN ]