Hacker News: dart200

New comment by dart200 in "AI is killing B2B SaaS"

dart200 — Thu, 05 Feb 2026 10:48:08 +0000

for profit software is pretty gross tho. it can be made indefinitely complex, and people can make and sell tools to patchwork the complexity together, but then u need more tools to patchwork all the tools together ...

and u end up in aggregators aggregated aggregators type situation where optimal solutions never arise because we don't actually cooperate enough to produce them

ai is fitting into the notion that this is all bullshit ... even if not in the correct way

New comment by dart200 in "Re: Turing's Diagonals"

dart200 — Wed, 27 Aug 2025 18:25:58 +0000

This is an intuitive proof that directly refutes Turing's intuition underlying his arguments for undecidability, by rectifying the decision paradox found in the diagonal computation for computable numbers. Once this paradox is rectified we find the resulting computation sufficient to compute a direct diagonal, but not sufficient to compute an inverse diagonal that could be used to "diagonalize" the computable numbers as Cantor did with the reals.

This is an application of novel intuition that I do not know how to formalize into more traditional forms of expression for computability. But Turing's rational also did not utilize those more formal expressions, which is why I'm applying the novel intuition directly against his paper and not elsewhere.

Re: Turing's Diagonals

dart200 — Wed, 27 Aug 2025 18:25:58 +0000

Article URL: https://www.academia.edu/143540657/re_turings_diagonals_how_to_decide_on_the_sequence_of_computable_numbers

Comments URL: https://news.ycombinator.com/item?id=45043170

Points: 2

# Comments: 1

New comment by dart200 in "How to decide on the sequence of computable numbers [pdf]"

dart200 — Thu, 21 Aug 2025 07:01:32 +0000

this is my paper AMA

or just rag on me like everyone else does :/

New comment by dart200 in "So long, and thanks for all the bytes"

dart200 — Sat, 17 Feb 2024 21:02:40 +0000

> The worst people in the world already know this and run our industry. There's no reason we have to accept them.

tbh until we change the way to go about politics, or collective decision making, this isn't going to change.

New comment by dart200 in "The Tragedy of CharacterAI"

dart200 — Thu, 22 Dec 2022 17:35:43 +0000

this went nowhere -_-

New comment by dart200 in "White House unveils principles for Big Tech reform"

dart200 — Fri, 09 Sep 2022 11:13:03 +0000

u wouldn't end up protecting them

New comment by dart200 in "White House unveils principles for Big Tech reform"

dart200 — Fri, 09 Sep 2022 11:11:29 +0000

government needs to bfto on repressing speech

New comment by dart200 in "Blocking Kiwifarms"

dart200 — Tue, 06 Sep 2022 00:17:48 +0000

> Then that's a philosophy virtually no one actually holds.

correct. most people don't hold a free speech philosophy. people just like taking a high moral ground they don't actually have.

> Very few people think death threats, fraud, etc. fall under free speech

us govt can't prosecute death threats unless they can prove intent beyond you just saying it, they can't also arbitrarily prosecute for lying

> If you do your speech at 3am with a loudspeaker in a residential neighborhood, you're probably getting dinged for "disturbing the peace", because other people have rights too, and society winds up having to resolve the conflicts.

if you said the same thing at a much lower volume, no one would care. the problem there is noise pollution, not the content of the speech said.

New comment by dart200 in "Kiwi Farms is down across all domains as DDoS-Guard terminates service"

dart200 — Tue, 06 Sep 2022 00:12:16 +0000

literally nothing is going to come of this because there weren't any serious bomb threats.

New comment by dart200 in "Blocking Kiwifarms"

dart200 — Sun, 04 Sep 2022 00:04:34 +0000

how do you know it wasn't just trolls trying to get KF taken down?

New comment by dart200 in "Blocking Kiwifarms"

dart200 — Sat, 03 Sep 2022 23:37:07 +0000

yes it is. free speech as a philosophy is about allowing all speech, cause other it's just mostly free speech.

you're just using the words to act like you have a moral high ground you don't actually have.

New comment by dart200 in "Blocking Kiwifarms"

dart200 — Sat, 03 Sep 2022 23:34:41 +0000

in the US, there needs to be serious proof of intent beyond just saying something to prosecute.

New comment by dart200 in "Blocking Kiwifarms"

dart200 — Sat, 03 Sep 2022 23:29:15 +0000

one screenshot by someone crying wolf as much as possible proves exactly nothing.

the post was deleted within a few mins, so extremely sus. violent threats are posted on all major websites, idk why this one is so exceptional.

doesn't even look real, smells entirely like bait. or someone trying to get KF taken down.