Modern games struggle with readability which is why there is a trend to paint interactive objects yellow. So arguably the realistic visuals are interfering with the purpose of the game.
> I'm not sure if they're irrational. Payment/subscription fatigue is a thing.
Payment fatigue is an irrational thing, at least in the context of what a rational economic agent is. Rationally, you pay for what you value, at roughly what it is valued to you, and you don't pay for you want you don't value. Transactions are fatiguing precisely because we are not rational agents. Humans live primarily on emotion and ingrained behavior, with small bursts of applying logic.
You need 64 H200 super-node for inference for kimi k3. You will not do inference locally. What might pop the western hardware bubble is Chinese GPU, memory, networking companies. But even in China, these AI centric hardware is not cheap.
Yes I agree. Content is an empty word, and can mean anything, and sort of means nothing. I get why large corporations would want to use the term as they do everything in bulk and need a general term, but for a solo writer, youtuber, etc, better to think of it as the thing, e.g. "tutorial", "podcast", "exploration".
It just violates my expectations, and thus feels frustrating. And there's almost no benefit.
It would be like if my shoes suddenly made me take steps at perfect widths, and no matter how/where I tried to step on my own, they forcibly move my foot to the spot they think is best. Like, okay, I see the good intentions here. But I have no trouble walking on my own. I don't need help. So I'm not sure what problem this solves. And this would obviously feel jarring and awkward, and would take a lot of getting used to until it didn't.
Except at least my shoes go with me, so presumably if I had a pair of auto-stepping shoes I would get used to them over time. But this website is a one-off, I'm going to visit once and never again, so it's just going to be weird and jarring, and then I'll leave.
> So you haven't understood the distinction or you're letting your feelings for software get the best of you.
Maybe? I'm not sure.
> The proof that there are no (for rust's definition of "no") memory bugs becomes worthless
I still don't think so, the proof that there are no memory bugs is definitely not worthless, since while the whole proof itself is binary (it is either fully correct or not), its effects act more like coverage, and the more of it that happens to be partially correct, the better.
I think cve-rs is the perfect example of this. Its very existence proves that the borrow checker is already unsound, and with that, the very foundations of Rust's safety guarantees are currently flawed.
TypeScript is another good example, its type system has been repeatedly proven to be unsound, so it's also flawed.
But so what if it's flawed? Many smaller properties of these proofs still happen to hold, and they might prevent 90%+ of CVEs even as flawed as they are.
Yes one of my very favorite albums! I'd put it in my top 10 easy, and I listen to a lot of music. I still remember when a friend of mine dropped the needle and I heard it for the first time.
The Thriller album is more popular, but I like Off The Wall better.
hahah I picked that up from a youtube woodworker when I was a CALENDAR YEAR into building my son's toy chest. A lot of measurements I had sweated over didn't matter; they are inside of the channels on shaker panels. A bunch of things I didn't sweat are apparent; not ever pencil mark got sanded off before I oiled it and I didn't notice.
Writing automated end-to-end tests? Those are very often best done by those writing the software, with assistance from experts who know how to effectively build test infrastructure. I've very rarely seen them done effectively by QA or "test engineering" folks.
Running manual test scripts and torture testing the UI to break it in new and unusual ways? Definitely get dedicated testing / QA folks. It's very easy to be blind to how others might use the software, especially if you wrote it.
When I was in grad school, I had the opportunity to take a course from my adviser in which he discussed his current research and some open questions. It was a relatively accessible subject area and the questions were sometimes easy enough that we could meaningfully contribute.
On one particular Friday afternoon, he stated a conjecture that he hoped was true, and invited us to try to help him prove or disprove it. It was the sort of thing that he really wanted to be true; he liked things smooth and beautiful. I, on the other hand, hoped it was false as I like the weird and exceptional in mathematics. It was also the case that I had absolutely no command of the sort of machinery that one would use to prove such a thing, but I could certainly look for a counterexample.
I learned on Monday that he had spent the entire weekend trying and failing to prove it. I, on the other hand, had put all my energy into finding a counterexample and had one within an hour.
My single (quite small) contribution to mathematical research was a counterexample because it was all I could do. The story does illustrate that it can be helpful to have people with different tools, hopes, and motivations working on a problem, though. I was not, and will never be, even a shadow of that great mathematiciam I studied under, but on that occasion, I had reason to look in a different direction than he did.
The US funds (and used to even moreso) scientific endeavors that stand to bolster the entire country all the time. Medical research is the obvious one, DARPA is the defense based one (though oftentimes defense is just a post-hoc justification for a lot of those), the Department of Agriculture is constantly researching improvements to the farming industry, the Bureau of Weights and Measures and the NSA fund cryptography research.
Research and development of new technologies often is a "rising tides lifts all ships"-type deal, which it is absolutely in the government's best interest to support.
For China, the best case scenario would of course be to control a locked-down best-in-class frontier model that the rest of the world becomes reliant on. The US seems to be beating them at that, and "Everyone is reliant on the United States" is a pretty bad scenario. A middle ground, positive outcome is that no one is reliant on locked-down closed models, so they're supporting that outcome.
> In mathematics (including information science, CS) there are all sorts of problems that are essentially searches for a solution, and many have the property that the search is computationally difficult, but verifying the solution is relatively cheap. E.g. finding integers such that a^2 + b^2 = c^2 isn't easy, but given a claim that some proposed <a, b, c> satisfies this equation is easy to check. The LLM is like that: it solves a search problem that can be fairly hard.
Funnily enough, one of the attempted solves in the litterature is exploring the problem space in two-dimensional space; the LLM found one in three-dimensional space.
So far we know very little as to why and how it found the solution.
It may very well have been directed to brute force 3D space, or even "elected" to" by expanding the known-failed 2D approach to 3D as pure mimicry.
> It does so unreliably, but if you can cheaply verify the solution, there is a win there.
This circles back to what the LLM advocates are pushing for: build the harness that keeps the agent in check, guardrails all the way because it's driving like a demolition derby.
No, Nvidia is worried about Chinese hardware stack. China is under sanction, what are they training and inferencing these models on? Even if this model might still be Nvidia chips, what about the next model. Everyone knows model and hardware companies are working together. There are a number of very competitive companies in China in this space. After they got this area sorted out, China will do training, inference and tokens entirely on their stack and export their entire stack.
I'm just like that, but minus the expectation of release/money/success. To me, the building and programming itself is the reward, and I have no motivation or desire to release anything I work on--or any belief that it would/should make money for me. To me, the hours spent fine sanding down and polishing my code, always approaching but never achieving perfection, is its own reward.
That is surprisingly bad. My substantially larger Ram 3500 dually gets 15mpg even when loaded with 4000lb of cargo in the bed. Towing a trailer I get about 14mpg, unless there is a substantial headwind (since the trailer is much taller than the truck), that is the only scenario where it drops to near 12mpg.
