ChadNauseam

> You can’t jump up and down screaming how amazing, powerful, and dangerous your new tech is and then act surprised and annoyed when the government shows up looking to regulate it.

True, you can't. But, you can think certain regulations are helpful and certain other regulations are not. And you can be annoyed when unhelpful "regulations" are put in place.

This is like if I say that pitbulls are dangerous, and then the government comes and shoots my pitbull, who I've spent a lot of effort training to not be dangerous. Then you say "well you said pitbulls were dangerous, so you can't really complain." Well, I can complain because If you took me seriously, you wouldn't have responded by shooting only my pitbull!

Think of what incentives this creates for other people. Do you think that OpenAI will be candid about the possible dangers of their technology now? They might not even release it now, seeing that Anthropic releasing their model was what got it export-controlled.

If you "know" that it's "99% petty drama between the US government and Anthropic", then it's not really their fearmongering backfiring on them.

> That said, if you think this is as bad as the article claims you'll obviously buy SpaceX at IPO, then sell it when Index funds are obligated to buy.

The price at IPO will obviously be influenced by expectations of a future purchase by index funds... as an analogy, if it became public knowledge that next week, 1,000,000 people would all be required to buy gold, the price of gold would go up today, not next week

Right now, consumers spend much more money on AI than GoPros. More on AI than GoPro's entire product category (including all their competitors). That's not even counting businesses' AI spending. So it seems like the market is listening closely.

Damn, I didn't realize jxl was so great. I agree, AVIF lossless isn't competitive with it at all.

> At decent quality, is it that much better than jpegli

I was curious so I gave it a try and switched my photo editing site [0] to jpegli. Here's a comparison between a 29kb avif file (left) and a 146kb jpeg file (right), as produced by my site: https://files.catbox.moe/wdo9gf.png . The avif looks much better to my eye, and is of cource much smaller

[0]: https://pictolab.io

> 2. Chroma subsampling remains a bad idea for still images unless the resolution is high enough to hide the artifacts.

Hmm, I don't think so. I think at a fixed file size, chroma subsampling usually allows you to have fewer noticeable artifacts. Humans are so much more sensitive to luma that it doesn't make sense to treat it equally to chroma with respect to lossy compression. That said, if you don't like it, AVIF supports 4:4:4 just fine.

In my tests, AVIF beats PNG easily for lossless compression of actual photographs (for things like charts and screenshots, PNG wins of course). And for lossy, it's much smaller than jpeg and supports HDR unlike WebP. So if you need HDR and are doing lossy compression on the web, it's your best option as far as I know.

I'm terrible at art so I can never make a good favicon haha. And this isn't a commercial product or anything so I'm fine with repping vite

For long term archival, JXL is better, the only issue with it is browser and device support

AVIF is for sure my favorite image format right now. No other format has the quadfecta of lossless, HDR, transparency, browser support. Plus as you said, for very compressed images it looks amazing. It blows my mind how small AVIF files can be. Also, unlike HEIC and Ultra HDR JPEG, it actually supports HDR natively as part of the file format rather than doing the hacky sidecar gain map trick. I know it doesn't matter to everyone, but I just love HDR and AVIF is the only format that I feel like really takes it seriously.

I think energy efficiency matters more with EVs, because it determines how frequently you have to charge on road trips, and more aerodynamic designs look a bit uglier.

One thing you can do with this that works quite well is use it to "decrop" (widen the viewing angle) of a video. This is very useful for stabilization which usually involves cropping. Here's an example: https://x.com/i/status/2051504427287404568

Once they get quicker to train, I expect this to be a popular use of them

Does the commutation of Tina Peters' sentence have anything at all to do with this situation?

I'm surprised that your comment is dead. Apparently there was evidence (https://news.ycombinator.com/item?id=48153756), so I don't see the problem with having asked.

Well, now you see the issue. It only takes one hold-out for the plan to fail. The federal government could pass a law to at least ban it within the US, but the federal government can't seem to pass any laws right now.

