measurablefunc

Next they'll figure out radio waves & then we are really screwed.

Wiped out by a more violent variant.

The rules are for everyone but some people also get special treatment b/c they know someone like Trump. Musk donated hundreds of millions of dollars to his presidential campaign to get special treatment for his businesses.

The modern internet & all of the application available on it are parts of a digital panopticon so plan & act accordingly.

Nice work. Can I register my agent to look for stuff or do I have to go through it manually?

Where do you think they get the electricity for the bases now?

That's hilarious b/c the US military is the 47th largest greenhouse gas emitter on the planet so there is no way any base can go 90 days w/o the grid.

Someone should take the sub-exponential proof & write something executable.

All it needs now is an MCP server.

Nice work.

I think cardio exercise does the same thing.

So looks like generalized actuator planning & control is possible.

I agree.

Even if you write a formal specification the operating system the code runs on is almost certainly not formally specified so you're just moving the trust boundary slightly further out to the OS & associated libraries.

You should record yourself & then label the videos based on what state you were in so that you can then verify it w/ an AI if you guessed correctly or not.

They need electricity & compute which are limited by the fact that we are living on a finite planet.

That's a good point.

I guess Peter Thiel already has a compound there but I'm not sure if they would all get along.

National wealth tax fixes this problem b/c then they'd have to leave the country entirely & there is nowhere they can go.

I guess he's now going to finance movies as well so that he can have his own propaganda plugs in mass media.

Very cool.

It helps fit the network to a distribution, it doesn't actually do anything other than that. This follows from basic learning theory. The actual internals of the network remain illegible. In fact it would be easy to prove that for any finite set of legible traces there are illegible ones which are equally as good when it comes to improving performance of the network.

The basic heuristic of the argument comes from biological organisms. Multicellular organisms are illegible but the overall organism still operates in its environment just fine w/o making its internal communications legible.

Same way current LLMs do it, it's just another decoder.

This is correct, the decoded text has nothing to do w/ calculations that eventually get decoded into text. It's just a veneer that gives the appearance of legibility.

The proposal is that multiple checkers are unlikely to all have the same bugs so the more kernels you can use to check the results the more likely it is that the proof/code is consistent & correct (modulo set theoretic assumptions necessary for the correctness of the kernel).

I recommend not telling random strangers what to do w/ their time & letting the moderators deal with the problem. You're not a moderator so stop pretending like you are one.

I don't think you're getting the joke, the site is literally called /dev/null.

Stop responding to my comments & save yourself the time & keystrokes. It's better that way for everyone involved since you haven't addressed anything of substance in anything I have written & have opted for nonsensical psychoanalysis.

Try it & see how that goes.