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 First American pope elected and will be known as Pope Leo XIV
I just like that he was a math major.
kevinventullo··on I'd rather read the prompt
Yeah, so the problem I’m solving is not that I don’t think enough about something, or even that I don’t think about it in the right way. “Murky” was maybe the wrong word. It’s more that I often find my audience does not have the longest attention span or forgiveness for sloppy writing; thus, the onus is on me to make my thoughts as easy to digest as possible.
kevinventullo··on I'd rather read the prompt
Something I’ve found very helpful is when I have a murky idea in my head that would take a long time for me to articulate concisely, and I use an LLM to compress what I’m trying to say. So I type (or even dictate) a stream of consciousness with lots of parentheticals and semi-structured thoughts and ask it to summarize. I find it often does a great job at saying what I want to say, but better.

(See also the famous Pascal quote “This would have been a shorter letter if I had the time”).

P.s. for reference I’ve asked an LLM to compress what I wrote above. Here is the output:

When I have a murky idea that’s hard to articulate, I find it helpful to ramble—typing or dictating a stream of semi-structured thoughts—and then ask an LLM to summarize. It often captures what I mean, but more clearly and effectively.

kevinventullo··on Vibe Coding Is Overrated
LLM’s are very good at style transfer, like turning a piece of writing into a poem or whatever. I’ve found this to be helpful with respect to coding style as well.

E.g. I still kind of write python as if I was writing C++. So, sometimes I’ll write a for loop iterating over integer indexes and tell the LLM “Hey can you rewrite this more pythonically” and I get decent results.

kevinventullo··on Driverless semis have started running regular longhaul routes
But also automated long-haul trucking has been pretty clearly on the short term horizon for the last decade. I think most young people know that this is coming, and hence trucking is probably not the best career to invest your time in.
kevinventullo··on The Gang Has a Mid-Life Crisis
Whoosh
kevinventullo··on Only Teslas exempt from new auto tariffs thanks to 85% domestic content rule
Full consensus is evil incarnate

So when there’s broad agreement that something is a good idea like, I don’t know, making sure the water is drinkable, your reaction to that is it’s “evil incarnate”?

kevinventullo··on Programming languages should have a tree traversal primitive
If nodes have pointers to their parent, constant space tree traversal is easy enough.
kevinventullo··on Watching o3 guess a photo's location is surreal, dystopian and entertaining
Would be interesting to apply Interpretability techniques in order to understand how the model really reasons about it.
kevinventullo··on ClickHouse gets lazier and faster: Introducing lazy materialization
With non-mutable “streaming” input, there is an O(n) algorithm to obtain the unsorted top k with only O(k) extra memory.

The basic idea is to maintain a buffer of size 2k, run mutable unsorted top k on that, drop the smaller half (i.e the lowest k elements), then stream in the next k elements from the main list. Each iteration takes O(k), but you’re processing k elements at a time, so overall runtime is O(n).

When you’re done, you can of course sort for an additional k*log(k) cost.

kevinventullo··on The movie mistake mystery from "Revenge of the Sith"
Technically the emperor dubs Anakin as Vader just after the showdown where Anakin betrays Mace Windu. The battle with Obi-Wan happens after that.

I’m not normally this pedantic, but on the topic of Star Wars it somehow feels appropriate.

kevinventullo··on Show HN: Goldbach Conjecture up to 4*10^18+7*10^13
IMO it would make the conjecture far more interesting, as it would be a surprise to most people who have thought about the problem.

Many natural questions would arise, starting with “Is this the only counterexample?”

kevinventullo··on Judge Rules Blanket Search of Cell Tower Data Unconstitutional
if the police genuinely believed that what they were doing was legal, as they did in this case, relying on established legal precedent, then throwing out the evidence doesn't disincentivize anything

This is obviously false. It would disincentivize the police from collecting evidence without first ensuring that the method of collection was legal.

