@tdhopper

making gpus sing at spotify ⋅ https://nitter.cf/t.co/9WzGnMWMIx

Indianapolis, Indiana
Joined November 2009
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.
9
1,064
9
1,083
Tim Hopper retweeted
Python 3.15 is out now and available in uv 0.13.0.
5
3
148
2,890
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).
1
1
6
406
Tim Hopper retweeted
yes well maybe you shouldn't have left all those proofs as "an exercise for the reader"
2
16
539
Tim Hopper retweeted
I love to do my work quickly and efficiently so that I can return to my true calling: Dillydallying.
46
8,475
209
28,623
312,490
Tim Hopper retweeted
What's good reading on the history of the Cold War?
1
2
In 2007, I was privileged to work on a combinatorial graph theory problem as part of a summer research program for undergrads. It gave me more opportunity than anything else to talk to get general public about math. Almost universally the response was a nicer form of "we didn't ask for this."
1
4
589
Tim Hopper retweeted
1. A robot may not prove mathematical results or, through inaction, allow mathematical results to be proved
10
82
6
1,151
14,435
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…
2
1
4
659
Tim Hopper retweeted
35
307
13
3,078
41,001
When you know your design is bad
64
111
28
6,446
376,714
Tim Hopper retweeted
Latest newsletter: Quick takes on new OpenAI results (and a couple other things) johndcookconsulting.substack…
1
2
1,764
“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)
3
342
Tim Hopper retweeted
Try explaining hypersphere packing to your non-mathematician friends.
Tim Hopper retweeted
Weierstrauss: A mathematician who is not also something of a poet will never be a perfect mathematician.
5
5
Tim Hopper retweeted
Richard Bellman: "The well-trained mathematician does not measure the value of a problem solely by its intractability."
1
5
9
Tim Hopper retweeted
"I don’t care at all about applications." —Math grad student who does not (yet) care about money
2
28
3
56