frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Makefiles, Metalanguages, Matrioshka Automata

https://robot-wranglers.github.io/compose.mk/
1•robot-wrangler•13m ago
Immediately buried last time, so reposting for your lazy Sunday.

This project is a strange labor of love, practically guaranteed to inspire horror and delight. It's also tough to summarize. Partly it's very practical and involves familiar tools, but part of it is also a new programming language with esolang roots. I'll start with the practical and move towards the peculiar.

The one-sentence summary: compose.mk brings docker-fluency, polyglots, and a capable standard library to Makefiles. A more in-depth elevator pitch from the main landing page is below, and some related links at the end in footnotes 1-5.

> Meet compose.mk, a tool / library / framework for Makefile-based automation, scripting, and lightweight orchestration. Native support for docker, docker-compose, workflow primitives, JSON IO, TUI elements, and more, all provided by a single file with no dependencies beyond what's already in your development environment. Typical use-cases include general project automation, especially decoupling your CI/CD from different kinds of platform lock-in. Other superpowers include the ability to quickly incorporate foreign tools and foreign code as first-class objects, which provides unique and powerful capabilities for quickly assembling console applications, systems prototyping, and component-oriented design experiments in general. Definitely not the Makefiles of your ancestors.

Here's where it starts to get more weird and fun. Building the ideal environment for zero-dependency automation and pesky "glue code" moves in a certain direction. So it happens that compose.mk moonlights as an interpreter / compiler / packaging tool for a new kind of programming language. CMK-lang (or just CMK) is multiparadigm with diverse influences, from functional to concatenative, ultimately specializing in things like extensibility, interoperability, DAGs, and dispatch. CMK is a superset of Makefile that can be transpiled to vanilla Makefile. And it is what is known as a matrioshka language. Paraphrasing the definition from esolangs-wiki:

> A matrioshka language is formed by bundling one or more meta-languages with one or more language descriptions. They can be identified by their program forms, which have multiple, distinct 'phases' with different syntactic and semantic rules. There are often two phases; the first gives a set of rules, and the second provides objects on which those rules are to be applied.

In CMK-lang, matrioshka "objects" are things like container-runtimes or foreign interpreters, and "rules" are DAGs in the form of tasks, task-groups, or foreign code. For those interested in matrioshkas and topics in PLT, I suggest the alternate landing pages at footnotes 6-9.

Love it or hate it, I think you'll agree that compose.mk is easily the biggest, baddest, most highly powered mutant Makefile the world has ever seen. If it helps you can think of CMK-lang as a PoC that's waiting for another back-end implementation ;) Playing around with it has convinced me though that the gap is real, and the world really needs containers-first matrioshka languages that work locally, and aren't tightly coupled to bulky remote platforms or infrastructure. It also needs languages that are capable of aggressively reusing and recombining existing code and existing tools.

[1]: https://robot-wranglers.github.io/compose.mk/standard-lib [2]: https://robot-wranglers.github.io/compose.mk/bridge [3]: https://robot-wranglers.github.io/compose.mk/container-dispa... [4]: https://robot-wranglers.github.io/compose.mk/demos/polyglots [5]: https://robot-wranglers.github.io/compose.mk/json [6]: https://robot-wranglers.github.io/compose.mk/matrioshka [7]: https://robot-wranglers.github.io/compose.mk/language [8]: https://robot-wranglers.github.io/compose.mk/compiler [9]: https://robot-wranglers.github.io/compose.mk/demos/packaging

PlayStation Portal

https://en.wikipedia.org/wiki/PlayStation_Portal
1•tosh•1m ago•0 comments

Raycast for Windows

https://www.raycast.com/blog/raycast-for-windows
1•pentagrama•2m ago•0 comments

Bagaimana Cara Menghubungi Lion Air

1•ezraryan•2m ago•0 comments

Call Center Lion Air Surabaya

1•ezraryan•3m ago•0 comments

Call Center Lion Air Denpasar

1•ezraryan•4m ago•0 comments

You are likely to be eaten by the MIT license: Microsoft frees Zork source

https://www.theregister.com/2025/11/21/microsoft_zork_source/
1•pseudolus•5m ago•0 comments

