Top 50 · this week

Trending for engineers

Tools, models, APIs & resources gaining traction · infra, AI, backend, devops.

Tools· 20

  • 01

    Kimi CLI

    agent

    Moonshot's terminal coding agent, built to drive the Kimi K3 model directly from your shell.

    Kimi CLI is Moonshot AI's open-source command-line coding agent, trending alongside the Kimi K3 launch. It lets you point the new 2.8T-parameter open-weights model at a repository and run agentic edit-test-fix loops from the terminal, much like Claude Code or Codex. Interest spiked after users reported K3 matching frontier closed models on agentic coding tasks at a fraction of the price. Moonshot even paused new subscriptions this week as demand outran capacity.

  • 02

    KTransformers

    inference

    Heterogeneous CPU/GPU inference framework that runs 100B+ MoE models on a single consumer GPU.

    KTransformers, from the kvcache-ai team, is a Python framework for CPU/GPU heterogeneous LLM inference that offloads 'cold' mixture-of-experts weights to system RAM while keeping hot experts on the GPU. That trick lets people run 100B-to-671B-parameter models locally on a single RTX 5090 with 32GB of VRAM. It exposes a Transformers-compatible interface plus OpenAI- and Ollama-compatible REST APIs, and its standalone KT-Kernel is being used to serve the new wave of huge Chinese open-weight models. It is trending hard as GLM-5.2 and Kimi K3 push people toward local MoE deployment.

  • 03

    cognee

    agent-memory

    Open-source memory layer that gives AI agents persistent knowledge graphs across sessions.

    cognee is an open-source memory platform for agents that combines vector search and graph databases into a self-hosted knowledge-graph engine. Its pipeline (add, cognify, memify, search) turns raw documents into chunked text, then knowledge graphs, then enriched long-term memory, and the 1.0 release can run the whole thing on a single Postgres instance. It has crossed 12,000 GitHub stars with 70+ production deployments and a recent seed round. Persistent agent memory is one of 2026's hottest infra problems, and cognee is the most-adopted graph-native option.

  • 04

    FastMCP

    mcp

    The Pythonic way to build MCP servers and clients — declare a function, get schema and validation free.

    FastMCP, from Prefect, is the standalone framework for building Model Context Protocol servers and clients in Python. You declare a tool as an ordinary function and it generates the schema, validation, and docs automatically, while handling transport, auth, and protocol lifecycle on the client side. FastMCP 1.0 was folded into the official MCP Python SDK, but the 2.0 project now sees around a million downloads a day and reportedly powers roughly 70% of MCP servers across all languages. It stays in the trending set as MCP becomes the default way to wire tools into agents.

  • 05

    Bun

    runtime

    Fast all-in-one JavaScript runtime and toolkit, now rewritten in Rust and shipping inside Claude Code.

    Bun is the JavaScript runtime, bundler, transpiler, and package manager that competes with Node. This week Jarred Sumner announced Bun is being rewritten from Zig to Rust, and Simon Willison highlighted that Claude Code v2.1.181 and later already ship the Rust port, cutting startup time. The move sparked a large debate about maintainability, AI-assisted rewrites, and Anthropic's involvement with the project. It put Bun back at the center of the runtime conversation.

  • 06

    opencode

    agent

    Open-source terminal coding agent, model-agnostic and one of the most-used CLI agents this year.

    opencode is an open-source coding agent that lives in your terminal and works across many model providers. It has become one of the most widely used agentic CLIs, and this week a widely shared critique ('Annoying and alarming things about OpenCode') dissected its prompt-cache behavior and security posture, driving a large HN discussion. Supporters framed the issues as fixable rough edges rather than fundamental flaws. The debate underscored how central these agent harnesses have become to daily engineering work.

  • 07

    Superpowers

    agent

    Agentic skills framework that packages reusable capabilities and workflows for coding agents.

    Superpowers, from Jesse Vincent (obra), is an agentic skills framework and software-development toolkit for coding agents. It packages reusable 'skills' — structured instructions and workflows — that agents load on demand, part of the broader 2026 shift from writing prompts to designing loops and skill libraries. The repo has drawn enormous attention as teams standardize how they give agents repeatable capabilities. It rides the wave of 'skills' becoming a first-class primitive across Claude, Codex, and other harnesses.

  • 08

    Nativ

    local-llm

    MIT-licensed Mac app to run, serve, and monitor frontier open models locally on Apple Silicon.

    Nativ is a native macOS app from Prince Canuma, maintainer of the widely used MLX-VLM library, for running open models locally on Apple Silicon. It offers chat, an OpenAI-compatible serving endpoint, and monitoring, built on Apple's MLX stack. It launched to a strong Hacker News reception this week as an MIT-licensed alternative to LM Studio and Ollama for Mac users. The timing fits the surge of interest in deploying big Chinese open-weight models on personal hardware.

  • 09

    Transcribe.cpp

    speech

    Lightweight C++ library for fast, local, on-device speech-to-text with no cloud dependency.

    Transcribe.cpp is a compact C++ speech-to-text library in the spirit of whisper.cpp, designed for fast local transcription on your own hardware. It topped Hacker News this week, with commenters praising it as a clean base to build private, offline dictation and note-taking tools. Discussion focused on adding phonetic/IPA transcription and better document-editing workflows. It reflects continued demand for local audio models that keep data off the cloud.

  • 10

    Dioxus

    gui

    Rust framework for building cross-platform apps — web, desktop, and mobile — from one codebase.

    Dioxus is a Rust framework for building web, desktop, and mobile apps from a single React-like codebase. It trended on GitHub's Rust list this week amid continued releases and growing interest in Rust for full-stack app development. Its appeal is type-safe, high-performance UIs without leaving the Rust ecosystem, with server functions and hot reloading. It remains one of the most active Rust UI projects.

  • 11

    fastctx

    dev-tools

    Fast, context-efficient repository tooling that helps coding agents read large codebases cheaply.

    fastctx is a new tool providing fast, context-efficient repository operations aimed at AI coding agents. It targets a growing pain point: agents waste tokens re-reading files and globbing filesystems, so fastctx surfaces just the relevant repository context efficiently. It crossed the trending threshold within its first week as token cost and context budgets became central to agent performance. The project fits the wider push toward context engineering.

  • 12

    Unsloth

    fine-tuning

    Library for 2x faster, lower-memory LLM fine-tuning — now with AMD GPU support.

    Unsloth makes LLM fine-tuning and training dramatically faster and more memory-efficient through hand-optimized kernels. This week the big news on r/LocalLLaMA was that Unsloth now supports AMD GPUs, breaking its previous NVIDIA-only limitation and opening cheaper hardware paths for fine-tuning. That widens access for people training on ROCm cards. Unsloth remains a go-to for QLoRA and full fine-tunes on modest budgets.

  • 13

    llama.cpp

    inference

    The reference C/C++ engine for running LLMs locally across CPUs and GPUs.

    llama.cpp is the widely used C/C++ inference engine that made local LLMs practical across CPUs and consumer GPUs. It stayed in the conversation this week via a new pull request claiming a big prompt-processing speedup on AMD ROCm hardware. Its GGUF format and quantization support underpin most of the local-model ecosystem, including the trending Bonsai and MiniCPM releases. Continuous kernel work keeps it central as open-weight models balloon in size.

  • 14

    Ollama

    local-llm

    Simple local runner for open models, now shipping day-one support for the new Chinese frontier models.

    Ollama is the popular tool for pulling and running open models locally with a single command. Its trending relevance this week is day-one support for the latest open-weight releases — its own description now advertises Kimi-K2.6, GLM-5.2, and MiniMax — as the flood of large Chinese models drives local deployment. It provides an OpenAI-compatible API that many local-first apps build on. Ollama remains the default on-ramp for developers experimenting with self-hosted models.

  • 15

    MarkItDown

    data

    Microsoft tool that converts PDFs, Office docs, and more into clean Markdown for LLM ingestion.

    MarkItDown is Microsoft's utility for converting files — PDFs, Word, PowerPoint, Excel, images, audio — into clean Markdown suitable for feeding to LLMs. It stays highly active on GitHub as retrieval and document-parsing pipelines standardize on Markdown as the intermediate format. The tool handles structure like headings and tables so downstream models get well-formatted context. It is a common building block in RAG and agent ingestion stacks.

  • 16

    Fil-C

    memory-safety

    Memory-safe implementation of C and C++ whose new InvisiCaps model tracks capabilities invisibly.

    Fil-C is a memory-safe implementation of C and C++ that runs existing code with strong safety guarantees. This week it detailed InvisiCaps, its capability model that carries pointer capabilities without changing memory layout, letting more real-world C compile and run safely. The write-up circulated widely on lobste.rs amid renewed interest in memory safety across the systems community. It arrives as Zig and others also debate first-class memory-safe modes.

  • 17

    SecretSpec

    secrets

    Declarative secrets tool that keeps credentials out of config files and injects them at runtime.

    SecretSpec is a tool built around the argument that secrets don't belong in configuration. It lets you declare which secrets an app needs and resolves them from proper backends at runtime, instead of baking credentials into config files or environment dumps. The accompanying essay 'Secrets Don't Belong in Config' trended on both lobste.rs and r/programming this week. It taps a perennial source of leaks and misconfiguration in backend systems.

  • 18

    OpenCut

    media

    Open-source, privacy-first CapCut alternative that runs video editing entirely in the browser.

    OpenCut is an open-source video editor pitched as a CapCut alternative with no subscriptions, watermarks, or cloud upload. Built with TypeScript, React, and Next.js, it runs editing in the browser with a familiar timeline, preview, and media bin. It added roughly 11,000 GitHub stars in a week, one of the fastest-climbing repos on the trending list. Its privacy-first, local-processing angle is what drove the surge among developers.

  • 19

    vLLM

    serving

    High-throughput LLM serving engine with PagedAttention, a default for production inference.

    vLLM is the widely used inference and serving engine that pioneered PagedAttention for high-throughput, memory-efficient LLM serving. It stayed in the spotlight this week as r/LocalLLaMA benchmarked speculative-decoding methods across vLLM and SGLang on Qwen3.6. It supports continuous batching, quantization, and an OpenAI-compatible server. It remains a default backend for self-hosted production inference.

  • 20

    SGLang

    serving

    Fast serving framework for LLMs and vision-language models with aggressive scheduling optimizations.

    SGLang is a serving framework for LLMs and vision-language models, known for fast scheduling and a structured generation language. It featured this week in community benchmarks comparing speculative-decoding methods head-to-head with vLLM. Its RadixAttention and efficient batching make it competitive for high-load deployments. It is one of the two engines most teams weigh for self-hosted serving.

