@tdhopperi
iAccount based inNorth America
About this account
- Account based in
- North America
- Connected via
- Web
Account-level information from X, not a live location or the device used for a specific post.
making gpus sing at spotify ⋅ https://nitter.cf/t.co/9WzGnMWMIx
Indianapolis, Indiana
Joined November 2009
- Tweets0
- Following0
- Followers0
- Likes0
Give a man a fish and you feed him for a day.
Write a program to fish for him and you maintain it for a lifetime.
Tim Hopper retweeted
My two main academic interests (software and math) are the first to fall to AI. Tells you something about me (not sure what).
Tim Hopper retweeted
yes well maybe you shouldn't have left all those proofs as "an exercise for the reader"
Tim Hopper retweeted
I love to do my work quickly and efficiently so that I can return to my true calling: Dillydallying.
Tim Hopper retweeted
1. A robot may not prove mathematical results or, through inaction, allow mathematical results to be proved
Tim Hopper retweeted
tfw you just learned about RAG
Intelligence must draw on memory. The mind must not simply compile data — as an algorithm now does more quickly than we can — but recall lived experiences, which contain depths of meaning that only the human soul can recognize, and connect more deeply with the goodness of these experiences. Everything that is good begins “with the Spirit” and thus possesses a breath, a dynamism and a sense of communion that, once experienced, are engraved upon the heart. vatican.va/content/leo-xiv/e…
Mathematicians didn't ask for Green's Theorem
en.wikipedia.org/wiki/George…
Mathematicians didn't ask for Ramanujan en.wikipedia.org/wiki/Sriniv…
Tim Hopper retweeted
Latest newsletter:
Quick takes on new OpenAI results
(and a couple other things)
johndcookconsulting.substack…
“Thomas Godfrey, a self-taught mathematician, great in his way.... But he knew little out of his way, and was not a pleasing companion; as, like most great mathematicians I have met with, he expect universal precision in every things said, or was for ever denying or distinguishing upon trifles, to the disturbance of all conversation."
(Benjamin Franklin, Autobiography)
Tim Hopper retweeted
Weierstrauss: A mathematician who is not also something of a poet will never be a perfect mathematician.
Tim Hopper retweeted
Richard Bellman: "The well-trained mathematician does not measure the value of a problem solely by its intractability."