ethanlipson

5 ms·

1.
by ethanlipson 20d ago
Nvidia seems to be pushing Newton as a replacement for Isaac, so I think they're on the same page as you and me
2.
by ethanlipson 27d ago
TFA states “the less tau and pi, the better” and calls the radian-oriented functions “legacy”. I understand that a title like “Turns are Better than Radians” is intentionally inflammatory to get clicks, but I’d expect a more calibrated take
3.
by ethanlipson 28d ago
I think the author is either being disingenuous or doesn’t understand the subject if they don’t honestly address the reason radians are used in the first place. I’m leaning towards the latter, because I can’t imagine someone having an ulter
4.
MIRA: Multiplayer Interactive World Models Trained on Rocket League(mira-wm.com)
99 points by ethanlipson 2mo ago|31 comments
5.
by ethanlipson 3mo ago
How much money do you think they spent fine-tuning on pelican SVG generation?
6.
Dr. Z's Opinions(sites.math.rutgers.edu)
2 points by ethanlipson 4mo ago|0 comments
7.
by ethanlipson 4mo ago
In the words of my combinatorics professor, Dave Bayer: > It is hard to shed prejudices about how code should look, even if learning to see clearly past convention is the only good reason to be a mathematician. I'm already quite sur
8.
by ethanlipson 4mo ago
Whether we call it a distribution or not is really a matter of semantics. The more interesting question is, do people actually want a hyper-opinionated Linux install? Based on the reactions to Omarchy that I've seen, the answer is obvi
9.
by ethanlipson 4mo ago
I'm talking about cases where the array size is not known at compile time. For example, say the user passes in a list of numbers as command line arguments. Then we have argv: Vec<String, argc> If I want to map these to int
10.
by ethanlipson 4mo ago
Futhark is really such a great idea. I'm not convinced that dependent types are worth the cognitive overhead in general, but it's definitely worth it to include the length as part of the type information for dynamic arrays, e.g.:
11.
by ethanlipson 4mo ago
For models as complex as these I'm not confident we can apply arguments from first principles; we could just as easily argue that type information is helpful, from first principles. What is much more useful is empirical evidence, and A
12.
by ethanlipson 11mo ago
For a general function F, finding the points (x, y) with F(x, y) = 0 has no closed-form solution. The entire field of mathematical optimization is largely dedicated to finding solutions to F(x, y) = 0, in one form or another. When F has a s
13.
by ethanlipson 11mo ago
Neat, but I think it's deceptive for the website to claim this is a "new type of graphing" [1]. The fuzzy graph of F(x, y) = 0 is simply a 3D plot of z = |F(x, y)|, where z is displayed using color. In other words, F(x, y) is