Chat-tails: Throwback terminal chat, built on Tailscale
To find a safe space for his kid to chat with friends while playing Minecraft, Brian Scott had to go back to the future. The chat went back, that is, to an IRC-like interface, run through a terminal. The connection and setup remain futuristic, because Scott used Tailscale, and tsnet, to build chat-tails. Chat-tails is […]
Prediction: AI will make formal verification go mainstream
Published by Martin Kleppmann on 08 Dec 2025. Much has been said about the effects that AI will have on software development, but there is an angle I haven’t seen talked about: I believe that AI will bring formal verification, which for decades has been a bit of a fringe pursuit, into the software engineering […]
Texas is suing all of the big TV makers for spying on what you watch
TVs made by Sony, Samsung, LG, Hisense, and TCL are part of a ‘mass surveillance system,’ Attorney General Ken Paxton alleges. TVs made by Sony, Samsung, LG, Hisense, and TCL are part of a ‘mass surveillance system,’ Attorney General Ken Paxton alleges. by Emma Roth Dec 16, 2025, 3:38 PM UTC Emma Roth is a […]
Ty: A fast Python type checker and LSP
TL;DR: ty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to tools like mypy, Pyright, and Pylance. Today, we’re announcing the Beta release of ty. We now use ty exclusively in our own projects and are ready to recommend it to motivated users for production […]
No Graphics API
Tooling How can we debug code that doesn’t bind buffer and texture objects and doesn’t call an API to describe the memory layout explicitly? C/C++ debuggers have been doing that for decades. There’s no special operating system APIs for describing your software’s memory layout. The debugger is able to follow 64-bit pointer chains and use […]
Too Fast to Think: The Hidden Fatigue of AI Vibe Coding
After vibe coding for some time, I feel fatigue. I’m coding Marvai – a package manager for prompts on my own, with a combination of Claude Code and Cursor. I use Claude Code for code generation, bug fixing, test writing, test fixing, security checks etc. Claude Code is especially useful to fix linting errors from […]
Arduino UNO Q bridges high-performance computing with real-time control
With integrated AI acceleration, efficient performance, and support for camera, display, and audio, Dragonwing QRB2210 is built for next-gen robotics and IoT products. With the quad-core 2.0 GHz CPU, Adreno GPU, and 2x ISP, it turns UNO Q into a compact, cost-effective platform with advanced features like machine vision.
The GitHub Actions control plane is no longer free
What’s happening? GitHub just announced changes to Actions pricing. Previously, GitHub Actions had a free control plane. That meant if you used GitHub Actions but ran jobs outside of GitHub-hosted runners, whether that’s on Blacksmith, on your own machines, or in your own AWS account, you paid nothing to GitHub for those minutes; you only […]
GitHub will begin charging for self-hosted action runners on March 2026
Release December 16, 2025 • 1 minute read Table of Contents Menu. Currently selected: Deeper investment in the Actions self-hosted experience On January 1, 2026, GitHub will reduce the price of GitHub-hosted runners by up to 39% depending on the machine type used. The free usage minute quotas will remain the same. On March 1, […]
Pricing Changes for GitHub Actions
Today we’re announcing updates to our pricing and product models for GitHub Actions. Why? When we shipped Actions in 2018, we had no idea how popular it would become. By early 2024, the platform was running about 23 million jobs per day and our existing architecture couldn’t reliably support our growth curve. In order to […]