daxfohl

37 ms·

691.
by daxfohl 3y ago
Does the requirement to pass around an allocator end up causing a "what color is your function" problem?
692.
by daxfohl 3y ago
Moreover there's a lot of economic disincentive. Given free reign to ponder and experiment, it could come up with a solution to world peace, but far more likely would think "Now that I've figured out how to bypass all cloud p
693.
by daxfohl 3y ago
With what? Powered how?
694.
by daxfohl 3y ago
I think it'll be a good solver; I expect it to solve the remaining Clay Millennium problems. The ability to search over a search space will be unparalleled in a few years. But I have a hard time believing it'll ever be a good ques
695.
by daxfohl 3y ago
Oh wow, so a 7 percent improvement, not 50 percent. I'd heard about the disparity, but didn't know it was that big.
696.
by daxfohl 3y ago
d) thinks. unprompted, unstimulated. Decides for itself what's important to think about, makes new connections by that process alone, and understands the implications of those new connections and how to use them. Here's also where
697.
by daxfohl 3y ago
And it'll take even longer before we can make 8 billion of them.
698.
by daxfohl 3y ago
IDK if that holds. If pricing is such that people would probably pay more, then the business will raise the price. The fact that they're getting free money from zombie subscriptions doesn't really change things. Though perhaps you
699.
by daxfohl 3y ago
Just did this with Xfinity an hour ago. I didn't even _forget_, per se: been trying to cancel online for months. It says they'll call you, then they never do, and _then_ I forget until I see the next billing statement. Finally wen
700.
by daxfohl 3y ago
Having just started from zero, I agree on the easy to digest point. You can get a pretty good understanding of how most things work in a couple days, and the field is moving so fast that a lot of papers are just exploring different iterativ
701.
by daxfohl 3y ago
I couldn't get it to work with single-spa, which is what our company's UI framework uses to compose components built by different teams. It seems like the two approaches are at odds with each other anyway, so perhaps this won&#x27
702.
by daxfohl 3y ago
Having moved from .net to java recently, I have to say I miss the .net IoC ecosystem; things are simple and to the point, and you use the tools however best fits your use cases. In Java-land everything is Guice, which is more of a "fra
703.
by daxfohl 3y ago
This would only work for close range, right? To do a whole-house thing you'd need to get a bunch of USB-cat6 adapters which would end up being more expensive than a switch?
704.
by daxfohl 3y ago
People wouldn't even get a vaccine injection because there were supposedly Bill Gates's microchips in them. Now you expect they'll be flocking to get these because they have Bill Gates's microchips in them? Actually, I c
705.
by daxfohl 3y ago
Odd that nqueens and sudoku have a high correlation but matmul seems to be largely doing its own thing. nqueen vs. sudoku: 0.531 matmul vs. sudoku: 0.362 matmul vs. nqueen: 0.127
706.
by daxfohl 3y ago
Well, the AI job market is pretty hot, so that's an option. And I expect as things mature it'll only create even more opportunity. Projects that nobody previously would have considered, because they'd have taken too long, req
707.
by daxfohl 3y ago
Those ten hypothetical people would likely have actually been zero because the task wouldn't have been worth hiring ten people.
708.
by daxfohl 3y ago
Yeah, the whole top down vs bottom up quandary. Top down is more boring but easier to support at scale. Bottom up is more dynamic but cross cutting changes end up taking inordinate effort.
709.
by daxfohl 3y ago
For compilers or anything else, if you have a bunch of spaghetti code, the first step is always to clean up the code. Refactor it to the point where you can easily swap in your low code module. Then determine whether it's still worth i
710.
by daxfohl 3y ago
What hardware giveth, software taketh away. JS frameworks of the 2070s will find some reason to fully retrain an LLM on each keypress.
711.
by daxfohl 3y ago
Or the converse: We've got all this spaghetti code. -- I know, we'll rewrite it as a rules engine! ... We've got all this spaghetti yaml.
712.
by daxfohl 3y ago
I can't say I know much about UK politics, but this seems like a nonsense poll. It's a generally down global economy. People will blame it on whatever poll you put in front of them. If it was a booming global economy, this poll co
713.
by daxfohl 3y ago
We used to have that, but it's hard to support as you scale. The level of effort is somewhat quadratic to company size: linear in the number of services you support and in the number of engineers you have to support. Also divergent use
714.
by daxfohl 3y ago
I'd say even more impressive is that, given an ARM Cortex X4 runs at almost 100x the clock speed, up to 14 cores, has caches, branch prediction, floating point, specialized instructions, gpu, etc., it's probably 100000 times faste
715.
by daxfohl 3y ago
So in 50 years the equivalent of a gpt4 training cluster from today's datacenters will fit in a cheap cable, and it will run over 100 times faster than a full cluster today.
716.
by daxfohl 3y ago
Oh, I missed that! I'd searched google for the term, and it just returned the top-level Peano axioms page. Anyway, updated the link on the Goodstein's Theorem page to point to that section specifically.
717.
by daxfohl 3y ago
The link to "Peano arithmetic" at the top of the Goodstein page takes you to Peano axioms page. That page says Peano axioms are "close to" second-order arithmetic, and it also provides an informal distinction between Pea
718.
by daxfohl 3y ago
If the encryption cracking market gets off the ground, would a quantum encryption hardening market come into existence, or can classical encryption algorithms suffice?
719.
by daxfohl 3y ago
Yeah I don't disagree with this. But such people do exist. My expectation is that IMO gold is a couple years off. But inventing new math and explaining why it's interesting and useful is much much farther away. I can't decide
720.
by daxfohl 3y ago
I'd still call this fancy autocomplete. I imagine the jump from this, to "come up with an interesting new branch of math to explore", is a long way off.

More ›