vslira

Speaking for myself (and I bought Hillel's recently published Logic for Programmers): It's not clear to me which formal method I should use. I'm certain the answer is "there's a different best one for each situation", but I don't want to know one for each problem I'll face. I'd rather have a definitive answer to what is the second best for all situations, similar to how we can answer "python" to that question when the question is about general programming

The issue seems to be with the expectation that personal enrichment and subjective aesthetic appreciation should be socially instead privately funded

I don't consider myself an open weights supporter, but it's a bit of a bummer that if there's any novel search technique discovered by the model throughout this finding, it's possibly locked behind ant's reasoning summarization.

One wonders if they could turn their mechinterp work into analyzing the "thought processes" of these very special cases that turn into novel research and finally crack the creative thinking barrier.

It's not number of houses, it's number of houses where people want to live.

"house prices would not be increasing in areas of population decline" -> the causation could be running backwards: a family of 2 (maybe 2 retired people with accumulated wealth) can outcompete with a young family of 4 for the same unit, that drives prices up and population down. I'm not saying this is the case, but decreasing population not being associated with decreasing housing prices does not mean that increasing housing prices is not caused by housing scarcity

I use it to write instructions, obviously. I thought everyone was using C-g on Claude Code

If the EU as a system has an undemocratic backdoor it's descriptively correct to call it undemocratic. Not to play too hard on the HN user stereotype, but you wouldn't call a computer system that is mostly secure other than a known privilege escalation exploit secure, would you?

What’s the meaning of skeuomorphic design for a generation that has never worked with the original physical artifacts they’re based on, though?

Where do I sign to show my opposition to this change? Hide My Email has been essential to keep my digital life protected from abusive mail lists and frankly one of the features that make me associate icloud with a premium service

Yes it is bad, but if you believe some version of the most extreme forecasts of this tech then a government paying attention and doing some stupid things may be better than one that doesn't pay attention and is letting it rip.

I'm not saying I believe that or that Amodei thinks this decision is reasonable.

This ban in particular is probably the wrong decision, but now we're in the timeline where the USG is actively involved in AI model deployment which I think is a positive development within Amodei's beliefs. And I say this unironically and without judgement.

> The short version is that I don’t let AI agents work unsupervised on my code. I treat them like participants in a mob programming session instead of autonomous developers.

I wonder if OS maintainers would have a leg up in defining workflows to better leverage this. Of course, OS contributors are autonomous developers, but maybe a trick or two might transfer across

It may not be useful to anyone outside, but it's possible that one of the goals is institutional learning (that is, embedding the knowledge in how to build LLMs in an organization).

Even though it's nominally the national library behind this, they were probably chosen (as per the article) because they legally own and can use all NO material for this end. I'd guess researchers from related entities like unis will be involved in the process.

Maybe specialists have a higher bar than consumers, and as a design consumer he's right about the design, and the designer is right about the code, if "being right" means "understanding what the end customer will think about this".