Devtools must be open source

The age of personalized software is here.

Launch HN: Hoplite (YC S26) – Effortlessly deploy cloud coding agents

Effortless cloud coding agents that feel good to use.

Ten advances in mathematics and theoretical computer science

Don't be a meat proxy

Use Task Runners for Common Coding Tasks

You can make your software developer life suck a bit less by using task runners to run common coding tasks consistently across multiple repositories

Kelly Criterion Simulator

Kelly Criterion simulator that models bankroll evolution under fixed probability and odds assumptions. Run Monte Carlo simulations to view outcome distributions, drawdown behavior, and tail risk under the Kelly framework.

SQLite Critical CVEs or LLM Slop?

The JFrog security research team recently identified a supply chain attack targeting the `xinference` package on PyPI. Versions 2.6.0, 2.6.1, and 2.6.2 were compromised and yanked by maintainers after users reported suspicious behavior. If you installed or imported these versions, you must assume your environment is compromised.

Show HN: Product analytics (and evals) for agent sessions on your MCP

Armature captures the sessions users have with your product through Claude, ChatGPT and every other agent. See what users ask, watch how agents deliver and fix the issues they encounter. Free up to 1,000 sessions a month.

Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years

Massively Parallel Postgres Backups

PlanetScale backs up petabyte-scale sharded Postgres databases in hours using parallel infrastructure, object storage, and WAL replay.

Andy Pavlo joins ClickHouse to establish ClickHouse Labs

I am excited to announce that I am joining ClickHouse, Inc. to establish and lead a new research team at ClickHouse Labs.

SPF Record Syntax: Mechanisms, Qualifiers, Modifiers, and Macros

Every SPF record syntax element in one reference: mechanisms, qualifiers, modifiers, macros, and DNS limits — with RFC 7208 section cites and real examples.

MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video

An open-weights omni-modal video model with real stereo sound and 2K output — this powerful model is greatly optimized in ComfyUI and can run locally on a 3060.

How Hollywood stopped making movies in Hollywood

The economics behind where movies are filmed, why Hollywood left Los Angeles, and whether audiences can tell the difference.

Bonsai: Janestreet's UI Library

A library for building dynamic webapps, using Js_of_ocaml - janestreet/bonsai

SearXNG in Rust

a metadata search engine similar to searxng in rust - MikeLuu99/searxng-rust

AirLLM 70B inference with single 4GB GPU

AirLLM 70B inference with single 4GB GPU. Contribute to lyogavin/airllm development by creating an account on GitHub.

Smaller, faster, safer: running Kimi and GLM at scale

Serving frontier models like Kimi and GLM means fighting for GPU memory. Here's how we quantize KV caches, compress model weights, and add integrity checks to serve them faster, cheaper, and safely.

The Billable Usage API: programmatic cost visibility for Cloudflare

Cloudflare has launched a new Billable Usage API for accounts, giving developers and FinOps teams single-endpoint programmatic visibility into cost and usage across all self-serve products. Built around the FOCUS specification, spend can now be tracked seamlessly alongside the rest of your cloud stack.

Wind and solar overtake fossil fuels in Germany for the first time

More of Germany's electricity came from wind and solar power than from fossil fuels for the first time ever in 2025, according to Carbon Brief's ...