Governments breaking encryption is bad, and 'will get worse once breaking encryption means people can die', says one of the world's leading security experts.

Blog posts about GNU Guix.

Taiwanese editors suspect the Chinese government is behind edits made to the online encyclopedia.

Performant, flexible and extensible forms with easy-to-use validation.

John Goodenough, M. Stanley Whittingham and Akira Yoshino shared the 2019 Nobel Prize in Chemistry for developing lithium-ion batteries, "the hidden workhorses of the mobile era."

Flies are less likely to land on black-and-white surfaces — the polarization of light impairs their perception

The Nobel Prize in Chemistry 2019 was awarded jointly to John B. Goodenough, M. Stanley Whittingham and Akira Yoshino "for the development of lithium-ion batteries"

Lidar has transformed the study of ancient civilizations, but maps made with the technology are expensive. Takeshi Inomata found a great one for free.

President Trump condemned the attack on the Kurdish-led militia, which began days after he had greenlighted it.

Background: Dog ownership has been associated with decreased cardiovascular risk. Recent reports
have suggested an association of dog companionship with lower blood pressure levels,
improved lipid profile, and diminished sympathetic responses to stress. However…

Resilience engineering papers. Contribute to lorin/resilience-engineering development by creating an account on GitHub.

China is destroying Uighur graveyards where generations of families have been laid to rest, leaving behind human bones and broken tombs in what activists call an effort to eradicate the ethnic group’s identity in Xinjiang

How predictive-text technology could transform the future of the written word.

Nature - Papers from 2015 are a tougher read than some from the nineteenth century — and the problem isn't just about words, says Philip Ball.

After Chung “Blitzchung” Ng Wai called for the liberation of Hong Kong, Blizzard suspended the Hearthstone player and withheld his prize money. The decision has been widely criticized. Fans have now started posting images of Overwatch hero Mei supporting…

As a professor of pure mathematics, my job involves teaching, research, and outreach. Two years ago I got interested in formal methods, and I learned how to use the Lean theorem prover developed at MSR. Since then I have become absolutely convinced that tools…