anima-core

Joined 10 months ago

Karma
39
Submissions
32
Member since
Dec 10
Independent researcher working on transformer-decoupled inference and symbolic compute. Author of AN1-Core and the Meaning Field approach. Outsider to academia, building and testing ideas in the open.
View on Hacker News

Recent submissions

Comment · 8 months ago
Comment · 10 months ago
We keep spending enormous effort making transformers run faster.

Quantization. Pruning. Speculative decoding. Better kernels. Better hardware.

All of that assumes the same thing: that every request should run the model.

I’ve been working on a systems paper that asks a simpler question first: does this request need a transformer invocation at all?

The paper introduces Meaning-First Execution (MFEE), a control-plane layer that sits upstream of the model and routes each request into one of four actions:

RENDER – run the transformer DIRECT – serve from deterministic logic or cached output NO_OP – do nothing ABSTAIN – refuse safely

On a representative replay workload of 1,000 mixed prompts, this reduced transformer execution by 75.1% while preserving 100% output equivalence when the model was invoked.

The idea isn’t to replace existing optimizations like quantization or kernel fusion. MFEE sits before all of that and reduces how often those optimizations are even needed in the first place.

What surprised me while working on this is how much attention goes toward squeezing marginal gains out of execution, while the much larger question of when execution is necessary at all gets far less focus.

The evaluation harness is public and reproducible if you want to dig into the methodology.

Thoughts?

Comment · 10 months ago
This paper introduces a minimal benchmark for testing whether an RL agent can learn a permanent safety constraint from a single catastrophic event.

The protocol uses standard MiniGrid LavaCrossing environments, fixed seeds, and forbids any training or gradient updates after the first failure. The key metric is whether the agent ever steps into lava again on unseen layouts.

A public benchmark harness is included so others can test their own agents under the same constraints.

Comment · 10 months ago
This is a short position paper that asks a narrow systems question: what changes if large transformers are removed from the runtime inference loop entirely?

The paper introduces Semantic Field Execution (SFE), an inference substrate in which high-capacity transformers are used only offline to extract and compress task-relevant semantic structure. Runtime inference then operates on a compact semantic field via shallow, bounded operations, without executing the transformer itself.

The goal isn't to propose another inference optimization, nor is it to argue that transformers should be replaced. Instead, the paper tries to separate semantic learning from semantic execution and to make explicit which efficiency arguments depend on transformer execution and which don't.

It's intentionally scoped and falsifiable. The paper states where this regime should work, where it shouldn't, and how those boundaries could be tested. It does not present benchmarks or claim universality.

I’m posting this here for technical discussion and criticism, particularly around the execution-model framing and where such a substrate transition would or would not make sense.

Comment · 10 months ago
Haha, fair play, sir. If anything induces altered states around here, it’s probably late-night debugging rather than substances.

I'm here to talk experiments, code, and results. Im ready to dive into that whenever you guys are.

Comment · 10 months ago
I appreciate this take. I largely agree with the framing, and I think this is closer to the intended reading than some of the more heated responses in the thread. (I'm understanding this is whats expected in the forum, and now I welcome it.)

You’re on point that the result is believable and not presented as some singular, world-ending breakthrough. Not at all. The point of Table 5 was to show that a surprisingly large amount of task-relevant signal survives under very strict constraints, not to claim that this alone replaces full inference or training. In that sense, calling it “nice but not shocking” is totally fair. Also making a lot of the other takes confounding more than anything.

On the 224× compression language, the claim is specifically about task-specific inference paths, NOT about compressing the entire model or eliminating the teacher. I agree that if someone reads it as end-to-end model compression, that framing invites confusion. That's good feedback and I’m taking it seriously and tightening up going forward.

I also agree that, viewed narrowly, this overlaps with distillation. The distinction I'm trying to surface (the part thats interesting here) is where and how early the structure appears, and how stable it's under freezing and extreme dimensional collapse. The paper deliberately avoids additional tricks, longer training, or normalization schemes precisely so that effect size is not inflated. In other words, this is closer to a lower bound than an optimized ceiling.

What I would add is this: believe it or not, the paper is actually intentionally conservative contrary to what the thread may suggest. It isolates one axis of the problem to make the geometry visible. There's ongoing work that relaxes some of those constraints and explores how these representations compose, persist across tasks, and interact with different extraction points. It's not ready to be released yet (and may never be released) But it does address several of the gaps you’re pointing out.

So basically I don’t disagree with your characterization. This is exactly what it is. A first, deliberately narrow step rather than the full story. Thanks for engaging with it at that level. I appreciate your time.

Comment · 10 months ago
I can see you've put real thought into your critique, and while I definitely disagree with several conclusions, I appreciate the seriousness of the discussion. Hopefully this is a good faith discussion, and we can keep it that way.

Let me start with the Motte-and-Bailey point, since that seems to be the crux of your argument.

For anyone unfamiliar, a motte-and-bailey fallacy is when someone makes a bold or controversial claim, then retreats to a weaker, safer claim under pressure while pretending the two were always the same. That's simply not what's happening here in the slightest.

The confusion begins with a misreading of the title. Which, in hindsight, I agree should have been clearer so that the work was being critiqued rather than semantics. (Although the paper is clear on this distinction.)

“Post-Transformer Inference” does not mean no transformer, nor does it mean replacement of transformers. It refers to where inference is performed in the pipeline. The transformer remains fully intact and unchanged. It's used exactly as intended. To extract representations. The contribution begins after that point.

The paper is explicit about this throughout:

The transformer is fully used and not replaced.

The compressed heads are task-specific and not general LLM substitutes.

The 224× compression applies to task-specific inference paths, NOT to the base model weights.

There's no shift in scope, no retreat, and no weaker fallback claim. The boundary is fixed and stated clearly.

On HellaSwag and the “4 classes” point, this is simply a category error. HellaSwag is a four-choice benchmark by definition. Advertising four classes describes the label space of the task, not the capacity of the model. Compression here refers to internal representations and compute required for inference, not to the number of output labels. Those are different layers of the system.

The same applies to “CUDA-compatible drop-in.” That phrase refers to integration, not equivalence. It means this work can plug into existing CUDA-based pipelines without requiring teams to rewrite or replace their infrastructure. It absolutely does not claim semantic equivalence to CUDA kernels, nor does it claim GPU replacement. The goal is to extract value without forcing anyone to rebuild their stack. That distinction is intentional and explicit.

You also cited the LessWrong essay, which I'm very familiar with and broadly agree with in spirit. It's a valid warning about vague, unfalsifiable, or scope-shifting claims in LLM-assisted research. That critique applies when claims move or evidence is absent. Here, the claims are narrow, fixed, and empirically evaluated, with code and benchmarks available. Disagree with the results if you want, but that essay just isn't describing this situation at all.

As for the flagging. That's easy. There's nothing mysterious about it. Work that challenges familiar abstractions often gets flagged first for language, not for results. Titles that suggest a different inference boundary tend to trigger skepticism before the experiments are actually read. That doesn't mean the work isn't correct, and it would be wrong to assume that.

Flagging isn't peer review. Real critique points to broken assumptions, flawed metrics, or reproducibility failures.

Again, I will freely admit the title was designed to be punchy, and while it's technically accurate, I can see now how it invites semantic confusion. That is totally fair feedback, and I will refine that framing going forward. That doesn't make the results wrong, nor does it make this a motte-and-bailey.

If you want to talk about the data, the methodology, or where this work is heading next, I'm more than happy to do that. I suspect some of the disagreement here is less about intent and more about where you think the boundary of the system is. Once that clicks, the rest tends to fall into place.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton