swagmoney1606

And yet I have to pay in my time and cash to handle the constant ddos'es from the constant LLM scraping

There hasn't been a single point in my shorter life so far where things have been this out of control. The fed is supposed to be as non-political as possible. I know politics and the economy are intertwined, but tell me how this won't end up a disaster please. How do we get back to the USA we had even 10 years ago?

I've been strapping different LLM based setups to Lean 4 with a variety of different prompting methods. My biggest conclusion here is that LLMs are worse at formalizing than humans are. Additionally, for Lean 4 specifically, I don't think there's enough training data.

How?

Renderdoc!

I would counter by saying all metaphysics are useless, and unknowable.

You don't neeed DMA hardware btw. Just find a signed driver that's vulnerable to run whatever you want... Also, not hard at all. I guarantee you have a driver you could re-purpose on your windows machine right now.

I HATE how you can't re-write a previous response in gemini, only the most recent response.

You can't play many videogames if you do this, as anticheat won't let the game run unless secure boot is turned on

But it would be true to say not B implies not A right? (contrapositive?)

In my mind this is literally what math is. We start with axioms, and derive conclusions. There's probably more to it than that, but that's the understanding I'm at now.

You may like Agda. I prefer Lean even though you are right about this.

When I was 15-18, in around 2017, I got extremely into Elizer Yud, "the sequences", lesswrong, and the rationalist community. I don't think many people realize how it appeals to vulnerable people in the same way that Atlas Shrugged, Christianity, The furry community (/jk), the self-help world, andrew tate and "manosphere content", does.

It provides answers, a framework, AND the underpinnings of "logic", luckily, this phase only lasted around 6 months for me, during a very hard and dangerous time in my life.

I basically read "from AI to zombies", and then, moved into lesswrong and the "community". It was joining the community that immediately turned me off.

- I thought Roko's basilisk was mind numbingly stupid (does anyone else that had a brief stint in the rationalist space think it's fucking INSANE that grimes and elon musk "bonded" over Roko's basilisk? Fucking depressing world we live in) - Elizer Yud's fanboys once stalked and harassed someone all over the internet, and, when confronted about it, Elizer told him he'd only tell them to stop after he issued a very specific formal apology, including a LARGE DISCLAIMER on his personal website with the apology... - Eugenics, eugenics, eugenics, eugenics, eugenics - YOU MUST DONATE TO MIRI, OTHERWISE I, ELIZER (having published no useful research), WON'T SOLVE THE ALIGNMENT PROBLEM FIRST AND THEN WE WILL ALL DIE. GIVE ALL OF YOUR MONEY TO MIRI NOWWWWWWWWWWWWWWWWWWWWWWW

It's an absolutely wild place, and honestly, I think I would say, it is difficult to define "rational" when it comes to a human being and their actions, especially in an absolute sense, and, the rationalist community is basically very similar to any other religion, or perhaps light-cult. I do not think it would be fair to say "the average rationalist is a better decision maker than the average human", especially considering most important decisions that we have to make are emotional decisions.

Also yes I agree, you hit the nail on the head. What good is rational/logical reasoning if rational and logical reasoning typically requires first principles / a formal system / axioms / priors / whatever. That kind of thing doesn't exist in the real world. It's okay to apply ideas from rationality to your life, but it isn't okay to apply ideas from rationality to "what is human existence", "what is the most important thing to do next" / whatever.

Kinda rambling so I apologize. Seeing the rationalist community seemingly underpin some of the more disgusting developments of the last few years has left me feeling a bit disturbed, and I've always wanted to talk about it but nobody irl has any idea what any of this is.

Both android and iOS copied their exact multitasking UI YEARS after webOS had it lmao.

Makes me think about the VR market. Tons of hardware, very few apps. It's interesting.

When I was a little kid I "jailbroke" my palm pre, and had all kinds of cool tweaks and apps loaded. I wish I could remember the name of this funny little MS-paint style RPG... WebOS was a great OS, shame what happened to it.

I had a very similar childhood, my condolences

Also the VM install images have been pulled off of their page since october...

https://developer.microsoft.com/en-us/windows/downloads/virt...

>Due to ongoing technical issues, as of October 23, 2024, downloads are temporarily unavailable.

They are morons.

I have no idea how they justify $200/month for pro

We should always be able to clearly understand and interpret all of the thinking leading to an action done by an AI. What would the point be if we don't know what it's doing, just that it is doing "something"

>Perhaps most surprisingly, this includes even the case of potentially concurrent writes of the same value by different threads.

Can someone explain to me how this is possible?

It's absolutely 1000% satire, and yet I can see someone like Elon loving this idea:

>Labor: Their manual dexterity could be utilized in commercial labor contexts. In the early 20th century, an enterprising businessman even trained raccoons to perform chimney sweeps (Washington Post, 1906).

Bruh let's just let animals live in their natural environment without subjecting them to the torment-nexus that would be the raccoon-factory

>The only way it would have "benefited" would be that the web would only be developed by lisp programmers.

Millions have learned javascript because it is the technology of the web. Are they better off?

So many people have been introduced to programming, computer science, and programs through the abstractions provided by javascript, and that sucks

True, but is that what google maps is even saying? I have always understood it to be "phones in this area per hour" or whatever, I have never thought or got the impression it would tell you how busy a delivery place is based off of delivery load. Does anyone have a source that says one way or another? I could see it either way.

I built something like this in Haskell! I never benchmarked it, but I actually found it quite compelling. I would define each agent as a different "expert" in a subdomain of mathematics for example: proof theorist, abstract algebraic expert, etc.

I found it helpful, but the signal to noise ratio was high, lots of agents restating points etc.

I've had a POC agent-chain thing written in haskell for about 9 months. this paper is a little different though.

Probably less of an individual and more of an exploit to sell.

> This sounds familiar, including an unstable or uncertain view of oneself caused by – depending on the situation – not knowing if one's pretty smart and inventive, or a total idiot not capable of living life.

Also a familiar feeling to me as well.

I don't think this is likely

I worry that we're getting close. I don't think our society is built for it.