It's tempting to blame any political outcome you don't like on lobbying. It allows you to believe that almost no one supports the outcome that you don't like, because you can blame it on politicians manage to be bought by a small number of lobbyists. But it might not be the case. Several states (I believe Texas, Georgia, and Indiana) don't charge sales tax to data centers. So from Louisiana's perspective, the alternative to the tax break might not be $3B in tax revenue, but $0 (as Meta would simply build elsewhere). I'm sure they still plan to collect income taxes for the temporary jobs created for the construction of the data center, and of the permanent jobs required to maintain it.

If states all worked together, they could plausibly prevent this race to the bottom by agreeing on a universal sales tax minimum, but there are many obstacles to that as well besides some vague sense of "lobbying". You'd want all states to work cooperate on their minimum tax, but every state has a big incentive to break from the cartel and offer lower taxes in exchange for getting all the datacenters built there. There are lobbyists who are working against this, but it's not just meta and google, it's also local utility companies and construction/trade unions (who all want their state to defect and be the one to get all the new money and jobs)

The domain in the attestation would be yours, so that wouldn't work

About 30% better compression than AV1 at equivalent quality. But it'll be a while before it's a good idea to use AV2 in your home media server. (AV1 is still not that broadly supported)

Thank you!

I also want to shorten the intro, thanks for the feedback

Can you explain the issue from a more basic level for people who don’t know? what i’m imagining is that, like, an aquifer might connect over a very large area and every property owner in the area has the right to extract as much water as they want from it? Leading to a tragedy of the commons situation that states are unable to regulate for some reason?

I think it’s a good thing when non-americans want to invest in businesses that operate in america. They’ll use that investment to hire americans and produce goods that are sold to americans. I’m sure american capitalists would love to be the only ones allowed to invest here, as they would be able to get more equity for their capital, but it’s not good for anyone else and not really even good for them long term. Smart countries try to attract foreign investment, not scare it away

If you control the layout, eytzinger layout typically will give you the best of both worlds. As fast as a linear scan for small N, much faster than binary search over a sorted array for large N.

I’m not the GP, but I think petri nets are awesome. At least they’re a great way to represent and visualize many systems. Statecharts I find tricky by comparison. For a simple example, imagine you’re making a game and the player has to talk to three people in any order before moving to the next stage. this is very easy to represent as a petri net. (you just need three places and have a token in each one represent having talked to the necessary person.) But I think it corresponds to 8 separate states in an FSM (or statechart? not sure). Which just seems overly complex for a simple situation like this

talking totally out of my ass, but apple seems to have robust infrastructure for e2ee communication between your devices, for example it is known that location information in find my is not visible to apple. I’d be surprised if the channel to send iphone notifications to your mac wasn’t also e2ee

How would it be a money grab? If the new tokenizer requires more tokens to encode the same information, it costs them more money for inference. The point of charging per token is that the cost is proportional to the number of tokens. That's my understanding anyway

That's just not true. Makes me wondered if you've ever bought a bottle of alcohol before lol. There's no label that says it causes cancer. (Maybe in california because of prop 65?) And I expect cars also have no such labelling, not that it would matter, considering they cause cancer in random passers by who have no opportunity to consent to breathing in auto exhaust or read any labels

How does this disagree with "the base language must be total and can't be Turing complete"

If you get cancer from drinking alcohol, smoking cigarettes or breathing particles emitted by ICE engines in their standard course of operation, you generally can't sue the manufacturer.

> So the claim "tend to grow them" ... it is not completely wrong, but it also does not fully capture an independent want to add them. It comes ALWAYS from people who WANT types.

Who else would add them, besides people who want them? I'm confused about what you're even claiming here. It sounds like you feel that there's a vocal minority of type enthusiasts who everyone else is just humoring by letting them bolt on their type systems.

It's very important in my opinion to have Codex review Claude's work. They make different types of errors and both get tunnel-vision. I prefer to drive with Claude, but I set up this hook to automatically invoke a Codex code review every time Claude tries to commit. I find it dramatically improves the performance of either of the models individually.

You can just paste the entire gist into your Claude session to have Claude set it up for you