Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler, the verified F* code is compiled to readable…

Discover how to create solutions using Lob’s framework for problem solving. Learn how to understand the problem, design an approach, and build a solution.

A curated selection of the worst computer puns from around the Internet

The tech giant is asking Becker, Minnesota, to waive 20 years' worth of city and county taxes.

New research documents the far-reaching effects of the cash bail system, which disproportionately hurts the poor and African-Americans.

Create and share 3D design content and experiences for the web. A fully-featured 3D modeling tool with photorealistic real-time rendering, augmented reality, interactions and animations.

Dragons, pot leaves and lots and lots of skulls.

Real-time Geospatial and Geofencing. Contribute to tidwall/tile38 development by creating an account on GitHub.

A group of employees said Google made hundreds of changes to smartphone apps for the controversial project, thought to be defunct.

I discovered a Facebook bug which allows me to identify whether a visitor is logged in to a specific Facebook account. It can check hundreds of identities per second.

Intel makes good on its 2017 promise; the USB-IF is still terrible at naming things.

Scientists have long tried to duplicate the procedure that led to the first long-term remission 12 years ago. With the so-called London patient, they seem to have succeeded.

Teaching Machines to Paint, Write, Compose and Play

In the Mariana Trench, the lowest point in any ocean, every tiny animal tested had plastic pollution hiding in its gut.

When we publicly demanded that Facebook stop messing with users’ phone numbers last week, we weren’t expecting the social network to double down quite like this: By default, anyone can use the phone

In this post I'll talk about a small game I've been developing in about 24 hours in total (mostly in a few hour blocks during evenings or…

In this graphic, the University of Cambridge’s Luke Kemp compiled a list of civilisations to compare how long they lasted.