New top story on Hacker News: Belgian programmer solves MIT’s 20-year-old time capsule cryptographic puzzle

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