Hacker News: swagmoney1606

New comment by swagmoney1606 in "ChatGPT won't let you type until Cloudflare reads your React state"

swagmoney1606 — Mon, 30 Mar 2026 02:09:25 +0000

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

New comment by swagmoney1606 in "Statement from Jerome Powell"

swagmoney1606 — Mon, 12 Jan 2026 02:34:07 +0000

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?

New comment by swagmoney1606 in "Formal Reasoning [pdf]"

swagmoney1606 — Sun, 26 Oct 2025 17:06:37 +0000

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.

New comment by swagmoney1606 in "Charlie Kirk killed at event in Utah"

swagmoney1606 — Thu, 11 Sep 2025 02:32:23 +0000

How?

New comment by swagmoney1606 in "Things you can do with a debugger but not with print debugging"

swagmoney1606 — Wed, 10 Sep 2025 03:30:57 +0000

Renderdoc!

New comment by swagmoney1606 in "The “Wow!” signal was likely from extraterrestrial source, and more powerful"

swagmoney1606 — Wed, 27 Aug 2025 22:58:30 +0000

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

New comment by swagmoney1606 in "The issue of anti-cheat on Linux (2024)"

swagmoney1606 — Sat, 23 Aug 2025 16:19:30 +0000

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.

New comment by swagmoney1606 in "GTP Blind Voting: GPT-5 vs. 4o"

swagmoney1606 — Sun, 10 Aug 2025 17:45:38 +0000

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

New comment by swagmoney1606 in "Secure boot certificate rollover is real but probably won't hurt you"

swagmoney1606 — Fri, 01 Aug 2025 05:51:58 +0000

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

New comment by swagmoney1606 in "“No tax on tips” is an industry plant"

swagmoney1606 — Fri, 01 Aug 2025 05:40:28 +0000

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

New comment by swagmoney1606 in "The math is haunted"

swagmoney1606 — Thu, 31 Jul 2025 01:05:31 +0000

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.

New comment by swagmoney1606 in "The Math Is Haunted"

swagmoney1606 — Thu, 31 Jul 2025 01:04:41 +0000

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

New comment by swagmoney1606 in "Guess I'm a rationalist now"

swagmoney1606 — Fri, 20 Jun 2025 04:41:40 +0000

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.

New comment by swagmoney1606 in "I convinced HP's board to buy Palm and watched them kill it"

swagmoney1606 — Sat, 14 Jun 2025 02:08:18 +0000

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

New comment by swagmoney1606 in "I convinced HP's board to buy Palm and watched them kill it"

swagmoney1606 — Sat, 14 Jun 2025 02:02:44 +0000

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

New comment by swagmoney1606 in "I convinced HP's board to buy Palm and watched them kill it"

swagmoney1606 — Sat, 14 Jun 2025 02:02:13 +0000

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.

New comment by swagmoney1606 in "Librarians are dangerous"

swagmoney1606 — Sun, 20 Apr 2025 21:28:27 +0000

I had a very similar childhood, my condolences

New comment by swagmoney1606 in "Amazon to kill off local Alexa processing, all voice requests shipped to cloud"

swagmoney1606 — Tue, 18 Mar 2025 21:09:48 +0000

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.

New comment by swagmoney1606 in "GPT-4.5"

swagmoney1606 — Fri, 28 Feb 2025 01:46:07 +0000

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

New comment by swagmoney1606 in "Efficient Reasoning with Hidden Thinking"

swagmoney1606 — Mon, 03 Feb 2025 22:24:23 +0000

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"