Hacker News: tmp10423288442

New comment by tmp10423288442 in "Sharing AI progress in mathematics"

tmp10423288442 — Wed, 07 Oct 2026 09:10:29 +0000

The free models for ChatGPT, especially without login, do very little reasoning. You should at least log in to set any level of reasoning above Instant, which uses virtually none.

New comment by tmp10423288442 in "ICC judge on what U.S. sanctions mean for her and global courts"

tmp10423288442 — Fri, 02 Oct 2026 21:46:28 +0000

No, that is the only thing that makes the ICC justifiable under the anarchy of international relations. If a leader of a nation unilaterally revokes the treaty submitting themselves to the ICC's jurisdiction, that's a harder case, and I'd support the ICC going after that nation's citizens if they commit other offenses.

But if a nation decides not to submit to the ICC, then it's up to the UN Security Council to go after them, and the Security Council was set up intentionally to only allow punishment of leaders where every major power can agree. The Security Council at least tries to work with the reality of international relations, whereas the ICC in this case is way out of line.

New comment by tmp10423288442 in "ICC judge on what U.S. sanctions mean for her and global courts"

tmp10423288442 — Fri, 02 Oct 2026 19:55:00 +0000

But the crucial point that makes the ICC work is that a country needs to submit to its jurisdiction. Once they went beyond that, they destroyed the entire legitimacy of the court. Also, they refused to arrest Putin even after he was sanctioned by the ICC, despite Russia being a formal party to the Rome Statute, so they're either hypocrites or cowards.

New comment by tmp10423288442 in "ICC judge on what U.S. sanctions mean for her and global courts"

tmp10423288442 — Fri, 02 Oct 2026 19:53:06 +0000

In this case, the US and Israel were never parties to the ICC, so the ICC was never neutral with respect to them. If they had submitted to the ICC, I think your point would be valid.

New comment by tmp10423288442 in "ICC judge on what U.S. sanctions mean for her and global courts"

tmp10423288442 — Fri, 02 Oct 2026 19:50:36 +0000

I sympathize with the ICC judge's plight, but they already violated international law by issuing an arrest warrant for a citizen of a nation that isn't a party to the ICC. Yes, I'm aware that they justify it because Palestine is a party to the ICC, but Palestine isn't an internationally-recognized state for better or worse.

New comment by tmp10423288442 in "Patrick Boyle: The Copy-Paste Professor"

tmp10423288442 — Fri, 25 Sep 2026 16:29:40 +0000

Always room for anti-crypto, anti-AI, etc. grifters to go against the pro-crypto, pro-AI grifters. Both side improve their counterparts' business!

New comment by tmp10423288442 in "Meta bans ads for Virginia Woolf play in Spain"

tmp10423288442 — Mon, 21 Sep 2026 16:20:33 +0000

If cookie consent dialogs have been going on for as long as they have, can they really be called malicious compliance at this point? Seems like people believe that is the actual intent of the regulation at this point.

New comment by tmp10423288442 in "Apple Reference Image: A New Approach for Verified Photography"

tmp10423288442 — Wed, 16 Sep 2026 17:05:32 +0000

Only wasted two minutes if you read really slowly

New comment by tmp10423288442 in "Apple Reference Image: A New Approach for Verified Photography"

tmp10423288442 — Wed, 16 Sep 2026 17:04:50 +0000

There are tons of online services that require you to take pictures of your face, driver’s licenses, passports, etc.

New comment by tmp10423288442 in "Tao: Open math problems being non-renewably mined by AI"

tmp10423288442 — Wed, 09 Sep 2026 03:52:44 +0000

The models produce both Lean code for formal verification and a traditional-style narrative proof. Like the general long-form output of frontier models, the math papers produced appear to be generally correct technically, but written in an ungraceful and sometimes hard-to-follow style, so they are often polished by a human mathematician as of today.

New comment by tmp10423288442 in "Tao: Open math problems being non-renewably mined by AI"

tmp10423288442 — Wed, 09 Sep 2026 03:28:28 +0000

Why would society fund mathematicians if they decided to become a guild that hides secrets? They could pursue that as a hobby, but they’d end up like the coders who refuse to use LLMs - rapidly becoming irrelevant and a bit sad from an outsider’s perspective.

New comment by tmp10423288442 in "GPT-6 Astra"

tmp10423288442 — Fri, 04 Sep 2026 05:30:58 +0000

I can have Astra run a large-scale infrastructure migration 24/7 (much of the time waiting for results), completing it in weeks or even months faster than I could before agentic AI.

New comment by tmp10423288442 in "GPT-6 Astra"

tmp10423288442 — Fri, 04 Sep 2026 05:27:43 +0000

If no one can find your site because you block agents, that won’t do much good either.

New comment by tmp10423288442 in "The ChatGPT/Codex app bundles a full copy of LibreOffice"

tmp10423288442 — Tue, 01 Sep 2026 21:33:26 +0000

Kind of. Eventually it gets too slow even for the OpenAI engineers using it, and then they need to fix it.

New comment by tmp10423288442 in "Creepy Crawlies"

tmp10423288442 — Sun, 30 Aug 2026 16:26:17 +0000

ChatGPT uses a distinct bot type for ChatGPT-initiated web search versus model training:

GPTBot → model improvement / training crawl

OAI-SearchBot → search index / ChatGPT Search

ChatGPT-User → fetch initiated by a user's ChatGPT interaction

OAI-AdsBot → advertising landing-page crawl

New comment by tmp10423288442 in "9th Circuit sides with states in Kalshi gambling fight"

tmp10423288442 — Sat, 29 Aug 2026 04:45:07 +0000

> the current supreme court seems perfectly willing to throw out decades of settled law on an ideological whim, and actually, for that matter, happily interpret very clear congressional statutes in very odd ways

Fortunately or unfortunately, the Supreme Court has always been willing to do that. This court has been overruling decisions of the Warren Court, just as the Warren Court overruled decisions from the Lochner Era.

Mechanical Turk shutting down September 30

tmp10423288442 — Wed, 26 Aug 2026 23:55:44 +0000

Article URL: https://www.mturk.com/

Comments URL: https://news.ycombinator.com/item?id=49457545

Points: 534

# Comments: 167

New comment by tmp10423288442 in "Actinide is first startup to produce high-assay low-enriched uranium (HALEU)"

tmp10423288442 — Wed, 26 Aug 2026 22:08:12 +0000

Iran is essentially finished at this point - they no longer have control over the Strait of Hormuz, and oil is rapidly flowing through the strait (to say nothing of the oil already exported via other pipelines, or the impetus the war gave to accelerate pipelines under construction, such as the Iraq-Turkey pipeline).

New comment by tmp10423288442 in "Actinide is first startup to produce high-assay low-enriched uranium (HALEU)"

tmp10423288442 — Wed, 26 Aug 2026 22:05:15 +0000

But you weren't going to ask the LLM, and now you know something you weren't aware of. Seems no different than someone reporting what they found out in a Google Search, as long as they disclose that they used an LLM (as long as they used one that actually searches the web, but pretty sure even ChatGPT Free does that these days).

New comment by tmp10423288442 in "Twitter Viewer – View Twitter Without Account"

tmp10423288442 — Wed, 26 Aug 2026 18:08:01 +0000

Should governments not have posted announcements in newspapers back when they were widely read, even though they require paying to read them?