modeless

31 ms·

781.
by modeless 1y ago
Hmm. It is possible to distinguish flickering lights at much higher than the flicker fusion threshold by using eye motion or other types of fast motion. A constant light will produce a smooth blur under motion while a flickering light will
782.
by modeless 1y ago
Hmm, so basically it's a heated syringe? Is there a reason you couldn't just use a regular syringe and heat it up?
783.
by modeless 1y ago
GPS is owned by the US military. Physically destroying GPS satellites would be an unambiguous act of war against the US.
784.
by modeless 1y ago
Taking out one or even a few dozen satellites isn't going to make communication unreliable. They can redistribute themselves to fill holes. You'd need to take out thousands, requiring hundreds of launches at least. And neither Rus
785.
by modeless 1y ago
Intel went from three years ahead to three years behind in ten years. It's a generational fumble. 18A is canceled for foundry customers, it's not going to save them. If they can't get it together for 14A, they are toast.
786.
by modeless 1y ago
I'm aware of the existence of the EMP weapon concept. I doubt its effectiveness against modern satellites in LEO at long range. That very article says "The damaging effects on orbiting satellites are usually due to factors other t
787.
by modeless 1y ago
I don't believe this is true. And of course detonating nukes in space would be an act of war against the whole world.
788.
by modeless 1y ago
It's essentially impossible for anyone to disable the Starlink network by "taking out satellites" through physical means. There aren't enough anti satellite missiles in the world to make a dent, it would cost trillions t
789.
by modeless 1y ago
Cyberattack. Given the usage in active wars, it's a big juicy target. There's precedent too; Russia hacked Viasat at the start of the Ukraine war. They actually bricked user terminals in that attack.
790.
by modeless 1y ago
It seems very likely from the description in the link that formal verification tools for mathematical proofs were used in part of the RL training for this model. On the other hand, OpenAI claims "We reach this capability level not via
791.
by modeless 1y ago
These problems are designed to be solvable by humans without tools. No reason we can't give tools to the models when they go after harder problems. I think it's good to at least reproduce human-level skill without tools first.
792.
by modeless 1y ago
Models that can think coherently for hours to solve IMO problems are likely going to do much better at this as well.
793.
by modeless 1y ago
Yes, that quote is contained in my comment. But I don't think it unambiguously excludes tool use in the internal chain of thought. I don't think tool use would detract from the achievement, necessarily. I'm just interested to
794.
by modeless 1y ago
He claims nobody made that request to OpenAI. It was a request made to Google and others who were being judged by the actual contest judges, which OpenAI was not.
795.
by modeless 1y ago
> AlphaGeometry and AlphaProof required experts to first translate problems from natural language into domain-specific languages, such as Lean, and vice-versa for the proofs. It also took two to three days of computation. This year, our
796.
by modeless 1y ago
Lied about what? Your only claim so far is that they failed to disclose something that in my opinion didn't need to be disclosed.
797.
by modeless 1y ago
Over the years my viewpoint has led to great success in predicting the direction and speed of development of many technologies, among other things. As a result, by objective metrics of professional and financial success, I have done very we
798.
by modeless 1y ago
IMO their involvement is only an issue if they gained an advantage on the benchmark by it. If they didn't train on the test set then their gained advantage is minimal and I don't see a big problem with it nor do I see an obligatio
799.
by modeless 1y ago
It's only a "debacle" if you already assume OpenAI isn't trustworthy, because they said they don't train on the test set. I hope you can see that presenting your belief that they lied about training on the test set
800.
by modeless 1y ago
Most evidence you have about the world is claims from other people, not direct experiment. There seems to be a thought-terminating cliche here on HN, dismissing any claim from employees of large tech companies. Unlike seemingly most here on
801.
by modeless 1y ago
Noam Brown: > this isn’t an IMO-specific model. It’s a reasoning LLM that incorporates new experimental general-purpose techniques. > it’s also more efficient [than o1 or o3] with its thinking. And there’s a lot of room to push the te
802.
by modeless 1y ago
Mercury is heavier than gold so it's a fission reaction.
803.
by modeless 1y ago
Imagine a whiskey manufacturer saying "our whiskey is radioactive but it's ok because it will be less radioactive by the time you drink it!"
804.
by modeless 1y ago
It's produced from mercury
805.
by modeless 1y ago
You guys have a lot more faith than I do in people's ability to have rational beliefs about nuclear waste.
806.
by modeless 1y ago
The gold is a byproduct of generating the electricity. You still get to sell the electricity too.
807.
by modeless 1y ago
Unfortunately gold generated in this way would be radioactive. They calculate they would have to store the gold for over 13 years to not require labeling as radioactive waste, or over 17 years to reach the level of radioactivity of a banana
808.
by modeless 1y ago
Passwords on sticky notes can be phished. They can also be lost or stolen. The advantage of security keys is that phishing doesn't work on them. Phishing is a lot more likely for the vast majority of people than a thief both stealing t
809.
by modeless 1y ago
Hmm, that one is called "Google Prompt" but it looks like there's no option to disable it.
810.
by modeless 1y ago
This is about proving to Google that you're secure. Google doesn't know if the password you entered came from a password manager or not. But if you're using a hardware key, they know it's secure. If you lose your hardwar

More ›