Dev Systems - Building Systems That Scale

Show HN: What 180k words look like as a temporal knowledge graph (Oz series)

The graph is free to explore and requires no registration.SynapTale builds a model of a story as a temporal graph made up of nodes (entities) and edges (their actions and relationships). The graph is not a visualization of the wiki. The wiki, timelines, relationship histories, and analytics are projections of the graph.The current demo contains 232 entities, 1,852 edges, and a snapshot of the story’s state at every chapter. By chapter 100, it still remembers a promise made in chapter 8 and turns

Show HN: Kedge – Full-stack cloud with forkable VM snapshots and global SQLite

I'm building Kedge, a globally distributed platform for stateful serverless apps. Here's how you make a simple static site: `echo '# Hello world!' | ssh kedge.dev`I helped build Fly.io for 4 years and shared enthusiasm for the founders' vision of a 'global Heroku'. While there, I wrote "The Serverless Server" (https://fly.io/blog/the-serverless-server/) as a study of Lambda and a sketch of a modern serverless product built ar

Ask HN: What's the best hands-on path to learn ML inference infrastructure?

I'm a backend engineer with 8+ years of experience. Most of my work has been APIs, distributed systems, streaming/real-time systems and cloud-infra.<p>I'm trying to move towards ML inference infrastructure: model serving, batching, etc. but based on my experience, it has been difficult to get a callback for such jobs.<p>For people working in this area: what projects or experience would actually convince you that a backend engineer is ready to work on inference infra?

Programmer Government

Hey I had an idea. What if we created the bitcoin for government?So like a king sucks because it's the equivalent of one GPU.A republic is better because it's like a big GPU cluster of hundreds of GPUs.But what if we made like a bitcoin like distributed governance system that was like, I don't know, a million GPUs?We have the internet which is like infinite bandwidth compared to human needs, so we have the bandwidth to link all our minds together.So what if we did this. We had a s

Launch HN: Rise Reforming (YC S26) – Turning Waste Gases into Valuable Chemicals

