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".

Regardless of one’s opinion about AI, from a product perspective this seems somewhat similar to the dev using his 48gb ram machine and latest iphone to test an app that will be used by consumers with entry-level devices

People like to blame social media for this kind of bullshit, but social media is just the vector.

Just this week I read a "study" because someone claimed on social media that it was made by (Public, famous) Unis A, B and C and reported as an effect an increase in 30% of revenue for the companies that participated in the experiment.

The "study" was commissioned by an interest group (bad sign). It was conducted by people associated with said unis (I didn't check their credentials), and it did report in its headline the 30% revenue increase.

Said study was about an experiment that ran for a few months. Within these months, the revenue was flat (which could be considered good enough for the cause). The 30% was the revenue of this period against the same period the previous year. So somehow the experiment affected the companies retroactively! Not to mention that the researchers were able to find a group of companies that were, on average, growing 30% YoY. Surprising indeed.

So even if you check your sources, it may still be bullshit science or bullshit reporting from well-credentialed sources.

I don't think the following is a great idea for many reasons, but it's an idea that has been on my mind for a while and I'd like to share it to hear some thoughts:

Germany has (used to have? I don't follow this closely) the "church tax": citizens are obligated to pay the tax no matter how much faith they have, but are free to channel it to a denomination/organization they believe in.

Maybe a liberal, democratic state could successfully build something similar for news organizations: all citizens have to pay a "journalism tax", which they then channel to a subscription for a vehicle they trust.

Yes, a million ways this can be abused, the government may censor opposition, etc. I know, I said the idea wasn't great. But worth pondering. Also, this is based on a very stylized understanding of how said German tax works (I'm not German and never looked at it that deeply)

btw I understand this is the opposite of "free", but more about journalism financing in general.

Hm, that’s a multinomial classification with a very high cardinality. It’s really weird it works. I’m sure it does as the author states, but for how many authors (out of the whole web) does this work?

> In France cars are torched if the pension age is raised.

Democracy is… an organized group toppling decisions made by popularly elected representatives within the confines of the law?

I don’t think Americans would enjoy the alternative of defaulting on that debt, or the counterfactual of not having raised that debt in the first place

But yeah, having to pay your debts do suck

I think this might depend on where you intend to sell them. I think in life plus 50 countries (Egypt, China, many others) it should be out of copyright already. IANAL, so consult one before doing anything.

I haven't done it myself, using game engines as UI frameworks is not unheard of :)

He wasn't fudging anything, his phrasing was

> ~18% of their working age people *do not have jobs*

Which is a correct interpretation of participation rate. His theory on the causes may be off, but his numbers weren't

Glad you mentioned this possibility

Countries have centuries of experience providing attestation services through notaries. Germany is even infamous for requiring them for things that would sound ridiculous even in Brazil (both movie and country)

I can’t see why governments couldn’t incorporate this existing infrastructure into the digital world. Make them sell hardware ID wallets, enforce the real identity owner to be present to invalidate a previous ID or whatever, and add legal restrictions for the government not be able to alter these registries

This is brilliant! Thank you for creating it

According to the article itself, ARR’s definition is clear and strict: annual and recurring. This means that “margin” doesn’t factor in, so I don’t think calling these AI companies’ revenue GMV is all that sensible either.

I do agree the market is eager to conflate run rate and arr, though

Funny name given that Sauron infamously didn’t prevent a break-in

Btw: isn’t lotr out of copyright in death of author + 50yrs countries? Where’s the legal Chinese movie trilogy?

> It’s art that bursts the seams, demanding that the world bend to it and not the other way around, refusing to comply with the arbitrary bounds of property law—those meaningless slips of paper meant to legally confer ownership of land, buildings, bridges, trains, and anything else that might serve as the artist’s canvas.

I won’t touch on the property issue because it’s really tiresome - sometimes I wish there were working communists countries so these people could simply go there and we wouldn’t have to suffer them.

But it’s really the first part of this quote that gets me: it’s precisely the fact that graffitti is forced on us that makes me despise it so much. Imagine having to listen to anyone aspiring artist’s bad poetry when you’re on and about. It’s not much better than appreciating strangers’ music taste on the street or public transit. It’s worse than advertisement: at least ads are bland and repetitive, you can easily filter them out.

> When I see DEFUND BPD hovering above North Avenue in enormous, spray-painted letters, I don’t see the opinion of one idealistic graffiti artist; I see someone expressing an increasingly common sentiment.

There are many graffitis out there asking non-politely that refugees go back to their homeland or that certain kinds of people are not welcome. I suppose, maybe unfairly, that the author would consider these demonstrations a noisy hateful minority speaking for themselves and their little minds. That’s the positive side of living in a democracy: we shouldn’t need to trust that rogue public demostrations, due to the central limit theorem or something, converge on the public sentiment. We have elections for that.

And I don’t disagree that graffitti has artistic merit, however illegal or unpleasant to my eyes. I’m not that egocentric. I just think there are things more important than art.

It’s a good thing that Chinese companies have zero expertise in leveraging consumer demand for lower-end tech to develop know-how and catch up with the state of the art from Western-aligned companies and then economies of scale to surpass them in distribution.

Procedurally generated game worlds have been a thing since video games started, some of them even garnered some popular appeal, like a lego-looking one about crafting mines or something

Without snark, I believe it just means they’re not making money, likely because people consume less “published media” nowadays