catgary

4 ms·

31.
by catgary 11mo ago
Did he get an actual type theorist for that part of the project?
32.
by catgary 1y 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
33.
by catgary 1y ago
Most of these C-suite executives have more than enough money to retire comfortably.
34.
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.
35.
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
36.
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
37.
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
38.
by catgary 1y ago
Maybe! I’ve found that people usually don’t do extra work if they don’t need to. The heavy notation in differential geometry, for example, can be awfully helpful when you’re actually trying to do Lagrangian mechanics on a Riemannian manifol
39.
by catgary 1y ago
I’m going to push back on this a bit. I think a simpler explanation (or at least one that doesn’t involve projecting one’s own insecurities onto the authors) is that the people who write these papers are generally comfortable enough with ma
40.
by catgary 1y ago
I think it’s the move towards GPU-based computing is probably more significant - the constraints put in place by GPU programming (no branching, try not to update tensors in place, etc) sync up with the constraints put in place by differenti
41.
by catgary 1y ago
From what I can tell, NPUs are mostly being used by Microsoft to encourage vendor lock-in to the MicrosoftML/ONNX platform (similar to their DirectX playbook).
42.
by catgary 1y ago
Ehh, I think there’s a pretty consistent pattern of doctors rejecting pretty basic technologies or procedures that lead to positive outcomes for patients if it’s seeking to address the fact that doctors are human beings that can make mistak
43.
by catgary 1y ago
Have you ever looked at a category theory or differential geometry paper? It just doesn’t feel like you appreciate what people are up against. Look at this thing: https://images.app.goo.gl/4WHN9Pqupxkk8Z3j7 And that’s befor
44.
by catgary 1y ago
I’m going to have to disagree with you there. The compile times are long, the error messages are worse than useless, and tikz diagrams are almost always unreadable messes. Large swathes of mathematics, computer science, and physics involve
45.
by catgary 1y ago
Oh. It’s literally the main stereotype about rationalists. It’s a very blog-heavy subculture.
46.
by catgary 1y ago
Adding numbers to your reasoning, when there is no obvious source for these probabilities (we aren’t calculating sports odds or doing climate science), is not really any different than writing a piece of fiction to make your point. It’s the
47.
by catgary 1y ago
Yeah, the dude has managed to catch nobelitis for the amazing achievement of…jailbreaking iOS as a teenager.
48.
by catgary 1y ago
Wasn’t he pushed out?
49.
by catgary 1y ago
I don’t know what you’re talking about here. You can run your mouth as much as you like…you just become a laughingstock at a certain point. Nobody is calling for geohot to be silenced.
50.
by catgary 1y ago
I was always under the impression that actual science/tech startups were more of a MIT/Northeast thing than what you generally see out of Stanford.
51.
by catgary 1y ago
But what does “sell well” mean, because once again, making sales is significantly easier when you’re unburdened by the truth. Are you saying it’s not the salesman’s fault that his product is crap so he needs to lie to make sales?
52.
by catgary 1y ago
> Someone who is good at sales should not have to reject clients because something is difficult. What does that even mean, honestly? Because I would argue that a salesperson who doesn’t accurately represent the product or service they’re
53.
by catgary 2y ago
Right, I guess my take on Julia is that it shows the concessions necessary to make a language “approachable” for scientists/engineers will inevitably lead to a language that is poorly suited for developing large, robust software projec
54.
by catgary 2y ago
I was a Haskell programmer in grad school, and Julia was how I learned “oh, some times the programmer does know better than the type system/compiler”. I think the way they approached multiple dispatch in the language (and the resulti
55.
by catgary 2y ago
Right, but Julia is just not terribly well-suited for large scale software development, which is why I’d rather use Rust.
56.
by catgary 2y ago
Oh, I would advocate for writing high quality libraries/components in Rust and then using Maturin to generate Python bindings for interactivity, [1] is an example of that workflow and it looks quite smooth. [1] https://github
57.
by catgary 2y ago
It is really easy to write python bindings for Rust, which is probably the easiest way to “consume” a high-performance library (e.g. a physics simulator, data-frames, graphing, a type-checker, etc).
58.
by catgary 2y ago
Those tools didn’t actually exist the year or so I was writing Julia professionally (and that was only 3 years ago) so it’s nice to see the language coming along. At the same time, I would expect the Rust ecosystem to overtake Julia’s in th
59.
by catgary 2y ago
Even as a full-blown Julia hater, it exists at a really nice level of abstraction for working in differential equations and Chris Rackaukas has written some fantastic software in that area. It can be a great tool for some domains (ODEs, sta
60.
by catgary 2y ago
Sometimes it really feels like JAX should be a more general DSL that can embed in other languages, as long as you have some way to turn structures into pytrees and functions into jaxpr’s.

More ›