Calculus for Mathematicians, Computer Scientists, and Physicists [pdf]

https://mathcs.holycross.edu/~ahwang/print/calc.pdf
1•o4c•7m ago•0 comments

Ask HN: Good resources to learn financial systems engineering?

1•_1tan•8m ago•0 comments

Kraig Biocraft Laboratories Announces Bam-1 Spider Silk Hybrids in Production

https://www.textileworld.com/textile-world/fiber-world/2024/06/kraig-biocraft-laboratories-announ...
1•rawgabbit•9m ago•0 comments

Show HN: StoryStory – AI-generated illustrated and narrated children's stories

https://www.storystory.online/
1•samuelaidoo45•10m ago•0 comments

A software synthesizer modellled on Yevgeny Murzin's ANS synthesizer

https://github.com/frankenbeans/MZ2SYNTH
1•PaulHoule•10m ago•0 comments

GPT-5.1-Codex-Max is taking on Gemini

https://www.augmentedswe.com/p/gpt-5-codex-max
1•wordsaboutcode•12m ago•0 comments

Show HN: Makefiles, Metalanguages, Matrioshka Automata

https://robot-wranglers.github.io/compose.mk/
1•robot-wrangler•13m ago•0 comments

A Battle with My Blood – Tatiana Schlossberg

https://www.newyorker.com/culture/the-weekend-essay/a-battle-with-my-blood
1•pseudolus•13m ago•1 comments

Jailbreaking LLMs via Game-Theory Scenarios

https://arxiv.org/abs/2511.16278
1•belter•16m ago•0 comments

Internet Protocol over Avian Carriers (1990)

https://www.rfc-editor.org/rfc/rfc1149
2•wmichelin•18m ago•1 comments

Show HN: Bindu – an auth, payment, and communication layer for AI agents

https://github.com/GetBindu/Bindu
1•ai_biden•20m ago•1 comments

73% of AI startups are just prompt engineering

https://pub.towardsai.net/i-reverse-engineered-200-ai-startups-73-are-lying-a8610acab0d3
2•kllrnohj•21m ago•0 comments

Metrik – Real-time LLM latency for voice agents and free API

https://metrik-dashboard.vercel.app/
1•mbouassa•21m ago•1 comments

Show HN: Jabcode Studio, high-density QR-like 2D barcodes for sharing files

https://jabcode.studio
1•jabber-feller•23m ago•1 comments

Show HN: AI Factor Model Stock Screener

https://sophistia.ai
1•valeagent•23m ago•0 comments

Paris court blocks auction of earliest-known calculator

https://www.bbc.com/news/articles/c2kpkq90ygno
1•pseudolus•25m ago•2 comments

Mount Proton Drive on Linux using rclone and systemd

https://github.com/dadtronics/protondrive-linux
1•cf100clunk•26m ago•0 comments

Full-Time Work Is Increasing Among Married Moms

https://ifstudies.org/blog/full-time-work-is-increasing-among-married-moms
1•skx001•29m ago•0 comments

BOM's new boss asked to examine $96.5M bill for website redesign

https://www.abc.net.au/news/2025-11-23/bureau-of-meteorology-new-website-cost-blowout-to-96-milli...
1•NvrBeenToAus•32m ago•1 comments

We stopped roadmap work for a week and fixed 189 bugs

https://lalitm.com/fixits-are-good-for-the-soul/
1•lalitmaganti•32m ago•0 comments

Gov. People Announces 6 Critical Tech Areas for the War Department

https://www.war.gov/News/Releases/Release/Article/4333074/under-secretary-of-war-for-research-and...
3•donutloop•37m ago•0 comments

Show HN: Reduce time debugging AI slop in prod

https://github.com/dingus-technology/DINGUS
1•SleepyWalrus•37m ago•0 comments

Interviewing Andrea Borman [video]

https://www.youtube.com/watch?v=iLpIzfZ_2zI
1•spacebuffer•37m ago•0 comments

Gabe Newell: "We don't worry about Piracy" (2009) [video]

https://www.youtube.com/watch?v=Imf-QeQCexk
1•uyzstvqs•37m ago•0 comments