Models· 13

  • 01

    Kimi K3

    frontier-open

    Moonshot's 2.8T-parameter open-weights MoE model, closing the gap with frontier closed labs.

    Kimi K3 is Moonshot AI's new flagship, a 2.8-trillion-parameter mixture-of-experts model released July 16 with open weights due July 27. It uses an unusually high ratio of linear/RNN attention layers to full attention, and early users report it matching or approaching top closed models on agentic coding and security auditing. Demand was so intense that Moonshot temporarily paused new subscriptions to protect capacity. It has become the symbol of Chinese open-weights models catching the US frontier.

  • 02

    Qwen 3.8

    frontier-open

    Alibaba's latest Qwen generation, extending its lead as one of the most-used open model families.

    Qwen 3.8 is Alibaba's newest release in the Qwen line, announced this week to a 900+ point Hacker News thread. It continues the family's rapid cadence of strong, permissively licensed models that dominate open-weight adoption and derivative fine-tunes. Community members were already awaiting the open-weights drop and OpenRouter availability to benchmark it. Its arrival alongside Kimi K3 and GLM-5.2 marks an intense week for Chinese open models.

  • 03

    GLM-5.2

    frontier-open

    Zhipu's open-weights model tuned for agents, called a step change for open agentic workflows.

    GLM-5.2, from zai-org (Zhipu AI), is an open-weights model that Nathan Lambert describes as a step change for open agents. On Hugging Face it drew over 4,000 likes and half a million downloads within the week, and inference frameworks like KTransformers shipped dedicated tutorials for running it locally. Its strength is agentic and tool-use workloads, where open models have historically lagged closed ones. It is a core part of this month's open-weights surge.

  • 04

    Inkling

    frontier-open

    Thinking Machines' first model: a 975B-parameter multimodal open-weights release, the leading US open model.

    Inkling is the debut model from Mira Murati's Thinking Machines Lab, released July 15. It is a 975B-parameter mixture-of-experts model (41B active) accepting text, image, and audio, pretrained on 45 trillion tokens with up to a 1M-token context. It debuted as the leading US open-weights model on the Artificial Analysis Intelligence Index, edging out Nvidia's Nemotron 3 Ultra. Weights are on Hugging Face, with API access via the company's Tinker platform.

  • 05

    Gemma 4 31B

    open-weight

    Google's latest open Gemma generation, topping Hugging Face downloads with over 12 million pulls.

    Gemma 4 31B is the instruction-tuned flagship of Google's newest open model family, and it currently leads Hugging Face's download rankings with more than 12 million downloads. The Gemma line is prized for a permissive license and strong multimodal quality at sizes that run on a single GPU. Its adoption shows US labs still ship competitive open weights even as Chinese models dominate headlines. It is a default base for fine-tuning and on-device work.

  • 06

    Unlimited-OCR

    vision-ocr

    Baidu's MIT-licensed OCR model that transcribes an entire 40-page PDF in a single forward pass.

    Unlimited-OCR is Baidu's 3.3B-parameter vision-language OCR model (about 500M active) released under the MIT license. Its headline trick is one-shot long-document parsing: a new Reference Sliding Window Attention mechanism keeps memory flat while transcribing 40-plus-page PDFs in a single pass, instead of page by page. It has already passed a million Hugging Face downloads and scores around 93.9 on OmniDocBench v1.6. It builds directly on the DeepSeek-OCR and PaddleOCR line of work.

  • 07

    Kimi K2.7-Code

    code-llm

    Moonshot's code-specialized model, a top Hugging Face trending release with strong agentic coding.

    Kimi K2.7-Code is Moonshot AI's code-focused model, trending on Hugging Face with over 700,000 downloads. It sits alongside the flagship K3 as the coding-optimized member of the Kimi family, tuned for repository-scale edits and agentic workflows. Interest has been amplified by Moonshot's Kimi CLI and reports of the models handling security fixes other agents declined. It is part of the broader Kimi momentum this week.

  • 08

    KAT-Coder-Pro V2.5

    code-llm

    Kuaishou's agentic coding model scoring second only to Opus 4.8 on SWE-Bench Pro.

    KAT-Coder-Pro V2.5 is the latest agentic coding model from Kwaipilot, Kuaishou's AI division. It scores 65.2 on SWE-Bench Pro, ranking just behind Anthropic's Opus 4.8 (69.2) on repository-level software-engineering tasks. A faster, cheaper KAT-Coder-Air V2.5 sibling shipped the same week, both available through OpenRouter and other gateways. It is another sign of Chinese labs pushing into the top tier of coding models.

  • 09

    MiniCPM5

    small-llm

    OpenBMB's new small-model line (1B-2B) aimed at strong on-device and edge deployment.

    MiniCPM5 is OpenBMB's newest generation of small language models, with 1B and 2B variants announced this week and rolling out on Hugging Face. The MiniCPM line targets phones, edge devices, and cheap local inference while punching above its size on benchmarks. OpenBMB also released MiniCPM-Robot variants for on-device robotics control. It continues the trend of highly capable sub-3B models people actually deploy.

  • 10

    Bonsai-27B

    local-llm

    Prism ML's ternary and low-bit 27B models that run capable local inference at 1-2 bits.

    Bonsai-27B, from prism-ml, is a 27B model distributed in aggressively quantized GGUF and MLX builds, including Ternary-Bonsai-27B at 2-bit and Bonsai-27B at 1-bit. It shot to the top of Hugging Face trending with over a million downloads as people ran it on Terminal-Bench and even in Termux on phones. The appeal is capable reasoning at tiny memory footprints, pushing how small local models can go. It headlines the low-bit quantization wave.

  • 11

    Nemotron-3-Embed-1B

    embedding

    Nvidia's compact 1B embedding model for retrieval and semantic search workloads.

    Nemotron-3-Embed-1B is Nvidia's new 1-billion-parameter embedding model, trending on Hugging Face for retrieval and semantic-similarity tasks. Compact embedding models like this are the workhorses of RAG pipelines, and a strong open one from Nvidia is notable for teams standardizing their vector stacks. It slots into the broader Nemotron 3 family Nvidia has been expanding. Embeddings remain a quiet but critical piece of production LLM infra.

  • 12

    Grok 4.5

    frontier

    xAI's latest frontier model, listed on OpenRouter with a 500K-token context window.

    Grok 4.5 is xAI's newest frontier model, now live on OpenRouter with a 500,000-token context window. It arrives as the closed-model race continues alongside the open-weights surge, with providers competing on context length and agentic capability. Its appearance on aggregators makes it easy for developers to benchmark against Kimi, GLM, and GPT variants. It rounds out a busy week of both open and closed releases.

  • 13

    Xiaomi-Robotics-1

    robotics

    Xiaomi's robotics foundation model demonstrating two-handed manipulation of deformable objects.

    Xiaomi-Robotics-1 is a robotics foundation model Xiaomi showcased this week, drawing a big Hacker News reaction for a demo of a robot doing laundry and other bimanual tasks. Commenters noted the genuinely hard problems on display — coordinating two hands, mobile manipulation, and handling deformable objects like cloth. It reflects the rapid movement of large-model techniques into embodied robotics. On-device robot brains like OpenBMB's MiniCPM-Robot are part of the same trend.

