Sabitlenmiş Tweet
Today, I successfully defended my Ph.D. thesis.
Thank you to everyone who was part of this journey.
English
Ming-Ho Yee
3.1K posts
Ming-Ho Yee
@mhyee
PhD from @neu_prl. @uWaterloo alumnus.
San Francisco Bay Area Katılım Kasım 2011
156 Takip Edilen194 Takipçiler
@tekknolagi You could partially evaluate by hand to make it 0CFA? That should also simplify the implementation a bit (or a lot?).
Another explanation (not an implementation) is the 0CFA chapter in Nielson, Nielson, and Hankin's "Principles of Program Analysis" textbook.
English
Ming-Ho Yee retweetledi
Ming-Ho Yee retweetledi
@tekknolagi @willium Hi! Yes, I worked on this for my PhD. I have a model and some code, but it's very much a research prototype and not close to being a usable app. Main challenges are it's hard to get high quality data for both training and evaluation.
English
Okay, but can someone actually make an app that uses LLMs to automatically create type declarations for any JavaScript package?
English
Hi! I'm finishing my PhD this spring and looking for industry work in 🇨🇦🇺🇸; Europe if fit is right.
Experience: compilers/PL impl, static analysis, recently code LLMs
Website: mhyee.com
If you're hiring or think I should apply somewhere, please DM! (And retweet!)
English
@psobot I could see code assistants being more useful if you're a beginning programmer, or if you're learning a new programming language and its libraries. Or if you're writing boilerplate code, the code assistant might be faster than searching on StackOverflow and then copy/pasting.
English
I really want to like LLM code assistants - but every time I try them, they’re slower and more frustrating to use than just writing the code myself, like @jevakallio’s experience below. What am I missing?
Jani Eväkallio@jevakallio
Today, I tried @GitHubCopilot Chat — A trip report: For my app, I needed to allocate strings into `n` buckets with a uniform distribution (as one does). A quick Google search gave me a promising algorithm, but it was in Python, so I decided to ask Copilot to translate it: 1/
Manhattan, NY 🇺🇸 English
Ming-Ho Yee retweetledi
@MagnusMadsenDK Probably Waterloo, it's closer to what I grew up with. But Boston and Waterloo aren't too different.
Boston summers are a bit hotter but still humid. The winters are also warmer, but it rains a lot and I think cold rain is worse than colder snow.
English
This will be my 8th year in Boston, which is longer than I lived in Waterloo (7 years).
English
@alpha_convert You could go to Kensington Market. Probably more worth your time then the Distillery.
English
Left: Not Mount Rainier as seen from the University of Washington, 2013
Right: Mount Rainier as seen from the University of Washington, 2023
Ended up waiting 10 years to get the second photo.
English
"wan dee bee" won, but it looks like the answer is "wand bee"!
twitter.com/weights_biases…
Ming-Ho Yee@mhyee
How do you pronounce wandb?
English
@logicregressor Canada's and Australia's flags are 1:2, Bahrain is 3:5, Colombia is 2:3, and Brazil is 7:10.
English
Excited!
Super curious though; are the dimensions on these flags correct? They don't seem proportional.
NASA Artemis@NASAArtemis
Welcome to the #Artemis Accords, Spain. 🇪🇸 Today, Spain became the 25th nation to commit to the peaceful and safe exploration of space as we journey to the Moon, Mars, and beyond: go.nasa.gov/43e5aNo
English