skysight-inc/HackerNews huggingface dataset:
EV companies haven't been directly subsidized in China since 2022.

https://www.fastmarkets.com/insights/slowdown-in-china-ev-sa...

> As of January 1, 2023, OEMs in China are no longer offered financial subsidies for EV production

https://insideevs.com/news/716063/china-ev-subsidies-byd-tes...

> China’s aid to domestic new energy vehicles amounted to roughly $5.6 billion until 2022 when the direct payments to manufacturers were phased out.

China doesn't pay out any direct subsidies to their EV manufacturer. They only has a tax rebate for new EVs now- just like the USA $7500 tax rebate for EVs. And USA companies like Tesla can get that rebate in China as well, so the playing field in the Chinese market has been even since 2022.

China has given a total of $5.6bil in subsidies over 13 years. Ford (by itself) has $36bil cash on hand in Q3 2024. Ford, by itself, can easily spend enough R&D money to match China. These are all numbers that anyone can read SEC filings to verify.

Talking about "Chinese subsidies" is just pathetic whining and propaganda by western car companies, to cover up for their incompetent mismanagement when they can easily do it themselves.

If you hear a car company whine about Chinese subsidies, that just means they want your tax dollars to pad their profits.
The diversity measures used in this study are a fascinating window into some unusually measurable communities. The count of contributors and volume of their contributions are proxies to many things, including project popularity, ease of contribution, number of approachable fixes (tantamount to how many simple/low-hanging bugs there are), and diversity of use cases exposing the product to new situations (i.e. potential growth of project scope). These things need to align for diversity of contributors' motivations to arise and contributors to approach the project initially, but different things need to arise to sustain involvement: introduction of new bugs, need for completely new features (i.e. a growing project scope), continuing need for refinement of otherwise battle-tested code (i.e. performance gains remaining on the table), and continued relevance as other alternative packages and paradigms rise and fall. I can't wait to read their future work, and I hope it includes measures of project maturity (in the senses of feature-completeness/code quality as well as whether functional scope is growing or not). Surely there are projects that lack contributors for the simple reason that the projects are "done", and surely there are projects where engagement looks like disproportionately many shallow contributions due to immaturity of the product, and surely there are projects that have wider or shallower pools of scope to draw from (as well as management ethoses that readily take on new scope or are avoidant of the same).

Some opposing examples are the Linux kernel (eternally growing scope, with huge motivation by many user communities) and libpng (which is relatively fixed in scope, with desirements like security increasing the bar for contributions to an already mature and popular product).
I said Netscape, not FF, was crash prone.

I would, however, agree FF has many "odd bugs".
How does a group help anything?

If you put 1000 dumb people together, they don't magically become smart?
The First Fifteen Lives of Harry August by Claire North

This cleverly written sci-fi novel might not be everyone’s cup of tea, but it’s a thought-provoking exploration of a life that repeats.
One of BYD main advantages (according to economists) is that they have full vertical integration. So maybe it was not a good reason after all.
Bingo.

PRC EVs -> PRC EV charging piles -> PRC renewable hardware -> PRC infra -> reduce oil exporter leverage (US). Throw in software, surveillance, gps, megaconstellation connection. It's a play for entire transportation + connectivity stack.
Why being able to fork is still A Good Thing(1999)
As someone who inherited a codebase where we make liberal use of a monkeypatched `Object.const_missing`, and which breaks the code in frustrating and mysterious ways, thank you!
Definitely like DuckDuckGo - I have recently moved from Google to DDG as I noticed it serves the same, and even better plus privacy-first, results. Yet what you provide is not quite the same: An AI Chat Website vs a Browser Extension (Orbit).
Why should Europe allowed China to attack and destroy its car industry, when China is also helping Russia destroy Europe militarily?

Good thing Europe woke up earlier this year. impact of the EU’s tariffs on Chinese EV manufacturers. In November, Chinese automakers captured just 7.4% of Europe’s EV market, a noticeable drop from 8.2% in October and their lowest share since March [1].

As for US, the 100% tariff has safely protected America from Chinese EVs thus far.