Hi HN! This is George, Lucas, and Jona from Rise Reforming (https://www.rise-reforming.com/). We’re developing a process to convert gas produced at landfills, farms, and wastewater plants (“biogas”) into higher value chemicals. Our technology is modular, designed to be deployed and operated on-site. Think of us as a chemical project developer; we sit between biogas producers (suppliers) and chemical end users (customers). We pay biogas producers for their gas and we make money fro

Show HN: Case study: A coding agent refactors a 750k LOC app, no code review

In the following case study, the AI coding agent rebuilds a core system invariant in just three days, with minimal human input, running 31 verification passes and correcting 201 errors, before shipping code with zero bugs, zero regressions, and zero technical debt.https://aisovereignlabs.ai/docs/case-study/liveSession/case-...Disclaimers:This case study is NOT: - a project written from scratch - yet another Rust transpilation - a clone of an open-source project foun

Show HN: Purple Hammer – construction takeoff and estimating in Tauri/Rust/WASM

Purple Hammer does construction takeoff. You measure quantities off PDF drawings and a built-in spreadsheet lets you read from databases, formulas, assemblies etc to price the job. This matters because most takeoff software (Bluebeam, Planswift) do not have the spreadsheet side of things built in.Stack is Tauri 2, Rust, SolidJS. The render and spreadsheet engines are both custom, compiled to WASM with modified PDFium for parsing. One codebase builds native Mac and Windows.Performance is most of

Ask HN: How would you learn AI-assisted development from the ground up?

I'm a director/exec, not a software engineer. Background's mostly data analytics, SQL and Excel day to day, some R and PostgreSQL. Years ago I could hack together basic HTML/CSS/PHP too.Got into AI early and now use ChatGPT and Claude constantly. With their help I've built a handful of web apps, some Python scripts and desktop tools, and an Android app on Supabase with real multiple users.So I can build things. But I'm very aware there are big holes underneath

Show HN: Integrate any CLI agent into any terminal

Whether at work as a software engineer or in my private life, I kept running into the same problem: While working in my terminal, I’d wish I could use AI to make sense of recent output or compose a command. Copying and pasting context between a chat and the terminal was tedious and preemptively running a full CLI coding agent threw away all the efficiency of working in a shell. Both workflows were far from ideal.What I really wanted was for the coding agents I already used to pop into my termina

How to get more coding productivity with LLMs

As someone who is a lifelong programmer and entrepreneur, I'm here to say that 2-4-8x AI productivity boost is just the start. I'm currently benchmarking myself at 40-50x coding producivity with AI over 16 weeks, compared to pre-AI, and it's increasing over time, and I am trying to find ways to share these techniques with more programmers. Here we go HN...I measure in lines of code, which I know is an imperfect metric, but it's the quantative metric I have, and I'm quali

Mastering GitHub Copilot Budgets: How to Prevent Surprise Overages Without Blocking Devs

1. The Core Mental Model: The Water Park AnalogyTo understand Copilot billing, think of your enterprise as a water park:The Shared Pool (Included Usage): Every Copilot Business ($19/mo) and Enterprise ($39/mo) seat license adds a set number of free AI credits into a shared corporate water tank (1,900 or 3,900 credits/seat, respectively).Phase 1 (Pool Phase): All licensed developers drink from this central pool for free until it runs empty.Phase 2 (Metered Overage): Once the pool is dry, extra wa

Token Economics in Practice

Introduction: The cheap-token trapToken prices alone are a poor economic model for agents. The price of reaching a fixed capability has fallen sharply — In a 2025 Report Stanford's AI Index reported a roughly 280-fold drop in the cost of GPT-3.5-level inference between late 2022 and late 2024, and Epoch AI tracks steep (if uneven) per-benchmark price declines. The intuitive conclusion is that agents are getting cheaper to run. The operational reality is the opposite.Agents turn cheaper infe

Ably Pub/Sub now supports React Native push notifications

Until now, sending push notifications to a React Native app with Ably meant registering devices manually through the push admin API, usually from a server. The new plugin moves activation where it belongs: onto the device.We've added first class support for React Native apps receiving push notifications through the Ably PubSub JavaScript SDK. From version 2.25.0, the new ably/react-native-push plugin lets a React Native device activate itself as a push target, subscribe to channel-based notifica

NOAA and Google Cloud collaborate to advance weather forecasting.

<img src="https://storage.googleapis.com/gweb-uniblog-publish-prod/images/Hurricane-Melissa_header.max-600x600.format-webp.webp">Google Cloud is now providing high-performance computing infrastructure for NOAA’s supercomputing system.

Show HN: CobaltCode – Dedicated persistent computer for Codex

Hi HN,I'm building CobaltCode, a platform for running coding agents inside persistent development environments.Basically I was fed up with git worktrees and having to run everything locally, usually one at a time so built CobaltCode.ai. Each task gets an separate vm with its own repository checkout, dependencies, running services, agent session, previews, and persistent state. It can also run your app inside the vm so you can preview different features in parallel.You can leave a task, resu

Show HN: WhipDesk – Control your full dev machine from your phone

Hi HN, I built WhipDesk, an open-source, mobile-friendly remote desktop tool for controlling your full development machine and managing AI coding agents from your phone’s browser.It gives you access to the entire desktop while also adding workflows for monitoring and managing tools such as Claude Code, Codex, GitHub Copilot, and othersThe two questions I hear most are: How is it secured, and how is it different from existing tools?Security Following the modern approach taken by open-source remot

Show HN: Aurora – Tiny Linux RGB Daemon for Legion Laptops

So I've been getting into more systems programming. I would appreciate some feedback on this project. For context, I have a Legion Pro 5 16ARX8 with a 4-zone RGB keyboard. I have been running NixOS as my development OS on another SSD, and the RGBs lose all their settings when I switch over.I found a project called https://github.com/4JX/L5P-Keyboard-RGB, and it worked. The thing is, I don't like how it opens a window to take effect. I don't want to remember my

ASK HN: What role do humans play in your organization in an AI era?

The topic might sound very off, but recently, the more AI advances, the more “hype” it gets in different organizations, the more questions I'm starting to have. Since all of us are working in different fields, our internal experiences might differ. And I want to create a place for us to share these experiences.In particular, I'm interested in: - Has the place you work in established any AI-driven development workflows? If yes, what's the place of a developer there? - How are

Preserve a Legacy IP During Azure Migration with Private Link Service Direct Connect

Why this mattersPhased migrations to Azure frequently stall on a single, unglamorous constraint: an application with a hard-coded dependency address. The usual options are to re-address the application or change its configuration, and both add development effort, regression testing, and risk to a migration that is already time-boxed.This article demonstrates a pattern that removes that constraint from the critical path. Using Azure Private Link Service Direct Connect together with a Private Endp

Why My Open-Source Project Hasn't Done Better

Since the beginning of 2026, many projects such as RTK, Caveman, and Ponytail have claimed that they can reduce token usage by 80–90%. Some of them gained tens of thousands of GitHub stars in a very short time.My previous startup was building an e-commerce chatbot. In fact, the product was almost identical to the Universal Commerce Protocol (UCP). After UCP was released, I decided not to continue pursuing that direction.Earlier this year, I started turning the architecture we had built for e-com