Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
JPC21
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
1.
▲
by
JPC21
8d ago
I think you're misunderstanding what the objective of mathematics is. It is not just about what theorems are true and false, but rather why they are true and false. A highschool sophomore could use these prompts, but I severely doubt w
2.
▲
by
JPC21
8d ago
Second this. What I also wonder about is how closely the TeX write-up and the Lean formalization line-up.
3.
▲
by
JPC21
8d ago
Just don't. If you read the story here carefully, you see that AI was used to work from theory built by others which showed that the Euler equations possesed finite-time blow-ups. But to make that step, actual good understanding for ma
4.
▲
by
JPC21
4mo ago
I noticed something similar. Phrases I have noticed that Claude likes using are "... is doing major work ..." and "... worth pulling apart ...". Unfortunately, some of these have subconsciously become part of my own writ
5.
▲
by
JPC21
5mo ago
I have played quite a lot of video games in the past yes. But not much anymore.
6.
▲
by
JPC21
5mo ago
You say pretty obvious, but it took me 2 years during my PhD to be consciously aware of this. And once I did, I immediately knew I wanted to leave my field as soon as I would finish.
7.
▲
by
JPC21
8mo ago
I can only commend this, but people should be aware that not every church is equally welcoming. But usually every town has at least one that is!
8.
▲
by
JPC21
2y ago
I remember having a hard time understanding limsup/liminf and only actually understood the concept after reading this book. I am sure it is not for everyone due to its age, but I think this book is a much better introduction than baby
9.
▲
by
JPC21
2y ago
Generating functions are also a great tool in combinatorics (see for example the book Analytic Combinatorics by Flajolet and Sedgewick).
10.
▲
by
JPC21
2y ago
Personally I would read a book on statistical physics instead, since this is where the study of 'emergence' began. The Feynman lectures would be good for this. I actually haven't found many good books for 'Complex system