Hacker News: UltraSane

New comment by UltraSane in "A Modern Web App in C"

UltraSane — Mon, 12 Oct 2026 19:25:00 +0000

Connecting any C code to the internet is a terrible idea as we have learned over and over again.

New comment by UltraSane in "Feds Got Warrants to Use Fake Cell Towers to Hunt Down Don Lemon's Producer"

UltraSane — Mon, 12 Oct 2026 19:23:32 +0000

Judges are now no longer giving the DoJ the benefit of the doubt and actually scrutinizing the charges.

New comment by UltraSane in "Feds Got Warrants to Use Fake Cell Towers to Hunt Down Don Lemon's Producer"

UltraSane — Mon, 12 Oct 2026 19:20:56 +0000

It is also illegal for ICE agents to execute a nurse and veteran in the street by shooting him in the back after taking away his gun but that doesn't seem to matter.

New comment by UltraSane in "Build your own decision model"

UltraSane — Sun, 11 Oct 2026 02:25:19 +0000

I use Jev in a Claude code hooks to detect dangerous commands.

New comment by UltraSane in "The super intelligence shit is a humiliation ritual for OpenAI"

UltraSane — Fri, 09 Oct 2026 17:36:54 +0000

I don't believe any of the CEOs currently sucking up to Trump so publicly respect him or think he is competent or smart. They are all smart enough to understand exactly just how stupid Trump is.

New comment by UltraSane in "The super intelligence shit is a humiliation ritual for OpenAI"

UltraSane — Fri, 09 Oct 2026 17:24:45 +0000

The way they suck up to Trump doesn't make them look powerful, it makes them look pathetically weak. I wonder if they feel like they are cleverly manipulating a moron.

New comment by UltraSane in "The super intelligence shit is a humiliation ritual for OpenAI"

UltraSane — Fri, 09 Oct 2026 16:14:39 +0000

I really don't understand what the point of being so rich is if it doesn't let you tell a moron like Trump to fuck off.

New comment by UltraSane in "How machines learned precision"

UltraSane — Thu, 08 Oct 2026 00:32:02 +0000

This page deserves some kind of award for excellence in pedagogical design.

New comment by UltraSane in "The Mathocalypse"

UltraSane — Wed, 07 Oct 2026 23:49:43 +0000

It is an interesting game theory scenario. But I think the kind of person who gets a math PhD would value the professional recognition for solving a famous hard problem more than the money.

New comment by UltraSane in "The Mathocalypse"

UltraSane — Wed, 07 Oct 2026 21:29:18 +0000

It would be extremely unlikely human mathematicians able to solve these kinds of problems would accept not getting credit that would set them for life professionally.

Also lean proofs are notoriously tedious and slow to write so this level of output is very likely to be from LLMs. The number of people able to understand this level of math and prove it using Lean is a few hundred at most.

New comment by UltraSane in "Visa, Mastercard, major banks facing new litigation over 'anticompetitive' fees"

UltraSane — Wed, 07 Oct 2026 21:24:04 +0000

Credit card companies are absolutely parasitic middle men.

New comment by UltraSane in "Meta and Microsoft take steps to reduce employee usage of Claude AI"

UltraSane — Wed, 07 Oct 2026 21:17:08 +0000

That sounds both very fun and very stressful.

New comment by UltraSane in "Erdosproblems.com Succumbs to the AI Onslaught"

UltraSane — Wed, 07 Oct 2026 13:58:01 +0000

No the proof or counterexample is the result. The whole point of this debate is that LLMs can get there without the human process.

New comment by UltraSane in "Erdosproblems.com Succumbs to the AI Onslaught"

UltraSane — Wed, 07 Oct 2026 13:56:29 +0000

This seems to assume a finite number of interesting math problems. Good mathematicians should be able to learn new techniques from the LLM generated proofs.

New comment by UltraSane in "Erdosproblems.com Succumbs to the AI Onslaught"

UltraSane — Wed, 07 Oct 2026 11:18:46 +0000

Most people care much more about the results than mathematician's enjoyment.

New comment by UltraSane in "Erdosproblems.com Succumbs to the AI Onslaught"

UltraSane — Wed, 07 Oct 2026 02:04:49 +0000

Is mathematics about the process or actual results? I find it incredibly arrogant the way some mathematicians are claiming only they should be allowed to solve these problems.

New comment by UltraSane in "Mistral Large 4"

UltraSane — Tue, 06 Oct 2026 16:17:02 +0000

That is the genius of Kai Lentit

New comment by UltraSane in "Mistral Large 4"

UltraSane — Tue, 06 Oct 2026 15:14:24 +0000

https://m.youtube.com/watch?v=gGlpBuW6ZFc

This is a good summary.

New comment by UltraSane in "Qualcomm licenses patents on Huawei’s LogicFolding chip tech"

UltraSane — Tue, 06 Oct 2026 00:39:26 +0000

It seems fundamentally easier to do the alignment in the lithography step as you only have get it correct once in the mask instead of correct for every chip every time.

New comment by UltraSane in "After bankruptcy, he was banned from sports betting sites. Then he found Kalshi"

UltraSane — Mon, 05 Oct 2026 22:19:03 +0000

It means being able to stop any uncontrolled cell replication.