The Universality of the Lambda Calculus
This post demonstrates that the lambda calculus can simulate any Turing machine.
From Kagi Small Web
Discover
Wander the web like a shoreline.
Something new washes up every time: pages from all kinds of people, made with all kinds of tools. Beachcomb shows you what it found, then gets out of the way.
Pick a few topics
MindDump
Hey! Welcome to my Blog, I’m Kuber Mehta, founder of PolyThink Labs and previously TREAT (acq.) I like to build (& break) things across AI, technology, and whatever else catches ...
From Kagi Small Web
Marcin Wichary on the Mac’s quirky drag-install app windows
A blog about software craft and quality
Something different
Anil Dash’s guide to installing apps on your Commodore 64
A blog about making culture. Since 1999.
From Waxy.org links
Sonic GX turns one: the source code is now available
To celebrate Sonic GX's first birthday, I am publishing the complete source code of most of my Amstrad CPC/Plus productions, Sonic GX included.
Something different
Building a MyST authoring environment to identify things that MyST core could improve
Something that has bugged me for a long time is that [MyST](https://mystmd.org) doesn't have a lot of support for *authors* to write MyST documents more effectively. MyST documents have a ton of rich metadata inside them, but it has mostly been used for making the *reader* experience more…
From Kagi Small Web
Critical PHP remote code exploits patched, update now
PHP is a popular general-purpose scripting language that powers everything from your blog to the most popular websites in the world.
Something different
10 Hidden Costs of Cheap Software Development (And How to Avoid Them)
When businesses compare software development quotes, it's tempting to choose the cheapest option. On paper, saving thousands of dollars sounds like a smart decision. But in software, the cheapest quote often becomes the most expensive project. The real cost isn't what you pay upfront—it's what you…
From Kagi Small Web
PHP's new session warning targets one rare handler switch
PHP's October 23 notice names an uncommon session-handler sequence behind a newly tracked RCE vector. Here are the exact conditions, the temporary setting, and why upload progress alone is not the trigger.
Something different
Production bugs happen. Fix the gap, not just the bug.
Software bugs happen; how you handle them is what matters. You’ve probably heard the saying, “If you build it, you should be willing to support it.” But I think real engineering ownership goes beyond supporting what you’ve built. It’s about taking responsibility when things go wrong. I don’t mean…
From Kagi Small Web
All new Windows Phone 7.5 Mango APIs
Hi folks, In this article I’d like to present all the new Windows Phone 7.5 Mango APIs. The goal is to inform developers who aren’t familiar with Mango of what new APIs are available. Since there are “1,500” new APIs we won’t be able to deep-dive into APIs with code samples. We’ll examine the new…
From Kagi Small Web
Windows Phone 7 Development Best Practices Wiki
Hi Folks, This is a short blog post to share with you my latest project: Windows Phone 7 Development Best Practices Wiki. What’s this Wiki about? “This document represents current consensus around development best practices for Windows Phone 7. These best practices are collaboratively developed and…
From Kagi Small Web
“Software Factory” vs. “Software Garden”
Two ways to think about building software with super intelligent agents. A factory turns issues into deployments. A garden grows a living codebase. What each one gets right, where each one breaks, and what a product for each would look like.
Something different
There is NO cache
The cost of a slow language is called cache. That's why [Easy CS](https://github.com/symplify/easy-coding-standard) runs only on files changed since the last time it ran, Rector and PHPStan run only on files affected through the dependency tree since last time, and Pest has…
From Kagi Small Web
CAP Theorem and PACELC Explained in Plain English
You don't get to pick two. You get to pick which one you lose
From Kagi Small Web
No title
10/28/2026, 10:12:33 PM At the learning to program meetup, there were more volunteer helpers than learners again, so I didn't help anyone this time, but oddly enough, I ended up talking to another helper about Pure Data (he uses Max/MSP, the commercial fork) and partials. He thought that octaves…
Something different
For modders
Hey ya’ll, Just wanted to share (again) that we have a handy dandy Google Sheet tracking Maxis and custom Global BHAVs, for any modders who might be interested in making custom globals. This sheet was born from @picknmixsims’s older offline version, which I suggested moving to an online format for…
From Kagi Small Web
Build & Brass Links 004: Mundstücke, Nationalhymnen und Maven Resolver
Kuratierte Links zu Blasmusik und Apache Maven: Mundstücke, spielbare Nationalhymnen und nützliche Resolver-Konfiguration.
Something different
Astrohacker: A Super Intelligence Software Lab
This week we tried three words for what Astrohacker is: a factory, a garden and a lab. The answer is a lab, and the name has two meanings. Both of them are true.
From Kagi Small Web
How to make a systemd service
On a modern Linux computer, systemd lets you run a program and automatically restart it when the computer reboots and/or the program crashes. (Among many, many other things.) tl;dr Save a file like the following to /etc/systemd/system/myserver.service : [Unit] Description = My Python server…
From Kagi Small Web
Using a local Codex App Server from ChatGPT and the terminal
Connect to a local Codex App Server from the terminal, over SSH, or through the ChatGPT desktop and mobile apps while keeping your projects on your machine.
Something different
Writing
# Writing A note on my writing style. I write as I speak. Newest first. 2025-01-26 Efficient API Design: Avoiding Costly External Requests 2024-08-30 Exploring Goja: A Golang JavaScript Runtime 2024-07-02 Optimizing Large-Scale OpenStreetMap Data with SQLite 2023-11-15 Deploying a Rails Application…
From Kagi Small Web
PID on a Microcontroller: Making Timing Visible in a 3D Game
A follow-on to PID Flight School. The drone's roll loop runs on a simulated Cortex-M under Zephyr, so students can see what loop rate, fixed-point maths, sensor resolution and thread priorities do to a controller.
Something different
Self-Hosting a Tangled Knot Using Clan and NixOS
You can self-host your own repository on the federated code forge Tangled. With first class support for Nix, Tangled pairs well using Clan to handle the deployment.
From Kagi Small Web
What AI missed when planning an auth migration across ten applications
I turned a recent real authentication migration into a planning eval. The strongest result scored 55% completion and missed 10 critical concerns of 19. - '#engineering'
From Kagi Small Web
Func Prog Conf 2026
Last Wednesday The Wednesday before last (fine blogging takes time to cook, you know), I attended Func Prog Conf here in Stockholm. It was my first time at the conference, having missed the inaugural instantiation last year somehow. In fact, I would have missed this year as well had not Arne texted…
Something different
PID Flight School: Teaching a Control Loop as a 3D Game
I turned the PID demonstration from my Connected Embedded book into an eight-mission 3D game with Claude Code. This short post is about what that means for teaching.
From Kagi Small Web
PHP Troubles
The recently published PHP vulnerabilities also affected this host (as, unfortunately, wordpress is written in PHP). I did not update the debian system on TheTheoreticalDiver for far too long. The price was that it did not have the required updates for PHP available anymore and thus I had to update…
Something different
That's this stretch.
Walk on