New top story on Hacker News: Indonesia Plans to Move Its Capital Out of Jakarta, a City That's Sinking

By Nick Cumming-Bruce from NYT World https://ift.tt/lSF84io

By Catie Edmondson from NYT U.S. https://ift.tt/sJvVGYS

Xr0 verifier, guarantee the safety of C programs at compile time 4 by Alifatisk | 0 comments on Hacker News.

AMERICAN NEWS