Hacker News: kurtis_reedhttps://news.ycombinator.com/user?id=kurtis_reedHacker News RSShttps://hnrss.org/hnrss v2.1.1Thu, 29 Oct 2026 11:47:14 +0000<![CDATA[New comment by kurtis_reed in ""I'm on a war footing": Terry Tao and the crisis in math"]]>It's time for the social fabric of math to be ripped up, it's an industry being disrupted.

No one has the right to prevent others from working on a math problem. If you're working on a problem the best way to not get scooped is transparency: publish whatever you have as soon as possible.

Tao's behavior is most consistent with any other worker resisting automation for selfish reasons.

]]>Mon, 19 Oct 2026 09:21:30 +0000https://news.ycombinator.com/item?id=50150212kurtis_reedhttps://news.ycombinator.com/item?id=50150212https://news.ycombinator.com/item?id=50150212<![CDATA[New comment by kurtis_reed in ""I'm on a war footing": Terry Tao and the crisis in math"]]>So mathematicians are no different from any other labor group that fights automation for their own benefit at the cost of overall welfare. Most artists are unpaid hobbyists, mathematicians should expect the same.

]]>Mon, 19 Oct 2026 09:15:48 +0000https://news.ycombinator.com/item?id=50150187kurtis_reedhttps://news.ycombinator.com/item?id=50150187https://news.ycombinator.com/item?id=50150187<![CDATA[New comment by kurtis_reed in "Smart people don't think others are stupid (2012)"]]>I'm smart and I think others are stupid

]]>Wed, 14 Oct 2026 13:17:37 +0000https://news.ycombinator.com/item?id=50087295kurtis_reedhttps://news.ycombinator.com/item?id=50087295https://news.ycombinator.com/item?id=50087295<![CDATA[New comment by kurtis_reed in "Cleo (Mathematician)"]]>The point of understanding is to get better at proving new things. Now that humans are obsolete for proving things, human understanding is unnecessary.

]]>Thu, 08 Oct 2026 07:16:48 +0000https://news.ycombinator.com/item?id=50002747kurtis_reedhttps://news.ycombinator.com/item?id=50002747https://news.ycombinator.com/item?id=50002747<![CDATA[New comment by kurtis_reed in "Navier–Stokes Lost in Translation"]]>Yes however, whether a natural language proof and a formal proof "correspond" is subjective.

]]>Wed, 07 Oct 2026 17:07:04 +0000https://news.ycombinator.com/item?id=49995663kurtis_reedhttps://news.ycombinator.com/item?id=49995663https://news.ycombinator.com/item?id=49995663<![CDATA[New comment by kurtis_reed in "Navier–Stokes Lost in Translation"]]>How do you know the natural language proof is incorrect?

]]>Wed, 07 Oct 2026 17:04:21 +0000https://news.ycombinator.com/item?id=49995623kurtis_reedhttps://news.ycombinator.com/item?id=49995623https://news.ycombinator.com/item?id=49995623<![CDATA[New comment by kurtis_reed in "Navier–Stokes Lost in Translation"]]>> Maybe read the original article before replying, at a minimum.

Maybe read the comment before replying, at a minimum.

]]>Wed, 07 Oct 2026 17:03:10 +0000https://news.ycombinator.com/item?id=49995607kurtis_reedhttps://news.ycombinator.com/item?id=49995607https://news.ycombinator.com/item?id=49995607<![CDATA[New comment by kurtis_reed in "Dutch governments builds alternative for Microsoft based on NixOS"]]>alternative TO Microsoft

]]>Fri, 25 Sep 2026 13:35:21 +0000https://news.ycombinator.com/item?id=49844456kurtis_reedhttps://news.ycombinator.com/item?id=49844456https://news.ycombinator.com/item?id=49844456<![CDATA[New comment by kurtis_reed in "Claude discovers a novel enzyme system with CRISPR-like repeats"]]>Why creepy? Apparently the AI did most of the work, so they put the spotlight on that, duh.

]]>Thu, 24 Sep 2026 11:46:32 +0000https://news.ycombinator.com/item?id=49829326kurtis_reedhttps://news.ycombinator.com/item?id=49829326https://news.ycombinator.com/item?id=49829326<![CDATA[New comment by kurtis_reed in "Why do we need human mathematicians anymore?"]]>Pure math has been overvalued for a long time. Now that we don't need humans for it, it's really time for pure mathematicians to pack it in.

]]>Sun, 20 Sep 2026 12:57:10 +0000https://news.ycombinator.com/item?id=49775394kurtis_reedhttps://news.ycombinator.com/item?id=49775394https://news.ycombinator.com/item?id=49775394<![CDATA[New comment by kurtis_reed in "Warren Buffett Steps Down as Berkshire Chairman, Names Son to Replace Him"]]>"Warren"? You know him personally?

]]>Fri, 18 Sep 2026 18:58:47 +0000https://news.ycombinator.com/item?id=49758670kurtis_reedhttps://news.ycombinator.com/item?id=49758670https://news.ycombinator.com/item?id=49758670<![CDATA[New comment by kurtis_reed in "Microsoft exec called AI scraping 'the largest theft of labor in human history'"]]>Robbery implies taking it away from you so you can't have it anymore. How is that the case?

]]>Fri, 18 Sep 2026 12:19:56 +0000https://news.ycombinator.com/item?id=49753335kurtis_reedhttps://news.ycombinator.com/item?id=49753335https://news.ycombinator.com/item?id=49753335<![CDATA[New comment by kurtis_reed in "Why I didn’t sign the Fields medallists’ letter"]]>If solving a problem is "purely" theoretical it's of no use outside the math community's enjoyment. Otherwise it's not purely theoretical.

