Tesla Roadster

California is building a $400M shield for Yosemite's most dangerous highway

Monte-Carlo Simulations

Show HN: Llmspeed – feel how fast a local LLM runs before you buy the hardware

Pick hardware and a model, and feel the real speed of a local LLM before you buy. Simulates tokens/sec and time-to-first-token from verified benchmarks for GPUs, Macs, and more.

Apple ML Research: Muse Spark Open with MLX on Mac Studio

MLX on Mac with Apple silicon lets AI researchers and developers experiment locally with the latest models and methods in a private…

0/1 Knapsack Problem in PyTorch

I built the RealWorld app in Lean 4

I built RealWorld, the reference full-stack app with official test suites, entirely in Lean 4. Can it be done? Yes. Is it ready for production? Somewhat. Can it be made correct by construction? Partly. It can certainly be made more robust than the average full-stack app, though.

Ultramarine 1 Flash

Ultramarine 1 Flash is an open model for professional work. It makes the decks, models, and memos that people in finance, law, consulting, and operations put in front of clients, at a fraction of the cost of frontier models.

A story of WiFi secrets, UART lockdowns and a damaged flash memory chip

Analyzing Eufy Security Ecosystem and reverse engineering of its Homebase2 component

FLUX 3 Image Klein

Frontier image quality with the customization and speed of open weights: 5.6B parameters, first in text-to-image, multi-reference generation and editing.

You could have invented transformers from memory

Every layer is a memory store

eBay Restricts Listings of Radio Equipment, but Exempts Ham-Band-Only Gear

The American Radio Relay League (ARRL) is the national association for amateur radio, connecting hams around the U.S. with news, information and resources.

How the Claude Code team does code review

How do you review code at the volume agents produce it? On the Claude Code team, once we had high coverage and deep reviews, we started optimizing for the minimum amount of human review time that doesn't raise reverts or incidents.

Designing more efficient quantum circuits with Claude

Working largely on its own, Claude designed quantum circuits that improve on the best published versions, in some cases by an order of magnitude or more.

90% of US working hours are spent on tasks not covered well by AI benchmarks

The US Benchmark Map places AI benchmarks across the American economy, measuring which parts of the labor force are covered by unsaturated, public, agentic benchmarks.

Butlerian Jihad

Last Jihad redirects here. For the book by Sumer and Kautman, see The Last Jihad. "We must negate the machines-that-think. Humans must set their own guidelines. This is not something machines can do. Reasoning depends upon programming, not on hardware, and we are the ultimate program! Our Jihad...,Step inside the Hasbro booth at San Diego Comic-Con as we sit down with Mark Rosewater, Head Designer for Magic: The Gathering, to discuss the highly anticipated Marvel collaboration! We get an inside look at the creative brainstorming process behind bringing Earth's Mightiest Heroes to the tabletop—including how a giant whiteboard helped shape the set, the inspiration behind an unexpected "deep cut" character choice, and how the design team crea

Claude reveals ECDSA curve origins

The decades-old mystery of the origins of one of the most popular cryptographic standards has been explained.

Llama.cpp on a jailbroken PS5: run any GGUF model natively on the console

llama.cpp on a jailbroken PS5: run any GGUF model natively on the console, starting with Qwen 3.8 - cobanov/PS5LM

Flexport Is Hiring a Biz Ops Leader in Office of CEO

Explore careers at Flexport -- build the AI-powered platform behind global trade. See open roles, our values, and life at the company.

JPEG XL vs. AVIF for web use-cases