Program-as-Weights: A Programming Paradigm for Fuzzy Functions
simonpure
49 points
5 comments
July 03, 2026
Related Discussions
Found 5 related stories in 524.0ms across 14,015 title embeddings via pgvector HNSW
- Methods in Languages for Systems Programming (2023) surprisetalk · 17 pts · March 16, 2026 · 48% similar
- Inkling: Our Open-Weights Model vimarsh6739 · 850 pts · July 15, 2026 · 47% similar
- Functional programmers need to take a look at Zig xngbuilds · 54 pts · April 30, 2026 · 47% similar
- Can Programming Be Liberated from the von Neumann Style? (1977) [pdf] tosh · 21 pts · March 22, 2026 · 47% similar
- Programmable Probabilistic Computer with 1M p-bits rbanffy · 48 pts · June 28, 2026 · 46% similar
Discussion Highlights (4 comments)
jsenn
This looks cool, but I wonder how well their trained compiler generalizes to new task families . They trained on 29 specific types of tasks, with 800 sub tasks and many rephrasings of each one (the specs). They hold out some specs for validation, but don’t seem to have held out a full task family and maybe not even full sub tasks? If the compiler can’t generalize well to unseen tasks then it’s effectively acting as a fancy router to one of 29/800 predefined LoRAs.
mathisfun123
> PAW reframes the foundation model from a per-input problem solver into a tool builder: invoked once per function definition, it produces a small reusable artifact whose subsequent calls per function application are cheap and offline. Umm you can just get the LLM to spit out real functions instead of fuzzy functions and just run those real functions through real interpreters, which is also "cheap" and "offline".
bobajeff
I like the goal of this. As expected, I don't really understand the math/concept of this. It sounds like it caches some neural network activity and exports it to be run later. So I suppose this can't be used for things like image or video generation.
BobbyTables2
Despite the appeal of such an approach, I find this extremely unsettling. Imagine if we had declared that Math for FIR filter design in Signal Processing was too difficult, so we’d just test random FIR coefficients until something good came out. That sounds pretty horrible but at least the frequency response of the resulting filter would be known. We’d at least understand the behavior of the final product. With LLMs, we don’t even know what we’re getting out of it. (And no, I don’t see anything wrong with adaptive filters and such. Their behavior can still be quantified)