ux266478

8 ms·

61.
by ux266478 2mo ago
To be fair, the ANN architecture underneath is a misleading thing to be looking at, it's not where the comparison comes from. Though I can't tell if you meant it to be relevant in that way, or just as a general example for the dan
62.
by ux266478 2mo ago
Well, Quartz is okay too, even though it lacks network transparency. Arcan is looking like a very promising successor to the X protocol and Xorg server. It's not there yet, but it gets closer year after year.
63.
by ux266478 2mo ago
On the first point, explanation is inherently subjective. It reduces explanatory power purely because you're forced to acknowledge it was never universally appropriate, which tracks. The variety of explanation you're referring to
64.
by ux266478 2mo ago
You're literally replying to someone saying npm is unfairly called out. Rust developers aren't the ones who have problems with it. Otherwise they likely wouldn't be using Rust in the first place. I don't see anyone sayin
65.
by ux266478 2mo ago
Rust as a language is mostly alright in my opinion. The problems I have with it are similar to the problems I have with C++, and it makes up for them in other really compelling ways. Where it loses me is Cargo and everything surrounding it.
66.
by ux266478 2mo ago
> Sure, your ORM-like framework can define basics like primary keys and maybe uniqueness constraints, but can it define partitioning schemes, compression methods or more advanced constraints? In Prolog you'd just handle those as met
67.
by ux266478 2mo ago
Scientifically speaking, time is a measurement of how much worse things have gotten. The irony is that this is also one of the oldest truisms that humanity has grappled with over the millennia. See: Hesiod's Ages of Man, Biblical Genes
68.
by ux266478 2mo ago
> However, such an approach has previously not really worked for C++ with LLVM offload. Why would it work for Rust? They're very different languages, with different semantics. Without reading more than the synopsis of the paper, the
69.
by ux266478 2mo ago
You can do really complex and interesting stuff with procedural generation, even at-scale. You need a large breadth of well-designed rules, and then you need temporal simulation over that breadth. That simulated history is just as important
70.
by ux266478 2mo ago
Again, all fair. To simplify, my points are to demonstrate a confounding nuance, simple counterexamples where the arguments don't hold. > Hypercomputation isn't really a big part of the main thrust of complexity theory I don&#x
71.
by ux266478 2mo ago
The distinction is certainly a fair one to make. The etymological root of computation is "done with mental labor", by way of "to clean a financial ledger" (although weirdly, this isn't the real root. Putare is botan
72.
by ux266478 2mo ago
Seems rather trivial, just extend the codebase.
73.
by ux266478 2mo ago
The point that what gets published adapts to the state of the art is fair. Personally I think its adaptations for ANNs and interaction nets are more interesting than the quantum ones. Once it has to account for the topology of the computer,
74.
by ux266478 2mo ago
> there is a reduction of known complexity between two models. Every single time I've seen, for example, the lambda calculus be assigned cost semantics, it usually looks like what you would expect out of a Turing machine's simu
75.
by ux266478 2mo ago
MT Turing machines aren't really all that different. Or from pointer machines for that matter. They map nicely together.
76.
by ux266478 2mo ago
> You should at least try to explain your contrarian position FWIW I explained it fully and provided the argument, along with explicit grounding examples. Can you tell me what exactly you don't understand? To quote your other post:
77.
by ux266478 2mo ago
> Nobody argued exclusivity. And I quote: > Imagine a world where only one country has AGI/ASI.
78.
by ux266478 2mo ago
Standard complexity theory focuses on answering questions when our substrate behaves like a Turing machine with multiple tapes. Consider it like this, if the answer is in our system's axioms, we don't have to do anything. In a tri
79.
by ux266478 2mo ago
> It's intended to understand the nature and theoretical limits of computation. Not in a general sense, at least for standard complexity theory. It only deals with a very specific model of computation. Anyone with a sufficiently sol
80.
by ux266478 2mo ago
> There are only 9 countries that have nuclear weapons QED being first didn't grant exclusivity. The premise wasn't that AGI isn't useful. There are actually layers to the metaphor where first-mover advantage of AGI is eve
81.
by ux266478 2mo ago
A reductive equation, economics isn't thermodynamics. Money is fictional and value is subjective and unstable. Within this context, being first to AGI means nothing if the second invention of it comes 2 months later and works an order
82.
by ux266478 2mo ago
> What prize do you win? Imagine a world where only one country has AGI/ASI. "Winning the race" doesn't give you that in any meaningful capacity. It gives you, at the absolute most, a temporary window where that'
83.
by ux266478 2mo ago
Fair enough. I just wanted to elaborate, because usually that specific phrasing justifies the opposite. I did mention you partially acknowledged the meaningfulness, but I felt like the point needed to be made stronger. The politics around f
84.
by ux266478 2mo ago
> Most foundations are in a sense equivalent. Therefore, "ZFC" is as good of an answer as any. This doesn't follow. The sense in which they are equivalent is that they are equifinal, which doesn't mean isomorphism or
85.
by ux266478 2mo ago
Delphi is definitely something I'd put up there with LispWorks, a really excellent example of what polished developer experience should optimize for. Even though it's not real live coding like LispWorks, you could see your UI evol
86.
by ux266478 2mo ago
American culture incorporates a sense of institutional nihilism that India and China do not have (at a large scale). As globalism winds down and population contraction starts to take hold, it seems far more likely to me that the resulting l
87.
by ux266478 2mo ago
The "invention" was first published in 2024, by Chinese researchers: https://arxiv.org/abs/2402.01030 Beyond that, it's a trivial batching pattern. Any remotely competent systems engineer developing an a
88.
by ux266478 2mo ago
However, unlike GNU plus Linux plus systemd plus FreeDesktop.org, it does not constitute a usable Operating System for a Desktop computer per se. Merely having a notion of userland isn't sufficient! Is age verification to be placed wit
89.
by ux266478 2mo ago
I didn't imply otherwise, nor is the story different on the Erlang-Prolog axis (actually it's even more pronounced there.) I literally called it "set dressing". Where I think you go off the rails is that you're conf
90.
by ux266478 2mo ago
> Presumably one intends to debug the code, when setting (debug 3). Then it'll be helpful to see the stack, no? You don't necessarily need to give up TCO to do that though. You just do some bookkeeping and synthesize virtual st

More ›