very interesting. but his company is mining. the one industry that benefits most from eletric.

quasi stationary heavy equipment. electricity is a commodity they can keep pestering the municipality to go green for them. they probably don't operate shipping of their more bulk metals, except from that prototype.

i mean, his goal is awesome, and fossil is late to disappear. but damn he is a good salesman.

found sam's account

I have a RTX 2080 to give away. Interested?

Yea, we all swim in the water of non-semantic "stars" and most don't even realize we are wet. Same thing with how bad notifications are as a system (as opposed to the good way: up to date status).

AWS has said that formal verification enables their engineers to implement aggressive performance optimizations on complex algorithms without the fear of introducing subtle bugs or breaking system correctness. It helped double the performance of the IAM ACL evaluation code

At my company everyone’s salary and career ladder are determined by exactly how much they dive into AI and show enthusiasm for it, regardless of whether they’re using it for something useful or they’re just competing for how much money they can burn

Well, that's not what the system does. So it can't be its purpose, I guess.

In any case, the blog is well regarded in these circles.

A while back I noticed a visual bug on a specific webpage. I mean a real insect bug, crawling across the bottom of the screen on a corporate webpage[1]. It freaked me out so much. I had a few reputable extensions in that browser profile, but it contained bpwc. Downloaded, of course from the official repo.

I restarted my browser and removed bpwc from that profile. I never saw it again. Now i use it only in a specific browser profile called paywalls. I don't know what extension or ad injection caused it, but that experience, along with the countless articles about the malware in extensions has caused me to be a lot more careful.

I am not accusing bpwc of course, it is open source and well regarded, but if anyone has any insight into what happened I would be curious to hear.

[1] https://deepl.com

Now do the Amazon app.

Number of times I've looked for something on my phone, gone through to a product page on Amazon but then have had to back out multiple times to get back to the search listing. Sometimes it's previously viewed products, sometimes it's "just" the Amazon home page. It should be one-and-done.

You mean like Kimi-K2.5 or GLM 5.1?

In this very comment section an earlier post claimed the opposite (that specifically grain fermentation did not produce the big M), and sounded just as knowlegable and plausible to the lay-ear.

You're technically right, but what things are versus how they're promoted or understood by most people (rightfully or not) often diverges, and therefore such "grounding" articles are useful, even if the wording addresses the perceived rather than the factual reality.

By way of analogy, if there was an article saying "I bought a 1Tb drive and it only came with 0.91 terabits", I think if you started explaining that technically the problem is the confusion between SI vs binary units and the title should really be "I bought a 0.91 terabit drive and was disappointed it didn't have more capacity", technically you'd be right, but people would rightfully eyeroll at you.

Fingers crossed for Preact support in Router next.

More neo-luddite nonsense.

Impossible to tell! Even when I have established patterns, I do take alternatives for a spin… usually a solid week to give them a chance. Most times I’m just reaffirming that I like what I’ve got, but I do occasionally discover features that are new/interesting.

And how does the price Musk paid for Twitter look now? Sure, maybe it was really a dumb move and he just got lucky. But he's been lucky a hell of a lot.

Which is a better idea, the brick or the building?

In early tests the performance of gemma-4-31B was affected by tokenizer bugs in many of the existing backends, like llama.cpp, which were later corrected by their maintainers.

Moreover, tool invocation had problems that were later corrected by Google in an updated chat template.

So any early benchmarks that have shown the dense model as inferior to the MoE model are likely to be flawed and they must be repeated after updating both the inference backend and the model.

All benchmarks that I have seen after the bugs were fixed have shown the dense model as clearly superior in quality, even if much slower.

Incorrect usage of semicolon in title/headline. Should be a comma.

Tsk, tsk.

No need to hunt it down, there's a URL in the PR / commit message that links to the full diff.

It's so beautiful I nearly cried

If NextJS isn't nearly entirely replaced by TanStack Start universally in the next 2-3 years we'll know VC money has landed the final blow in 'VC vs Js Ecosystem'

An even easier fit would be comic books. They already let you steam libraries of photos. I have never used that feature, but I would definitely stream some comics.

Also, they could handle audiobooks since they already stream music.

Instead, they want to sell me on streaming services when I started using Plex because I pirate my media.

I do see one issue with books that other media doesn't have. That is the ability to interact. When I use my e-reader, I like features like highlighting, taking notes, dictionaries, and other features that are more complicated that just streaming rendered images from a book.

Wrong thread. You probably meant to post here: https://news.ycombinator.com/item?id=47755629

So far you've only gotten responses to "how can a worse product win?", and they are valid, but honestly the problem here is that Mercurial is not a better product in at least one very important way: branches.

You can visit any resource about git and branches will have a prominent role. Git is very good at branches. Mercurial fans will counter by explaining one of the several different branching options it has available and how it is better than the one git has. They may very well be right. It also doesn't matter, because the fact that there's a discussion about what branching method to use really just means Mercurial doesn't solve branches. For close to 20 years the Mercurial website contained a guide that explained only how to have "branches" by having multiple copies of the repository on your system. It looks like the website has now been updated: it doesn't have any explanation about branches at all that I can find. Instead it links to several different external resources that don't focus on branches either. One of them mentions "topic", introduced in 2015. Maybe that's the answer to Git's branching model. I don't care enough to look into it. By 2015 Git had long since won.

Mercurial is a cool toolbox of stuff. Some of them are almost certainly better than git. It's not a better product.

The short of it is that there’s no money in photography, compared to videography.

Movies routinely have 8 or 9 digit budgets, with teams of hundreds of people who have to collaborate to make footage coming from dozens of different cameras look seamless and consistent. Meanwhile, $1M would be an insane budget for a photo shoot.

You can see this in the actual skills of people working in the field as well. Anyone working in video has a solid understanding of the technical underpinnings of their craft. On the other hand, it’s not uncommon for working photographers to not understand some really basic stuff about color science/data formats/etc.

The problem was in Lean though, so it seems fair.

How can I contribute to such endeavours?

And still Wikipedia calls the dead internet a ‘conspiracy theory’

Great work. I like the approach of creating a schema to work with the OpenAPI spec.

Copy-pasting screenshots of red lines.

Are you saying it's cloudy for four months straight?

And the panels are still making power during the winter.

A detailed chart would be nice but a good starting point to imagine is 60-70 days that average 50% solar power and the rest of the year is full solar power minus a couple particularly bad days.