Viewing profile — someguyorother

> It's unfortunate and surprising that there's still no effective drug, though lidocaine does, in fact, work. (Very temporarily, sadly.) There's some research, but yeah, I'm surpri…

> Why do LLMs use these phrases so much if humans rarely use them in written form? As far as I understand, it's due to RLHF. The reviewers the AI companies use don't necessarily kn…

The mental transaction cost is the hard part. The effort required to decide whether to pay at all is significant enough that payments don't scale down to the micro- level.

It's only mathematics-adjacent, but Stephen Hawking was known for making quite a few bets. https://www.science.org/doi/10.1126/science.359.6382.1317

I don't think that's people who refer to Tyranny of Structurelessness mean. At least I read it more as that you can't just declare 'there be no hierarchy here' and be done. Unless …

Sure thing, here's your neural VR interface and extremely high fidelity artificial world with as many paperclips as you want. It even has a hyperbolic space mode if you think there…

Users of practical software would probably not accept the program taking forever, so you could implement a runtime constraint. With a runtime constraint, every TM effectively halts…

The dark humor in this is that any such technologically advanced future where humans have a meaningful say will eventually look like one of abundant luxury communism: it's just tha…

I think you could do most of it as a point and click. Perhaps with the exception of that one command (if you know what I mean) because the mere possibility of it would be revealing…

Perhaps you could do a hierarchical approach somehow, first generating a "zoomed out" structure, then copying parts of it into an otherwise unspecified picture to fill in the detai…

>You can do MCMC like AlphaGO and see ten moves ahead. The existence of adversarial attacks shows that most neural networks have pretty bad worst-case performance. Thus sticking GP…

In the same way. Most proposed fusion systems use deuterium-tritium fusion where a significant amount of the energy is carried away as neutrons, so direct energy conversion wouldn'…

> What you call "american ideas" is the only thing that works in the anonymous environment. What about BitTorrent or its various file-sharing predecessors? It has no cash, they had…

The current crowning achievement of formal methods is, as I understand it, seL4. It is a formally proven microkernel of about 8500 LOC. There's still a while to go until they can s…

There are ways to keep an AI in sealed hardware and making sure it can't affect the world, for instance by using an objective function that only deals with mathematics, and doesn't…

That seems to be a DRM problem. Let's say that you want the camera to track all modifications of the picture. Then, analogous to DRM, there's nothing stopping the forger from just …

Just make it zero-knowledge. You use the ID server to prove that you're not a sock puppet of someone already registered, but that's all the site needs to know.

That's for reinforcement learning, right? What is the adversarial learning problem in say, classification based on Solomonoff? If hypercomputation is possible, then anything based …

> E.g., their ability to survive high levels of radiation or vacuum. If I recall correctly, the tardigrades (and extremophiles like D. radiodurans) have evolved to handle damage br…

Nostalgia is a hell of a drug.

> That's interesting that you're familiar with how it scales to different cores; I've never played around with the core parameters that much. It's simply the combinatorial explosio…

> Later I discovered CoreWar [2] and enjoyed that until I learned all of the main classes of algorithms/bots had been identified. The evolvers sometimes break the bomber-scanner-pa…