The euphoria of finding the perfect double entendre for your primitive
Posts by Louis Maddox
A query using the `nave build` command to build a template with "holes" (variables), narrowed to the subtree of a GitHub Actions workflow YAML where there is both the string "maturin-action" in a node and a "with.command = upload" node
Implemented query by precise path match (`with.command = upload`) in addition to coarse string match ("maturin-action"), with a flag to narrow the template result to just the subtree containing both rather than entire file
et voilà, structural config search 👨🍳
Renamed nave's subcommands to be more Docker-y 🐳
Forgot how to make the ring crate not blow my aarch64 build smoove off
It's all fun and games until you have to actually apply bulk edit ops across repos
Build system backend tally across all repos, without manually computing it, just algebraically falling out via the anti-unification of pyproject TOMLs
Free build backend inventory courtesy of Plotkin
Area man giddy off world's simplest anti-unification algo
Results of applying a simple anti-unification algorithm to the dependabot YAML configs of all my repos, showing quite clearly how many have which features
You can just anti-unify IaC
Plotkin (1970) A Note on Inductive Generalization webcms3.cse.unsw.edu.au/static/uploa...
Cerna (2023) Anti-unification and Generalization: A Survey arxiv.org/abs/2302.00277
Screengrab of Wiki page for anti-unification
"Anti-unification is the process of constructing a generalization common to two given symbolic expressions" en.wikipedia.org/wiki/Anti-un...
a clear and useful observation about AI: it is externalizing attention in the way that writing previously externalized memory. "The risk of this second externalization [is the enclosure] of perception, memory, and desire themselves." www.the-hinternet.com/p/how-to-do-...
I'm not following, Vercel was hacked via MCP?
Tweet: Vercel has reportedly been breached by ShinyHunters. As of now, nobody else appears to be posting about this, so I’m sharing what I have. Here is the information I’ve gathered, along with screenshots provided by ShinyHunters.
wowie, vercel got popped? vercel.com/kb/bulletin/...
Claude still recommends serde_yml 💀 someone should tell him
Overlay of the logo for nave on top of the output from the discover entrypoint running with a --prune flag (removing forks from the already cached repos)
we rollin
Prompting in one window and writing a blog simultaneously in another is NUTS
CUE - Configure, Unify, Execute CUE makes it easy to validate data, write schemas, and ensure configurations align with policies. CUE works with a wide range of tools and formats that you're already using such as Go, JSON, YAML, TOML, XML, OpenAPI, Protobuf, and JSON Schema.
CUE: "Configure, Unify, Execute" 🤔 github.com/cue-lang/cue
A data constraint language
Some motivating thoughts on repo fleet-level ops cog.spin.systems/fleet-ops
(´-`) .。oO( a fleet-level repo control plane would fix me… )
Separate CI test legs for --frozen and --upgrade --resolution lowest-direct
MCP Python SDK does this github.com/modelcontext...
When publishing libraries, it is recommended to separately run tests with --resolution lowest or --resolution lowest-direct in continuous integration to ensure compatibility with the declared lower bounds.
Apparently this should go in CI as a separate matrix leg docs.astral.sh/uv/concepts/...
Need to learn the ways of `uv sync --resolution=lowest-direct`
There’s definitely an argument that GitHub Notifications inbox-like design (a single feed with filters) has all the drawbacks of an email inbox, making things easier to miss
User reports, dependency update bots, long-running discussions, (…) all go in one undifferentiated mass
Woman filming out the bus window through Trafalgar Square talking to herself constantly in a hushed tone, can briefly make out "A.I.'s just told me...", incessant feed of comments coming into her stream
Landan bruv!
£11 central pints observed in the wild 🫣