aleixmorgadas’s avataraleixmorgadas’s Twitter Archive—№ 742

    1. Please, don't say "Let's make this Lean, let's fail fast" 😡 That's the wrong way to see Lean as you put yourself ready for failure Instead, use an approach like "let's learn fast by doing the minimum that will verify our hypothesis" Lean is about reducing waste! 😄
  1. …in reply to @aleixmorgadas
    Here a post where I explain the Maths behind Lean 🤓 learnings.aleixmorgadas.dev/p/lean-explained-mathematically