Alex Akselrod
and 1 other
boosted
I used to teach at KAIST and this is a great development from their CS folks -- provably correct translation from C to Rust.
https://news.kaist.ac.kr/newsen/html/news/?mode=V&mng_no=54270