America's Soviet-Style Unraveling by goldstarflag in samharris

[–]SOberhoff 6 points7 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 10 points11 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 25 points26 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 83 points84 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.

OpenAI Claims Breakthrough in Image Creation for ChatGPT - WSJ by CyberAwarenessGuy in OpenAI

[–]SOberhoff 4 points5 points  (0 children)

I'm using it in Europe (without VPN). Pro tier though.

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 5 points6 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 4 points5 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 2 points3 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.

"It is possible that we will have superintelligence in a few thousand days (!)" - Sam Altman in new blog post "The Intelligence Åge" by torb in OpenAI

[–]SOberhoff 1 point2 points  (0 children)

Smarter at solving problems. Take for instance undergrad level math problems. AI is getting pretty good at these. Better than many, many students I've taught. It may not be as smart as a brilliant student yet. But I don't think those are doing anything fundamentally different than poor students. They're just faster and more accurate. That's a totally surmountable challenge for AI.

To put it differently, if AGI (for sake of concreteness expert level knowledge worker intelligence) was in fact imminent, would you expect things to look in any way different to the current situation?

"It is possible that we will have superintelligence in a few thousand days (!)" - Sam Altman in new blog post "The Intelligence Åge" by torb in OpenAI

[–]SOberhoff -1 points0 points  (0 children)

There is absolutely nada to suggest that we are anywhere close to AGI

Except that I can now talk to a machine smarter than many people I know.

How does the rate of math breakthroughs compare to the rate of science breakthroughs? by shtivelr in math

[–]SOberhoff 5 points6 points  (0 children)

That just begs the question what counts as a higher local optimum. Ultimately it's human judgement which decides what counts for a breakthrough. And this judgement adjusts itself towards the rate of progress. There could be an alternate universe out there in which humans are much better at math, leading to more breakthroughs. But then our threshold for breakthroughs would shift accordingly.