catgary

6 ms·

1.
by catgary 29d ago
Spector is 70 years old, that’s a pretty reasonable age for retirement?
2.
by catgary 1mo ago
This plus the zoom firing anecdote is basically confirming that Garg operates at a Cousin Greg level.
3.
by catgary 1mo ago
> Garg acknowledges he’s “hard-nosed” and the famous Zoom layoffs severely damaged the company’s reputation — a mistake he knows will continue to haunt him. I really hope Garg is here reading this. It’s not just a mistake that will conti
4.
by catgary 2mo ago
I think, generally speaking, the decision to enforce a linter in CI/CD pipelines is well within a project lead’s or technical director’s purview, and there seems to be a pretty broad consensus that they add value, so they’ll almost alw
5.
by catgary 3mo ago
I think you should just focus on the road because most of us are just trying to get home safely to our families. Some of us are even biking beside the road on a lightly-protected bike lane.
6.
by catgary 4mo ago
Yeah, because they aren’t in need of a social safety net.
7.
by catgary 5mo ago
I think you need to give some concrete examples, considering the US happily let its companies offshore a lot of work to China over the years, and Chinese funds own large chunks of American companies.
8.
by catgary 5mo ago
I’ve found they’re quite good when you’re higher in the compiler stack, where it’s essentially a game of translating MLIR dialects.
9.
by catgary 6mo ago
Because it doesn’t? Thats why the field of formal methods exists.
10.
by catgary 6mo ago
Because the code is the actual thing, tests can only show that the code fails in certain cases, they don’t actually prove the code is correct.
11.
by catgary 6mo ago
Generally speaking, I try to ensure that the LLM is using core abstractions throughout the codebase in a consistent manner. This makes it easier for me to review any changes it makes.
12.
by catgary 6mo ago
And even then - I still read the code it generates, and if I see a better way of doing something I just step in, write a partial solution, and then sketch out how the complete solution should work.
13.
by catgary 6mo ago
This line of thought is honestly a bit silly - uv is just a package manager that actually does its job for resolving dependencies. You’re talking about a completely orthogonal problem.
14.
by catgary 6mo ago
I think there are 5-7 thousand confirmed deaths by the UN, and medical reports in Iran estimated there could be 20,000+ casualties.
15.
by catgary 7mo ago
I see the value of the students, it just seems like an odd thing for a government to subsidize via NIH/NSF funding. We don’t really have anything analogous to that in Canada and it just seems awfully weird that it exists in the US with
16.
by catgary 8mo ago
EVs should do much better on brake dust thanks to regenerative braking, no?
17.
by catgary 9mo ago
Luckily, the LLM has the text to cite, it can be passed in at inference time, which is legally distinct from training on the data.
18.
by catgary 9mo ago
Because text analysis is substantially easier than video analysis?
19.
by catgary 9mo ago
Sure, in the sense that any belief about the law isn’t cut and dried until a judge has explicitly dismissed it in the court of law.
20.
by catgary 9mo ago
Are you implying that an LLM needs to be trained on a specific piece of text to answer questions about it?
21.
by catgary 9mo ago
You don’t need any rights to execute the feature. The user owns the book. The app lets the user feed the book into an LLM, as is absolutely their right, and asks questions.
22.
by catgary 10mo ago
I work on a much easier problem (physics-based character animation) after spending a few years in motion planning, and I haven’t really seen anything to suggest that the problem is going to be solved any time soon by collecting more data.
23.
by catgary 11mo ago
I think this is an interesting direction, but I think that step 2 of this would be to formulate some conjectures about the geometry of other LLMs, or testable hypotheses about how information flows wrt character counting. Even checking some
24.
by catgary 11mo ago
Did he get an actual type theorist for that part of the project?
25.
by catgary 11mo ago
These companies are also biased towards solutions that will more-or-less trap you in a heavily agent-based workflow. I’m surprised/disappointed that I haven’t seen any papers out of the programming languages community about how to inte
26.
by catgary 1y ago
Most of these C-suite executives have more than enough money to retire comfortably.
27.
by catgary 1y ago
It’s kind of a bummer because this is the exact same playbook as DirectX, which ended up being a giant headache for the games industry, and now everyone is falling for it again.
28.
by catgary 1y ago
You would need to identify specific far left views that would be comparably objectionable. I’m not going to be upset if someone has wonky ideas about free market systems or tax codes. DHH has said some objectively racist rhetoric on his blo
29.
by catgary 1y ago
Yeah, I think I’ve seen a statistic that getting hit by a car going 30km/hr, you’re probably going to be fine. If you get hit by a car going 50km/hr, you are most likely going to die. I can’t think of any reason to allow cars to t
30.
by catgary 1y ago
I agree with you that writing kernels isn’t necessarily the most important thing for most ML devs. I think an MLIR-first workflow with robust support for the StableHLO and LinAlg dialects is the best path forward for ML/array programmi

More ›