Viewing profile — thesmtsolver

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

There is nothing inherently difficult about practical implementations of continuous numbers for automated reasoning compared to more discrete mathematical structures. They are hand…

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 …

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…

That will be a great solution. Tariffs based on some measure of worker/environmental exploitation rather than trade imbalance.

> 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?

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) an…

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 le…

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 …

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 …

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_…

>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 w…

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…

Real objectivity would be like BBC calling terrorists “militants”.

So you count tofu dreg, declining population, Tibet, Taiwan, pollution among the real world strengths? Awesome!

> 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 …

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. Imag…

> 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 reasonab…

> 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…

> 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 ded…

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 intrinsica…

Their aside is also false though. Look at my comment below the OP.

> 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 th…

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 …