After just a few months of work, a complete newcomer to the world of sphere packing has solved one of its biggest open problems.

Important note: This post is out of date! It describes an old, early version of the mvcgen tactic. As of Lean 4.25.0, the syntax has changed a bit (for the better) and the system has become much more convenient to use. To learn more about mvcgen as it is…

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…

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.

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

Support and tutorials for this new 3D printer.

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?

Having binged on AI coding assistants for the past several months I've come to a realization about how they have had a negative effect my psychological well being.

My journey to a Huawei watch

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.

Learn the ⚡Zig programming language by fixing tiny broken programs.

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