Tech News

Nvidia dramatically reduces amount of OpenAI infra financing it may guarantee

Anthropic IPO valuation hinges on $190-200B 2028 revenue forecast

Stripe will reportedly acquire AI gateway startup OpenRouter for $7B+

OpenRouter's CEO recently described the startup as Stripe for AI.

How I developed an Am29000 C compiler and web browser

Oscar Toledo G.

The Case Against Formal Verification, 50 Years Later

Engineers are increasingly excited about formal verification for software, driven primarily by AI coding agents that…

Why people aren’t buying Mark Zuckerberg’s AI future

On the latest episode of Equity podcast, we discuss why not everyone is buying Zuckerberg’s vision.

Stripe Clinches over $7B Deal to Buy AI Firm OpenRouter

Red queen hypothesis – a new way forward for self-improving AI

I cannot provide an accurate summary because the text provided appears to be a navigation menu and website structure…

Models Are Getting Dumber on Purpose

AI models are increasingly being optimized for reasoning and mathematical problem-solving while deliberately sacrificing…

Protobuf has LSP support. You're welcome

Buf has released the first production-grade Language Server Protocol (LSP) server for Protobuf, bringing modern IDE…

MathCode, Mathematical Coding Agent

MathCode is a terminal AI coding assistant that converts plain language math problems into Lean 4 theorems and…

I've built a free, open-source local and remote memory system for agentw and CL

A developer has created lorekit, a free open-source memory system that helps AI agents retain information across…

Tell HN: Cloudflare silently injects its analytics when you switch nameservers

When a user switched their nameservers to Cloudflare to use R2 bucket serving, they discovered that Cloudflare had…

Ordinary WiFi can now identify you with near-perfect accuracy

Researchers at Germany's Karlsruhe Institute of Technology have demonstrated that ordinary WiFi networks can identify…

A 3rd World Embedded Engineer Responds to "RISC-V They Should Have Known Better"

A Third World embedded engineer from Trinidad and Tobago responds to Dmitry Grinberg's critical article about RISC-V by…

Anthropic CEO says AI backlash is ‘fundamentally a crisis of trust’

Dario Amodei is pushing back against the idea that he's been painting an overly pessimistic picture of AI.

TechCrunch Mobility: The shifting flight path of electric air taxis

Welcome back to TechCrunch Mobility — your central hub for news and insights on the future of transportation.

Gemini 3.7 Flash Review: Google's Cheap Model Isn’t Dumb Anymore

Three weeks after a Flash release that couldn't produce a working file, Google's budget tier zero-shots a playable game.

GPS and the Lost Art of Getting Lost

A neuroscientist's GPS malfunction during a drive in Israel sparked reflection on society's heavy reliance on satellite…

The AI Credit Resale Economy

A secondary market for AI credits has emerged, with "token brokers" buying unused credits from startups at discounts and…

People Are Turning to AI for Mental Health, California Wants It Banned

A California bill is awaiting an Assembly vote to "place guardrails" around AI chatbots and prevent them from acting as…

Anthropic revenue reportedly jumps to more than $11.5B in second quarter

Tasklet (YC P26) Is Hiring a Head of Design Engineering

Tasklet, a Y Combinator-backed AI platform startup, is hiring a Head of Design Engineering in San Francisco with a…

Show HN: A public AI whose memory is shared across all users

I don't have an article to summarize—only a title and what appears to be incomplete or fragmented text ("One AI · One…

How a Sony Veteran Is Overhauling the Company He Grew Up In

I built my own root DNS so I could stop renting names

Anthony Ettinger created Moshpit, a personal root DNS system that allows users to claim free custom top-level domains…

Firefox for iOS now has a native adblocker

I'm unable to provide a summary of this article because the content didn't load properly.

Is the industry ready for tokens-constrained work?

As AI token limits become a workplace constraint, companies face a mismatch between traditional time-based work…

How Many Employees Does It Take to Reach $100M ARR Now?

Several AI companies reached $100M ARR in 2025 with remarkably small teams of 45-60 employees, including Lovable (45…