3 ms·

I'm insufficiently nerd-sniped - what I'd really want is a book where every single mathematical expression is written in code, which I could manipulate. I'm thi

• ranger_danger 2y ago
  YES please. I'm really terrible at math, and even more terrible at trying to convert equations into code whenever I ask a math expert for help.
  • 0cf8612b2e1e 2y ago
    Something that drives me up the wall is just how sloppy math notation can be. Supposedly this pure discipline, but many authors use custom conventions all over the place, shorthand, skip steps, etc. Give me some math code, where the end result has to compile. No sneaky tricks allowed.
    • lanstin 2y ago
      You want mathlib, the lean library of established results: https://github.com/leanprover-community/mathlib4 https://github.com/leanprover-community/mathlib4 They skip steps in writing because they can generally do them and it obscures the flow of the argument to have every thing spelled out. There is also a book on mechanics by the authors of SICP: https://mitpress.mit.edu/9780262028967/structure-and-interpretation-of-classical-mechanics/ https://mitpress.mit.edu/9780262028967/structure-and-interpr...
      • thaumasiotes 2y ago
        > They skip steps in writing because they can generally do them and it obscures the flow of the argument to have every thing spelled out. They do that in lean too; that's the idea of simp.
      • lupire 2y ago
        Lean doesn't have expressiveness notation. It's like Perl line noise.