[1]https://www.autoblog.com/news/chinas-ev-invasion-hits-a-wall
> I'm kidding, I don't really mind the visual style. The real issue with that thingy was how it floats on the page.

Finally someone admits that BonziBuddy was 25 years ahead of its time.
Also you are downvoted. How dare you to say such an heretic thing? Hehehehehe
> China allows these billionaires to exist as long as they play ball and toe the party line, because China still owns a controlling share in every Chinese company that exists.

That's not different on the West. At least in China you know how much the government owns. In the West it's decided every year by unstable politicians.
There’s also Leo from Brave: https://brave.com/leo/
Nvidia Jetson are all unified memory as are the raspberry pis.
if make a better browser was a nice comfy bed, Mozilla would sleep on the floor
> I gave this module its own immutable state. The state could be modified

this made me chuckle a bit
I wouldn't call it mini though.
Why is the DS in the "Non-modern graphics" row? It does not use a tile based renderer.
>Log virtual POST codes to a text file for a physical motherboard I'm troubleshooting to see where it's hanging up

I went as far as simulating defects by modifying individual hardware blocks in 86Box source code, recompiling, and checking resulting POST code because that seemed faster than carefully tracing BIOS :)

"Modified 86Box to break RTC always returning 0 or 0xff. POST_7 freeze." https://www.vogons.org/viewtopic.php?p=1041079#p1041079
Because it's a desktop OS installed on a gaming handheld. You're being unnecessarily pedantic.

https://upload.wikimedia.org/wikipedia/commons/5/59/KDE_Plas...

Guess which not-a-desktop OS ships with the Asus ROG Ally X.
Indeed, as a kid of 10, I remember learning C/C++ thanks to DJGPP, a DOS port of GCC, being free software. I didn't have any money to buy a commercial compiler, though I never asked my parents. I wasn't sure how to frame the question, I guess. Well, regardless, getting your hands on a commercial compiler wasn't that difficult in the late 90s/early 00s. Soon after though small non-commercial indie games kinda died out and everyone was using DirectX using MSVC on Windows, until SDL came out.
The cybertruck being sold only in the USA is a proof it is quite the opposite actually.
https://insideevs.com/news/716063/china-ev-subsidies-byd-tes...

> China’s aid to domestic new energy vehicles amounted to roughly $5.6 billion until 2022 when the direct payments to manufacturers were phased out.

$5.6 billion in subsidies over 10+ years. Ford has $29bil cash on hand Q3 2024. GM has $32bil cash on hand Q3 2024. Tesla has $33bil cash on hand Q3 2024.

This is all public data (legally required for all publicly traded companies) anyone can check.

American car companies don't need subsidies. They need to be less incompetent about spending their money, and whine less begging for USA government subsidies.

If you believe the USA should send more money to their car companies, you're a sucker who fell for propaganda from car companies who are asking for handouts to increase their profit margin.
Because you might want to run more than one program at a time without having to spin up a VM to do it.
Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification
We've developed an approach combining quantum computing with Meta-Llama-3.1-8B-Instruct to enhance mathematical reasoning. Our system proved that α must be an even integer for IMO 2024 Problem 1, where GPT-4 and Claude 3.5 failed. We seek expert verification of our methodology and results.
The Problem:
Find all real α where ⌊α⌋ + ⌊2α⌋ + ... + ⌊nα⌋ is divisible by n for all positive integers n.
Our Approach:
We represent mathematical reasoning as quantum states in a finite-dimensional Hilbert space, encoding both amplitude (token probabilities) and phase (logical relationships) information. A custom Hamiltonian guides the exploration of mathematical relationships through quantum evolution.
Key Innovation:
The system uses quantum interference to detect mathematical properties:

Valid reasoning shows constructive interference
Contradictions create destructive interference
Patterns emerge through phase relationships

Implementation:

Base: Meta-Llama-3.1-8B-Instruct
Quantum dimension: 512
Convergence threshold: 0.98
Stability window: 3 steps

Results:

GPT-4 (github.com/NandhaKishorM/quantum_reflection/blob/main/gpt4o.md)

