Stories by thomasweiser

Martin Kleppmann Prediction: AI will make formal verification go mainstream

A Plea for Sober AI

RNA breakthrough creates crops that can grow 50 percent more potatoes, rice

The Future of Text (Book)

New FinFisher surveillance campaigns: Are internet providers involved?

A Unified Theory of Trump

Talk: Functional Thinking for Fun and Profit

Elm for the Front End, Right Now