New top story on Hacker News: Coming Soon: Machine-Checked Proofs in Everyday Development

Coming Soon: Machine-Checked Proofs in Everyday Development
96 by fuklief |

Comments

Post a Comment

Popular posts from this blog

How to lock individual apps on your smartphone

Image
Do you want to lock your apps and protect them with a password? There are several apps that enable you to do that, but resources that are already on your phone as default can do the job, too. (This is a preview - click here to read the entire entry.) from Android News + App Reviews + Hardware Reviews - AndroidPIT https://ift.tt/2E5nxri
Read more

Nokia 9 renders show a display that stays ahead of the curve

Image
The Nokia 9 will be the premium flagship to follow on the heels of the already released Nokia 3, 5 and 6 phones. Now we have the rumored price, release date and specs. The latest leak suggests it will have a curved screen. (This is a preview - click here to read the entire entry.) from Android News + App Reviews + Hardware Reviews - AndroidPIT http://ift.tt/2pkVai5
Read more