kevinventullo··on arXiv moving from Cornell servers to Google Cloud
If funding is an issue, I’m quite certain they could set up a nonprofit to support it. I would happily donate to keep arxiv around.
kevinventullo··on How the U.S. became a science superpower
Maybe a direct transfer then. Don’t have to worry about share prices when the tax is a % of shares owned.
kevinventullo··on The Insanity of Being a Software Engineer
Front-line managers and PM’s have the same incentives.
kevinventullo··on The Llama 4 herd
There are shades of grey w.r.t. truth, and in many contexts there is a negative correlation between honesty and other factors (e.g. I think of “bluntness” as prioritizing truth over politeness). When I hear or read a sentence beginning with “honestly”, I interpret it to mean the speaker is warning or indicating that they are intentionally opting to be closer to truth at the expense of other factors. Other factors might be contextual appropriateness such as professional decorum, or even the listener’s perception of the speaker’s competence (“Honestly, I don’t know.”)
kevinventullo··on Show HN: I built a word game. My mom thinks it's great. What do you think?
So I actually like the timer and potential competitive aspect of it. If you want to lean into that, consider adding leaderboards and percentiles.
kevinventullo··on Are people bad at their jobs or are the jobs just bad?
Thank you for the reply!

I don't want to make any strong claims here, but my gut reaction to your first comment is that what one manager calls “allowance for illegibility”, another might call “trust in my reports”.

kevinventullo··on Are people bad at their jobs or are the jobs just bad?
This was previously recommended to me on HN, so I’ll pass it along. The book “Seeing Like A State” gives a pretty reasonable explanation for why this happens: https://en.m.wikipedia.org/wiki/Seeing_Like_a_State

The basic idea is that the only viable way to administer a complex and heterogenous system like a massive corporation is to simplify by enforcing “legibility” or homogeneity. Without this, central control becomes far too complex to manage. Thus, the simplification becomes a mandate, even at the cost of great inefficiencies.

What makes the book particularly interesting is the many different historical examples of this phenomenon, across a wide array of human endeavors.

kevinventullo··on UCSD: Large Language Models Pass the Turing Test
So what happens when I stuff an LLM inside a robot, and when I ask it to pass me the pen it passes me the pen?
kevinventullo··on MLB says Yankees' new "torpedo bats" are legal and likely coming
On the discussion at hand, is there reason to believe this new bat shape will be too expensive for other teams to copy?
kevinventullo··on The average college student today
The top marginal tax rate was 91% from 1945-1963. It was still 70% up until 1981.
kevinventullo··on Scammers Steal $1T a Year – Mostly from Americans
The regression is not due to “contact with the low trust world.” Globalism isn’t new. The call is coming from inside the house.
kevinventullo··on Decomposing a Factorial into Large Factors
Has anyone tried throwing a math-specialized LLM at this? I’m only half joking.
kevinventullo··on The Leader of the LeetCode Rebellion: An Interview with Roy Lee
On-site interviews are pretty clearly the antidote to this, but that costs money this quarter. In contrast, the cost of hiring a total fraud cannot be pinpointed to any one metric or line item.
kevinventullo··on The game designer playing through his own psyche
Every source, free or paid, has narrative, bias, incentives.
kevinventullo··on The Humans Building AI Scientists
This comment made me realize something. There’s always been grumbling in the academic community about how negative or less exciting results aren’t publishable. As a result, there is quite a bit of knowledge that is essentially “lost” as no one ever bothers to write it down. Part of the reason this happens is that publishing unexciting results is unhelpful professionally, but I suspect another aspect here is that researchers know that no one would read such results; it is hard enough to keep up with the positive results in the field, much less negative results. So, in that sense they are not “contributing to the sum total of human knowledge”, which I think is a major part of many scientists’ motivations.

So then, in a world where the outcomes of all experiments could be reasonably fed into an AI model, it seems that there could be a great deal of value in having scientists publish these “low value” negative results, even in a relatively informal format (i.e. not worrying about formatting, perhaps skipping peer review, etc.). That way even if a human never reads the paper, at the very least an AI “scientist” model would pick it up.

I don’t think you can professionally incentivize this. Rather, scientists would need to do this out of the desire to contribute to the sum total of human knowledge, which could be embodied and not forgotten by these scientist AI’s.

kevinventullo··on Legged Locomotion Meets Skateboarding
Almost all of the foreign-born students I went to grad school with 15 years ago still work and live in the US.
kevinventullo··on How I got 100% off my train travel
Japan would like to have a word.
← PreviousPage 5 of 34Next →