HNHacker News
TopNewBestAskShowJobs

reinitctxoffset

129 karma · joined June 11, 2026

// dark // factory //
submissionscomments
reinitctxoffset··on Linux kernel will support $ORIGIN, sort of
You've just used a personal attack to shout down someone who disagrees in good faith over a distinction you simultaneously describe in your own words as "something you could achieve other ways" (yeah, more than a little bit) referencing an artifact that "is a symlink", "on my nix box".

The only thing I attacked are named instances of regrettable community malfunctions stripped of anything personal to an individual that hurt both current users of Nix and people who might experiment with systems they can reason about, saw an interaction like this, and did something less painful with their day. Because my evident and sincere concern for the future of Nix is framed as stark disagreement over a few particularly sacred cows.

At least on `comp.lang.lisp` you got your middle finger alongside a worthwhile education:

"There are some things in life that you do not do if you want to be a moral being and feel proud of what you have accomplished."

- Erik Naggum

reinitctxoffset··on Agent swarms and the new model economics
It's cool stuff, but I think mostly in an aspirational way right now. The tired cliche hit on the tired cliche claim will be "but sqlite is in distribution" which will miss the point, that objection dissolves at the precise point where it would have operationalized: novel software of value. Is SQLite in the train set, yeah. Does that matter? Only if someone is willing to pay for Rust SQLite as something other than marketing.

It's cool but I'd rather know what their most successful users are doing, and how they measure that.

reinitctxoffset··on Linux kernel will support $ORIGIN, sort of
The privileged path is already there. `/usr/bin/env` is no different from `/bin/bash`, `/bin/sh`, or any other ELF artifact at a known place. The argument is made, the argument is spurious. It is made in the other direction regarding the driver run path, just as religious, opposite ruling from purity court. No one even knows why, the trail goes cold in a mysterious 2012 commit about Mesa, it's literally a performance to bring the plane cargo back. Receipts for claim: #141803.

Disagreeing with you doesn't make something a rant. If it's not clear how deep my Nix expertise is I will demonstrate it to any level you like: I'm just as entitled to an opinion as you are and I would appreciate it if the nixpkgs community was a little less rude to anyone who disagrees with some dogma no matter their knowledge. The nixpkgs community is not regarded as healthy or friendly after an internecine faction war that split three ways twice, producing four implementations none of which work, and if that reputation is ever going to mend, it will be because less than every Nix person has precisely zero chill the nanosecond anyone disagrees with them about anything.

reinitctxoffset··on Linux kernel will support $ORIGIN, sort of
You have the right idea but the wrong specifics. The boundary you're alluding to isn't the kernel/userspace boundary, it's the `libc` boundary, which is admittedly privileged by convention if not by Ring 0.

On most Linux systems this is regrettably `glibc` (in a container where you get to choose everyone chooses the superior option of `musl`), on all Darwin systems this is `libstandard`.

This thread is more concerned with Linux, so you are probably dealing with `/lib64/ld-linux-x86-64.so.2`, which operates in userspace but is by convention and opacity quite clearly part of "the system".

The kernel modification is a much bigger, much weirder side effect of a weird Nix loyalty test around shebang lines in shell scripts, on which is has opted to be intentionally and violently incompatible with everything for no benefit other than incompatibility.

reinitctxoffset··on Linux kernel will support $ORIGIN, sort of
The correct fix is to store the metadata outside the CAS, in for example, the loader, which can trivially delegate to another loader (does on my machine now).

bazel's wrong solution is $ORIGIN, Nix's wrong solution is "floating" CA / "realizations".

The technical debt / precedent argument doesn't apply: Nix never had this bug (for once), you the choices on this bug are 1. port the bazel bug to Nix 2. don't port the bug.

I predict... the bug is a shoe in, the bug lands eight days a week.

reinitctxoffset··on Human mathematicians are being outcounterexampled
It's probably not quite that dramatic yet, though it seems possible it will get there, maybe even soon.

There's no structural reason to expect acceleration any more or less than an asymptotic behavior (if even that, acceleration is probably the bigger ask). Different problems yield to a new solvent, maybe that's also more, but it could go either way and we definitionally don't know yet because we don't understand the convexity of AI capability, we cannot directly access it interiority, we don't know if it's sandbagging (other than that it does sometimes, it can). It's an emergent phenomemon that might actively resist measurement. Or it might be as predictable as a clock in a few years.

