Viewing profile — 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 t…

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…

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 …

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 vu…

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... Web…

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 …

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 …

>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…

>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.…

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…

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 mathem…