ocfnash
Joined 12 years ago
Joined 12 years ago
> I have seen it [core memory] in service as recently as 2004 in a telephony control application
I'd be very interested to hear any thoughts you might have about Jung Chang's book "Wild Swans".
I read this book a year or two ago and learned a lot from it, but I also learned that many people who grew up in China take issue with the author's account. I'd be grateful for any remarks you may be able to share.
The Mathlib Initiative is a new programme of Renaissance Philanthropy. We exist to support Lean's open-source library of formal mathematics known as Mathlib https://leanprover-community.github.io/
Please apply directly at: https://www.renaissancephilanthropy.org/careers/devops-engin...
I have a bookmarklet:
javascript:(function() {window.location=window.location.toString().replace(/^https:\/\/www.youtube\./,'http://fixyt.');})()
and whenever I want to watch a YouTube video, I just click that and enjoy an ad-free experience.
This "dome" is essentially the same issue just with the singularity buried one level deeper: you need to take second derivatives to see it. Indeed a planar cross section containing the vertical axis through its center is a graph of the equation $y^2 = |x|^3$ (up to constants) and this is not twice differentiable at $x = y = 0$. Newtonian mechanics is governed by a second order differential equation, so we need a C^2 regularity assumption to get uniqueness.
So for me there is not really any more philosophically interesting than the question about a particle balancing at the apex of a cone.
It was a project in which we formalised a version of Gromov's (open, ample) h-principle for first order differential relations. Part of the reason it was carried out was to demonstrate what is involved formalising something in differential topology.