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

ZenFone 5Z: the cheapest way to get Snapdragon 845

Image
Fewer new models, but cheaper prices: Asus has taken the criticism of the past few years to heart and have refined its model range for 2018 and lowered the prices. The ZenFone 5Z brings along absolute high-end hardware at an enticing price, and still looks good at the same time. (This is a preview - click here to read the entire entry.) from Android News + App Reviews + Hardware Reviews - AndroidPIT http://ift.tt/2EXUcVd
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

Developer options tips and tricks: make the most of Android

Image
The developer options isn't really just for developers. It can be really handy for 'normal' users too! The hidden menu provides a trove of useful Android settings that few people take advantage of. We've put together a list of some useful developer options tips for you to try. (This is a preview - click here to read the entire entry.) from Android News + App Reviews + Hardware Reviews - AndroidPIT https://ift.tt/1W1Vlg4
Read more