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/
> I have seen it [core memory] in service as recently as 2004 in a telephony control application