kkylin

25 ms·

301.
by kkylin 6y ago
Maybe you're thinking of this? http://wingolog.org/archives/2009/03/24/international-lisp-c... Search for "Sussman."
302.
by kkylin 6y ago
There's a book that GJS and Chris Hanson are writing, based on the course: https://www.penguinrandomhouse.com/books/669475/software-des... It should be coming out soon. I'd expect it to be available onl
303.
by kkylin 6y ago
There's probably more than one perspective on this. Here's one: a standard way to approach SVD is to start with a matrix A and consider A^TA and AA^T. Since the latter is symmetric (or hermitian if on a complex vector space, whe
304.
by kkylin 6y ago
https://xkcd.com/2322/
305.
by kkylin 6y ago
Thanks! I was feeling lazy. The context of the quote is a discussion of whether one solves problems to understand mathematics, or builds general theory (my paraphrasing) to be able to solve specific problems. I read Atiyah's response
306.
by kkylin 6y ago
This article reminds me of this: https://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf I especially like the Atiyah quote.
307.
by kkylin 6y ago
I remember reading somewhere (one of Gian-Carlo Rota's essays?) that one of the most powerful words in mathematics is "but." Can't recall the exact source, unfortunately.
308.
by kkylin 6y ago
I think most universities (MIT included, and certainly mine) went directly to Zoom or something like it. GJS wanted to show you can do this with FOSS.
309.
by kkylin 6y ago
Exactly. I think the goal was to formalize and codify mathematics. They didn't publish any original papers.
310.
by kkylin 6y ago
Disclaimer: I have an interest in neurosciece but not expertise on fMRI. I also haven't had time to read the article closely (yet). I'm sure others are better equipped to answer the question, so please jump in. Anyway, here'
311.
by kkylin 6y ago
Don't think the Hertz Foundation has much direct ties to the company (though not 100% sure), despite both being started by the same person.
312.
by kkylin 6y ago
Reminiscent of Dantzig's story: https://en.wikipedia.org/wiki/George_Dantzig#Mathematical_st...
313.
by kkylin 7y ago
I hung on to my 5S for the longest time before finally getting an 8. I'm happy with the 8's form factor, but it's definitely at the upper limit of what I'm willing to carry around in my pocket all day. I can operate it
314.
by kkylin 7y ago
Confirmation in local news: https://dailyvoice.com/new-jersey/mercer/obituaries/covid-19... And on Terry Tao's blog: https://terrytao.wordpress.com/2020/04/12/john-conway&#
315.
by kkylin 7y ago
This always reminds me of the following Feynman story about how we do something as "simple" as counting: http://calteches.library.caltech.edu/607/2/Feynman.pdf Anecdotally, most people I've asked (m
316.
by kkylin 7y ago
Haven't looked, but gotta ask: does it run HyperCard?
317.
by kkylin 7y ago
Quite agree, and your comment reminds me of this: https://en.wikipedia.org/wiki/Bang%E2%80%93bang_control
318.
by kkylin 7y ago
I'm an applied mathematician. I don't do much theorem proving in my day to day work, though I have worked closely with people who do. In my experience, the "guessing" is just half of what makes really good mathematicia
319.
by kkylin 7y ago
Thanks! (I had the benefit of sitting down with one of the authors and having some of this explained to me.) And thanks for the clarification about the Millennium Prize.
320.
by kkylin 7y ago
If what you mean by "general solution for Navier-Stokes" is something like the Millennium Prize problem (proving general existence & uniqueness of solutions for NS), then no, at least not as far as I can see. This work is abo
321.
by kkylin 7y ago
Also (in case anyone's still looking at this thread) the accuracy is a separate issue from numerical stability. That simple quadrature rules like trapezoid can be so accueate (error is geometric , not just algebraic to high order) is
322.
by kkylin 7y ago
Yes and no -- of course if one uses more points the result can be more accurate. The real difference between a center difference and contour integration is that differences suffer from loss of information in finite-precision arithmetic. F
323.
by kkylin 7y ago
I quite agree this is not exact and is not automatic differentiation (which would be exact up to round-off). However, for holomorphic functions, contour integration can be much more accurate. The reason is that under fairly general cond
324.
by kkylin 7y ago
Indeed a standard technique in numerical analysis. Among the advantages of doing things this way (when applicable, i.e., when one has holomorphic integrands) are significantly better accuracy & stability: https://people.math
325.
by kkylin 7y ago
I don't think there's universal agreement about terminology, but to many of us who work in the area, Monte Carlo (MC) means specifically using random sampling to estimate a deterministic quantity. For example, MC methods can be u
326.
by kkylin 7y ago
My impression is also that everything at universities are much more formal than they used to be. (This is based on my experience -- I've been tenured ~10 years at a state university -- and have spoken to older acdaemics about this top
327.
by kkylin 7y ago
Nice summary! For anyone wanting more details, the Wikipedia article is not bad: https://en.wikipedia.org/wiki/Casimir_effect It's not a strong force, decaying like the 4th power of distance as I recall. Measuri
328.
by kkylin 7y ago
One of the posters on the original thread asked if it was possible to raise children and get tenure with both parents working. Answer is yes, but not easy. If you are lucky to get an academic position near family who can help, that is a t
329.
by kkylin 7y ago
Generalized coordinates and their "conjugate" momenta. These are the basic dynamical variables used to describe mechanical systems in Hamiltonian mechanics: https://en.wikipedia.org/wiki/Hamiltonian_mechanics
330.
by kkylin 7y ago
Don't disagree with the broader point you're making, but nitpick: every symplectic manifold looks locally like R^{2n} with the canonical symplectic structure. Not necessarily so globally.

More ›