olmo23

if a CVE drops at 23pm, attackers have at least 8 hours before someone in the office has a possibility to take a look at it. nowadays, that seems to be plenty.

i don't have a solution.

It sounds to me like they're saying it wasn't an Anthropic employee which decided to drop an SSH backdoor.

wdym? ai is great at explaining things; it's one of the primary use-cases outside of programming.

> if an advanced theorem is proven, and no one alive is competent enough to comprehend it, does it even matter

For any applied mathematics: of course it matters if I can use a better algorithm for $PROBLEM. Yes, even if I do not understand it (I'd like a LEAN certificate tho)! As for pure mathematics, it can be argued that it never mattered in the first place.

I disagree. What might be "a few prompts in claude code" for you, could be a lot of work for someone else. Not everyone is comfortable setting up a domain name and hosting etc... and if you provide value, why not ask for something in return?

I can think of many reasons.... "we were using python to quickly explore the space and rewrote to rust once we figured out the interface and started to focus on speed and safety", or "the original authors wrote this software in smalltalk but we'd rather it be golang because this simplifies deployment"

> You prefer a changing codebase over something that has evolved and is being tested over a long period of time?

As long as the test-cases are there, why would I care what language software is written in?

Suppose you are a maths researcher and you come across a problem, ... most likely, you will feed it to an AI. There are two possibilities: either the AI solves the problem or it does not.

If it solves the problem, you can ask the AI to explain it you. But if it does not solve it, will you really wager 30 years of your life on the possibility that you might be smarter than the AI?

I keep hearing about people spending their entire career on a single problem. And I think that time has ended. I think in Mathematics will be like chess.

I suspect most of these projects are started by people who get Claude Code at work, and just want to make sure that they spend all of their tokens before the weekly reset. In that case, cost is not relevant.

This is still true in JavaScript and many other modern languages.

Well, it's close in JS: 3 - 3.01 = -0.009999999999999787

navier stokes is not the only example of an open problem in maths that was solved by AI (eg the counterexample to the jacobian)

> humans can be held accountable and learn from their mistakes

bad bots can be retrained or shut down far more easily

I'm not sure what that percentage means, but power-cuts in Belgium are extremely rare.

Where do you live? Ipad kids here need to be explained what files and folders are. They've never even used a mouse.