No one knows, or if they do, they aren't talking. The loud people don't know anything.

reinitctxoffset··on Human mathematicians are being outcounterexampled
Seems like a breakdown on the incentives / imperatives in the field? I hope that's not an over bold guess from a non-mathematician.

Couldn't people in principle continue to study a problem that's only been shown to break at one point? Prove something adjacent, or slightly weaker, or elaborate the counter example into a powerful explanatory framework?

reinitctxoffset··on Human mathematicians are being outcounterexampled
I can recommend without reservation the book by Simon Singh, at least for a lay audience (don't know how an expert would experience it).

It's understandably the natural place to get the dramatic tension from what at least purports to be a sober account with some momentum. It's reasonably consistent with the way it's treated on the lectures I've seen from Sir Andrew Wiles on YouTube.

It sounds like a nightmare. He had intentionally set the proof up in a high stakes way, working in private, very quiet on what he was really doing. I gather this is not the done thing, eccentric at best kind of vibes, and I think by that point it was almost crackpot adjacent to even try seriously. His advisor forcefully pushed him off even trying earlier. So it's compound on the stakes. The beg reveal is intentionally as dramatic as possible. And then the questions start to land, most are minor clarifications, notation deficits, but one is sticky, one won't go away.

Kept me up late reading about it.

reinitctxoffset··on Incremental – A library for incremental computations
Kobe!
reinitctxoffset··on The Zen of Parallel Programming
I'll contend that any Rust build involving Cargo is bloated and slow. `rustc` is impressively slow on a translation unit basis, and Cargo is basically a build recursion bingo card. Throw in about 900 micro point releases in flight at any given time?

If you're not running an elite `bazel` or `buck2` RBE with `nativelink`? You're not even playing.

reinitctxoffset··on Hacker wipes Romania's land registry database
I'm sure it's obvious to anyone living in a corrupt/oppressive regime, but in case it's not obvious to everyone.

Corruption and oppression are signaling and coordination problems. The illegitimate sovereign is exploiting informational assymmetry: they know your neighbors are just as angry as you, they know it because all the walls have ears.

They need to prevent you and your neighbors all knowing it at the same time. Your best play is to find some signal, something difficult to censure, hard for the goons to pick out in a crowd but legible to your neighbors. If you all knew that the first guy to shove back when the cop shoves you is going to be followed by a swarm of guys? Very easy to find the first guy in that case.

This is why shit like extremely high gas prices scares the shit out of illegitimate sovereigns: they're the ones posting pure data about why everyone should be that angry right now.

reinitctxoffset··on The Zen of Parallel Programming
There are low-insensity regimes where it's all Python or whatever, and if you're in one, great.

When you're dealing with multiple platforms, or hardware accelerators, or mostly all of economically relevant shit in the AI era you don't get a small, clean, fast build.

Fable can't print a Tauri faux-native app without dragging in half of LLVM.

reinitctxoffset··on The Zen of Parallel Programming
I think it's kind of fun now. Agents can interact with Linear. I'm still playing around with like does an issue achieve anything? What is the fastest way to get a bug from the observing session to the originating session?

But it's secondary.

The wall is build. If you can AI program, your problem is the build is too slow, too unreliable, not secure enough from a supply chain standpoint.

That is where one competent senior hacker tops out today. The agents are yielding to a CI that gets 35% per-vCPU occupancy.

The wall right now is skill or build, depending on your skill.

reinitctxoffset··on Claude Code uses Bun written in Rust now
I think it makes sense that when you've outlawed competition for many/most users of your product's matching service that you would cheap out on it if you were maximally extractive and took no pride in your work, sure.

But the "coding is mostly solved" narrative kinda doesn't match right? If good, correct, high-performance software is like, free now? Wouldn't you want it to be slick as hell, really reliable, all that? Even a little breakage costs a lot of money at that scale and pricing, it would be better than a wash if you put the magic code thing on the case.

"Claude. Do all employee work. Make no mistake. Notify in slack when revenue is double."

reinitctxoffset··on AI Mania Is Eviscerating Global Decision-Making
I don't think anyone's disputing that the models are better than a year ago (though clearly all this, recursive self improvement stuff is utterly hypothetical and that's being generous, most of the progress has been on cost and fit and finish stuff). When it's on the plan, I'll use Fable for some stuff. If I'm paying for Opus? It's 4.5 or 4.6 which were dramatically better aligned and token efficient in the trace at a capability gap that's "you win some and lose some".

That can be true while it also being the case that to someone who has no idea how this stuff works under the hood, it's basically Dunning Kreuger in a box. The next person to go /u/PhdInEverything on me with Fable is getting an education in the history of hardware support for mixed precision training or something. Fable is a masterclass in refusal to ground and a dozen other alignment catastrophes.

So yeah, the models are still getting a little better, but from here out I think it's rapidly becoming a skill game.

reinitctxoffset··on OpenAI reduces Codex Model Context Size from 372k to 272k
You can mad customize it if you're willing to set up like, oh my pi or whatever.

I didn't quite get it tuned up enough to be a daily driver but I'm basically sure it can be hotrodded however you want. It comes out of the box with like four different vendor hostile compact strategies, including compacting into images at the smallest size Claude can read, which the "coding is basically solved" geniuses conveniently leak the resolution heuristic out of their website along with all the other side channels they print for the MSS.

reinitctxoffset··on AI Mania Is Eviscerating Global Decision-Making
As a vocal advocate for the use of machine intelligence in certain contexts and a skeptic of claims they are useless or always hallucinate or whatever...

It hasn't been even close to even the recent claims! It's been like three straight years where it was supposed to utterly transform society any minute now.

I think we more or less have a fragile consensus that in like, computer programming and really very little else, that on a good day you're probably going to come out ahead with the AI assist. That seems relatively uncontroversial now. But it also seems like success with AI is largely about working hard to get good at it, as a first order concern. It is not at all obvious that blind, uncritical use by anyone is a net win.

It's pretty unclear, sone might say dubious, that anyone has made serious, aboveboard money net of debt and equity, other than the hardware vendors. There's some pretty serious revenue, but it's a drop in the proverbial bucket against the outlay. There like a two trillion dollar balance sheet hole in the US alone where investment into AI has gone.

While I personally don't agree with them, multiple S-tier machine learning researchers think we've got our wheels stuck in the mud, that autoregressive decoder architectures on a tokin-suffix pre-train is tapped out as a paradigm.

It's ok to say "AI is starting to get useful in pretty durable ways" and not sound like an Anthropic shareholder/employee, i.e. completely full of shit.

reinitctxoffset··on The Kimi K3 Moment
I think you're right to point out that historically the rule of law in the United States has been very robust by the standards of whatever era, it's been a tremendous advantage in attracting business and capital and talent, it's good stuff.

But we've gone through some pretty weird times too. Turn of the last century was pretty tech billionaire edits, reconstruction was uh, not smooth, it's a mixed bag.

And most takes I hear seem to acknowledge that this is one of those weirder times: serious election fraud rhetoric from most everybody from 2016 to the present, very politicized courts (on both sides to be clear), very soft on anti-trust, very soft on adventurous accounting. The Epstein files and like, no consequences (pretty much uniquely for a developed nation with Epstein people). It's weird right now.

And I think I would be hard pressed to think of a weirder part of this weird time than the rule of law meets AI. We can haggle on where laws end and norms begin (stare decis being maybe the midpoint), but in the 90s, the Justice Department got their brass knuckles on for a lot less.

I don't think it's a simple "the law works nothing to see here" story.

reinitctxoffset··on The Kimi K3 Moment
When you net out across benchmarks and firsthand reviews it seems like it's maybe a little behind. There seems to be a consensus it's token hungry and a little slower. So maybe it's a point release behind.

That's weeks maybe months behind, not months maybe a year behind. It's "would my life really change if Claude was gone, not really" behind.

I actually haven't used it much, because Claude started kicking ass again the last few days. Like, way too much of a difference to be normal load-based variance. I got more done in the last 48 hours than week before that.

So, fuck yeah competition.

reinitctxoffset··on The Kimi K3 Moment
Eh, I think you've done a pretty good job summarizing a collection of settlements with a few narrow bench rulings for seasoning. I'm not sure I follow you to it being a coherent legal theory. Buying a book in a bookstore is sure legal, and excerpting from it for e.g. literary criticism is pretty settled. Downloading every torrent of all e-books ever is pretty clearly illegal (or at least it fuckin would be if I did it). Pretty sure like, multiple labs have been popped for that though.

Situation right now seems more like a fragile detente: if you got a Hill staffer drunk and hounded him long enough he'd probably be like "God damnit the market will fucking tank if we don't get these two IPOs out north of a trillion. And don't even get me started on how I'm going to sell Chinese AI to a Senate that still calls people Nipponesians when no one is looking. We're doing the best we can alright, get off my back man."

We have a situation, but it's not exactly A&M Records, Inc. v. Napster.

reinitctxoffset··on The Kimi K3 Moment
How is distillation an "attack" but gigascraping the Internet to the point of crashing servers and everyone needs Cloudflare and Anubis now not an "attack"?

I'm not aiming for a what about kickflip here: I'm saying we need to either agree on some rules or stop crying foul. Maybe the coherent legal theory is that neural networks and intellectual property don't interact. That would be weird but it would be consistent, a market could price it, I could do coding stuff and know if I was illegaling.

But this weird gerrymander that no judge will really rule on in an emphatic way is like, bad for the planet, bad for markets, bad business.

There are a lot of reasons to look forward to DeepSeek Huggingface drop kicking the unambiguous frontier weights in like, November, but I think my favorite one will be "who's distilling now bitch?"

reinitctxoffset··on MacKenzie Scott's giving, in quality-adjusted life years
Given she was also on the fast track at D.E. Shaw in the mid nineties she was going to be a lot fucking richer than you no matter who she married.
reinitctxoffset··on Shipping OpenStrike: A Counter-Strike-Shaped FPS on a 2004 Handheld
Most HN click bait was pretty fuckin illegible ten years ago.

I'm not saying Claude's take on the HR manual corpo speak is Ralph Waldo Emmerson, but maybe your issue is with the kind of click bait shit that front pages in any era?

reinitctxoffset··on Kaiser nurses say AI, surveillance are making their jobs and patient care worse
“There is always a point at which the Amodei ceases to manipulate the media gestalt. A point at which the capital misallocation may well escalate, but beyond which the Amodei has become symptomatic of the capital markets themselves. Amodei as we ordinarily understand it is innately media-related. The Hangzhou hackers differ from other AI engineers precisely in their degree of self-consciousness, in their awareness of the extent to which media divorce the act of giving Amodei fuckin money from the original sociopolitical intent.”
reinitctxoffset··on The state of open source AI
Publishing science makes progress in a field faster, almost always.

I'll stop short of saying that this is totally consensus, but it's at least a widely held opinion that the Industrial Revolution was centered on Great Britain to the degree that it was not for want of skilled machinists on the Continent, but because the crown's patent system caused the science to be published.

I think the economical explanation is that some combination of the state, the cultural norms, and the sincerity (!!) of the executives involved has landed on "go faster via publishing science".

The weird situation that defies precedent and is very hard to justify as being socially useful is the situation that obtains here.

reinitctxoffset··on Are we offloading too much of our thinking to AI?
I'm acutely aware that even 6-12 months off the keyboard is brutal to come back from, it's a real issue now because there are pockets of work where the agents can drive the whole thing. If you just autopilot there? The comprehension and skill debt becomes really hard to pay down in as little as a week or two for the really high complexity stuff.

I try hard to keep a serious feature branch going on every project where I'm driving it in emacs or vscode or whatever. `gptel` is great for this because it can tool call for the docs, be a super search engine like Google used to be but you're keeping your reflexes up, keeping the comprehension debt under control.

For me this is almost exactly like being in an EM role: it's so easy to lose track of the details, you have all these other demands on your time, there's pressure to grow headcount, and the costs of letting the skills slip is all but invisible for a while. But before you know it you're rubber stamping stuff you don't really grasp, you're not able to help people who are having trouble in the codebase, it's all bad. And depending on why you got into this business, it can become pretty joyless to be totally out of the loop.

Now every engineer has to navigate this. It's going to be interesting.

reinitctxoffset··on I love LLMs, I hate hype
I think we're fundamentally reading from the same sheet of music but drawing different conclusions.

Mixture models have compute advantages at training time, everyone agrees about that, that was the original rationale (popularized at the time with `mixtral-8x7B` among others). This seems to be likely to remain an economically relevant strategy for (especially) pretrain: in a training setting you have already paid for fast interconnect at scale, a dense architecture doesn't buy you anything in a big pretrain and it costs you a lot of traffic and to a lesser degree batch size under the roofline. The heavy, FLOPs intense, interconnect intense parts of training run benefit enormously from MoE: I don't dispute that though I suspect we are well into convergence on the target precision (4) and the target format (NVFP4 or similar). At some point the whole Internet is in the pretrain at the terminal generalizing precision, the pretrains of the various labs start to look a lot alike, and the sauce remains in the later parts of training along with the proprietary data sets and what not. Frankly all the labs would benefit from standardizing the Common Crawl recoverable pretrain to greater or lesser degree, it would lower everyone's costs without changing the competitive landscape much. But that's my prediction/opinion, that's why I said "suspect".

The evidence is suggestive if not fully conclusive that mixture models are strictly losing in most regimes during inference: the exemplar of Qwen3.6-27B (which outperforms Alibab's own mixture model at ~ ten times the size) is very suggestive, and it's not the only argument for this. Because most/all modern MoE requires the activations of the previous layer before routing the subsequent experts, you are pretty much paying for the HBMe3 or GDDR7 to hold the whole thing even though some small fraction of it is under your roofline on any given token or draft verification.

This is grossly wasteful under all trajectories (even parity at N parameters between dense and MoE, which we have evidence is off by 1-2 orders of magnitude): in a "local LLM" setting (from bedroom to regional office, anything other than an NVL72 or Ironwood rack) you are sharply constrained by both total available accelerator DRAM and accelerator memory bandwidth: you are probably not getting under your roofline even with pretty slow tensor units (e.g. GB10). This use case matters and looks like it's going to matter more and more over time (the GB10 in particular is going into about a gigaton of RTX Spark laptops next year). In a datacenter setting, you're paying for extreme interconnect (training class hardware setups basically) for pure forward pass that wouldn't otherwise need training optimized gear. Even multi-trillion parameter dense models can fit in 8x or 16x RTX 6000 Pro style setups (hell, there's a DGX branded one) and with all of the geometry, tiling, scheduling, and interconnect needs mapped out up front, the design space is really forgiving on all manner of tensor parallelism, pipelining, KV cache sharding, it's a very friendly constraint space up to like, 3-5T parameters. MoE at inference time works for two groups of people: people who are willing to page experts in per token/draft batch in local LLM settings (not probably ever going to be mainstream, people really dislike that level of slow), and the vendors of extreme performance interconnect i.e. vendors selling training-class equipment as necessary for inference. And you pay in so many other ways: grouped GEMM is no one's idea of a good time, the kernels are fiendishly difficult, therefore they are not abundant, it's no fun.

The path forward here is non-obvious, and I don't claim to have it all figured out. But since you seem interested enough to carry the conversation past the pleasantries, a more substantial version of my thoughts on the matter can be found at: https://cdn.s4.gl/preprints/pairwise-interlock.pdf

reinitctxoffset··on MacKenzie Scott's giving, in quality-adjusted life years
Hard to square these guys antics with the whole meritocracy of wealth business. Losing half your empire falling for a uh, socialite, on a business trip to LA? Tagged in a log book on the way to an island of ill repute? Getting high out of your mind and picking a fight with your boss who is the President?

These are depressingly average ways to screw up. Been there done that, but I don't claim to be John Galt either.

reinitctxoffset··on MacKenzie Scott's giving, in quality-adjusted life years
I think a great many women and a great many economists (and women who are economists for that matter) would take issue with the notion that raising a child is the alternative to being productive.

Ask any policy maker in South Korea how they feel about the social value in raising children. It's not a film adaptation of a book starring Clive Owen and Julianne Moore, it's 2055 or thereabouts in the China, the US isn't so far behind.

reinitctxoffset··on MacKenzie Scott's giving, in quality-adjusted life years
Speaking for myself, just knowing there is someone in the billionaire class who is still an incandescent beacon of humanity, humility, and hope has in some nontrivial way increased the quality of my years since she started on this path.

She is an existence proof that a now-inevitable extreme inequality regime is not by construction maximally cynical and extractive.

← PreviousPage 2 of 6Next →