@atomicnature - thank you for posting this. I saw the title and wondered if it was books on lean startups or lean manufacturing, very happy to find a collection of links to books on the Lean programming language (and the rest of the site is well worth a read). This made my morning!
Good post. But it also shows, in a way, what a tangled web Lean is when you get into it! Sure, you could try to just program in Lean, but that would be a shame - proof is such an inherent part of the whole outlook, but proof brings you into a new viewpoint few programmers have. Perhaps Lean needs a hypertext where pathways follow what the reader needs, with the ability to back up and follow another path, rather than needing to have so many books open in separate tabs.
Comments
@atomicnature - thank you for posting this. I saw the title and wondered if it was books on lean startups or lean manufacturing, very happy to find a collection of links to books on the Lean programming language (and the rest of the site is well worth a read). This made my morning!
Good post. But it also shows, in a way, what a tangled web Lean is when you get into it! Sure, you could try to just program in Lean, but that would be a shame - proof is such an inherent part of the whole outlook, but proof brings you into a new viewpoint few programmers have. Perhaps Lean needs a hypertext where pathways follow what the reader needs, with the ability to back up and follow another path, rather than needing to have so many books open in separate tabs.