New top story on Hacker News: CakeML – A Verified Implementation of ML Posted By: Rushan Skywalker 1:52 AM Leave a Reply CakeML – A Verified Implementation of ML 6 by tosh | 0 comments on Hacker News. Tweet Share Share Share Share
0 comments: