tylerhou

Joined 10 years ago

Karma
3,509
Submissions
1,149
Member since
Aug 13
PhD student at Princeton.

  website: https://tylerhou.com
  github: https://github.com/tylerhou
View on Hacker News

Recent submissions

Comment · 8 days ago
the amount of energy that humans can realistically harvest from wind / geothermal in the next century is minuscule and is a rounding error compared to natural fluctuations

wind / geothermal has far bigger effects on local environments and fauna vs. “global” energy depletion

Comment · 23 days ago
I am personal friends with famous, world-class TCS professors who have specifically asked me for my opinion on where AI is headed and respected my responses.
Comment · 23 days ago
lol no
Comment · 23 days ago
I do research on programming languages. There are many facts about programming languages that (1) nobody else knows and (2) I have not written down because I just haven’t had the time / opportunity.

The same happens all the time in mathematics.

Comment · 23 days ago
> You just need autonomous verification, which already exists at scale and speed vastly beyond the entire human mathematical establishment.

An absolutely ridiculous statement. There is a vast amount of mathematical knowledge that hasn’t even been written down, much less formalized.

Comment · 29 days ago
Comment · 29 days ago
Comment · 1 month ago
You're right to push back! Honestly, calling someone with EA-adjacent ideas an effective altruist is an active lie! On the other hand, when AI companies claim that they have solved Millennium Prize problems, when really they plagiarized other academics' work, that's just an honest mistake.

You have a keen and insightful understanding of honesty!

Comment · 1 month ago
Comment · 1 month ago
You’re absolutely right! In 2019, Timnit and Emily published a paper criticizing LLMs because of water usage / environmental impact, deception, and propagation of bias. They were completely wrong, and thankfully none of those criticisms apply to LLMs today!
Comment · 1 month ago
Comment · 1 month ago
> it's not uncommon to have some little misunderstanding that just isn't covered by a written explanation because it's "obvious" unless you happen to have misunderstood it that particular way... LLMs are genuinely good at challenges like this

For undergrad math, sure, and again, I think it's often because on some random corner of the internet someone else had a very similar misunderstanding. On the other hand, when I ask for clarifications on niche topics that have few examples on the internet LLMs (even Opus 5) often confidently cite irrelevant papers / results or simply hallucinate.

Comment · 1 month ago
LLMs are decent at explaining up to undergrad mathematics but that is because they are parroting / plagiarizing the hundreds of human-written books that have been written for the express purpose of teaching undergrads. LLMs are actually fairly terrible at explaining higher mathematics; humans are much better.
Comment · 1 month ago
> I no longer have to haul the pyramid blocks up the ramp myself... what I bring to the party is intuition and understanding.

Hauling the pyramid blocks is what gives people intuition and understanding. It is true that school systems usually have way too much computation -- it is easier to test and grade computation. But the only way that you were able to use computer algebra systems fluently is because you had internalized how algebra worked by hand. If we tell students that they no longer need to learn how to solve equations we are seriously depriving them of a mathematical education.

Comment · 1 month ago
The sentence structure is also just lazy.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton