421
Building a local positioning system to track runners using Ultra-Wideband
An open-source multi-tag fully local UWB positioning system.
New
The latest blog posts to take off on Hacker News. 21,814 posts.
422
Stateless MCP has recaptured my interest
Tuesday was Stateless MCP day—the rollout of MCP 2.0, or the 2026-07-28 Model Context Protocol specification to use the more formal but less memorable name. This is the most significant …
423
The development pipeline is a production system
Various thoughts on programming and technology.
424
Unearthing my 1996 windowed OS in machine code for Am29000 homebrew computer
History of the development of my windowed operating system for 32-bit Am29000 processors when I was age 18.
425
Why we write our own C and C++ inference engines
LocalAI is the open source AI engine. Run any model, LLMs, vision, voice, image and video, on any hardware. No GPU required.
426
Progressive Web Components
Introducing Elena, a simple, tiny library for building Progressive Web Components.
427
Let's make the worst Htmx
Learning how htmx works by building one from scratch.
428
The session you cannot take with you
Inference APIs are filling sessions with encrypted reasoning, hidden search results, opaque compaction, and encrypted subagent messages. A growing form of lock-in.
429
Rune 1.1: adds Python, an Emacs editor, a symbol index and is now free
Rune 1.1 makes Rune free for personal use and adds a perpetual commercial license, a workspace symbol index, first-class Python support, an Emacs editor, and substantial improvements to SSH workspaces.
430
Stacked PRs are now live on GitHub
Stacked pull requests break large changes into small, reviewable pull requests. They’re an ordered series of pull requests that each represent focused layers of your change. With stacks, you can…
431
Scaling NumPy on Free-Threaded Python
A recap on the work done in NumPy and CPython to make multi-threaded NumPy workloads scale on the free-threaded build of CPython.
432
The Economic Benefit of Refactoring
Notes from my colleagues on AI-assisted software delivery
433
Gpiozero Flow
Back in 2015, I had the idea for gpiozero — a Python library for Raspberry Pi, making programming GPIO devices simpler by abstraction: instead of thinking about pin channels, voltages, pull-up resistors and rising or falling edges, we think about buttons being pressed and released, sensors...
434
A Trampoline
I didn’t want to buy a trampoline. It wasn’t the money.
435
Superlogical
I authored 1 the announcement post on the Superlogical homepage , which describes the problem statement and what we're building. 2 Read that to learn more. This post is more of a personal statement about what led to this, how it relates to my recent work, and what comes next.
436
Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem
TLDR: Written version of the talk I gave at Develop Brighton 2026. Yes Godot can ship commercial VR, we paid roughly £80k in early adopter tax to do it. War stories from rebuilding Godot's core, the
437
Software for One
Robin Sloan wished for a HyperCard that could build a family app in a day. That world showed up.
438
The mean means nothing: data visualization to debug a latency problem
I was recently trying to validate some performance improvements related to lld at $DAYJOB and it was a little frustrating to see the improvements in our benchmarks but not in the live-production dashboards.
439
MCP 2026-07-28 Specification: transport going stateless
The 2026-07-28 Model Context Protocol specification is out, bringing a stateless protocol core, Multi Round-Trip Requests, header-based routing, cacheable list results, authorization hardening, a formal extensions framework, and updated Tier 1 SDKs.
440
A walk through of the DeltaNet family of linear attention variants
Guide to the DeltaNet Family of linear attention mechanisms.
441
How Do I Profile eBPF Code?
If we are running any eBPF workload or writing eBPF code, we want to measure its performance impact, and in this post we will demonstrate an example of how to do it. In this example, our goal is to measure the performance of file open operations, one of the most critical functions in the OS. Our code used file open…
442
Kimi K3 Architecture Overview and Notes
Short architecture note on Kimi K3, including LatentMoE, Kimi Delta Attention, Attention Residuals, NoPE, multimodality, and inference-efficiency choices.
443
Zig's Incremental Compilation Internals
As a member of the Zig core team, one of the most impactful projects I’ve been involved with is the implementation of incremental compilation into the Zig compiler. This feature allows the compiler to detect which individual functions and declarations have changed since a project was last built, recompile only that…
444
How JPEG works: Interactively explore JPEG's lossy compression methods
In the world of technology, “forever” means about 5 years. It’s humbling to think that the 1992 JPEG image standard is still going strong despite being more than 5 “forevers” old. Why has it been so successful? This article presents the key ideas behind JPEG in plain language and includes an interactive JPEG…
445
How is the Bun rewrite in Rust going?
I think it’s important to be very Canny when someone makes a claim that supports a company’s large valuation.
446
Removing React.js from the codebase and adapting Htmx for UI interactivity (2023)
Started by rafalp on Dec. 12, 2023 in the Roadmap category. 6 replies, last one from July 25, 2024.
447
Teaching Kids Forth
Forth is uncommonly used to teach programming to kids. Scripting languages like Python and visual environments like Scratch are far more popular options. But when I got the opportunity to introduce middle and high school students to programming, I chose the stack-oriented concatenative language from 1970. I was…
448
We have proof automation now
I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants. The sort of thing that, in regular languages, ends up (at best) as a comment, and which quickly gets lost as the size of the…
449
Lisp moving Forth moving Lisp
This chapter is a culmination of many macro techniques we have looked at so far in this book. Using macro abstractions we have developed, we create an implementation of one of my favourite programming languages: forth . Although this implementation embodies most of the important ideas of forth, it is very different…
450
Ruff v0.16.0 – Significant new updates – 413 default rules up from 59
The next stable version of Ruff is out now.