> none of the millennium problems have anything to do with a "real" problem

P vs NP has a lot to do with real problems.

]]>Fri, 18 Sep 2026 10:24:30 +0000https://news.ycombinator.com/item?id=49752336kurtis_reedhttps://news.ycombinator.com/item?id=49752336https://news.ycombinator.com/item?id=49752336<![CDATA[New comment by kurtis_reed in "Why I didn’t sign the Fields medallists’ letter"]]>> this is ABSOLUTELY not how actual mathematicians see their field

Yeah and they should start seeing it differently

]]>Fri, 18 Sep 2026 10:20:27 +0000https://news.ycombinator.com/item?id=49752299kurtis_reedhttps://news.ycombinator.com/item?id=49752299https://news.ycombinator.com/item?id=49752299<![CDATA[New comment by kurtis_reed in "Why I didn’t sign the Fields medallists’ letter"]]>Whatever justification for lamplighters existed before exists now?

]]>Fri, 18 Sep 2026 10:15:27 +0000https://news.ycombinator.com/item?id=49752260kurtis_reedhttps://news.ycombinator.com/item?id=49752260https://news.ycombinator.com/item?id=49752260<![CDATA[New comment by kurtis_reed in "I can't stop thinking about Papua New Guinea"]]>Congratulations on your opinion?

]]>Tue, 15 Sep 2026 10:36:31 +0000https://news.ycombinator.com/item?id=49710371kurtis_reedhttps://news.ycombinator.com/item?id=49710371https://news.ycombinator.com/item?id=49710371<![CDATA[New comment by kurtis_reed in "A misalignment of AI in mathematics"]]>Indeed. As Nassim Taleb says, "Something bad for the (existing) class of mathematicians as they lose their privilege, but not necessarily bad for mathematics & our body of knowledge?" https://xcancel.com/nntaleb/status/2098498124419305639

]]>Sat, 12 Sep 2026 04:53:38 +0000https://news.ycombinator.com/item?id=49668948kurtis_reedhttps://news.ycombinator.com/item?id=49668948https://news.ycombinator.com/item?id=49668948<![CDATA[New comment by kurtis_reed in "Remember Hong Kong"]]>> the vast majority of the locals hated the protests and didn't support them

Totally false

]]>Fri, 11 Sep 2026 13:55:39 +0000https://news.ycombinator.com/item?id=49658503kurtis_reedhttps://news.ycombinator.com/item?id=49658503https://news.ycombinator.com/item?id=49658503<![CDATA[New comment by kurtis_reed in "Ask HN: Can we please limit the AI news flood?"]]>People have been saying we've been "at peak hype-cycle" for years

]]>Fri, 11 Sep 2026 13:37:47 +0000https://news.ycombinator.com/item?id=49658225kurtis_reedhttps://news.ycombinator.com/item?id=49658225https://news.ycombinator.com/item?id=49658225<![CDATA[New comment by kurtis_reed in "How An AI math breakthrough ignited a controversy"]]>A better alternative is just to make all your work open and public, then everyone can see what you should get credit for.

]]>Wed, 09 Sep 2026 12:29:36 +0000https://news.ycombinator.com/item?id=49625467kurtis_reedhttps://news.ycombinator.com/item?id=49625467https://news.ycombinator.com/item?id=49625467