François Chollet: The Arc Prize and How We Get to AGI [video]
Baba Is Eval
3rd of July, 2025 Your browser does not support the video tag. Baba is You is a sokoban puzzle game where the rules themselves have to be manipulated to win. (For the uninitiated, the store page should explain the idea best.) The level of abstraction required to solve most levels makes it a formidable reasoning […]
Where is my von Braun wheel?
In 1962. There — that answers the clickbaity title right away. NASA had viable designs for rotating wheel space stations that could have given astronauts artificial gravity. Then, the Apollo program effectively killed them. While NASA’s lunar focus delivered the historic moonshot, it dismantled a promising engineering effort at Langley Research Center that might have […]
Kyber (YC W23) Is Hiring Enterprise BDRs
At Kyber, we’re building the next-generation document platform for enterprises. Today, our AI-native solution transforms regulatory document workflows, enabling insurance claims organizations to consolidate 80% of their templates, spend 65% less time drafting, and compress overall communication cycle times by 5x. Our vision is for every enterprise to seamlessly leverage AI templates to generate every […]
The uv build back end is now stable
Note Currently, the default build backend for uv init is hatchling. This will change to uv in a future version. A build backend transforms a source tree (i.e., a directory) into a source distribution or a wheel. uv supports all build backends (as specified by PEP 517), but also provides a native build backend (uv_build) […]
CoMaps: New OSM based navigation app
Exciting News! We’re thrilled to announce the release of CoMaps to Google Play Store, Apple App Store, and F-Droid! CoMaps Highlights Offline Search and Route: Plan and navigate your trips without internet Saves battery: Efficient design that does not drain your battery Privacy-respecting: no identify people, no tracking, no data collection Free and No Ads: […]
Tools: Code Is All You Need
written on July 03, 2025 If you’ve been following me on Twitter, you know I’m not a big fan of MCP right now. It’s not that I dislike the idea; I just haven’t found it to work as advertised. In my view, MCP suffers from two major flaws: It isn’t truly composable. Most composition happens […]
Building Linux kernel on macOS natively
I’ve recently added a Linux compatibility layer to Starina operating system based on a lightweight VM approach similar to WSL2. I can cross-compile its init program with Cargo. I can prepare a container image contents using skopeo. However, I need to build the genuine Linux kernel, preferably on my daily driver: macOS. The most common […]
Take Two: Eshell
This is a contribution to the Emacs Carnival 2025-06: Take Two collection of posts on Christian Tietze’s blog. My first take with Eshell many years back did not leave a good impression. My early expectations was that it should act like any other shell, only to be unpleasantly surprised by it. It took a long […]
I scanned all of GitHub’s “oops commits” for leaked secrets
TL;DR GitHub Archive logs every public commit, even the ones developers try to delete. Force pushes often cover up mistakes like leaked credentials by rewriting Git history. GitHub keeps these dangling commits, from what we can tell, forever. In the archive, they show up as “zero-commit” PushEvents. I scanned every force push event since 2020 […]