Hacker News: thesmtsolver2

New comment by thesmtsolver2 in "Meta employees said Lula's accounts were hindered during Brazil election"

thesmtsolver2 — Sun, 25 Oct 2026 03:44:09 +0000

If you can't deduce the simple connection between the two topics, maybe try reading the actual article?

FYI: real dictators don't get shut off from their accounts for years

New comment by thesmtsolver2 in "Mortality Among People with Attention-Deficit/Hyperactivity Disorder"

thesmtsolver2 — Fri, 23 Oct 2026 05:30:35 +0000

Nah, best we can do is idiots saying ADHD is not real (on both sides).

New comment by thesmtsolver2 in "Woman faces six years in prison over Cash App account she never opened"

thesmtsolver2 — Fri, 23 Oct 2026 00:34:29 +0000

Or Tenderloin in SF.

New comment by thesmtsolver2 in "Woman charged with computer fraud due to scam CashApp account being in her name"

thesmtsolver2 — Fri, 23 Oct 2026 00:31:44 +0000

A lot of roads have tolls. Don’t forget more specific taxes like gas taxes or vehicle registration and sales taxes.

New comment by thesmtsolver2 in "Recent AI models struggled to match a human algorithmic innovation"

thesmtsolver2 — Sun, 11 Oct 2026 06:42:21 +0000

> Swarm of 10000 agents is a massive smart force

Yep, that's how Euler, Gôdel, etc. proved their theorems, both easy and difficult ones.

They trawled through the search space just like a swarm of 10000 agents.

New comment by thesmtsolver2 in "Recent AI models struggled to match a human algorithmic innovation"

thesmtsolver2 — Sun, 11 Oct 2026 06:41:13 +0000

Do you write 10,000 drafts before deciding to send an important mail?

New comment by thesmtsolver2 in "Recent AI models struggled to match a human algorithmic innovation"

thesmtsolver2 — Sun, 11 Oct 2026 06:40:44 +0000

It is a spectrum.

Godel, Euler, Ramanujam, etc. didn't burn millions of dollars or drudged through search space like OpenAI's agent do to prove what they need.

Let's not forget using Lean as a crutch throughout the way rather than as a final tool for formalization and verification.

New comment by thesmtsolver2 in "A city-building game in which the city would prefer you didn't"

thesmtsolver2 — Sun, 11 Oct 2026 04:46:55 +0000

Agreed.

Open immigration for rest of the country from around the world but closed for their city from rest of the country is what these “progressives” seem to want by their actions.

New comment by thesmtsolver2 in "Recent AI models struggled to match a human algorithmic innovation"

thesmtsolver2 — Sat, 10 Oct 2026 20:09:59 +0000

It will cook only as long as brute force through search space is cheap and economically viable.

New comment by thesmtsolver2 in "ADHD as a circadian rhythm disorder: evidence and implications for chronotherapy (2025)"

thesmtsolver2 — Fri, 09 Oct 2026 13:06:06 +0000

When are you taking it? There are a lot of studies that indicate that stimulants HELP sleep.

You should re-evaluate what is happening to you as it is not an ideal situation: it may be possible you have something else instead of ADHD (or together with ADHD) or you maybe taking it too late in the day.

https://aasm.org/journal-sleep-methylphenidate-can-have-slee...

https://pubmed.ncbi.nlm.nih.gov/41397339/

New comment by thesmtsolver2 in "ADHD as a circadian rhythm disorder: evidence and implications for chronotherapy (2025)"

thesmtsolver2 — Fri, 09 Oct 2026 05:41:55 +0000

If you really have ADHD and aren't abusing Adderall, it should help you sleep better:

https://stephaniesarkis.com/blog/study-finds-that-stimulant-...

New comment by thesmtsolver2 in "ADHD as a circadian rhythm disorder: evidence and implications for chronotherapy (2025)"

thesmtsolver2 — Fri, 09 Oct 2026 01:09:01 +0000

Nope wrong.

New comment by thesmtsolver2 in "High Diesel Prices Bankrupted 16 Trucking Companies in Just 30 Days"

thesmtsolver2 — Tue, 06 Oct 2026 03:55:52 +0000

So should we then makes buses also pay their fare share? I know you will then respond with second-order effects of buses and public transportation without considering that for trucks.

And yeah you can have rail for every city and store in a distributed country like the US.

New comment by thesmtsolver2 in "The logic of gambling undergirds everything coming out of Silicon Valley"

thesmtsolver2 — Mon, 05 Oct 2026 01:36:43 +0000

When the geniuses at NYT discover quantum mechanics also uses probability.

“Breaking: The logic of gambling undergirds our reality!!!”

New comment by thesmtsolver2 in "Your Big Mac might cost more if McDonald's AI thinks people nearby can afford it"

thesmtsolver2 — Fri, 02 Oct 2026 00:42:12 +0000

Water is a basic need. McDonald’s and Uber are not basic needs.

New comment by thesmtsolver2 in "Research finds 485 chemicals in US pesticide products linked to breast cancer"

thesmtsolver2 — Mon, 28 Sep 2026 02:54:27 +0000

How much of it is due to other sources of death being addressed?

New comment by thesmtsolver2 in "ASML says it sold 'absolutely nothing' in Europe in 2026"

thesmtsolver2 — Sun, 27 Sep 2026 01:02:22 +0000

And ASML wouldn't be possible without US taxpayer funded research. ASML's extreme ultraviolet (EUV) technology utilized foundational research from the U.S. Department of Energy.

> In 1997, ASML began studying a shift to using extreme ultraviolet.[7] Two years later, it joined a consortium, which included Intel and two other U.S. chipmakers, in order to exploit fundamental research conducted by the US Department of Energy. Because the Cooperative Research and Development Agreement (CRADA) it operates under is funded by the US government, licensing must be approved by Congress.[14] Furthermore, in return for being permitted to join this consortium, ASML committed to the establishment of a US-based research center and to source 55 percent of components for all machines sold in the US from American suppliers.[7] ASML collaborated with various manufacturers to obtain mirrors, including the Belgian firms IMEC and Sematech as well as Germany's Carl Zeiss.[14][15]

https://en.wikipedia.org/wiki/ASML

New comment by thesmtsolver2 in "ASML says it sold 'absolutely nothing' in Europe in 2026"

thesmtsolver2 — Sat, 26 Sep 2026 16:26:32 +0000

> I get the sarcasm, but its not like e.g. TSMC popped up in a environment of pure libertarian free market capitalism.

Nobody said that. That is a strawman

New comment by thesmtsolver2 in "California is chasing wealth that has feet"

thesmtsolver2 — Fri, 25 Sep 2026 03:42:43 +0000

Why?

New comment by thesmtsolver2 in "Every U.S. State Ranks Above Every Foreign Economy in Household Consumption"

thesmtsolver2 — Thu, 24 Sep 2026 03:29:47 +0000

Wouldn't government subsidies increase consumption?

So the point is even with govt subsidies and a generous oil industry, Norway ranks below all US states.