Attempted integer proof but missed evenness
Failed to complete proof

Claude 3.5 (github.com/NandhaKishorM/quantum_reflection/blob/main/claude_sonnet_3.5.md)

Made incorrect assumptions
Missed evenness pattern

Our Solution (github.com/NandhaKishorM/quantum_reflection/blob/main/quantum_resoning.md)

Proved α must be even
Showed why odd integers fail
Complete mathematical justification

Areas Needing Verification:

Quantum State Representation:
Is our encoding of mathematical statements sound? Does phase encoding correctly capture logical relationships?
Hamiltonian Design:
Have we correctly designed the evolution operator? Are there missing edge cases?
Interference Analysis:
Is our interpretation of interference patterns rigorous? Are alternative explanations possible?
Proof Completeness:
Have we conclusively proven even integers are the only solutions?

Implementation:

Repository: github.com/NandhaKishorM/quantum_reflection
Architecture: See quantum_system.svg in docs
Full implementation in main.py

Key Questions:

Is our quantum interference interpretation valid as mathematical proof?
Are there failure modes in our state representation?
Can this approach generalize to other problems?
What additional verification steps would you recommend?

We welcome rigorous analysis from:

Quantum computing researchers
Mathematicians
Theoretical computer scientists
AI researchers

The quantum state evolution revealed crucial patterns:

Odd integers → destructive interference
Even integers → quantum coherence
Non-integers → phase decoherence

This led to proving even integers are the only solutions. We seek verification of both our methodology and conclusions.
Technical requirements: Understanding of quantum computing, mathematical logic, number theory, and neural language models.
I just checked these benchmarks results few days ago - am I reading this wrong or (apart from Assorted DOM) Firefox loses in most of the tests?
To make modern cars you need advanced industrial equipment and machines, robots. Where does China manage to get them? Did West sell these strategic resources to a competitor to get little short-term profit? Or did they learn how to make them themselves?
And tank its own economy in the process?
All of the excuses - subsidy, dumping, weak domestic consumption -> export overcapacity (despite % of auto exports lower than JP/SKR).

PRC is doing to EVs what Ford did to Model T (500USD when competition cost $2000). Anyone with a brainknows it's technically possible to make extremely cheap basic cars, but in most places with entrenched auto interests, not politically feasible.
Thorium is more abundant than uranium and as said in the article China already has huge amounts of extracted thorium as a waste product from the extraction of rare-earth metals.

Thorium must not be enriched and it cannot be enriched like uranium, because it has only one isotope with a long life, thorium 232, which is the only natural isotope.

Natural thorium is not usable as a fission fuel, but it can be transformed into uranium 233, which is a fission fuel, by another nuclear reactor.

The extraction of uranium 233 from thorium has nothing to do with uranium isotopic enrichment. It is a process orders of magnitude simpler, because it is just a normal separation of distinct chemical elements.

This is actually the reason why thorium reactors have been avoided, because it has been considered that it is too easy to separate the uranium 233 from the fuel, which can be used for making nuclear weapons.
Why is it a bad thing that wealthy people are kept in check and have to follow laws? Or conversely, why is it a good thing that wealthy people can control the state, like in the US? I think the US being a plutocracy with only a veneer of being a democracy is nothing to be proud of.
> would slow collisions by 2^length.

It would add a bit to each position, going from the current 48 bits, to 60 bits. Or 4,096 more resistant to _accidental_ collision. You can have as many bits as you want you just make it more time consuming to create one, but if you're entire infrastructure blithely relies on one never _intentionally_ being submitted, you've solved nothing really.

Moreover, if you find a commit with a collision, it's very easy to slightly alter it's contents to alleviate the problem, presuming we're only having to contend with unintentional conflicts.
Electrical circuits encased in fluid may reshape data-center design
Some Western countries also offer subsidies or other benefits for buyers of solar panels or electric cars.
> It's not reasonable to expect characters to be cast the way they are described (or the way most people picture them), or it's not reasonable to expect people to accept a re-envisioning? Asking because I'm not sure which way you were leaning there.

