Tech News

Are brain waves the next unlock for physical AI?

Forget YouTube videos—frontier physical AI models need multiple camera angles, dense annotation, and soon, brain wave…

PGSimCity - How PostgreSQL Works

PGSimCity is an interactive prototype that visualizes how the PostgreSQL database engine operates using a city-building…

Show HN: Port Zero – how I learned to stop worrying and love PORT=0

Port Zero is a developer tool that eliminates port conflicts by automatically assigning stable local domains to…

Fonts In Use – Find out where a font is used

Fonts In Use is a database that allows users to discover where specific typefaces are used across various design…

Show HN: Distill and serve small models with frontier quality for half the cost

World Model Optimizer (wmo) is a tool that distills frontier-quality AI models into smaller, cheaper versions by…

Wattage: A token-spend profiler and cost-regression gate for AI agents

Wattage is an open-source profiling tool that analyzes AI agent token usage and costs by examining OpenTelemetry traces,…

Cursor Bridge – Run Unlimited Claude Code on Your Cursor Subscription

Cursor Bridge is a lightweight tool that enables users to run Claude Code (Anthropic's CLI) using their existing Cursor…

Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary

Vercel Labs has released Scriptc, a TypeScript-to-native compiler that converts ordinary TypeScript code directly into…

US citizen charged after GrapheneOS phone wipes during airport search

A US citizen in Atlanta is being prosecuted under federal law for allegedly destroying evidence after his GrapheneOS…

Show HN: Discrete6502 – one thing led to another

A hobbyist has rebuilt the classic MOS 6502 microprocessor—which powered the Apple II, Commodore 64, and NES—using…

Teaching Kids Forth – Anna Liberty

Anna Liberty chose to teach Forth, an obscure 1970s stack-oriented programming language, to middle and high school…

Can Apple make smart glasses that aren’t a constant privacy threat?

As Apple prepares to launch its first smart glasses, the company may also be wrestling with how to address consumer…

We have proof automation now

Dependently-typed languages like Coq (now Rocq) and Lean can formally encode and enforce subtle invariants through their…

Simulate cassette tape audio profiles using FFmpeg

This GitHub repository provides FFmpeg scripts that simulate vintage cassette tape audio characteristics, including tape…

Show HN: Infinite Jigsaw Game

Had the idea forever, finally got it working.

What does GitHub's security team even do?

GitHub hosts thousands of malware-distributing repositories that have persisted for two years despite the platform's…

First teaser for Apple TV's Neuromancer debuts at SDCC

Plus Mike Flanagan's Carrie teaser, trailers for Dark Matter S2 and Matchbox the Movie, and Marvel news.

Making sense of the panic over Chinese AI

On the latest episode of Equity, we discussed why Moonshot AI's Kimi seemed to panic Silicon Valley and Wall Street.

Show HN: HART OS – an open-source AI OS built so frontier AI needs no datacenter

HART OS is an open-source, AI-native operating system designed to enable frontier AI systems to run without requiring…

How to Block Some of the Bots

Decker

Decker is a multimedia platform inspired by HyperCard that enables users to create interactive documents with sound,…

AI Giants Unleash 4 Frontier Models in 3 Weeks as the Race Enters Overdrive

Four high-profile artificial intelligence (AI) labs released frontier language models within a three-week stretch in…

Introduction to Data-Oriented Design [pdf]

I cannot summarize this content because the PDF file appears to be corrupted or improperly encoded.

It's not empowering to hand off the details

The author argues that AI cannot replace the need to understand details in any field of expertise.

How AST-grep Rewrote Tree-sitter in Rust and Made It 30% Faster

ast-grep rewrote Tree-sitter's C core in Rust using AI-assisted code generation, achieving a 30% faster parsing speed…

Calling all open source maintainers working with Ruby

Meta is launching a centralized Ruby Users Forum to help open source maintainers and projects connect, eliminating the…

Show HN: Boffin – Staff-engineer layer for AI coding agents

Boffin is a staff-engineer control layer for AI coding agents that provides context-specific architectural constraints…

Lidl Introduces the European Payment Method Wero in Germany

Lidl has become the first grocery retailer in Germany to integrate Wero, a European payment method, into its online shop…

Elon Musk Says ‘Money Won’t Matter by 2036’ as Robotics and AI Flood Global Markets

Elon Musk says money will stop mattering by 2036, once robots and artificial intelligence produce more goods and…