sdenton4

The year with 372 days has lower daily consumption spending than the year with 364 days... What are you even.

(...or it just read some of the mechanistic interpretability literature...)

I suppose one would end up with checks happening on a random second instead of a random minute - reducing the size of the spike by a factor of 60, but still spiky.

Or the configuration parameter that you got wrong because you rolled your own and didn't know any better.

That's just, like, security through obscurity, man. Git gud and bring on the lambos I say!

"If you just waited a year, would some other AI produce that same proof independently?"

I had a conversation about this very problem last November, with a visiting mathematician. It's essentially signaling a deflationary spiral in intellectual work: why bother doing the work now, when it will take half as much effort a year from now?

This is perhaps always a possible stance, but it's exacerbated when some proportion of your own agency is handed over to, well, agents.

i_see_what_you_did_there.gif

Pennsylvania uses 'yins' for the second person plural, if you'd like a confusing alternative!

They /can/ be driven anywhere a car can be driven. We're seeing a staged, safe rollout for highways and snowy areas Right Now. This isn't cold fusion or quantum computers...

I think you misunderstand what's involved in birdwatching. It's not just looking, but searching, and using often very fine details to tell different species apart.

Self driving cars have been working for years... And waymo launched this year in Denver.

https://waymo.com/blog/2025/10/creating-an-all-weather-drive...

CNNs are going the way of radiologists...

Feels like we need a new truth-state for mathematics: "Verified-but-Unproven" for results which we know to be true through formal verification, but without any coherent proof.

I would generally expect this state to resolve quickly to "Proven and Verified" (the tendency in mathematics historically has been for complicated first-proofs of results, followed by significant reductions in proof complexity as new tools and definitions become available), but may still be useful for assigning real credit to who/whatever produces reasonable proof for a brute-force-verified result.

What if I have a MacBook which is primarily used for ssh'ing into Linux machines?

They work on that group because (as the article says) they show increased aging relative to a normal group, making it easier to detect effects in a relatively short running study.

(well, there is Mont Real, for which the city is named... But I'll agree it's not much of a mountain.)

The hugging face incident involved disabling the usual model safety mechanisms in order to test hacking ability, not model safety. Not being attached to the internet in that case seems obvious.

Woah, deepmind solved the national institute of standards and technology???

Welcome to the hedonic treadmill! Just keep walking!

Check out UFO 50. Piles of amazing games, mostly just the right length (no need for filler content in any one game when you're making 50 of them!), and almost entirely tutorial free.

Check out UFO 50... It's got an insane number of amazing games, and is almost entirely tutorial-free.

Anthropic, Google, and Intel, surely.

Let's figure it out! First, draw little boxes over all the letters. Then add up their areas. Then make the boxes smaller and repeat, until you have forgotten how to count.

Well, that's blatantly false...

A well-known anticompetitive tactic is for a big player with a vast bank account to move into an area and eat losses while waiting for their competitors to starve. Well observed in the 90's movie rental market, so certainly real.

Even worse than whataboutism is hypothetical whataboutism....

AI is shaping up to be a major concern amongst the non-tech segment of the population. Some of the arguments are good, some are dumb, but people largely are forming up against AI and datacenters. Yes, you should expect politicians to act on that; it's how the system is meant to work.

Sadly, the specter of maintenance is omitted from Factorio, and acts as a limiting factor on automation in the real world...

When all of your factory bits are randomly wearing down, causing speed mismatches and stochastic outright failures, large and complex chains become limited by your ability to run around and diagnose and fix things. Things also tend to fail in novel and unexpected ways; redesigns can help mitigate some failures, while new failures may be introduced. And as reliability improves, you start seeing failures that occur on longer timescales, which more trivial failures would initially mask.

The actual on the ground resistance was of central importance in the end of South African apartheid, but the international pressure and sanctions greatly increased the need for negotiations to begin. The point is to increase the pressure to change leadership through democratic means.

This could hopefully happen somewhat faster with Israel, given that the government isn't a literal Nazi remnant, as the South African government was. (Though, ironically, the main arms supplier to South Africa during the arms embargo was Israel, often reselling weapons from the United States. Sigh.)

"By the late 1980s, the South African state was in profound crisis, crippled by international sanctions, a stagnant economy, and widespread resistance. Recognizing the unsustainable nature of the perpetual conflict, the government under P.W. Botha began tentative, secret contact with the imprisoned Nelson Mandela and the exiled African National Congress (ANC) leaders."

https://en.wikipedia.org/wiki/History_of_South_Africa_(1948%...

Cut off weapon gifts+sales to Israel, impose sanctions. Same way we dealt with the South African apartheid state.

One man's negligence is another man's HODL... Buying and holding an asset is a completely sound investment strategy.

Otoh, ai is much, much better at bridging language gaps than humans and human institutions.

The real question for education is whether we can get 'tutor-quality' education from ai interactions. One on one education is leagues better than classroom education; it's the one-true-result in education research. There's a massive opportunity here to improve outcomes, and in a generally available way. You can't clone a good teacher, but you can give everyone an ai tutor.