Thread

1. dekdrop · 1791046077 · focus · HN ↗

   written in rust, doesn't say written in rust on the site - i guess that phase is over

   1. habitue · 1791046883 · focus · HN ↗

      Now people just wonder why you didn't write it in rust

      1. boredatoms · 1791049273 · focus · HN ↗

         I mean starting a new project in C or C++ does kinda need a defensible reason at this point, at least in any corporate environment

         1. tkz1312 · 1791051272 · focus · HN ↗

            I fully expect formally verified C to become the standard for any reasonably critical software. It's astonishing how easy it is to crank out program equivalence proofs these days...

            1. LoganDark · 1791071587 · focus · HN ↗

               Is there a benefit to formally verified C over formally verified Rust? Maybe platform support?

Unofficial Hacker News client; not affiliated with Y Combinator.