Hacker News: richard_chase

New comment by richard_chase in "Classification of Finite Simple Groups Formalized in Lean"

richard_chase — Wed, 28 Oct 2026 04:02:44 +0000

I was thinking this would be done at some point but not so soon.

New comment by richard_chase in "There's never been a better time to go into math (by: 3blue1brown) [video]"

richard_chase — Mon, 19 Oct 2026 00:43:04 +0000

I think a lot of "mathematicians" are saddened by the sudden realization they are not even interested in it and were only in it for status and prestige. A lot of them are such pretentious tools that they willingly wasted their lives doing the absurd PhD rituals. Academia is dead.

New comment by richard_chase in "Formalizing Fermat's Last Theorem"

richard_chase — Fri, 04 Sep 2026 20:59:15 +0000

Anyone know of a good Lean tutorial? I've played around with it a bit but never really learned it properly.

New comment by richard_chase in "Show HN: Academa – Long-form STEM lecture videos generated by LLMs"

richard_chase — Mon, 31 Aug 2026 00:02:04 +0000

You just said in another comment that you use Claude Opus 5 to generate the video in a single shot. What about it won't work?

New comment by richard_chase in "Show HN: Academa – Long-form STEM lecture videos generated by LLMs"

richard_chase — Sun, 30 Aug 2026 23:58:38 +0000

Why do I need to use this? Why can't I just use the LLMs directly to generate lectures if I want?

New comment by richard_chase in "Linear algebra done right"

richard_chase — Mon, 17 Aug 2026 18:49:40 +0000

Lay explains things very clearly and it's very good for going back to when I need to review something. Lay covers all the foundational linear algebra topics you would need for say, ML or graphics programming. I found that roughly the first half of LADR felt like a review of what Lay covered.

New comment by richard_chase in "Linear algebra done right"

richard_chase — Mon, 17 Aug 2026 16:42:37 +0000

"Linear Algebra and Its Applications" by David Lay is the best introductory linear algebra textbook, hands down. Love it.

New comment by richard_chase in "Simplifying and Refactoring Introductory Calculus (2018)"

richard_chase — Sat, 15 Aug 2026 04:15:50 +0000

I think Stewart's Calculus is excellent and it is rightfully the standard textbook. No modifications needed in my opinion.

New comment by richard_chase in "What sort of maths are LLMs good at?"

richard_chase — Wed, 12 Aug 2026 21:50:16 +0000

The Fields medal is awarded to those who are the best at using LLMs (e.g. vibe-coding Lean) and those with the best WordPress blog with blurry math images. It is a huge honor in the vibe-coding community.

New comment by richard_chase in "What sort of maths are LLMs good at?"

richard_chase — Wed, 12 Aug 2026 21:28:54 +0000

You could try it but I don't think it's going to work. Go ahead, try it.

New comment by richard_chase in "What sort of maths are LLMs good at?"

richard_chase — Wed, 12 Aug 2026 16:50:04 +0000

That means the post was good, even though the blurry math images are illegible. But yes, as a Fields medalist he is an expert on LLMs.

New comment by richard_chase in "There Are Magic Hexagons of Every Order"

richard_chase — Sun, 09 Aug 2026 18:15:52 +0000

Good stuff. Maybe I missed it in the post, but I didn't see a formal proof of the conjecture?

New comment by richard_chase in "Depression has tripled in the last 15 years. Arthur Brooks about the cause"

richard_chase — Sun, 09 Aug 2026 00:22:28 +0000

I think the new generation will be alright. From what I've seen, they seem to believe that maximizing their looks is the answer.

New comment by richard_chase in "Show HN: Simple algorithm and color space to generate diverse skin tones"

richard_chase — Tue, 04 Aug 2026 21:42:31 +0000

Well you've insulted me like 50 times, so I think you're the one who should chill, my good sir. All I did was ask a couple of sincere questions and I'm met with a barrage of insults, yet no answers. Interesting. Also, I honestly have not heard or read anything Donald Trump has said in years.

New comment by richard_chase in "Terence Tao: Mathematics in the Age of AI [pdf]"

richard_chase — Sun, 26 Jul 2026 17:47:14 +0000

Or maybe Hacker Terry? He's such a hacker he's got a WordPress blog with unreadable images for his math expressions. Color me IMPRESSED. Let's not forget he's got some some excellent videos on YouTube of him vibe-coding some LEAN, with audio quality so good I can barely hear him!

New comment by richard_chase in "Show HN: Tiny React charts that fit in a line of text, zero deps"

richard_chase — Sun, 26 Jul 2026 17:25:34 +0000

This looks like they just accepted the first thing Claude gave them.

New comment by richard_chase in "Show HN: Tiny React charts that fit in a line of text, zero deps"

richard_chase — Sun, 26 Jul 2026 17:07:33 +0000

Looks and feels super vibe-coded.

New comment by richard_chase in "Kill The Cookie Banner"

richard_chase — Sun, 26 Jul 2026 17:04:30 +0000

It would have been funny to get a cookie banner on this site. They missed a good opportunity.

New comment by richard_chase in "The Dark Night of Mathematics"

richard_chase — Sat, 25 Jul 2026 17:39:27 +0000

I'm all for this. I don't think mathematics should be done as a profession. If you can't find free time to do it, it's obviously not that important to you. Open source software works pretty well, doesn't it? Why not math?

New comment by richard_chase in "Learn OpenGL, extensive tutorial resource for learning Modern OpenGL"

richard_chase — Fri, 24 Jul 2026 02:58:10 +0000

How does this compare to The OpenGL Programming Guide?