29 links from the last 24 hours · 11 October 2026
In contrast to intensional type theory, which is a type theory containing an identity type x=yx=y whose elements are identifications of xx and yy, unintentional type theory has a mistaken identity type x≈?yx \overset{?}{\approx} y whose elements are inadverten…
Nanolathe — Open-source RTS engine. Play the Total Annihilation demo.
Play the original Total Annihilation demo in your browser with Nanolathe, an open-source 2.5D RTS engine. Install the native beta, play online with friends, explore the code and build on it.
The Ticket Is Not The Work
When I said tickets have almost nothing to do with agile software development, I was greeted with some very odd looks and incredulous "hu...
I had a booth for Message24 at HITEX 2026, a tech expo run annually in Erbil where local companies and startups show their products to businesses and the public. Message24 gives a business one inbox for all its social media messages, plus an AI agent that answ…
The Multitasking Trap ~ Andrea Canton
AI coding agents tempt us to fill every wait with another task, or to trade quality for speed. Some thoughts on multitasking, Slow Productivity and Kent Beck's view on quality, and why waiting is part of the work.
Giving Muse access to my iMessages · Sid
How I built a private iMessage archive for Muse with Railway, Tailscale, and a Mac uploader.
][✓ nobloat/poll
I get it, no one wants to be responsible for screwing up critical security, so authentication has become scary.
You can have a test for a method that executes an SQL query, but it won't tell you if the query is actually correct. Seeing a 100% coverage for it is a false assurance. You actually have to test your query against a real database.
Use the Tello's GameSir T1d controller as a Linux gamepad
The T1d speaks its own Bluetooth LE protocol instead of HID, so no OS sees it as a gamepad. A Python bridge turns it into a virtual Xbox 360 pad, with calibration for worn sticks.
The little iPod that could |
Ramblings about anything that interests me - mainly Music, Cars and Programming.
I'm sorry, but you still have to think
Written by Piotr Sarnacki on October 11, 2026
Nial – Knowledge work and artificial intelligence.
Persistent workers, memory reuse, and the dependencies that survive fusion. Why an improved megakernel still lost to optimized separate kernels.
Email isn't personal anymore. Inboxes are flooded with automated mail, and real messages from real people are hard to find. We need a government-level verified email standard.
DevilutionX research notes
The unreasonable effectiveness of VEX in NixOS
We explore why NixOS is uniquely positioned to implement a scalable process for vulnerability management.
HP LaserJet Enterprise printers ship with a self-signed certificate and no ACME client. Mine now serves a Let’s Encrypt certificate on its admin page and on IPPS/AirPrint, and a small Alpine container on Proxmox renews it every two months without me touching t…
Changelog 32 - Slick Seventeen, Awesome Applications, Universal USB Tools
You know what's funnier than 24?
Welcome to the IRCv3 Working Group. We're a group of IRC client and server software authors working to improve the IRC protocol.
I've made a new video. It is just one minute. You will like it. It's a good video. You can also share it because it is a good video. Part two is 2 minutes long.
Service Health & Status Dashboard
Most up-to-the-minute information on service availability, timeline & reports of Yandex Cloud
Read the article. Skip the wall. Paste a link and read it free, no signup.
2026-10-10
Don't diagnose your opponents
When you disagree with someone, there are two paths forward. The first is to try to engage with what they’re saying: what their reasons are, whether their…
Build your own decision model
"System one" decision models are models that infer and respond with calibrated probabilities or every allowed answer. Consider your everyday language model, to get typed output from it (JSON), you may use Structured Output to constrain the output to guarantee…
A city-building game about trying to get housing built in San Francisco. By Oliver Sin.
I remember hearing a while ago that Dwarf Fortress didn't use version control. That fact has been lodged in my head, because given its inherent complexity I have trouble imagining …
Bit of a niche link, but I've been waiting for this for a couple of days - I even told ChatGPT to check for it: Clone https://github.com/actions/python-versions and git pull …
this is kinda a sequel-ish to my previous post, in which i go over the math_errhandling macro, and how math error handling is done in glibc and musl (as well as how it's specified in the standard).