reinitctxoffset

8 ms·

91.
by reinitctxoffset 3mo ago
The PRC is lapping us in everything from solar panels to electric cars to broad-based robotics and AI in real goods heavy industry. Their power grid runs at a huge margin of excess capacity and they easily bring more online because they can
92.
by reinitctxoffset 3mo ago
In the 90s and 00s when I was a kid, being a crook had real consequences here too. Not the death penalty per second, but the die in prison penalty left and right. When John Meriweather and the rest of LTCM nearly blew up the market they did
93.
by reinitctxoffset 3mo ago
Interactive use cases: the web interface, the mobile interface, the design tool. The fast variants. In an HBM bandwidth constrained setting you're dealing with something called "roofline analysis" (comes originally from NUMA
94.
by reinitctxoffset 3mo ago
Agentic workloads are the most batch friendly, latency insensitive, geography insensitive, migration insensitive tokens that a big lab ever sells. In the ads business such inventory is called "remnant". The sausage is made of what
95.
by reinitctxoffset 3mo ago
The Pentagon classifies Anthropic a supply chain risk and is appealing a ruling with vigor to reinstate the it's right to decline doing business with them. I don't know what part of this you guys are having trouble with, but it do
96.
by reinitctxoffset 3mo ago
As of writing, https://openrouter.ai/rankings shows only Opus, Sonnet, and GPT 5.5 in the top twenty by usage (Opus and Sonnet both have two slots on the 4.7/4.8 and 4.5/5 splits respectively, read that how you
97.
by reinitctxoffset 3mo ago
The assertion that it's in the United States Government's best interests ban Chinese open weight models is a very strong opinion that is not a consensus even at the fringe of Thiel-adjacent psycho thought: Alex Karp is on record a
98.
by reinitctxoffset 3mo ago
If the Trump administration decides to annoint Altman and Amodei in defiance of market forces it will rapidly discover that it no longer has the sovereign bond auction pricing power to prop them up. This isn't 1998: the Treasury has ta
99.
by reinitctxoffset 3mo ago
They're in a price war with the People's Republic of China running flat out with the full backing of a government that literally does not care if they ever see a financial return on the investment, they just want to drive the valu
100.
by reinitctxoffset 3mo ago
I hope to open source some of this soon but it's still married to quirky internal build tools and other jank. I'll make a note to come back to this comment when there's code up. In terms of process I don't know that I re
101.
by reinitctxoffset 3mo ago
I just got so fed up with Starlark trying to do a nontrivial RBE prelude that's fairly different than Meta's. I added WASM/WASI bindings and wrote the prelude in Haskell. Both the bindings and the prelude took less time than
102.
by reinitctxoffset 3mo ago
It's early days of using it as a general purpose programming language, my initial use case was using it as a metaprogramming framework that lowered into target languages with some rigor on correspondence of the lowered artifact and the
103.
by reinitctxoffset 3mo ago
I've gone from zero knowledge of lean4 to the point where I'm doing most of my coding with it in ~6 months, and this was dramatically helped by how facile the AI assist is: it's remarkable how consistently fluent models are i
104.
by reinitctxoffset 3mo ago
It might just mean "please oppose the inevitable attempts to privatize AI governance". Nothing has ever been, directly or indirectly, deficit financed at this scale before. In notional or real terms, in history, by anyone. Now may
105.
by reinitctxoffset 3mo ago
Your comment being top of thread, and you seemingly being conversant in the details of the issue, would be exceptionally well-placed to make an argument on the merits of the subject matter. Character portraits are sometimes useful, but tech
106.
by reinitctxoffset 3mo ago
The regress ends somewhere, because (barring some pretty sharp changes to the way the law works basically everywhere) ultimately someone has to certify the outcomes as acceptable. This might be in the form of the market (though AI-adjacent
107.
by reinitctxoffset 3mo ago
It's an open problem of clearly large value how to get reliably useful and trustworthy outcomes from AI systems in many domains, software is maybe the signal example of that. If one had solved it resoundingly and scaleably, one could i
108.
by reinitctxoffset 3mo ago
Not if you define the behavior. Many programming languages have robust memory models ranging from "happens before" style systems like those in Java or Modern C++ to the Software Transactional Memory system in GHC/Haskell. Cor
109.
by reinitctxoffset 3mo ago
I'm fairly close to releasing something called nix-compile, which is a type inferring Hindley-Milner compiler that unifies across nixlang and bash. It finds a lot of bugs. Because it has a very complete view of your project, it can do
110.
by reinitctxoffset 3mo ago
The only thing with a worse inflation story in 2026 than the United States Dollar is the Zero Day. Used to be a zero day got you unauthorized access to a computer system with no warning. Now it might not even get a maintainer to do a patch
111.
by reinitctxoffset 3mo ago
It would represent a pretty sharp inversion from all the progress of mathematical physics until the present. Up until the present it has been a nearly uniform march of revealed symmetries, collapsed privileged frames of reference, and other
112.
by reinitctxoffset 3mo ago
I can't signal boost this enough. I spent months, months of late nights watching commits to nvfuser and shit, I wrote a SASS decompiler instrumented everything trying to learn Blackwell. This is the first time I've seen something
113.
by reinitctxoffset 3mo ago
On modern super wide znver5 or SBSA with full-clock scalar 256 or 512 ALUs / SIMD lanes deep pipelines hight BTB pressure eyc. it's just really difficult to make a priori statements about performance for a given workload. absl::fl
114.
by reinitctxoffset 3mo ago
I was advocating for "available weight" as a value neutral term for a while. I gave up. No one cares. And no one will ever tell the truth about the training anyways. Substantial and growing freedom beats zero freedom ever again.
115.
by reinitctxoffset 3mo ago
What people aren't getting with `firecracker` is utilization. Don't get me wrong, `firecracker` is great software and it's what I'm using for lightweight virtualization, but workloads are really bursty over really short
116.
by reinitctxoffset 3mo ago
I'm inclined to believe the author, given that they were honest about the machine assist on the engineering? Why would they lie about the post and not the artifact? More broadly, I'm just getting tired of the low effort snark on t
117.
by reinitctxoffset 3mo ago
In fairness I only saw this like, an hour ago, so it'll probably be at least until after work before I start messing around with it.
118.
by reinitctxoffset 3mo ago
Pardon my shorthand. I meant open source and licensed under both MIT and GPLv2 such that distros build it alongside every other `.ko`. One imagines if anyone has an issue it's with the RISC-V blob in GSP. Now while I myself wouldn&#x27
119.
by reinitctxoffset 3mo ago
FWIW no one can tell anymore. Claude stopped doing all the LLM ticks like 6 months ago. There's a whole industry of people trying to detect LLM writing and they're getting stomped, this can be and is extremely well studied in the
120.
by reinitctxoffset 3mo ago
This is outstanding, if I have time I'll be switching over today. This is the kind of thing that could drive a truly free fork of emacs forward, it's enough better on realistic desktop displays to rally around and as the parent di

More ›