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个月前讨论

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

silveraxe93

4个月前讨论

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个月前讨论

Yeah, Claude Code.

silveraxe93

8个月前讨论

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个月前讨论

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个月前讨论

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

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

silveraxe93

8个月前讨论

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个月前讨论

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

silveraxe93

8个月前讨论

This is a leak, yeah.

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

silveraxe93

8个月前讨论

Why not? You can just install windows on it.

silveraxe93

8个月前讨论

[flagged]

silveraxe93

8个月前讨论

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个月前讨论

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个月前讨论

Nice, thanks!

silveraxe93

9个月前讨论

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个月前讨论

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

silveraxe93

9个月前讨论

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

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

silveraxe93

9个月前讨论

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.

评论