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 個月前discuss

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

silveraxe93

4 個月前discuss

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 個月前discuss

Yeah, Claude Code.

silveraxe93

8 個月前discuss

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 個月前discuss

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 個月前discuss

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

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

silveraxe93

8 個月前discuss

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 個月前discuss

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

silveraxe93

8 個月前discuss

This is a leak, yeah.

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

silveraxe93

8 個月前discuss

Why not? You can just install windows on it.

silveraxe93

8 個月前discuss

[flagged]

silveraxe93

8 個月前discuss

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 個月前discuss

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 個月前discuss

Nice, thanks!

silveraxe93

9 個月前discuss

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 個月前discuss

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

silveraxe93

9 個月前discuss

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

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

silveraxe93

9 個月前discuss

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