HNHacker News
TopNewBestAskShowJobs

kevinventullo

4,311 karma · joined November 16, 2018

EM at Google

https://kevinventullo.com/

https://www.linkedin.com/in/kevinventullo/

submissionscomments
kevinventullo··on Grok: Searching X for "From:Elonmusk (Israel or Palestine or Hamas or Gaza)"
A lot more goes into training and fine tuning a model than system prompts.
kevinventullo··on Grok 4 Launch [video]
There are many basic techniques in machine learning designed specifically to avoid memorizing training data. I contend any benchmark which can be “cheated” via memorizing training data is approximately useless. I think comparing how the models perform on say, today’s Connections would be far more informative despite the sample being much smaller. (Or rather any set for which we could guarantee the model hasn’t seen the answer, which I suppose is difficult to achieve since the Connections answers are likely Google-able within hours if not minutes).
kevinventullo··on A Virginia public library is fighting off a takeover by private equity
Was writing this comment a way to drive profit and efficiency?
kevinventullo··on Linda Yaccarino is leaving X
I don’t think we can say for sure whether it’s doing worse businesswise since the numbers aren’t public. But consider e.g. https://www.adweek.com/media/advertisers-returning-to-x/

“From January to September 2024, marketing intelligence platform MediaRadar found that (X’s former top advertisers including Comcast, IBM, Disney, Warner Bros. Discovery, and Lionsgate Entertainment) collectively spent less than $3.3 million on X. This is a 98% year-over-year drop from the $170 million spent during the same period in 2023.”

kevinventullo··on 7-Zip for Windows can now use more than 64 CPU threads for compression
Nowadays I’ve noticed fewer applications have a save icon at all, relying instead on auto-save.
kevinventullo··on I extracted the safety filters from Apple Intelligence models
It’s not about whether they can face it. The younger generations are more in tune with mental health and topics like suicide than any previous generation. The etymology of the euphemism was about avoiding online censorship, while its “IRL” usage was merely absorbed through familiarity from the online usage.
kevinventullo··on Hannah Cairo: 17-year-old teen refutes a math conjecture proposed 40 years ago
Peter Scholze received his Fields Medal at 30 for work he carried out through his 20’s. However he is not the youngest recipient: J.P. Serre received his Fields medal at 27.
kevinventullo··on Problems the AI industry is not addressing adequately
You don’t hear about it anymore because it’s not worth talking about anymore. Everyone implicitly understands they are liable to make up nonsense.
kevinventullo··on A list is a monad
Thanks for confirming; I wasn’t 100% sure what I wrote was equivalent to the `X -> T<Y>` definition, but I could see how you’d get one from the other using the unit/counit.
kevinventullo··on Writing Code Was Never the Bottleneck
… I can do that myself.

So then you see where this is going.

kevinventullo··on A list is a monad
I mean if someone is learning chess for the first time, then yes you should start with the rules rather than jumping right into waxing philosophic about positional strategy to show off how smart you are.
kevinventullo··on A list is a monad
For people who are more familiar with C++ than category theory, yes.
kevinventullo··on A list is a monad
So I come at this from a math background but I’ve always found these explanations to be overly complex. In the parlance of C++, I think of a monad as a template class T with the following properties:

1. For any class X, there is a canonical method

  F: X -> T<X>
2. For any class X, there is a canonical method

  G: T<T<X>> -> T<X>.
3. For classes X and Y, and any method

  f: X -> Y, 
there is a corresponding method

  “T<f>”: T<X> -> T<Y>.

—————-

Here “any type” means any type that is compatible with the template.

And then there’s some additional rules which make all these methods compatible, based on the different ways of stacking nested T’s and the “canonical” maps you get. Admittedly there is some confusing accounting here, but I also think most natural ways of constructing the above three requirements are going to satisfy them anyway. For List and Maybe it’s fairly obvious what the above methods are.

I dunno, maybe I have it wrong and someone can correct my understanding.

kevinventullo··on Sam Altman Slams Meta’s AI Talent Poaching: 'Missionaries Will Beat Mercenaries'
I mean in some sense the Chinese domestic policy (“as in Xi”) made the conditions possible for companies like DeepSeek to rise up, via a multi-decade emphasis on STEM education and providing the right entrepreneurial conditions.

But yeah by analogy with the US, it’s not as if the W. Bush administration can be credited with the creation of Google.

kevinventullo··on The role of the University is to resist AI
I don't see how it's reasonable to teach a subject with access to such a powerful tool and then to remove that tool to assess what the student has learned