I'm saying it's not reasonable to expect characters to be cast the way people imagine the characters in their heads. Which may or may not be "the way they are described."
I'm saying this because I think there are a million different ways people can imagine characters differently. "Tall Dark and Handsome" is a pretty classical example of something that means different things to different people. To me, this always meant a person of color, and I only learned relatively recently that to most people this means "Mediterranean".

The very idea that an audience has a consistent picture of what character's look like is necessarily wrong.

> The only thing I've found more annoying than companies burning well-loved franchises in movies / TV / video games by trying to "modernize" them with today's identity politics is those same companies blaming the audience and telling us it's OUR fault the project failed.

I think the projects that I've seen that have failed that people complain about "identity politics" for fail for the plot being bad. But there's a separate issue I see that's unrelated where people blame people of color on the projects for ruining the projects when in fact the companies are ruining the projects, and the people of color are often just a small piece of the puzzle. I think people very often over-react to this, and it often comes across as racist.
Both of those things can be true. That the company is bad, and that the audience is being racist about the casting including black people that otherwise don't change anything about the way the movie watches.
Wait what … how does democracy work then?
Public healthcare is not insurance; it's 'free' (paid by taxes), for instance like in Portugal.

But yes, your point stands. The healthy young pay for ill and old. What would you change? Any suggestions I heard in the past, will include some perverse vagueness to screw people over. Smoking, drinking, overweight should pay more; how much? What amounts; are we doing it tiered; does that make sense; do people who are 30kg overweight cause lesss issues than 40? Who decides that? If you let the insurers decide, they would fuck you over for 1kg too much. What if you stop smoking or drinking or eating red meat; it goes down over time? How do you prove that? Really nothing works without people who do something stupid during a (possibly stressful, mental health issue etc) period in their lives getting screwed when they need help most.

And does it go for red meat? I know people in some US states would go against that: here it is considered incredibly unhealthy for your vascular system and actively discouraged more than a few grams a month. When is proof, proof enough?

And mental health? If you are a bully in school or a toxic colleague, should you pay more? How much, how long? You likely did cost more pain and messed up others for a higher $ than an obese person, so a looot more then yes?

Should rich offenders pay more than poor offenders? Poor are more likely to smoke and drink and be overweight, but they also are barely making ends meet as it is, while many of the rich (your two new presidents for instance) are overweight and hoarding wealth.

How do you change it without getting into a worse shitshow than it already is?
Foreign companies sold them, thinking PRC couldn't make them. Made a killing for 20 years. Then tale as old as time. PRC started making them, now adding more industrial robots than nearly everyone else combined last few years.
Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification
We've developed an approach combining quantum computing with Meta-Llama-3.1-8B-Instruct to enhance mathematical reasoning. Our system proved that α must be an even integer for IMO 2024 Problem 1, where GPT-4 and Claude 3.5 failed. We seek expert verification of our methodology and results.
The Problem:
Find all real α where ⌊α⌋ + ⌊2α⌋ + ... + ⌊nα⌋ is divisible by n for all positive integers n.
Our Approach:
We represent mathematical reasoning as quantum states in a finite-dimensional Hilbert space, encoding both amplitude (token probabilities) and phase (logical relationships) information. A custom Hamiltonian guides the exploration of mathematical relationships through quantum evolution.
Key Innovation:
The system uses quantum interference to detect mathematical properties:

Valid reasoning shows constructive interference
Contradictions create destructive interference
Patterns emerge through phase relationships

Implementation:

Base: Meta-Llama-3.1-8B-Instruct
Quantum dimension: 512
Convergence threshold: 0.98
Stability window: 3 steps

Results:

GPT-4 (github.com/NandhaKishorM/quantum_reflection/blob/main/gpt4o.md)

Attempted integer proof but missed evenness
Failed to complete proof

Claude 3.5 (github.com/NandhaKishorM/quantum_reflection/blob/main/claude_sonnet_3.5.md)

Made incorrect assumptions
Missed evenness pattern

