kevinventullo

9 ms·

61.
by kevinventullo 1y ago
A lot more goes into training and fine tuning a model than system prompts.
62.
by kevinventullo 1y ago
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 m
63.
by kevinventullo 1y ago
Was writing this comment a way to drive profit and efficiency?
64.
by kevinventullo 1y ago
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,
65.
by kevinventullo 1y ago
Nowadays I’ve noticed fewer applications have a save icon at all, relying instead on auto-save.
66.
by kevinventullo 1y ago
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”
67.
by kevinventullo 1y 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.
68.
by kevinventullo 1y ago
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.
69.
by kevinventullo 1y ago
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.
70.
by kevinventullo 1y ago
… I can do that myself. So then you see where this is going.
71.
by kevinventullo 1y ago
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.
72.
by kevinventullo 1y ago
For people who are more familiar with C++ than category theory, yes.
73.
by kevinventullo 1y ago
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
74.
by kevinventullo 1y ago
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
75.
by kevinventullo 1y ago
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
76.
by kevinventullo 1y ago
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.
77.
by kevinventullo 1y ago
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...
78.
by kevinventullo 1y ago
Startup idea: Social Media Presence as a Service.
79.
by kevinventullo 1y ago
The “subtitles” could also serve as IRL Closed Captioning for folks who are deaf or hard of hearing.
80.
by kevinventullo 1y ago
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,
81.
by kevinventullo 1y ago
“Wait… junior engineers don’t have short-term positive ROI?” “Never did.”
82.
by kevinventullo 1y ago
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 rehabi
83.
by kevinventullo 1y ago
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.
84.
by kevinventullo 1y ago
Now it’s all about AI Agencies
85.
by kevinventullo 1y ago
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 pape
86.
by kevinventullo 1y ago
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 aw
87.
by kevinventullo 1y ago
https://www.google.com/search?q=analogy+definition
88.
by kevinventullo 1y ago
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 o
89.
by kevinventullo 1y ago
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
90.
by kevinventullo 1y ago
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. T

More ›