Hayden

We're so back

Introducing gdp-ts: Ghosts of Departed Proofs for TypeScript.

gdp-ts is a library, linter and AI skill for safer API design. Under this contract, sensitive functions require 'proofs' that the caller performed an authorization check.

The typechecker verifies these proofs at compile time, preventing your team and agents from shipping catastrophic security (and other kinds of) bugs.

While these patterns have existed for quite some time, especially in ecosystems like Haskell, ① human code review and ② cognitive and syntactic overhead made these solutions niche.

The situation is now inverted. Agents are writing more code than we can review, and they *thrive* in tight loops with hard constraints that would frustrate us. We see this with the rise of Rust, borrow checker, code aesthetics debate and all.

The README and examples model a real-world Vercel API product constraint: changing the password on a Project requires a proof of a certain role + a certain entitlement. Thanks to Matt Noonan and Ollie Charles for their research in this space.

github.com/rauchg/gdp-ts

Over the next 28 days, each day we’ll either ship one thing that is a clear improvement and relevant for most codex/work users or ship a full reset. Let the improvements begin.

Ultrafast - 8x the speed, up to 300 tokens/second. once you go ultrafast you won't go back :)

Today we’re launching America.gov, a single front door to the federal government.

Instead of opening a bunch of tabs across different agency sites and trying to figure out which information actually matters to you, you can ask America a question and get the relevant answer from across 29,000+ official government websites, with the source and what to do next.

10am PT, on the dot.

Excited to introduce @Cosign: the curated professional network for the startup community: cosign.co

Our goal is to create the following:

- A comprehensive startup directory of investors, companies, and operators, including what they worked on and who they worked on it with.

- Cosign graph: Who shaped your career? Who were you actually in the trenches with? Who would work with you again? Who thinks you’re someone to watch?

- Durable reputation: Great endorsements happen every day on X and disappear into the feed. Cosign attaches those signals permanently to people and companies.

- Discovery: Who are the best fintech angels? Which AI companies should I watch? Who are the best designers?

- Intent network: Privately signal “I’d invest in them,” “I’d hire them,” “I’d work with them,” or eventually even “I’d acquire this company.” Match people when interest exists on both sides.

Imagine if Wikipedia, LinkedIn, and OG AngelList had a baby. Though Cosign is a community, not a business.

In order to join, you need to be cosigned. Or you can apply directly.

David Booth and I started this idea 7 years ago but didn’t have the firepower to make it work. Now we do.

No one has really touched LinkedIn in 20 years. Excited to take a swing.

cosign.co

Introducing Blume 2.0

The open-source docs framework for humans and agents.

→ 18 analytics integrations
→ Contentful, Payload + Strapi
→ Adapters for search, AI + deployment
→ Composable API references
→ Hundreds of fixes and improvements

Upgrade now with 𝚗𝚙𝚡 𝚋𝚕𝚞𝚖𝚎@𝚕𝚊𝚝𝚎𝚜𝚝 𝚞𝚙𝚐𝚛𝚊𝚍𝚎 --𝚌𝚘𝚍𝚎𝚡

What's new ↓

Please welcome GPT-6 Sol and GPT-6 Luna to the GPT-6 universe.

GPT-6 Sol and Luna build on the advances behind GPT-6 Astra, bringing much of its strengths into faster and more affordable models to support work at scale.

We’ve also made caching and inference more efficient, and we’re passing the savings directly to you: 50% lower API prices for Sol and Luna compared with GPT‑5.6 promotional pricing.