richard_chase

7 ms·

1.
by richard_chase 12d ago
Anyone know of a good Lean tutorial? I've played around with it a bit but never really learned it properly.
2.
by richard_chase 17d ago
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?
3.
by richard_chase 17d ago
Why do I need to use this? Why can't I just use the LLMs directly to generate lectures if I want?
4.
by richard_chase 1mo ago
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 f
5.
by richard_chase 1mo ago
"Linear Algebra and Its Applications" by David Lay is the best introductory linear algebra textbook, hands down. Love it.
6.
by richard_chase 1mo ago
I think Stewart's Calculus is excellent and it is rightfully the standard textbook. No modifications needed in my opinion.
7.
by richard_chase 1mo ago
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.
8.
by richard_chase 1mo ago
You could try it but I don't think it's going to work. Go ahead, try it.
9.
by richard_chase 1mo ago
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.
10.
by richard_chase 1mo ago
Good stuff. Maybe I missed it in the post, but I didn't see a formal proof of the conjecture?
11.
by richard_chase 1mo ago
I think the new generation will be alright. From what I've seen, they seem to believe that maximizing their looks is the answer.
12.
by richard_chase 1mo ago
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 hones
13.
by richard_chase 2mo ago
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
14.
by richard_chase 2mo ago
This looks like they just accepted the first thing Claude gave them.
15.
by richard_chase 2mo ago
Looks and feels super vibe-coded.
16.
by richard_chase 2mo ago
It would have been funny to get a cookie banner on this site. They missed a good opportunity.
17.
by richard_chase 2mo ago
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
18.
by richard_chase 2mo ago
How does this compare to The OpenGL Programming Guide?
19.
by richard_chase 2mo ago
The difference is your dog will never understand the Python code but you could probably understand this post in a matter of days or weeks if you really wanted to. Can we all please stop acting like this Terry guy is so special?
20.
by richard_chase 2mo ago
Am I the only who largely enjoys the output of LLMs more than most stuff written by humans? I find myself coming back to old chats with ChatGPT frequently because the output is amazing.
21.
by richard_chase 2mo ago
Demis Hassabis will have cannabis as his demise.
22.
by richard_chase 2mo ago
According to the introduction, the dragon book is at an advanced graduate level?
23.
by richard_chase 4mo ago
Saying that patterns are dangerous because they can reinforce stereotypes sounds a lot like you are saying the stereotypes are true.
24.
by richard_chase 4mo ago
In my public high school, the teachers just didn't teach and everyone passed.
25.
by richard_chase 4mo ago
This guy is the next Ted Bundy.
26.
by richard_chase 4mo ago
Dude needs to step down off his pedestal before he gets knocked down.
27.
by richard_chase 4mo ago
This was gross.
28.
by richard_chase 5mo ago
This is hilarious.
29.
by richard_chase 5mo ago
I used a colored left-border on my blog and thought it looked pretty fresh. I didn't realize that was an AI pattern.
30.
Topologies on Finite Groups that Contain Proper Subgroups(m-slee.netlify.app)
1 points by richard_chase 5mo ago|0 comments

More ›