One of the many exciting new features in the upcoming Lean 4.22 release is a preview of the new verification infrastructure for proving properties of imperative programs. In this post, I’ll take a first look at this feature, show a simple example of what…

ossia score, an interactive sequencer for the intermedia arts - ossia/score

The Miyawaki Method of micro-forestry is a viral sensation: sprouting tiny, dense, native tree cover in neighbourhoods all around the world. With the promise of afforestation at a revolutionary speed, this planting technique has become the darling of green…

Maybe you, yes you, should run a Certificate Transparency log. It’s cheaper, easier, and more important than ever.

Honey is a natural sweetener, and bacteria loves to feast on sugar. But honey is remarkably resistant to spoilage. What's behind its ability to beat the bugs?

This post explores the idea that the next breakthroughs in AI may hinge more on how we collect experience through exploration, and less on how many parameters and data points we have.

running on jurassic park's fumes for over 30 years

So you wanna build an aging company?

A devastating letter signed by over 100 BBC journalists underlines one of the great scandals of our age

The developer of an iPhone app for sharing sightings of Immigration and Customs Enforcement officers has been publicly threatened by the US Attorney General.

My Dad got to middle age and restored a classic car. I got to middle age and following that pattern with a computer instead.

A text-based multiplayer game set entirely within Tolkien's world of Middle-earth, at the time of 'Lord of the Rings'. Site contains detailed game information.

Celebrating a little bit of legacy from Placemark and a new product for hydraulic simulation

Not just `#[derive(Clone)]`, but all of the standard trait derives are

Play 100,000+ offline Chess puzzles for free.

Apple has just released an AI model that, rather than generating code from left to right, does it out of order and all at once. Here's how.