The Colombian navy on Wednesday seized its first unmanned narco-submarine, equipped with a Starlink antenna, off the Caribbean coast. No drugs were found, but officials and regional security sources…

Welp, Pocket shuts down tomorrow despite our pleas for it to stay. While migrating1 all of my saved articles, I noticed that I’ve got almost 900 saved articles spanning nearly 7 years. That’s a goldmine of stuff-I-like data! Some quick analysis using xsv2:…

Memorize piano scales with ease! A piano practice program w/ MIDI support. Consider it an interactive reference manual 🎹 - ZaneH/piano-trainer

The subtle ways in which design tools shape how we think and what we make

François Chollet on June 16, 2025 at AI Startup School in San Francisco.

François Chollet is a leading voice in AI. He's the creator of the Keras library, author of Deep Learning with Python, and the founder of the ARC Prize, a global competition aimed at…

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

Top stories from https://news.ycombinator.com (with 100+ score)
Contribute to the development here: https://github.com/phil-r/hackernewsbot
Also check https://t.me/designer_news

Contacts: @philr

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

How targeted improvements helped us speed up bulk data loads and complex schemas.

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…

A former FBI agent traveled to Louisiana to ask a hired killer about a murder that haunted him. Then Larry Thompson started talking about a different case altogether.

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?

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…

We’ve mistaken complexity for progress — and forgotten how things work. A 41-year-old computer still boots instantly, while today’s “smart” tech buckles.

Play 100,000+ offline Chess puzzles for free.