Hacker News New top story on Hacker News: Formally Verified Software in the Real World (2018) By new Wednesday, January 23, 2019 Comment Edit Formally Verified Software in the Real World (2018) 123 by icc97 | 9 comments on Hacker News. Related PostsNew top story on Hacker News: Show HN: Create-React-app-parcel, a CLI for Creating React Apps with ParcelNew top story on Hacker News: Vigilante Hacks Government-Linked Cyberespionage GroupNew top story on Hacker News: The Hawk Eye: a 3D-printed three axis tourbillon projectNew top story on Hacker News: FlureeDB, a Practical Decentralized Database [pdf]
0 Response to "New top story on Hacker News: Formally Verified Software in the Real World (2018)"
Post a Comment