Tim Hopper
@tdhopper
Followers
9K
Following
25K
Media
3K
Statuses
47K
https://t.co/9WzGnMWMIx 👨🏻💻 machine learning engineer 🐦 math and programming jokes
Raleigh, NC
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
1K
1K
`ty` is the newest greatest Python type-checking thing, they tell me they expect you to adopt `uv` over `pip`, and then try `ty` they differ from Mypy in that they don't default to forbid redeclarations https://t.co/g8u7SKS03K
started using Ty lsp in both PyCharm and VSCode on Friday, literally like a light went on in my codebase. This is Civilization
0
0
0
Indulge yourself with class, style, and sophistication. Dress to impress this holiday season with Gentlemen's Guru. Shop the latest styles in men's formal wear and accessories for the modern gentleman. Get assistance from our Experts Award Winning Brand
0
8
108
new day, new cli! Summarize 👉 Point at any URL or file. Get the gist. Works great for YouTube transcripts and any file. If it's blocked, it uses Firecrawl to bypass. Token efficient, supports any LLM. brew install steipete/tap/summarize https://t.co/ovb2GwGDrY
21
22
330
Several folks in the replies Charlie asked about a migration guide from mypy, so I've started building one: https://t.co/HlZgLTkQm8
pydevtools.com
This guide provides practical steps for migrating Python projects from mypy to ty, based on real-world experiments with three open source projects: NetworkX, IPython, and python-genai. ⚠️ ty is...
Announcing the Beta release of ty: an extremely fast type checker and language server for Python, written in Rust. We now use ty exclusively in our own projects and are ready to recommend it to motivated users. 10x, 50x, even 100x faster than existing type checkers and LSPs.
5
17
200
I learned when @oceankidbilly mocked me for having my GPA on my resume
Andrej Karpathy literally revealed why "perfect grades" are a waste of precious time:
0
0
2
My regular PSA that if you enjoy working on developer tools, then Jane Street is kind of an amazing place. Apply here! There's no special posting, so just apply for the Software Engineering role, and express your interests in dev-tools in a note. https://t.co/LyB7Uzo2fc
0
5
105
Progress is not linear, and neither is the journey from prop eval to live trading. The shift from a controlled evaluation to real-risk trading requires more than technical skill. It demands a stronger mindset, tighter risk management, and ongoing self-assessment. This handy
3
18
41
A guy sitting near me is averaging 4 throat-clears/hour. Need to collect more data before determining if interarrival times are exponential.
1
2
6
Bring back NormConf you coward
every time i try to write a post that's like "you should do this because it's best practices and good engineering is important", it comes out forced and unnatural until i turn it into "here's what i learned about x, y, z, come on a trip with me." every single time.
1
3
12
Oh ok yeah so that is a perfect movie. Like when there’s a movie that’s part of The Canon and then you see it and yeah no that’s why it is, because it’s perfect.
165
1K
22K
I don't always clear my calculator... but when I do, I hit both 'C' and 'CE' a bunch of times because I don't know exactly what they do.
468
3K
91K
Sip your favorite beverage in style and make your mornings brighter with our unique mugs. Tap the button in the video or check the comments to learn more. Keep exploring: https://t.co/7SObhH7aiL
1
47
338
Claude Code has been an absolute game changer for me. I do almost everything on the command line now. It's almost inconceivable to me that so many software developers haven't even tried it yet.
Best AI product of 2025 so far?
81
39
1K
Can any of the python people in my community tell me how good this actually is and how easy it is to adopt? I’m much more loyal to Charlie than I am to Python - want to make sure my takes are grounded before doing a video
Announcing the Beta release of ty: an extremely fast type checker and language server for Python, written in Rust. We now use ty exclusively in our own projects and are ready to recommend it to motivated users. 10x, 50x, even 100x faster than existing type checkers and LSPs.
73
9
496
ty is in beta. This new Python type checker brings blazing fast speed (like its cousins uv and ruff), a full language server for editor integration, and informative robust diagnostic messages. You can try it on your Python code base with `uvx ty check .` https://t.co/H9wFq08KGh
pydevtools.com
Astral released ty, a Python type checker written in Rust, today. The company behind uv and Ruff designed ty as an alternative to mypy and Pyright, with performance as a primary focus. Speed Benchm...
0
2
36
Claude will now automatically suggest your next prompt. After a task finishes, Claude will occasionally show a followup suggestion in ghost text. Press Enter to send it or Tab to prefill your next prompt.
75
64
1K
Announcing the Beta release of ty: an extremely fast type checker and language server for Python, written in Rust. We now use ty exclusively in our own projects and are ready to recommend it to motivated users. 10x, 50x, even 100x faster than existing type checkers and LSPs.
95
287
3K