Sounds like Tao's third stage, of informed intuition.

Comments URL: https://news.ycombinator.com/item?id=42349564

Points: 2

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=42228776

Points: 4

# Comments: 0

Any comments on the "10x programmer"?

I feel I already know what's needed - but I didn't catch the 0.a=0 omission at first, and there's surely others I'm still missing... Part of the problem is I have too much implicit knowledge.

The algebra is my main interest, that happens to be in a calculus text.

0a = 0 is proven later in ch 1, it's just the ordering.

By "something I could code", I mean implementimg these properties (more like writing a proof assistant).

It's not complete - addition and multiplication are not defined, nor even "number". Instead, it's properties of commutativity, associativity, distributivity, identities and inverses, and it's astonishing how far that takes us.

I really enjoyed this approach, but it has omissions: details like equality transitivity (things equal to something are equal to each other), and there's deliberate gaps (like using 0.a=0 twice in a proof before being proven, while claiming a comsequence).

I'd like full rigour, a treatment I could code, without need of mathematical maturity to paper-over abbreviations.

This is a big ask: I also want this detail without tedium; to retain the joie de vivre of Spivak, without gaps. The fun of building, like a construction set or building blocks.

Any recommendations? (perhaps I'll have to write it myself)

Comments URL: https://news.ycombinator.com/item?id=41613112

Points: 3

# Comments: 3

It's not that frail people need to be inactive, but that inactivity causes frailty.

Also "working memory" is short-term storage, like registers, the details of what you're thinking about right now. Not memory of past events, like your wedding day.

OTOH... we now have sci-hub.se with high-quality professional scientist papers.