@tdhopper

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

 Indianapolis, Indiana
tdhopper.com/
Joined November 2009
  • Tweets47.8K
  • Following284
  • Followers9K
2.7KMedia
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,063
9
1,083
Tim Hopper retweeted
Scott Wessman
@scottew11h
The Cheesecake Factory is a modern marvel. It should not be possible to have a menu the length of a Stephen King novella and have everything be available and pretty decent.
9
1
35
1,700
Tim Hopper retweeted
Cathryn
@cathrynlaveryOct 21
If you use @tailscale and work off multiple computers add this to your AGENTS.md file: "Any time you give me a link to something running on this computer (a preview, a review page, a dashboard), give me a Tailscale link, never localhost. I work across several computers and my phone. Publish it with tailscale serve, open the link yourself to check it works, then send it."
65
57
11
1,319
68,021
Tim Hopper retweeted
Tim Hopper
@tdhopper30 Jul 2015
First programming book I read: "Build Your Own Database Driven Website Using PHP & MySQL" by @sentience circa 2002.
2
1
1
1
Tim Hopper retweeted
James Kirk@Jiminy_KirketOct 20
The plants all around us are filled with bio-electrical signals that can tell us about the plant, its health, and the environment that we share. What if we could listen? That's why we built Bombadil - our foundation model for decoding plants' electrical language.
3
7
2
26
1,423
if you are feeling hella lost with what’s going on in ML well buddy I have a 1h08min interview with the legendary @vboykis that should set you straight in it we got: - good dose of pragmatism - what you should still learn - focusing - how to not lose your braincells to agents
13
112
4
1,602
42,195
Tim Hopper retweeted
Tim Hopper
@tdhopper23 Oct 2014
Dreamed last night that the receptionist at my optometrist chastised me for using pip instead of Conda. #shouldgetoutmore
3
2
7
Tim Hopper retweeted
Joel Grus 🤠
@joelgrusOct 17
nostalgia for when we had *no future as a mathematician* existential crises the old-fashioned way
The Boston Globe
@BostonGlobeOct 16
What’s the point of MIT? OpenAI’s math proofs have thrown students and researchers into chaos. trib.al/e958rht

What’s the point of MIT? OpenAI’s math proofs have thrown students and researchers into chaos. -...

The aftershocks from OpenAI's proofs come at a time of deeper reckoning for MIT, where AI is almost all anyone can talk about on campus.

bostonglobe.com
1
2
11
817
I ordered an _Express Replacement_ for my shattered iPhone 3 weeks ago with a promised ship time of 3-5 days. The app still says 3-5 days and Apple support keeps giving me conflicting answers. One of the worst customer support experiences of my life. @AppleSupport @johnternus
3
441
Tim Hopper retweeted
Andrej Karpathy
@karpathyOct 2
Cool eval. Simply ask an LLM “Land or Water?” and give it a latitude and longitude coordinate as text. Ask 16,200 times, plot as image. The models know. From compressing the internet.
Celeste
@celestepoastsSep 24
Replying to @celestepoasts
results for all claudes
710
1,070
170
19,182
1,489,095
if i leave the apple ecosystem it's going to be because of Siri
385
208
73
11,653
337,100
Tim Hopper retweeted
Chris Albon
@chrisalbonOct 14
This 2015 interview about the development of spreadsheet software in the 1970s could have been written in 2026 about AI. northcountrypublicradio.org/… h/t @rseroter for finding it
2
1
6
1,500
This might be the best wildlife capture in the history of Google Earth.
96
1,750
130
23,007
2,078,948
Tim Hopper retweeted
Scott Wessman
@scottewOct 14
One thing that is a little disorienting as your kids get older is how they don’t remember stuff that was only 10 years ago. It was practically yesterday but they’re like yeah I know we did that vacation in 2016 but only because of the pictures ¯\_(ツ)_/¯
3
1
24
1,285
My Apple HomeView arrived. What questions do you have?
260
What problems do you have with the uv lockfile? Anything you'd want to see changed / solved in a v2 redesign?
34
5
119
17,245
The first time machines mogged mathematicians? 1976. Proof of the ‘Four Colour Problem’ is announced, the work was aided by computer. Mathematicians lost their minds. “God wouldn’t let the theorem be proved by a method as terrible as that!” - Herbert Wilf, University of Pennsylvania “the present proof relies in effect on an Oracle, and I say down with Oracles! They are not mathematics” … - Paul Halmos, UC Santa Barbara “if the solution involves computer verification of special cases . . . such a solution does not belong to mathematical science at all.” - Frank Bonsall, University of Edinburgh “Admitting the computer shenanigans of Appel and Haken to the ranks of mathematics would only leave us intellectually unfulfilled.” - Daniel Cohen, Hunter College NYC “not only is no proof to be found in what they published, but there is not anything that even begins to look like a proof… …It is the most ridiculous case of ‘The King’s New Clothes’ that has ever disgraced the history of mathematics” - George Spencer-Brown, Cambridge University
10
65
10
287
25,811
5
83
2
1,064
42,407
There are many drugs in wide use for which the mechanism of action is not known. Also, in terms of misaligned drugs that exploit flaws in the trial process... Oh boy do I have news for Terrence Tao...
Andrew Curran
@AndrewCurran_Oct 10
This is a slide from Terence Tao's 'Math 2.0' public lecture yesterday evening at Caltech. I am highly confident that, if the cure actually worked, almost any Stage 4 cancer patient would tell you that human comprehension of its mechanism is completely irrelevant to them.
14
10
142
4,902
Tim Hopper retweeted
James Kirk@Jiminy_KirketOct 9
constantly flipping between 5 different agent sessions to cmd+v "how are we lookin'?"
2
1
9
682
Python 3.15 is out now and available in uv 0.13.0.
8
22
2
458
11,309
Load more