APIs & Services· 12

  • 01

    OpenRouter

    llm-gateway

    Unified API gateway routing one request across hundreds of LLMs, now with a 2M-context auto-router.

    OpenRouter is the model-routing gateway that gives developers a single OpenAI-compatible API to hundreds of models from every major lab. This week its listings filled with the newest releases — Kimi K3, GLM-5.2, GPT-5.6 variants, Grok 4.5, Inkling — and a new auto-beta router advertising a 2M-token context. It has become the default place engineers benchmark and hot-swap models without rewriting code. Its usage rankings are a real-time signal of what developers are actually calling.

  • 02

    Aurora DSQL

    database

    AWS's serverless, scalable, multi-region distributed SQL database, now detailed in a full paper.

    Aurora DSQL is AWS's serverless distributed SQL database built for scalable, multi-region OLTP with strong consistency. This week AWS principal engineer Marc Brooker published the full technical paper explaining its architecture, including how it decouples compute from storage and handles cross-region transactions. The write-up drew heavy engineering interest for its approach to consistency and availability at scale. It is one of the more closely watched managed database launches of the year.

  • 03

    Cloudflare Internal DNS

    networking

    Managed authoritative and recursive DNS for private networks on Cloudflare's global control plane.

    Cloudflare Internal DNS reached general availability this week, extending Cloudflare's DNS platform to private networks. It provides authoritative and recursive resolution for internal names on the same global network and control plane customers already use for public DNS and Zero Trust. That lets teams manage split-horizon and private DNS without standing up their own resolvers. It fits Cloudflare's push to be the network layer for corporate infrastructure.

  • 04

    Cloudflare Precursor

    security

    Bot-mitigation service that detects agentic behavior using continuous client-side signals.

    Precursor is a new Cloudflare service that detects automated and agentic behavior using continuous client-side signals rather than one-off challenges. It combines network-level visibility with in-browser telemetry to stay ahead of adaptive bots and AI agents scripting real browsers. The launch responds to a world where coding agents and scrapers increasingly drive genuine-looking traffic. It extends Cloudflare's long-running bot-management arms race.

  • 05

    Kimi Work

    agent-platform

    Moonshot's local agent that mounts your folders, browses the web, and runs scheduled Python tasks.

    Kimi Work is Moonshot AI's local agent product for deep workflows, launched this week. It mounts your local folders, navigates the web autonomously through a WebBridge, runs Python in the background, and executes scheduled tasks. Commenters compared it directly to Anthropic's Claude and OpenAI agents, but pitched at a lower price point. It extends the Kimi ecosystem from raw models into an end-user agent platform.

  • 06

    Firecrawl

    data-api

    API to crawl, scrape, and search the web and return clean, LLM-ready structured data.

    Firecrawl is a hosted API that turns websites into clean, structured, LLM-ready data through crawling, scraping, and search endpoints. It handles JavaScript rendering, anti-bot friction, and format normalization so agents and RAG pipelines get usable text instead of raw HTML. It remains one of the most-starred and most-used data-ingestion services for AI applications. Web-to-context tooling is a busy category as agents need fresh external data.

  • 07

    GPT-5.6

    frontier-api

    OpenAI's latest closed frontier model family (Sol, Terra, Luna tiers) tackling research-grade problems.

    GPT-5.6 is OpenAI's newest closed frontier model, exposed via API in multiple tiers (Sol, Terra, Luna, each with a Pro variant) at around a 1M-token context. It made news this week when a researcher used GPT-5.6 to help close a 30-year gap in convex optimization, and separately when someone found a real WordPress RCE with it for about $25. The releases keep OpenAI at the frontier even as open-weight models close in. Access is through OpenAI's API and aggregators like OpenRouter.

  • 08

    Poolside Laguna

    code-api

    Poolside's code-model API, newly listed on OpenRouter with a 256K-token context window.

    Laguna is Poolside's code-generation model, now available through OpenRouter (laguna-xs-2.1) with a 256K-token context and a free tier. Poolside is a well-funded code-AI startup building models and infrastructure specifically for software engineering. Its appearance on public gateways lets developers pit it against Kimi, KAT-Coder, and Codex on real tasks. It adds another specialized coding option to an increasingly crowded field.

  • 09

    Tinker

    inference-api

    Thinking Machines' API platform for serving and customizing its Inkling open-weights model.

    Tinker is Thinking Machines Lab's API platform, the hosted way to run its new Inkling model with a 256K-token context. It reflects the company's bet against one-size-fits-all AI, giving developers hooks to adapt and serve open weights rather than only consume a closed endpoint. The platform launched alongside Inkling's open-weights release on Hugging Face. It positions Mira Murati's lab in both the open-model and managed-inference markets.

  • 10

    Prefect Horizon

    mcp-gateway

    Enterprise MCP gateway from the FastMCP team for deploying and governing MCP servers safely.

    Prefect Horizon is an enterprise gateway for Model Context Protocol servers, built by the team behind FastMCP. It deploys MCP servers from GitHub with branch previews and instant rollback, maintains a private registry of every MCP a company uses, and adds SSO, tool-level RBAC, audit logs, and observability. As MCP proliferates inside organizations, governing which tools agents can reach becomes a real security problem. Horizon packages the operational best practices the FastMCP team learned running the ecosystem.

  • 11

    ClickHouse

    observability

    Column-oriented database increasingly used as the storage engine winning the observability wars.

    ClickHouse is the open-source column-oriented database that is rapidly becoming the storage backend for observability platforms. A widely shared piece this week, amplified by Charity Majors, argued ClickHouse is 'winning the observability wars' by making it cheap to store and query huge volumes of logs, metrics, and traces. Its speed on analytical queries lets vendors and in-house teams ditch more specialized time-series stores. The managed ClickHouse Cloud service extends it as a hosted option.

  • 12

    Cursor

    agent-infra

    AI code editor whose new agent-swarm infrastructure coordinates agents at ~1,000 commits per second.

    Cursor detailed the infrastructure behind its agent swarms this week, describing coordination that peaks at roughly 1,000 git commits per second — up from 1,000 per hour in an earlier browser swarm. To sustain that, the team built a new version-control system purpose-made for massively parallel agents. The post framed the shift in model economics as coordination, not raw model power, becoming the scaling frontier. It offered a concrete glimpse of where multi-agent development is heading.