Isn’t this basically the paradigm of a closed-book exam? I personally use LLM’s for learning by treating them like a textbook or Wikipedia article I can ask follow-up questions to.

Though to be clear, I am disappointed with the experience about 50% of the time.

kevinventullo··on U.S. bombs Iranian nuclear sites
Having lived in the U.S. my entire life, I’ve worked closely with many Iranian-born and -educated mathematicians, computer scientists, and software engineers. To OP’s point, I’ve never encountered anyone from Saudi Arabia in those fields.
kevinventullo··on Mathematicians hunting prime numbers discover infinite new pattern
As far as I know, the Lucas-Lehrer test used by GIMPS does not actually factor: https://en.m.wikipedia.org/wiki/Lucas%E2%80%93Lehmer_primali...
kevinventullo··on US now requires public social media profiles from student visa applicants
Startup idea: Social Media Presence as a Service.
kevinventullo··on Meta announces Oakley smart glasses
The “subtitles” could also serve as IRL Closed Captioning for folks who are deaf or hard of hearing.
kevinventullo··on Andrej Karpathy: Software in the era of AI [video]
So, if the user likes UI’s that don’t change, the LLM will figure out that it should do nothing?

One problem LLM’s don’t fix is the misalignment between app developers’ incentives and users’ incentives. Since the developer controls the LLM, I imagine that a “smart” shifting UI would quickly devolve into automated dark patterns.

kevinventullo··on Andrej Karpathy: Software in the era of AI [video]
“Wait… junior engineers don’t have short-term positive ROI?”

“Never did.”

kevinventullo··on Strangers in the Middle of a City: The John and Jane Does of L.A. Medical Center
Is it false? A care center either takes in anonymous people with no money off the street or it doesn’t. The problem outlined in the article is precisely that LA General does do this, while “Skilled nursing facilities, group homes and rehabilitation centers won’t take people who don’t have anyone to pay for them.”
kevinventullo··on Strangers in the Middle of a City: The John and Jane Does of L.A. Medical Center
Yes, if we want to live in a society where hospitals don’t throw people out to die on the street because they’re not carrying an insurance card, then someone has to pay for it.
kevinventullo··on Building Effective AI Agents
Now it’s all about AI Agencies
kevinventullo··on Generative AI coding tools and agents do not work for me
I’m not sure I follow the question. I think of plumbing as being the exact kind of verbose boilerplate that LLM’s are quite good at automating.

In contrast, when I’m trying to do something truly novel, I might spend days with a pen and paper working out exactly what I want to do and maybe under an hour coding up the core logic.

On the latter type of work, I find LLM’s to be high variance with mostly negative ROI. I could probably improve the ROI by developing a better sense of what they are and aren’t good at, but of course that itself is rapidly changing!

kevinventullo··on Waymo rides cost more than Uber or Lyft and people are paying anyway
I’ve had multiple experiences of calling a cab company and them no-showing. You can call them back and it’s “oh yeah someone’s on their way, 15 minutes.” 40 minutes later, nothing.

With an app, you have a very clear indication of how far away your driver is, but more importantly whether they’re coming at all.

(Also with the EU specifically I very much had an issue with the language barrier in Florence).

kevinventullo··on "Localhost tracking" explained. It could cost Meta €32B
https://www.google.com/search?q=analogy+definition
kevinventullo··on Menstrual tracking app data is gold mine for advertisers that risks women safety
Just to be clear, you’re saying cloud backups are off by default, and the user must explicitly enable them?

If so, just FYI I believe that pattern is usually referred to as “opt-in.” As in, the feature is off by default, and the user must opt in to using it.

kevinventullo··on Scientific Papers: Innovation or Imitation?
Are you claiming the Stroop effect hasn’t been proven to exist or just that there hasn’t been an explanation?

Funnily enough, the first “professional” coding I ever did was writing up a Stroop test in Visual Basic for a neuro professor, and I recall the effect being undeniably clear. At a personal anecdotal level, I would time myself with matching colors versus non-matching, and even with practice I could not bring my non-matching times down to my matching times.

kevinventullo··on Scientific Papers: Innovation or Imitation?
Follow-up papers by other authors which “only extend or expand on the specific finding in very minor ways” have a secondary benefit. In addition to expanding the original findings, they are also implicitly replicating the original result. This is perhaps a crucial contribution in light of the replication crisis!
← PreviousPage 3 of 34Next →