Viewing profile — ethanlipson

https://mira-wm.com/blog-post/

[dead]

How much money do you think they spent fine-tuning on pelican SVG generation?

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…

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 …

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 I…

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 …

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…

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 solu…

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 disp…