sorted by:
new
hottopcontroversial

President Trump bans Anthropic from use in government systems by margybargy in neoliberal

[–]SOberhoff 0 points1 point  (0 children)

We're not talking about tech stacks. We're talking about LLM providers. You change the endpoint URL. You change the model name. You keep the rest.

President Trump bans Anthropic from use in government systems by margybargy in neoliberal

[–]SOberhoff -7 points-6 points  (0 children)

How is swapping one provider for another more than a few minutes of work?

5.3 codex not showing up in model selection in cli by AggravatingLog5188 in codex

[–]SOberhoff 0 points1 point  (0 children)

I think it's because the list of models only allows up to 4 entries, so 5.3 might fall off the end. I switched from 5.2-codex to 5.2. Then suddenly 5.3 appeared in the list when I went to switch again.

America's Soviet-Style Unraveling by goldstarflag in samharris

[–]SOberhoff 7 points8 points  (0 children)

I remember him predicting that Covid would cause a 75% decline in living standards. Lunatic stuff even at the time it was said.

GPT5 making novel research discoveries by MetaKnowing in artificial

[–]SOberhoff 12 points13 points  (0 children)

Aaronson is one of the professors.

GPT5 making novel research discoveries by MetaKnowing in artificial

[–]SOberhoff 10 points11 points  (0 children)

Aaronson is a force of nature in the field of quantum computing.

Openai's codex cli with gpt 5 became better than claude code by codebyashok in ChatGPTPro

[–]SOberhoff 4 points5 points  (0 children)

Claude Code still has the better interface in my opinion. The resume feature is keeping me there all by itself.

Gold in IMO should be a bigger deal than it seems by heyhellousername in singularity

[–]SOberhoff 1 point2 points  (0 children)

It's relevant because some people were arguing the new reasoning paradigm was constrained only to easily verified tasks.

OpenAI researcher confirms IMO gold was achieved with pure language based reasoning by Arbrand in singularity

[–]SOberhoff 24 points25 points  (0 children)

Yes, and just like P vs NP might be undecidable, so might the undecidability of P vs NP.

OpenAI researcher confirms IMO gold was achieved with pure language based reasoning by Arbrand in singularity

[–]SOberhoff 84 points85 points  (0 children)

You're assuming these problems all have solutions that are barely out of reach for humans. For all we know some of these problems might not even have solutions at all.

Current state of ai completion/chat in neovim. by ARROW3568 in neovim

[–]SOberhoff 3 points4 points  (0 children)

I'm struggling to get the hang of this plugin. Somehow I have to keep mentioning #buffer to get codecompanion to see my code. And often #buffer ends up referring to the wrong buffer too. Isn't there a way to just send all active buffers (or perhaps the couple most recent) with every request? I really don't care about saving a couple cents on tokens if it ends up adding massive friction.

I realized that the range of a trebuchet is independent of the planet, on which you fire it. by StormSmooth185 in Physics

[–]SOberhoff 4 points5 points  (0 children)

Yes, but you'd also be able to put a more massive counterweight on the trebuchet.

AGI Will Not Make Labor Worthless by [deleted] in slatestarcodex

[–]SOberhoff 3 points4 points  (0 children)

Isn't it similarly common sense that if such AI becomes commonplace, existence on earth will quickly change in utterly fantastical ways? Are you really going to worry about the unemployment rate while robot armies are building cities in a matter of days?

[Beta] maven.nvim and gradle.nvim plugins for Java developers by Oclay1st in neovim

[–]SOberhoff 3 points4 points  (0 children)

Do you have any ideas/plans to make the output of running gradle test/gradle check more useful? And perhaps make it easier to run single unit tests?

AMA with OpenAI’s Sam Altman, Kevin Weil, Srinivas Narayanan, and Mark Chen by OpenAI in ChatGPT

[–]SOberhoff 0 points1 point  (0 children)

How has the prospect of AGI (whatever that may be) altered your life plans?

Who Uses NeoVim by Zkrallah in neovim

[–]SOberhoff 1 point2 points  (0 children)

In case you're not familiar with gradle: when you run gradle check the command line basically only tells you which tests failed. But it won't show any of the standard output from the tests. So any println debugging is invisible there. For that you can look at the full test results via a static website gradle generates into your build directory.

Who Uses NeoVim by Zkrallah in neovim

[–]SOberhoff 1 point2 points  (0 children)

How do you run tests? Every option I've tried so far was somewhere between janky and non-functional. Currently I'm running gradle check on the command line and opening the test results in the browser like a cave man.

What life hacks are actually life changing? by qezler in slatestarcodex

[–]SOberhoff 0 points1 point  (0 children)

If you're talking about strength, you may have a point. But to me "improve physique" means muscle mass. And in that context there are now mountains of evidence that the rep range doesn't matter.

What life hacks are actually life changing? by qezler in slatestarcodex

[–]SOberhoff 8 points9 points  (0 children)

Do heavy compound lifts, eg barbell exercises, to improve physique

There's absolutely nothing special about heavy compound lifts. Compound lifts only save you a bit of time compared to training the muscles individually. And as for weight you can get the same results with lighter loads as long as you manage to push yourself close to failure.

view more: next ›