After repeatedly missing self-imposed deadlines for progress on its wireless charging-at-a-distance phone case, uBeam’s CEO Meredith Perry has decided to shift out of the CEO position and into a board member and senior advisor role. She’d founded the company…

A promising approach to improving software quality is to enhance programming languages with declarative constructs, such as logical specifications or examples of desired behavior, and to use program synthesis technology to translate these constructs into…

Aftermath of how I moved stars to a great project from an simple project with undeserved stars

I love a good tech talk. I like to watch them, I like to give them, and now that I have lots of free time on my hands, I’ve put together a list of the must-see talks for every programmer. In this list, I’ve avoided language or library specific talks and instead…

First-Class Automatic Differentiation in Swift: A Manifesto - ad-manifesto.md

Shifting common knowledge on Saudi Arabia has infected the narrative around SoftBank's Vision Fund, which in turn places unicorn valuations at risk. Read more

Just what is category theory? Tai-Danae Bradley explains

Christian von Koenigsegg is one of the most inventive and creative automaker chiefs of all time. Just eight months ago, he came up with an idea for his first hybrid supercar, the Regera, though he refuses to call it a hybrid. But unlike every other supercar…

Web content is filthy rich and often inaccessilbe. How a technology of the future could look like to keep the web accessible?

At 10:52 pm Sunday UTC, multiple services on GitHub.com were affected by a network partition and subsequent database failure resulting in inconsistent information being presented on our website.

These mail-order dwellings democratized homebuying, one kit at a time

Kentucky’s willingness to gamble massively on high-risk alternative investments for its pensions has made the state an easy mark for Wall Street hucksters.

Palau, under threat from sea level rise, wants to have 70 percent renewable energy by 2050

I sometimes get asked by regular people in the actual real world what it is that I do for a living, and here's my 15 second answer: