thesmtsolver
Joined 1 year ago
Karma
68
Submissions
43
Member since
Sep 2
Recent submissions
Comment · 11 months ago
Comment · 11 months ago
There is nothing inherently difficult about practical implementations of continuous numbers for automated reasoning compared to more discrete mathematical structures. They are handleable by standard FOL itself.
See ACL2's support for floating point arithmetic.
https://www.cs.utexas.edu/~moore/publications/double-float.p...
SMT solvers also support real number theories:
https://shemesh.larc.nasa.gov/fm/papers/nfm2019-draft.pdf
Z3 also supports real theories:
Comment · 1 year ago
Any data backing this? If this were the case, why isn’t most innovation done outside the US?
Jobs that have a high 0-1 component will still be in the US but jobs that are more 1-n may be offshored.
Comment · 1 year ago
Disagree. Part of the reason China produces more power (and pollution) is due to China manufacturing for the US.
https://www.brookings.edu/articles/how-do-china-and-america-...
The source for China's energy is more fragile than that of the US.
> Coal is by far China’s largest energy source, while the United States has a more balanced energy system, running on roughly one-third oil, one-third natural gas, and one-third other sources, including coal, nuclear, hydroelectricity, and other renewables.
Also, China's GDP is a bit less inefficient in terms of power used per unit of GDP. China relies on coal and imports.
> However, China uses roughly 20% more energy per unit of GDP than the United States.
Remember, China still suffers from blackouts due to manufacturing demand not matching supply. The fortune article seems like a fluff piece.
https://www.npr.org/2021/10/01/1042209223/why-covid-is-affec...
Comment · 1 year ago
That will be a great solution. Tariffs based on some measure of worker/environmental exploitation rather than trade imbalance.
Comment · 1 year ago
> I ain't doing 996.
Neither am I. But how do you prevent countries doing 996 from dominating the market like they did in manufacturing without strict regulation and barriers?
Comment · 1 year ago
How does this work with other countries not enacting 32-hour workweeks?
This will be a repeat of manufacturing going outside of US due to reduced standards (labor and pollution) and therefore cheaper manufacturing in China. And due to that blue collar work got destroyed in the long term.
Logically, unless there are high trade barriers for software/services/goods from countries that don't have similar standards, long-term, these jobs will just shift there.
Comment · 1 year ago
I feel these agreements are highly asymmetric and are used to gain market advantage by countries that don't have qualms violating these agreements behind closed doors.
This then leads to more pollution.
Before Trump, the US had a higher rating than China (though both were bad):
https://climateactiontracker.org/countries/usa/2024-11-13/
(Same as EU's rating: https://climateactiontracker.org/countries/eu/)
https://climateactiontracker.org/countries/china/2024-09-17/
The sad reality is that unless there is uniform compliance across major countries, these talks are just climate theatre.
Comment · 1 year ago
This is just outdated, bad and dangerous advice that a ton of recent research invalidates.
1. Ritalin, and other stimulants are not cognition enhancing for non-ADHD adults and may in fact do the opposite.
https://www.cam.ac.uk/research/news/smart-drugs-can-decrease...
2. > Because the doctor will rigorously apply artificial and unreliable diagnostic categories backed up by invalid and arbitrary screens and queries to make a diagnosis. So after this completely subjective and near useless evaluation is completed, your doctor should be able to exercise prudent clinical judgment to decide if Ritalin could be of benefit.
What else can you do for psychiatric conditions? We don't have a magic ADHD-o-meter but know that it statistically impacts lifespan, health, etc. Even for more objective measures like blood glucose, BP, BMI, clinical interventions are based on discrete thresholds that don't exist in nature.
Comment · 1 year ago
No one is saying that the industry will self-regulate. There is a right amount of regulation and all evidence points that the EU is over that limit. The US is below (probably) but closer.
Comment · 1 year ago
That's quite optimistic given EU's track record in practice.
E.g., DieselGate. Europe was more impacted but US caught Volkswagen cheating.
https://en.wikipedia.org/wiki/Volkswagen_emissions_scandal#E...
Comment · 1 year ago
>If China is the factory for all of these products sold in the US (and elsewhere of course), then isn't China just accounting for even more US emissions?
China can't have it both ways, they are glibly blaming the rest of the world for their emissions while reforesting due to importing timber from rest of the world illegally.
> The Environmental Investigation Agency says: "The immense scale of China's sourcing [of wood] from high-risk regions [of the world] means that a significant proportion of its timber and wood product imports were illegally harvested." And research by Global Witness last year said there were "worrying" levels of illegality in countries from which China sources more than 80% of its timber.
Comment · 1 year ago
Great quality comment.
We shouldn't consider the fact China did much more deforestation to start with and even after all this reforestation China has lesser forest area than the US despite being larger in size:
https://en.wikipedia.org/wiki/List_of_countries_by_forest_ar...
https://www.bbc.com/news/election-us-2020-54719577
> The US claims: "China is the world's largest consumer of illegal timber products." > And, according to studies, that is true.
> The Environmental Investigation Agency says: "The immense scale of China's sourcing [of wood] from high-risk regions [of the world] means that a significant proportion of its timber and wood product imports were illegally harvested." And research by Global Witness last year said there were "worrying" levels of illegality in countries from which China sources more than 80% of its timber.
Comment · 1 year ago
Real objectivity would be like BBC calling terrorists “militants”.
https://arxiv.org/pdf/2304.10558