kaba0

46 ms·

691.
Towards member patterns [Brian Goetz](mail.openjdk.org)
3 points by kaba0 3y ago|1 comments
692.
by kaba0 3y ago
It doesn’t really make sense to attribute the initial domain of a language to the whole platform. Especially when Java can have so many faces, and that it’s numero 1 use case is backend applications. Android is a comparatively small marke
693.
by kaba0 3y ago
I wouldn’t be so quick to dismiss the huge deal of internet services running OpenJDK. Like, AWS itself, Apple’s backends, a huge part of Google’s infrastructure, the whole of Alibaba that is responsible for some crazy amount of transactions
694.
by kaba0 3y ago
I don’t really get your last point - java’s improvements are due to Oracle, not despite it. They have a terrible name, but they have been excellent stewards of the platform.
695.
by kaba0 3y ago
Because a window manager on X is roughly the equivalent of a Gnome extension. That’s just a design question where we draw boundaries.
696.
by kaba0 3y ago
That’s not true in this respect. This all is just an implementation detail, not mandated one way or another by Wayland.
697.
by kaba0 3y ago
I mean, I wouldn’t bet on that either. We built the “computing” empire on silicon, but we might be able to very significantly improve on this with a single discovery/invention. All the computational stuff we built/figured out wi
698.
by kaba0 3y ago
I think the ramifications of what a true AI would bring are impossible to predict. Especially if it can improve itself, it can quickly give rise to many sci-fi stories.
699.
by kaba0 3y ago
Can we stop with this stuff? It is a 100% useless distinction, Turing machines can only ever use a fixed amount of memory, so we can run any Turing machine for as long as we want to, we can just pause it, “change the tape” to a bigger
700.
by kaba0 3y ago
The whitepaper operates on mathematical numbers, though. They didn’t calculate it with floating points of n-bits.
701.
by kaba0 3y ago
That whitepaper operates with mathematical, infinite precision numbers. It’s just a categorical error to read too much into it - it’s not really a too interesting property to be able to get closer to something forever, without some sane gro
702.
by kaba0 3y ago
I think that intelligence has a “bootstrap” level - that human achieved - after which it can practically do most stuff, the bottleneck won’t be intelligence itself. E.g. our mathematics itself has fundamental limitations on what it can prov
703.
by kaba0 3y ago
Good point, especially that intelligence doesn’t quite scale. Many (most?) of our problems are hard to solve due to lack of data/experimentation over lack of intelligence. And more intelligence won’t help with the infinite scalabilit
704.
by kaba0 3y ago
I don’t think “fundamentally having something” is actually meaningful here - as it’s enough to show it is Turing complete for it to have fundamentally everything. Nonetheless, it’s probably not excel that will become the next AGI.
705.
by kaba0 3y ago
Having linear scaling up to a point is a far more reasonable guess, than a forever scaling function - as per Occam’s razor. If I have a rubbery string and try lengthening it, it will also show a linear scaling, until it catastrophically f
706.
by kaba0 3y ago
Do we have to understand something to recreate it? I think that’s already a fundamentally false-y assumption. For example, many branches of science operate on a more “discover” over “invent” mindset, quite successfully.
707.
by kaba0 3y ago
> bring the prospect of "true" AI tantalizingly closer I do think that it’s quite a leap to assume that. It is very good at mimicking, but the same way some parrots can talk, they are endlessly far from human cognition. That ju
708.
by kaba0 3y ago
I don’t think we have significantly more data, and useful data won’t increase just on a whim. And it’s just one of the very necessary parts.
709.
by kaba0 3y ago
Ref counting is a GC-algorithm, and the slowest at that (especially with multi-core sync, but that’s not the case with python), as a tradeoff for less memory consumption.
710.
by kaba0 3y ago
So you also don’t go to the shopping centre because they could have a mic recording you?
711.
by kaba0 3y ago
I get your point, but these features are the bare minimum any boot system should have. If someone calls that “bloat”, they should go back and hit rocks together.
712.
by kaba0 3y ago
With all due respect, I just don’t believe that. Perhaps it’s just rosy glasses on you, or the modern complexity of services/their dependencies.
713.
by kaba0 3y ago
Arguably, this logic should live in another place that monitors the service. Especially that service startup failure is usually not something that gets fixed on its own, like a network connection (where exponential backoff is (in)famous). A
714.
by kaba0 3y ago
As pron mentioned, you can use the internal unsafe API without bound checks, you just need a flag for that
715.
by kaba0 3y ago
Yes, Java is often used in HFT, due to one being able to quickly modify the algorithm, while keeping it safe and performant. This is used for mostly the algorithms that have to be fast, but not to the degree of “let’s buy this building whic
716.
by kaba0 3y ago
CHERI might allow for that?
717.
by kaba0 3y ago
In the very very rare case you might need it, than I guess, yeah. But if it turns out to be a real problem, it might still be possible that they will add a way to disable checks with the foreign memory API. It would actually allow for a bet
718.
by kaba0 3y ago
Thanks! I definitely have to do some readup on that!
719.
by kaba0 3y ago
Ah okay, it wasn’t clear that you were talking about explicit control over this through Vector API and similar.
720.
by kaba0 3y ago
What do you mean by that? Also, graal can do some vectorization, and definitely has some libraries with vector intrinsics, e.g. truffle’s regex implementation uses similar algorithms to simdjson.

More ›