Resources· 5

  • 01

    The Kimi K3 Moment

    essay

    Essay arguing Kimi K3 marks the point open Chinese models reached parity with frontier US labs.

    This widely shared essay frames Kimi K3's release as an inflection point: the moment open-weight Chinese models credibly reached frontier parity. It argues that whether via distillation or independent training, cheap open models were always going to erode the economics of expensive closed labs. The piece sparked a 600-comment Hacker News debate about national-security responses, distillation ethics, and lab valuations. It captures the anxiety and excitement running through the ecosystem this week.

  • 02

    Who's Afraid of Chinese Models?

    analysis

    Ben Thompson on the hypocrisy and strategy of Western labs' push to restrict open Chinese models.

    In this Stratechery piece, Ben Thompson examines the growing push by US labs to treat open Chinese models as a security threat. He highlights the hypocrisy of outlawing distillation while benefiting from open research, and argues harness stickiness — Claude Code, Codex — matters more than which weights you run. The essay ties into reports that parts of the US government are being lobbied to restrict open-source models. It became one of the most-discussed reads of the week.

  • 03

    Human mathematicians are being outcounterexampled

    essay

    Kevin Buzzard reflects on AI models producing genuine counterexamples to longstanding conjectures.

    Mathematician Kevin Buzzard reflects on a striking week in which AI models produced real counterexamples and proofs against longstanding open problems, including work touching the Jacobian Conjecture. He argues this is genuinely useful: disproving a conjecture saves the community from chasing something false. The post connects to the Claude Fable counterexample and GPT-5.6's convex-optimization result that also topped Hacker News. It is a grounded, working-mathematician's take on AI's arrival in research math.

  • 04

    Agent swarms and the new model economics

    article

    Cursor on why coordinating many agents, not raw model power, is the next scaling frontier.

    Cursor's engineering post makes the case that the next scaling frontier is coordination of many agents rather than single-model capability. It shares concrete numbers — agent swarms peaking near 1,000 commits per second — and describes the custom version-control system built to sustain that throughput. Commenters called it a glimpse of the future the way coding agents themselves looked speculative a year ago. It is a rare, detailed look at production multi-agent infrastructure.

  • 05

    DSLs Enable Reliable Use of LLMs

    article

    Martin Fowler on using domain-specific languages to constrain LLMs into generating exactly what's intended.

    In this Martin Fowler article, the argument is that LLMs generate code fast but need clear boundaries to generate the right thing. Domain-specific languages and strong abstractions act as a harness, guiding models toward valid output from the start and making their work verifiable. It is a practical antidote to free-form prompting for teams putting LLMs into production systems. The piece extends Fowler's ongoing series on engineering discipline in the AI era.