Womens Sizing
To highlight the median body proportions of the adult women in the U.S., we relied on anthropometric reference data for children and adults that is regularly released by the National Center for Health Statistics within the U.S. Department of Health and Human Services. For this story, we pulled data on the median waistline circumference of […]
How to train your program verifier
Author: Halley Young, Nikolaj Bjørner What if you asked your favorite AI agent: Produce mathematics at the level of Vladimir Voevodsky, Fields Medal-winning, foundation-shaking work but directed toward something the legendary Nikolaj Bjørner (co-creator of Z3) could actually use? It was the start of our journey creating the a3 framework for generating Advanced Automated Analysis […]
Metriport (YC S22) is hiring a security engineer to harden healthcare infra
Metriport is an open-source data intelligence platform that helps healthcare organizations access and exchange patient data in real-time. We integrate with all major US healthcare IT systems and tap into comprehensive medical data for 300+ million individuals. We’ve found product-market fit with multi-million ARR, 100+ customers (including Strive Health, Circle Medical, and Brightside Health), backing […]
Microsoft team creates ’revolutionary’ data storage system that lasts millennia
Microscoft’s glass storage method can store 4.8 terabytes of data.Credit: Microsoft Research Researchers at Microsoft have created a data-storage system that can remain readable for at least 10,000 years — and probably much longer. In the digital age, the need for data storage is ballooning. But current magnetic tapes and hard drives are ill-suited for […]
Show HN: Echo, an iOS SSH+mosh client built on Ghostty
← All posts 10th February 2026 We’re thrilled to introduce Echo — a fast, modern SSH client for iOS and iPadOS, built for the new era of rich terminal-based tools and AI coding agents. Echo is our first brand new app in a while, and it’s our first app for iOS and iPadOS. It’s a […]
Cosmologically Unique IDs
We are an exploratory species, just past the solar system now, but perhaps one day we will look back and call our galaxy merely the first. There are many problems to solve along the way, and today we will look at one very small one. How do we assign IDs to devices (or any object) […]
OpenClaw Is Dangerous
We live in a world of miracles and monsters, and it is becoming increasingly difficult to tell which is which. Last month, an open source project called OpenClaw went viral. OpenClaw is, at its core, a gateway service. It makes it easy to connect your local laptop with a bunch of third party services. The […]
DNS-Persist-01: A New Model for DNS-Based Challenge Validation
When you request a certificate from Let’s Encrypt, our servers validate that you control the hostnames in that certificate using ACME challenges. For subscribers who need wildcard certificates or who prefer not to expose infrastructure to the public Internet, the DNS-01 challenge type has long been the only choice. DNS-01 works well. It is widely […]
The Perils of ISBN
Last year I got into using Letterboxd, to complement my goal of watching more (good) movies. It’s got a really clean interface, the social features are useful but unobtrusive, and it makes remembering what I’ve watched and when I watched it easy. So why isn’t there a Letterboxd for books? Funnily enough, Letterboxd still describes […]
Weave (YC W25) Is Hiring ML, Design, and Product Engineers
You need to enable JavaScript to run this app.