silveraxe93

Assume someone solves P=NP

Do you think Stephen Cook and Leonid Levin deserve more credit than whoever solved it?

> However, the declaration argues math is more than a machine for producing correct answers.

There might be more to maths than that, but that is definitely the most important part. I love science funding. But not because it's a jobs program for nerds.

silveraxe93

2 months agodiscuss

This doesn't show it can write like him, just identify his writing. P!=NP

silveraxe93

4 months agodiscuss

10,000!!!! is such a huge number I don't think we could even represent with a computer.

Being obviously pedantic here, I agree with what you meant.

silveraxe93

5 months agodiscuss

Yeah, Claude Code.

silveraxe93

8 months agodiscuss

While there's an extreme amount of hype around AI, it seems there's an equal amount of demand for signs that it's a bubble or it's slowing down.

silveraxe93

8 months agodiscuss

2025 US defense budget is $849.8 billion[1].

Had a look and:

>In total, OpenAI aims to invest approximately $1.4 trillion in computing infrastructure – encompassing Google Cloud, Nvidia chips, and data center expansions.

Huh yeah fair. That's more than the yearly defense budget. Absurd. Though I'm sure it's not _yearly_

- [1] https://en.wikipedia.org/wiki/Military_budget_of_the_United_...

silveraxe93

8 months agodiscuss

I read this[1] some time ago. Seems relevant now.

- [1] https://www.astralcodexten.com/p/why-does-ozempic-cure-all-d...

silveraxe93

8 months agodiscuss

So they are biased because they said it was a toss-up and the election ended up being won by a razor's edge?

Votes wise, the electoral college makes small differences in popular votes have a larger effect in state votes.

silveraxe93

8 months agodiscuss

Need to use a personal account. Check the first question in the FAQ: https://antigravity.google/docs/faq

silveraxe93

8 months agodiscuss

This is a leak, yeah.

Though come on... Even with proofreading, this is an easy one to miss.

silveraxe93

8 months agodiscuss

Why not? You can just install windows on it.

silveraxe93

8 months agodiscuss

[flagged]

silveraxe93

8 months agodiscuss

Tattoos are self-mutilation the same way that taxes are theft. This is the worst argument in the world [1]

-[1] https://www.lesswrong.com/posts/yCWPkLi8wJvewPbEp/the-noncen...

silveraxe93

8 months agodiscuss

No it's not. It's literally a court order mandating them to collect this data.

- [1] https://arstechnica.com/tech-policy/2025/08/openai-offers-20...

silveraxe93

9 months agodiscuss

Nice, thanks!

silveraxe93

9 months agodiscuss

Did they!? Damn I missed it.

I was looking into creating one and skimmed the available ones and didn't see it.

EDIT:

Just looked again. In the docs they have this section: ``` Available Skills

Pre-built Agent Skills The following pre-built Agent Skills are available for immediate use:

    PowerPoint (pptx): Create presentations, edit slides, analyze presentation content
    Excel (xlsx): Create spreadsheets, analyze data, generate reports with charts
    Word (docx): Create documents, edit content, format text
    PDF (pdf): Generate formatted PDF documents and reports

These Skills are available on the Claude API and claude.ai. See the quickstart tutorial to start using them in the API. ```

Is there another list of available skills?

silveraxe93

9 months agodiscuss

I'm surprised Anthropic didn't release skills with a `skill-creation` skill.

silveraxe93

9 months agodiscuss

That's why I'm very excited by Gemini diffusion[1].

- [1] https://deepmind.google/models/gemini-diffusion/

silveraxe93

9 months agodiscuss

Then don't? I don't think it's a valid complaint at _all_.

It's totally fine to just pick one tool (chatGPT, Claude, Gemini) and just use whatever the best default they allow you to use. You'll get 90% of the benefits and not have to think at all.

AI is new and developing at breakneck pace. You can't complain that you want to get bleeding edge without having to do research or change workflows. That's already unrealistic for "normal" fields. It's absurd to expect for AI.

comments