Our Solution (github.com/NandhaKishorM/quantum_reflection/blob/main/quantum_resoning.md)

Proved α must be even
Showed why odd integers fail
Complete mathematical justification

Areas Needing Verification:

Quantum State Representation:
Is our encoding of mathematical statements sound? Does phase encoding correctly capture logical relationships?
Hamiltonian Design:
Have we correctly designed the evolution operator? Are there missing edge cases?
Interference Analysis:
Is our interpretation of interference patterns rigorous? Are alternative explanations possible?
Proof Completeness:
Have we conclusively proven even integers are the only solutions?

Implementation:

Repository: github.com/NandhaKishorM/quantum_reflection
Architecture: See quantum_system.svg in docs
Full implementation in main.py

Key Questions:

Is our quantum interference interpretation valid as mathematical proof?
Are there failure modes in our state representation?
Can this approach generalize to other problems?
What additional verification steps would you recommend?

We welcome rigorous analysis from:

Quantum computing researchers
Mathematicians
Theoretical computer scientists
AI researchers

The quantum state evolution revealed crucial patterns:

Odd integers → destructive interference
Even integers → quantum coherence
Non-integers → phase decoherence

This led to proving even integers are the only solutions. We seek verification of both our methodology and conclusions.
Technical requirements: Understanding of quantum computing, mathematical logic, number theory, and neural language models.
> Maybe we shouldn't be too critical of Mozilla for providing a privacy-first LLM service - for free. The other big privacy-first LLM provider is Apple, which requires users to have their devices/subscriptions to use, and definitely uses advanced telemetry by default.

There is a very fundamental critique here: a service being offered for free like this is being subsidized, messing with the general market dynamics that really should be making all of these tools cost way more money to begin with.

Of course Apple is also doing similar things, but for Mozilla to be doing it is quite frustrating.
I think you're mistaking society targeting the outcomes and behaviors of vagrancy, to which addiction and mental health can lead (theft, pooping in the wrong places). The social glare starts earlier because of a pretty reliable correlation. That's less about intentional cruelty and more about saving the ship.
This feels like the perfect time for two outcomes: Ripley's solution, and deploy clean slate IPv6.
I don't think I'll share the details in the future, but it's an experiment for sure. I've seen success by selling one-off licenses of Monokai Pro for Sublime Text and VSCode, where I used the same mechanism: everything is free to use, except you get a pop-up message every now and then. People that want to get rid of the popup or offer support can then opt to pay for a license.

I understand it's uncommon practice to ask a fee for a set of colors. The reality is that making a theme and keeping it up to date is not trivial. A color theme, custom icon graphics and IDE config, along with code to glue it all together when you switch filters does take some time to make. And the codebase is different for each editor (Sublime: Python, VSCode: JavaScript, Jetbrains: Kotlin). I think it's not unfair to ask for a small fee for this work.
Venezuela fines TikTok $10M over viral challenge deaths
It's Bidenomics.
> capability to geolocate millions of individuals

I guess Starlink could easily geolocate every 4G/5G phone IMIE with huge direct-to-celll attennas
will tik tok withstand the pressure that countries are gradually putting on it?
Dupe (64 points, 11 hours ago, 23 comments) https://news.ycombinator.com/item?id=42553154
It looks like a nice marketing product, but nowhere it acknowledges how bad LLMs are in general for summarization, or what techniques, if any, the devs use to counteract this. (also, their dev page https://orgsoft.org/ claim "NO BS", but again does not provide details, proof, not even an about page or a business address which is a red flag.
Everyone knows that sarcasm doesn’t transmit well through text. His phrasing isn’t uncommon for something someone would say out loud with a sarcastic tone of voice
They demo analog (narrowband FM voice) reception in the talk. With all the uncovered control and creative digital to analog tricks, is it really not possible to transmit "analog"? I'm not sure, you might want to watch the talk.
Too much hype around it. It's a subpar van experience as in not quite practical, but an ok family car, drives very nicely. See:

https://www.topgear.com/long-term-car-reviews/volkswagen/id-...
Cursory research and GM had 600k during it's peak.