swagmoney1606

5 ms·

1.
by swagmoney1606 6mo ago
And yet I have to pay in my time and cash to handle the constant ddos'es from the constant LLM scraping
2.
by swagmoney1606 9mo ago
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&#x
3.
by swagmoney1606 1y 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&#x27
4.
by swagmoney1606 1y ago
How?
5.
by swagmoney1606 1y ago
Renderdoc!
6.
by swagmoney1606 1y ago
I would counter by saying all metaphysics are useless, and unknowable.
7.
by swagmoney1606 1y ago
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.
8.
by swagmoney1606 1y ago
I HATE how you can't re-write a previous response in gemini, only the most recent response.
9.
by swagmoney1606 1y ago
You can't play many videogames if you do this, as anticheat won't let the game run unless secure boot is turned on
10.
by swagmoney1606 1y ago
But it would be true to say not B implies not A right? (contrapositive?)
11.
by swagmoney1606 1y ago
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.
12.
by swagmoney1606 1y ago
You may like Agda. I prefer Lean even though you are right about this.
13.
by swagmoney1606 1y ago
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 Sh
14.
by swagmoney1606 1y ago
Both android and iOS copied their exact multitasking UI YEARS after webOS had it lmao.
15.
by swagmoney1606 1y ago
Makes me think about the VR market. Tons of hardware, very few apps. It's interesting.
16.
by swagmoney1606 1y ago
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.
17.
by swagmoney1606 1y ago
I had a very similar childhood, my condolences
18.
by swagmoney1606 2y ago
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, down
19.
by swagmoney1606 2y ago
I have no idea how they justify $200/month for pro
20.
by swagmoney1606 2y ago
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"
21.
by swagmoney1606 2y ago
>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?
22.
by swagmoney1606 2y ago
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 r
23.
by swagmoney1606 2y ago
>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
24.
by swagmoney1606 2y ago
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 o
25.
by swagmoney1606 2y ago
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 algebr
26.
by swagmoney1606 2y ago
I've had a POC agent-chain thing written in haskell for about 9 months. this paper is a little different though.
27.
by swagmoney1606 3y ago
Probably less of an individual and more of an exploit to sell.
28.
by swagmoney1606 3y ago
> 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 feelin
29.
by swagmoney1606 3y ago
I don't think this is likely
30.
by swagmoney1606 3y ago
I worry that we're getting close. I don't think our society is built for it.

More ›