thesmtsolver

5 ms·

1.
by thesmtsolver 10mo ago
It is really not that difficult. Here is a paper that formalizes a version of feed forward networks to prove properties about them. https://arxiv.org/pdf/2304.10558
2.
by thesmtsolver 10mo 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 f
3.
The devastating memo that plunged the BBC into crisis(telegraph.co.uk)
16 points by thesmtsolver 10mo ago|4 comments
4.
by thesmtsolver 10mo 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.
5.
by thesmtsolver 10mo 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 mor
6.
by thesmtsolver 11mo ago
That will be a great solution. Tariffs based on some measure of worker/environmental exploitation rather than trade imbalance.
7.
by thesmtsolver 11mo 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?
8.
by thesmtsolver 11mo 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
9.
by thesmtsolver 11mo 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 highe
10.
by thesmtsolver 11mo 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&#
11.
by thesmtsolver 11mo 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.
12.
by thesmtsolver 11mo 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...
13.
by thesmtsolver 11mo 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 wo
14.
by thesmtsolver 11mo 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.wi
15.
by thesmtsolver 11mo ago
Real objectivity would be like BBC calling terrorists “militants”.
16.
by thesmtsolver 11mo ago
So you count tofu dreg, declining population, Tibet, Taiwan, pollution among the real world strengths? Awesome!
17.
by thesmtsolver 11mo ago
> A famous anecdote is from Rupert Murdock who is able to influence UK poltics at whim but had no effect on EU: Is it though? > There is much fake news published about me, but let me make clear that I have never uttered those words h
18.
by thesmtsolver 11mo ago
Another equivalent way to look at that: Historically, top scientists/researchers/engineers/businessmen migrate from rest of the world to the US rather than to Europe or China. Imagine if Europe or China were a bit more open w
19.
by thesmtsolver 11mo ago
> Reasonable standards are a discovery process, not a unitary dictatorial step. You just described a meta standard for standards. Now, is that meta standard an objectively reasonable standard?
20.
by thesmtsolver 11mo ago
> Did you copy and paste the numbered list from somewhere else? That isn’t how folks on HN typically format things here, and it seems reminiscent of AI output, which is not allowed under the HN guidelines. No. I really wish you would hav
21.
by thesmtsolver 11mo ago
> OP was talking about folks delaying treatment due to not being able to afford it, whereas you were focusing on survival rates. Yes, and you can make a straightforward logical deduction from survival rates to delaying diagnosis which I
22.
by thesmtsolver 11mo ago
If they are "reasonable standards", it shouldn't matter what the source of them are. This appeals to a dangerous view of morality where some entities/people are good/bad intrinsically and all their actions are good&
23.
by thesmtsolver 11mo ago
Their aside is also false though. Look at my comment below the OP.
24.
by thesmtsolver 11mo ago
> This is one reason foreign doctors come to the US to study and train. Modern countries with Universal Health Care treat at stage 1 and 2 with 3 and 4 being rare ... except for the USA. Need to study advance cancer and aggressive, this
25.
by thesmtsolver 11mo ago
What are these foundational issues? Whatever issues are there, I feel they are more in other big economies. Remember, when a bear is chasing you and some others, you don't have to be faster than the bear to escape.
26.
by thesmtsolver 11mo ago
Well, it is much worse elsewhere. You should look at other countries where pay is much less and real estate is at similar levels of cost: from Europe, Canada, China, Australia and India. Condos in Mumbai are priced similar to those in the m
27.
by thesmtsolver 11mo ago
Isn't Venezuela a defacto dictatorship now? Not sure the 3% is correct under these conditions.
28.
by thesmtsolver 11mo ago
Growth can be gained from the shape of the graph.
29.
by thesmtsolver 11mo ago
HN lives in a bubble. Almost everyone I know uses FB daily. These are legal numbers and shouldn’t be too much off.
30.
China's Wingtech: Dutch court freezes control of Nexperia(scmp.com)
10 points by thesmtsolver 11mo ago|0 comments

More ›